maximize 
objective: + 967x1 + 818x2 + 844x3 + 764x4 + 754x5 + 956x6 + 766x7 + 731x8 + 801x9 + 339x10 + 901x11 + 630x12 + 954x13 + 709x14 + 913x15 + 852x16 + 888x17 + 381x18 + 930x19 + 901x20 + 811x21 + 863x22 + 584x23 + 698x24 + 475x25 + 598x26 + 717x27 + 490x28 + 447x29 + 613x30 + 896x31 + 769x32 + 772x33 + 680x34 + 760x35 + 757x36 + 655x37 + 1106x38 + 784x39 + 820x40 + 550x41 + 741x42 + 699x43 + 1084x44 + 821x45 + 606x46 + 856x47 + 920x48 + 735x49 + 692x50 + 876x51 + 693x52 + 1033x53 + 868x54 + 825x55 + 868x56 + 591x57 + 595x58 + 661x59 + 503x60 + 520x61 + 673x62 + 839x63 + 1071x64 + 929x65 + 661x66 + 640x67 + 445x68 + 793x69 + 474x70 + 905x71 + 858x72 + 761x73 + 672x74 + 691x75 + 725x76 + 983x77 + 527x78 + 683x79 + 698x80 + 833x81 + 545x82 + 902x83 + 792x84 + 589x85 + 573x86 + 456x87 + 904x88 + 690x89 + 947x90 + 744x91 + 737x92 + 456x93 + 1069x94 + 655x95 + 815x96 + 817x97 + 403x98 + 584x99 + 1012x100 + 489x101 + 846x102 + 719x103 + 932x104 + 717x105 + 504x106 + 769x107 + 934x108 + 770x109 + 854x110 + 566x111 + 925x112 + 853x113 + 764x114 + 881x115 + 532x116 + 880x117 + 941x118 + 395x119 + 493x120 + 930x121 + 931x122 + 1040x123 + 937x124 + 486x125 + 925x126 + 743x127 + 442x128 + 728x129 + 837x130 + 1074x131 + 1001x132 + 544x133 + 673x134 + 330x135 + 993x136 + 878x137 + 514x138 + 758x139 + 800x140 + 831x141 + 981x142 + 548x143 + 738x144 + 666x145 + 468x146 + 678x147 + 652x148 + 794x149 + 972x150 + 850x151 + 993x152 + 993x153 + 712x154 + 992x155 + 965x156 + 757x157 + 821x158 + 766x159 + 822x160 + 512x161 + 623x162 + 669x163 + 635x164 + 1024x165 + 849x166 + 863x167 + 826x168 + 798x169 + 949x170 + 900x171 + 501x172 + 872x173 + 845x174 + 720x175 + 870x176 + 721x177 + 486x178 + 1114x179 + 975x180 + 750x181 + 437x182 + 431x183 + 886x184 + 821x185 + 910x186 + 886x187 + 852x188 + 689x189 + 856x190 + 530x191 + 505x192 + 795x193 + 656x194 + 885x195 + 622x196 + 660x197 + 970x198 + 525x199 + 405x200 + 598x201 + 927x202 + 560x203 + 549x204 + 508x205 + 678x206 + 682x207 + 943x208 + 1023x209 + 670x210 + 521x211 + 664x212 + 747x213 + 852x214 + 808x215 + 939x216 + 686x217 + 668x218 + 418x219 + 641x220 + 692x221 + 739x222 + 631x223 + 611x224 + 630x225 + 688x226 + 824x227 + 751x228 + 1026x229 + 853x230 + 571x231 + 502x232 + 450x233 + 890x234 + 784x235 + 598x236 + 869x237 + 998x238 + 755x239 + 645x240 + 775x241 + 830x242 + 697x243 + 496x244 + 803x245 + 769x246 + 1079x247 + 526x248 + 826x249 + 887x250 
subject to 
constr1: + 266x1 + 826x2 + 550x3 + 262x4 + 336x5 + 646x6 + 926x7 + 742x8 + 468x9 + 107x10 + 604x11 + 186x12 + 652x13 + 811x14 + 284x15 + 853x16 + 110x17 + 979x18 + 637x19 + 146x20 + 33x21 + 514x22 + 600x23 + 752x24 + 960x25 + 675x26 + 189x27 + 472x28 + 62x29 + 890x30 + 390x31 + 948x32 + 193x33 + 176x34 + 200x35 + 903x36 + 329x37 + 150x38 + 708x39 + 732x40 + 262x41 + 787x42 + 754x43 + 984x44 + 27x45 + 918x46 + 160x47 + 638x48 + 524x49 + 74x50 + 830x51 + 743x52 + 224x53 + 997x54 + 130x55 + 966x56 + 158x57 + 855x58 + 393x59 + 52x60 + 113x61 + 818x62 + 292x63 + 960x64 + 980x65 + 638x66 + 718x67 + 188x68 + 20x69 + 410x70 + 119x71 + 1000x72 + 248x73 + 425x74 + 522x75 + 231x76 + 993x77 + 722x78 + 502x79 + 356x80 + 825x81 + 494x82 + 863x83 + 666x84 + 157x85 + 639x86 + 834x87 + 326x88 + 706x89 + 165x90 + 315x91 + 357x92 + 577x93 + 648x94 + 671x95 + 661x96 + 538x97 + 77x98 + 208x99 + 493x100 + 185x101 + 889x102 + 620x103 + 811x104 + 563x105 + 382x106 + 612x107 + 65x108 + 687x109 + 632x110 + 277x111 + 158x112 + 717x113 + 62x114 + 617x115 + 158x116 + 368x117 + 905x118 + 299x119 + 73x120 + 306x121 + 310x122 + 588x123 + 308x124 + 964x125 + 475x126 + 1000x127 + 794x128 + 522x129 + 44x130 + 399x131 + 921x132 + 120x133 + 891x134 + 613x135 + 380x136 + 551x137 + 400x138 + 353x139 + 884x140 + 533x141 + 966x142 + 158x143 + 541x144 + 40x145 + 594x146 + 59x147 + 489x148 + 449x149 + 865x150 + 434x151 + 863x152 + 944x153 + 376x154 + 163x155 + 785x156 + 915x157 + 235x158 + 614x159 + 145x160 + 30x161 + 547x162 + 963x163 + 377x164 + 785x165 + 720x166 + 130x167 + 36x168 + 68x169 + 217x170 + 553x171 + 352x172 + 619x173 + 510x174 + 912x175 + 649x176 + 682x177 + 290x178 + 942x179 + 660x180 + 423x181 + 433x182 + 162x183 + 928x184 + 578x185 + 445x186 + 9x187 + 468x188 + 894x189 + 169x190 + 250x191 + 680x192 + 668x193 + 282x194 + 195x195 + 493x196 + 196x197 + 592x198 + 369x199 + 755x200 + 410x201 + 952x202 + 338x203 + 399x204 + 553x205 + 727x206 + 547x207 + 505x208 + 203x209 + 342x210 + 265x211 + 166x212 + 372x213 + 288x214 + 264x215 + 451x216 + 610x217 + 748x218 + 109x219 + 532x220 + 725x221 + 355x222 + 115x223 + 247x224 + 254x225 + 169x226 + 639x227 + 396x228 + 264x229 + 492x230 + 237x231 + 89x232 + 81x233 + 485x234 + 318x235 + 447x236 + 143x237 + 545x238 + 400x239 + 14x240 + 907x241 + 862x242 + 884x243 + 305x244 + 967x245 + 718x246 + 694x247 + 961x248 + 950x249 + 742x250 <=61753 
constr2: + 767x1 + 650x2 + 128x3 + 947x4 + 50x5 + 576x6 + 346x7 + 281x8 + 856x9 + 15x10 + 959x11 + 706x12 + 731x13 + 541x14 + 401x15 + 849x16 + 725x17 + 185x18 + 717x19 + 36x20 + 815x21 + 728x22 + 610x23 + 187x24 + 368x25 + 99x26 + 775x27 + 315x28 + 804x29 + 865x30 + 951x31 + 337x32 + 840x33 + 294x34 + 111x35 + 864x36 + 294x37 + 505x38 + 945x39 + 144x40 + 261x41 + 238x42 + 143x43 + 900x44 + 94x45 + 960x46 + 57x47 + 298x48 + 270x49 + 564x50 + 267x51 + 577x52 + 230x53 + 542x54 + 567x55 + 36x56 + 141x57 + 604x58 + 422x59 + 744x60 + 416x61 + 221x62 + 478x63 + 367x64 + 431x65 + 127x66 + 577x67 + 170x68 + 255x69 + 290x70 + 331x71 + 280x72 + 751x73 + 752x74 + 738x75 + 505x76 + 659x77 + 74x78 + 787x79 + 778x80 + 986x81 + 33x82 + 305x83 + 846x84 + 24x85 + 305x86 + 244x87 + 657x88 + 874x89 + 606x90 + 658x91 + 276x92 + 685x93 + 195x94 + 369x95 + 118x96 + 197x97 + 382x98 + 488x99 + 465x100 + 46x101 + 533x102 + 224x103 + 592x104 + 5x105 + 743x106 + 558x107 + 562x108 + 468x109 + 794x110 + 766x111 + 152x112 + 687x113 + 536x114 + 542x115 + 597x116 + 970x117 + 905x118 + 384x119 + 682x120 + 791x121 + 919x122 + 829x123 + 415x124 + 1x125 + 371x126 + 673x127 + 568x128 + 113x129 + 251x130 + 467x131 + 886x132 + 643x133 + 16x134 + 321x135 + 209x136 + 327x137 + 120x138 + 245x139 + 645x140 + 729x141 + 841x142 + 681x143 + 508x144 + 440x145 + 817x146 + 980x147 + 189x148 + 550x149 + 949x150 + 402x151 + 199x152 + 901x153 + 87x154 + 637x155 + 345x156 + 388x157 + 446x158 + 414x159 + 381x160 + 171x161 + 725x162 + 193x163 + 943x164 + 725x165 + 100x166 + 60x167 + 945x168 + 198x169 + 598x170 + 797x171 + 940x172 + 281x173 + 119x174 + 662x175 + 622x176 + 395x177 + 347x178 + 978x179 + 982x180 + 876x181 + 390x182 + 996x183 + 521x184 + 531x185 + 456x186 + 379x187 + 482x188 + 38x189 + 997x190 + 592x191 + 211x192 + 380x193 + 525x194 + 940x195 + 454x196 + 604x197 + 328x198 + 89x199 + 74x200 + 953x201 + 615x202 + 807x203 + 398x204 + 900x205 + 411x206 + 347x207 + 726x208 + 488x209 + 95x210 + 23x211 + 481x212 + 227x213 + 292x214 + 300x215 + 111x216 + 257x217 + 96x218 + 944x219 + 850x220 + 544x221 + 477x222 + 951x223 + 100x224 + 836x225 + 635x226 + 642x227 + 306x228 + 760x229 + 821x230 + 802x231 + 555x232 + 713x233 + 876x234 + 228x235 + 115x236 + 763x237 + 846x238 + 50x239 + 205x240 + 439x241 + 60x242 + 660x243 + 188x244 + 283x245 + 134x246 + 427x247 + 425x248 + 208x249 + 343x250 <=60865 
constr3: + 346x1 + 778x2 + 666x3 + 225x4 + 211x5 + 78x6 + 882x7 + 70x8 + 757x9 + 923x10 + 611x11 + 651x12 + 798x13 + 268x14 + 382x15 + 117x16 + 138x17 + 187x18 + 749x19 + 968x20 + 129x21 + 202x22 + 218x23 + 740x24 + 330x25 + 521x26 + 429x27 + 278x28 + 234x29 + 839x30 + 296x31 + 799x32 + 194x33 + 969x34 + 867x35 + 759x36 + 531x37 + 331x38 + 414x39 + 807x40 + 403x41 + 338x42 + 970x43 + 697x44 + 421x45 + 853x46 + 878x47 + 33x48 + 138x49 + 319x50 + 603x51 + 968x52 + 617x53 + 245x54 + 414x55 + 660x56 + 295x57 + 359x58 + 680x59 + 193x60 + 551x61 + 649x62 + 752x63 + 558x64 + 688x65 + 359x66 + 475x67 + 407x68 + 353x69 + 34x70 + 881x71 + 622x72 + 525x73 + 653x74 + 823x75 + 561x76 + 991x77 + 102x78 + 443x79 + 889x80 + 796x81 + 285x82 + 4x83 + 615x84 + 290x85 + 854x86 + 565x87 + 311x88 + 948x89 + 726x90 + 221x91 + 2x92 + 187x93 + 912x94 + 56x95 + 981x96 + 620x97 + 260x98 + 987x99 + 915x100 + 556x101 + 516x102 + 746x103 + 787x104 + 427x105 + 278x106 + 554x107 + 881x108 + 803x109 + 728x110 + 101x111 + 909x112 + 432x113 + 399x114 + 800x115 + 629x116 + 900x117 + 470x118 + 63x119 + 211x120 + 506x121 + 951x122 + 403x123 + 471x124 + 158x125 + 66x126 + 241x127 + 691x128 + 678x129 + 57x130 + 602x131 + 441x132 + 995x133 + 95x134 + 26x135 + 69x136 + 6x137 + 924x138 + 481x139 + 249x140 + 595x141 + 434x142 + 891x143 + 580x144 + 494x145 + 348x146 + 240x147 + 74x148 + 944x149 + 987x150 + 82x151 + 681x152 + 543x153 + 664x154 + 979x155 + 713x156 + 456x157 + 777x158 + 890x159 + 810x160 + 838x161 + 436x162 + 153x163 + 954x164 + 40x165 + 245x166 + 56x167 + 269x168 + 284x169 + 679x170 + 327x171 + 602x172 + 149x173 + 844x174 + 173x175 + 423x176 + 325x177 + 820x178 + 508x179 + 893x180 + 356x181 + 991x182 + 49x183 + 465x184 + 228x185 + 339x186 + 172x187 + 488x188 + 585x189 + 396x190 + 140x191 + 487x192 + 739x193 + 391x194 + 639x195 + 373x196 + 729x197 + 893x198 + 884x199 + 146x200 + 342x201 + 631x202 + 978x203 + 524x204 + 155x205 + 806x206 + 324x207 + 454x208 + 327x209 + 648x210 + 419x211 + 911x212 + 816x213 + 753x214 + 705x215 + 643x216 + 625x217 + 751x218 + 534x219 + 971x220 + 257x221 + 731x222 + 606x223 + 605x224 + 79x225 + 521x226 + 461x227 + 964x228 + 384x229 + 191x230 + 415x231 + 797x232 + 388x233 + 13x234 + 490x235 + 247x236 + 811x237 + 552x238 + 271x239 + 416x240 + 27x241 + 430x242 + 493x243 + 599x244 + 518x245 + 1x246 + 581x247 + 254x248 + 86x249 + 748x250 <=63435 
constr4: + 90x1 + 683x2 + 624x3 + 279x4 + 760x5 + 306x6 + 681x7 + 498x8 + 490x9 + 405x10 + 763x11 + 443x12 + 569x13 + 742x14 + 758x15 + 288x16 + 319x17 + 114x18 + 63x19 + 611x20 + 495x21 + 622x22 + 8x23 + 608x24 + 883x25 + 311x26 + 325x27 + 687x28 + 986x29 + 602x30 + 626x31 + 18x32 + 32x33 + 792x34 + 886x35 + 223x36 + 323x37 + 999x38 + 960x39 + 994x40 + 926x41 + 952x42 + 371x43 + 177x44 + 816x45 + 69x46 + 75x47 + 831x48 + 858x49 + 582x50 + 525x51 + 589x52 + 955x53 + 344x54 + 752x55 + 693x56 + 908x57 + 44x58 + 77x59 + 148x60 + 554x61 + 25x62 + 551x63 + 786x64 + 646x65 + 345x66 + 915x67 + 202x68 + 567x69 + 356x70 + 926x71 + 594x72 + 210x73 + 814x74 + 689x75 + 610x76 + 647x77 + 825x78 + 397x79 + 789x80 + 131x81 + 291x82 + 862x83 + 624x84 + 468x85 + 117x86 + 329x87 + 501x88 + 56x89 + 145x90 + 662x91 + 711x92 + 397x93 + 585x94 + 60x95 + 650x96 + 999x97 + 503x98 + 326x99 + 778x100 + 546x101 + 312x102 + 713x103 + 649x104 + 646x105 + 775x106 + 403x107 + 413x108 + 99x109 + 627x110 + 299x111 + 375x112 + 865x113 + 224x114 + 410x115 + 3x116 + 633x117 + 511x118 + 173x119 + 456x120 + 520x121 + 372x122 + 103x123 + 624x124 + 946x125 + 379x126 + 945x127 + 212x128 + 944x129 + 842x130 + 945x131 + 503x132 + 639x133 + 764x134 + 283x135 + 583x136 + 240x137 + 35x138 + 946x139 + 178x140 + 998x141 + 51x142 + 252x143 + 646x144 + 420x145 + 14x146 + 249x147 + 239x148 + 531x149 + 587x150 + 538x151 + 751x152 + 820x153 + 366x154 + 474x155 + 359x156 + 953x157 + 998x158 + 357x159 + 679x160 + 347x161 + 817x162 + 106x163 + 847x164 + 931x165 + 944x166 + 954x167 + 428x168 + 867x169 + 905x170 + 494x171 + 721x172 + 952x173 + 936x174 + 90x175 + 195x176 + 93x177 + 173x178 + 435x179 + 530x180 + 328x181 + 140x182 + 42x183 + 184x184 + 715x185 + 111x186 + 517x187 + 308x188 + 651x189 + 532x190 + 274x191 + 100x192 + 936x193 + 997x194 + 123x195 + 971x196 + 905x197 + 275x198 + 408x199 + 216x200 + 868x201 + 114x202 + 663x203 + 10x204 + 656x205 + 387x206 + 468x207 + 989x208 + 811x209 + 93x210 + 1000x211 + 998x212 + 747x213 + 760x214 + 427x215 + 861x216 + 365x217 + 774x218 + 258x219 + 551x220 + 359x221 + 98x222 + 30x223 + 57x224 + 374x225 + 598x226 + 978x227 + 492x228 + 750x229 + 446x230 + 915x231 + 123x232 + 453x233 + 734x234 + 813x235 + 774x236 + 750x237 + 772x238 + 401x239 + 764x240 + 975x241 + 813x242 + 952x243 + 986x244 + 754x245 + 536x246 + 262x247 + 725x248 + 795x249 + 404x250 <=66400 
constr5: + 391x1 + 161x2 + 414x3 + 315x4 + 859x5 + 976x6 + 493x7 + 716x8 + 937x9 + 945x10 + 212x11 + 945x12 + 108x13 + 862x14 + 534x15 + 485x16 + 280x17 + 124x18 + 267x19 + 722x20 + 266x21 + 96x22 + 80x23 + 486x24 + 275x25 + 526x26 + 869x27 + 52x28 + 475x29 + 257x30 + 268x31 + 625x32 + 125x33 + 593x34 + 703x35 + 61x36 + 511x37 + 815x38 + 758x39 + 326x40 + 470x41 + 626x42 + 355x43 + 987x44 + 211x45 + 448x46 + 654x47 + 734x48 + 607x49 + 164x50 + 951x51 + 599x52 + 800x53 + 633x54 + 327x55 + 911x56 + 929x57 + 106x58 + 165x59 + 923x60 + 354x61 + 543x62 + 145x63 + 245x64 + 877x65 + 527x66 + 362x67 + 713x68 + 171x69 + 912x70 + 568x71 + 517x72 + 26x73 + 680x74 + 258x75 + 54x76 + 808x77 + 505x78 + 293x79 + 961x80 + 620x81 + 918x82 + 632x83 + 792x84 + 561x85 + 864x86 + 83x87 + 1x88 + 617x89 + 134x90 + 497x91 + 726x92 + 11x93 + 977x94 + 489x95 + 951x96 + 573x97 + 867x98 + 616x99 + 911x100 + 312x101 + 371x102 + 260x103 + 328x104 + 797x105 + 545x106 + 785x107 + 119x108 + 843x109 + 961x110 + 564x111 + 528x112 + 814x113 + 330x114 + 393x115 + 192x116 + 238x117 + 44x118 + 116x119 + 84x120 + 485x121 + 707x122 + 505x123 + 605x124 + 454x125 + 485x126 + 765x127 + 544x128 + 814x129 + 901x130 + 473x131 + 558x132 + 68x133 + 902x134 + 33x135 + 840x136 + 415x137 + 47x138 + 121x139 + 193x140 + 316x141 + 49x142 + 50x143 + 441x144 + 428x145 + 104x146 + 399x147 + 717x148 + 343x149 + 37x150 + 595x151 + 832x152 + 188x153 + 680x154 + 614x155 + 895x156 + 747x157 + 141x158 + 372x159 + 239x160 + 712x161 + 678x162 + 955x163 + 287x164 + 864x165 + 290x166 + 792x167 + 85x168 + 792x169 + 465x170 + 929x171 + 242x172 + 891x173 + 839x174 + 200x175 + 589x176 + 680x177 + 97x178 + 300x179 + 16x180 + 516x181 + 547x182 + 391x183 + 332x184 + 589x185 + 525x186 + 568x187 + 269x188 + 82x189 + 785x190 + 574x191 + 597x192 + 355x193 + 629x194 + 641x195 + 298x196 + 252x197 + 88x198 + 840x199 + 439x200 + 744x201 + 767x202 + 498x203 + 571x204 + 288x205 + 477x206 + 397x207 + 507x208 + 528x209 + 620x210 + 600x211 + 1000x212 + 221x213 + 46x214 + 241x215 + 553x216 + 298x217 + 706x218 + 590x219 + 359x220 + 243x221 + 327x222 + 108x223 + 826x224 + 39x225 + 946x226 + 888x227 + 982x228 + 912x229 + 455x230 + 417x231 + 693x232 + 367x233 + 145x234 + 59x235 + 675x236 + 354x237 + 410x238 + 658x239 + 309x240 + 374x241 + 905x242 + 514x243 + 615x244 + 818x245 + 847x246 + 352x247 + 807x248 + 361x249 + 607x250 <=62321 
constr6: + 760x1 + 524x2 + 373x3 + 521x4 + 341x5 + 14x6 + 572x7 + 437x8 + 611x9 + 300x10 + 348x11 + 159x12 + 628x13 + 984x14 + 501x15 + 479x16 + 700x17 + 84x18 + 299x19 + 926x20 + 470x21 + 56x22 + 128x23 + 176x24 + 114x25 + 763x26 + 723x27 + 100x28 + 29x29 + 821x30 + 339x31 + 605x32 + 407x33 + 461x34 + 978x35 + 421x36 + 810x37 + 896x38 + 202x39 + 438x40 + 735x41 + 404x42 + 656x43 + 969x44 + 513x45 + 632x46 + 890x47 + 570x48 + 294x49 + 820x50 + 618x51 + 849x52 + 953x53 + 391x54 + 911x55 + 578x56 + 489x57 + 916x58 + 480x59 + 31x60 + 815x61 + 740x62 + 768x63 + 458x64 + 642x65 + 58x66 + 617x67 + 157x68 + 218x69 + 321x70 + 152x71 + 438x72 + 742x73 + 246x74 + 60x75 + 491x76 + 582x77 + 532x78 + 326x79 + 673x80 + 960x81 + 171x82 + 238x83 + 380x84 + 860x85 + 904x86 + 588x87 + 941x88 + 510x89 + 507x90 + 457x91 + 399x92 + 350x93 + 748x94 + 625x95 + 152x96 + 665x97 + 235x98 + 513x99 + 696x100 + 670x101 + 552x102 + 160x103 + 611x104 + 664x105 + 809x106 + 607x107 + 711x108 + 910x109 + 997x110 + 272x111 + 500x112 + 907x113 + 459x114 + 145x115 + 486x116 + 414x117 + 228x118 + 461x119 + 555x120 + 834x121 + 1000x122 + 918x123 + 804x124 + 211x125 + 516x126 + 396x127 + 126x128 + 389x129 + 175x130 + 947x131 + 543x132 + 973x133 + 431x134 + 401x135 + 591x136 + 548x137 + 270x138 + 243x139 + 844x140 + 806x141 + 219x142 + 474x143 + 451x144 + 359x145 + 962x146 + 681x147 + 975x148 + 472x149 + 715x150 + 347x151 + 163x152 + 668x153 + 355x154 + 950x155 + 919x156 + 678x157 + 757x158 + 314x159 + 509x160 + 582x161 + 327x162 + 560x163 + 576x164 + 31x165 + 980x166 + 794x167 + 697x168 + 994x169 + 604x170 + 431x171 + 482x172 + 984x173 + 501x174 + 115x175 + 382x176 + 554x177 + 528x178 + 551x179 + 727x180 + 57x181 + 292x182 + 270x183 + 661x184 + 5x185 + 795x186 + 467x187 + 487x188 + 894x189 + 135x190 + 515x191 + 115x192 + 27x193 + 866x194 + 118x195 + 909x196 + 989x197 + 103x198 + 237x199 + 242x200 + 155x201 + 52x202 + 602x203 + 289x204 + 556x205 + 332x206 + 354x207 + 70x208 + 54x209 + 199x210 + 52x211 + 462x212 + 362x213 + 304x214 + 998x215 + 706x216 + 620x217 + 42x218 + 43x219 + 323x220 + 939x221 + 657x222 + 183x223 + 682x224 + 292x225 + 233x226 + 446x227 + 333x228 + 87x229 + 50x230 + 600x231 + 920x232 + 430x233 + 582x234 + 174x235 + 465x236 + 33x237 + 776x238 + 96x239 + 514x240 + 971x241 + 813x242 + 70x243 + 668x244 + 746x245 + 207x246 + 507x247 + 104x248 + 841x249 + 845x250 <=62804 
constr7: + 312x1 + 549x2 + 525x3 + 980x4 + 710x5 + 473x6 + 498x7 + 668x8 + 33x9 + 104x10 + 803x11 + 483x12 + 732x13 + 653x14 + 540x15 + 194x16 + 993x17 + 587x18 + 399x19 + 545x20 + 222x21 + 634x22 + 664x23 + 707x24 + 390x25 + 210x26 + 969x27 + 104x28 + 517x29 + 353x30 + 781x31 + 687x32 + 264x33 + 357x34 + 606x35 + 408x36 + 928x37 + 832x38 + 12x39 + 603x40 + 885x41 + 622x42 + 948x43 + 179x44 + 458x45 + 280x46 + 756x47 + 151x48 + 964x49 + 230x50 + 735x51 + 998x52 + 50x53 + 342x54 + 46x55 + 480x56 + 84x57 + 487x58 + 960x59 + 213x60 + 187x61 + 940x62 + 567x63 + 78x64 + 253x65 + 545x66 + 459x67 + 821x68 + 948x69 + 167x70 + 827x71 + 37x72 + 443x73 + 823x74 + 799x75 + 329x76 + 808x77 + 633x78 + 598x79 + 678x80 + 888x81 + 578x82 + 824x83 + 144x84 + 181x85 + 166x86 + 115x87 + 997x88 + 120x89 + 971x90 + 583x91 + 395x92 + 727x93 + 737x94 + 416x95 + 795x96 + 989x97 + 683x98 + 70x99 + 50x100 + 324x101 + 734x102 + 878x103 + 931x104 + 203x105 + 716x106 + 38x107 + 470x108 + 327x109 + 464x110 + 675x111 + 799x112 + 851x113 + 655x114 + 619x115 + 798x116 + 423x117 + 395x118 + 586x119 + 82x120 + 58x121 + 742x122 + 333x123 + 397x124 + 480x125 + 608x126 + 791x127 + 341x128 + 9x129 + 945x130 + 591x131 + 272x132 + 583x133 + 550x134 + 190x135 + 813x136 + 789x137 + 916x138 + 513x139 + 554x140 + 535x141 + 445x142 + 75x143 + 569x144 + 374x145 + 21x146 + 935x147 + 266x148 + 25x149 + 3x150 + 489x151 + 894x152 + 282x153 + 881x154 + 642x155 + 609x156 + 837x157 + 106x158 + 941x159 + 485x160 + 209x161 + 813x162 + 340x163 + 310x164 + 532x165 + 782x166 + 570x167 + 634x168 + 113x169 + 807x170 + 471x171 + 876x172 + 624x173 + 241x174 + 741x175 + 469x176 + 265x177 + 309x178 + 829x179 + 657x180 + 281x181 + 888x182 + 176x183 + 787x184 + 840x185 + 610x186 + 343x187 + 536x188 + 400x189 + 701x190 + 201x191 + 27x192 + 613x193 + 70x194 + 272x195 + 334x196 + 117x197 + 822x198 + 378x199 + 683x200 + 286x201 + 613x202 + 96x203 + 918x204 + 834x205 + 667x206 + 97x207 + 83x208 + 692x209 + 757x210 + 452x211 + 966x212 + 392x213 + 401x214 + 247x215 + 910x216 + 836x217 + 691x218 + 203x219 + 561x220 + 207x221 + 91x222 + 387x223 + 263x224 + 69x225 + 877x226 + 41x227 + 462x228 + 96x229 + 750x230 + 991x231 + 208x232 + 942x233 + 630x234 + 205x235 + 502x236 + 77x237 + 531x238 + 888x239 + 186x240 + 951x241 + 375x242 + 428x243 + 135x244 + 70x245 + 351x246 + 623x247 + 146x248 + 965x249 + 187x250 <=63065 
constr8: + 854x1 + 717x2 + 348x3 + 659x4 + 404x5 + 984x6 + 785x7 + 392x8 + 935x9 + 158x10 + 135x11 + 566x12 + 336x13 + 720x14 + 608x15 + 995x16 + 549x17 + 564x18 + 9x19 + 793x20 + 641x21 + 587x22 + 162x23 + 778x24 + 478x25 + 917x26 + 2x27 + 464x28 + 472x29 + 637x30 + 53x31 + 2x32 + 169x33 + 916x34 + 45x35 + 710x36 + 404x37 + 247x38 + 561x39 + 385x40 + 178x41 + 1000x42 + 176x43 + 31x44 + 358x45 + 764x46 + 636x47 + 379x48 + 49x49 + 761x50 + 30x51 + 637x52 + 436x53 + 822x54 + 341x55 + 887x56 + 562x57 + 480x58 + 622x59 + 462x60 + 281x61 + 792x62 + 747x63 + 880x64 + 116x65 + 950x66 + 339x67 + 538x68 + 858x69 + 603x70 + 557x71 + 463x72 + 163x73 + 210x74 + 372x75 + 520x76 + 88x77 + 380x78 + 505x79 + 294x80 + 792x81 + 789x82 + 516x83 + 168x84 + 602x85 + 762x86 + 792x87 + 692x88 + 734x89 + 871x90 + 33x91 + 215x92 + 90x93 + 51x94 + 590x95 + 334x96 + 366x97 + 490x98 + 942x99 + 593x100 + 22x101 + 406x102 + 293x103 + 2x104 + 146x105 + 196x106 + 851x107 + 400x108 + 39x109 + 104x110 + 521x111 + 324x112 + 499x113 + 760x114 + 514x115 + 712x116 + 555x117 + 937x118 + 715x119 + 259x120 + 525x121 + 787x122 + 619x123 + 285x124 + 188x125 + 813x126 + 952x127 + 251x128 + 991x129 + 89x130 + 543x131 + 777x132 + 169x133 + 734x134 + 648x135 + 754x136 + 622x137 + 408x138 + 181x139 + 730x140 + 810x141 + 503x142 + 882x143 + 357x144 + 825x145 + 201x146 + 122x147 + 519x148 + 726x149 + 976x150 + 133x151 + 491x152 + 324x153 + 268x154 + 971x155 + 992x156 + 950x157 + 511x158 + 791x159 + 822x160 + 232x161 + 179x162 + 340x163 + 988x164 + 890x165 + 163x166 + 560x167 + 240x168 + 951x169 + 12x170 + 747x171 + 19x172 + 249x173 + 106x174 + 77x175 + 122x176 + 362x177 + 217x178 + 875x179 + 292x180 + 331x181 + 170x182 + 968x183 + 60x184 + 229x185 + 770x186 + 659x187 + 270x188 + 233x189 + 841x190 + 428x191 + 778x192 + 960x193 + 607x194 + 974x195 + 738x196 + 793x197 + 535x198 + 860x199 + 586x200 + 662x201 + 985x202 + 299x203 + 932x204 + 293x205 + 8x206 + 259x207 + 881x208 + 567x209 + 328x210 + 52x211 + 192x212 + 371x213 + 677x214 + 194x215 + 14x216 + 968x217 + 628x218 + 225x219 + 49x220 + 748x221 + 994x222 + 312x223 + 684x224 + 288x225 + 566x226 + 597x227 + 297x228 + 807x229 + 720x230 + 203x231 + 226x232 + 218x233 + 254x234 + 406x235 + 894x236 + 358x237 + 266x238 + 866x239 + 44x240 + 600x241 + 933x242 + 375x243 + 297x244 + 165x245 + 314x246 + 917x247 + 705x248 + 204x249 + 290x250 <=61934 
constr9: + 423x1 + 175x2 + 920x3 + 195x4 + 177x5 + 717x6 + 655x7 + 128x8 + 33x9 + 91x10 + 340x11 + 319x12 + 375x13 + 663x14 + 716x15 + 324x16 + 75x17 + 480x18 + 946x19 + 736x20 + 771x21 + 250x22 + 20x23 + 81x24 + 74x25 + 913x26 + 50x27 + 697x28 + 63x29 + 22x30 + 769x31 + 622x32 + 283x33 + 490x34 + 796x35 + 628x36 + 424x37 + 590x38 + 741x39 + 548x40 + 153x41 + 998x42 + 655x43 + 963x44 + 982x45 + 473x46 + 187x47 + 883x48 + 524x49 + 186x50 + 348x51 + 2x52 + 366x53 + 747x54 + 555x55 + 164x56 + 358x57 + 30x58 + 913x59 + 241x60 + 690x61 + 228x62 + 128x63 + 830x64 + 742x65 + 985x66 + 904x67 + 276x68 + 45x69 + 550x70 + 555x71 + 659x72 + 271x73 + 892x74 + 264x75 + 781x76 + 529x77 + 73x78 + 832x79 + 194x80 + 480x81 + 36x82 + 97x83 + 143x84 + 939x85 + 392x86 + 333x87 + 221x88 + 643x89 + 794x90 + 890x91 + 787x92 + 444x93 + 123x94 + 448x95 + 771x96 + 16x97 + 341x98 + 557x99 + 621x100 + 88x101 + 989x102 + 113x103 + 709x104 + 138x105 + 260x106 + 464x107 + 397x108 + 41x109 + 645x110 + 18x111 + 707x112 + 111x113 + 671x114 + 819x115 + 40x116 + 370x117 + 40x118 + 188x119 + 942x120 + 90x121 + 877x122 + 974x123 + 742x124 + 566x125 + 811x126 + 298x127 + 716x128 + 298x129 + 460x130 + 923x131 + 636x132 + 265x133 + 835x134 + 293x135 + 290x136 + 554x137 + 351x138 + 638x139 + 466x140 + 740x141 + 751x142 + 745x143 + 211x144 + 864x145 + 721x146 + 386x147 + 533x148 + 899x149 + 922x150 + 45x151 + 892x152 + 833x153 + 565x154 + 637x155 + 12x156 + 192x157 + 772x158 + 877x159 + 747x160 + 986x161 + 936x162 + 880x163 + 332x164 + 344x165 + 552x166 + 378x167 + 945x168 + 990x169 + 331x170 + 418x171 + 142x172 + 371x173 + 486x174 + 950x175 + 149x176 + 861x177 + 740x178 + 757x179 + 29x180 + 358x181 + 40x182 + 74x183 + 754x184 + 449x185 + 908x186 + 670x187 + 995x188 + 979x189 + 255x190 + 90x191 + 662x192 + 689x193 + 48x194 + 631x195 + 443x196 + 221x197 + 981x198 + 581x199 + 27x200 + 664x201 + 58x202 + 222x203 + 70x204 + 342x205 + 786x206 + 736x207 + 607x208 + 732x209 + 503x210 + 140x211 + 129x212 + 939x213 + 538x214 + 307x215 + 854x216 + 26x217 + 336x218 + 649x219 + 587x220 + 781x221 + 115x222 + 240x223 + 837x224 + 527x225 + 532x226 + 925x227 + 738x228 + 616x229 + 265x230 + 289x231 + 71x232 + 534x233 + 843x234 + 15x235 + 933x236 + 349x237 + 891x238 + 608x239 + 554x240 + 551x241 + 938x242 + 528x243 + 233x244 + 658x245 + 326x246 + 942x247 + 169x248 + 396x249 + 507x250 <=62149 
constr10: + 935x1 + 486x2 + 207x3 + 976x4 + 567x5 + 298x6 + 828x7 + 812x8 + 300x9 + 249x10 + 376x11 + 84x12 + 51x13 + 726x14 + 770x15 + 686x16 + 319x17 + 137x18 + 752x19 + 882x20 + 5x21 + 302x22 + 900x23 + 197x24 + 1x25 + 4x26 + 426x27 + 621x28 + 350x29 + 786x30 + 831x31 + 301x32 + 439x33 + 114x34 + 296x35 + 606x36 + 176x37 + 946x38 + 432x39 + 1x40 + 540x41 + 967x42 + 943x43 + 494x44 + 821x45 + 520x46 + 514x47 + 275x48 + 669x49 + 891x50 + 735x51 + 142x52 + 768x53 + 346x54 + 341x55 + 121x56 + 117x57 + 299x58 + 981x59 + 248x60 + 600x61 + 907x62 + 578x63 + 748x64 + 89x65 + 392x66 + 146x67 + 541x68 + 875x69 + 336x70 + 82x71 + 665x72 + 52x73 + 453x74 + 348x75 + 319x76 + 951x77 + 861x78 + 887x79 + 290x80 + 922x81 + 131x82 + 306x83 + 127x84 + 904x85 + 527x86 + 640x87 + 5x88 + 758x89 + 78x90 + 650x91 + 870x92 + 863x93 + 914x94 + 399x95 + 337x96 + 135x97 + 39x98 + 980x99 + 389x100 + 638x101 + 363x102 + 804x103 + 830x104 + 188x105 + 226x106 + 750x107 + 992x108 + 495x109 + 572x110 + 985x111 + 564x112 + 181x113 + 288x114 + 137x115 + 365x116 + 53x117 + 101x118 + 542x119 + 601x120 + 356x121 + 493x122 + 888x123 + 383x124 + 776x125 + 303x126 + 493x127 + 13x128 + 70x129 + 504x130 + 846x131 + 831x132 + 76x133 + 106x134 + 365x135 + 671x136 + 157x137 + 608x138 + 903x139 + 480x140 + 376x141 + 822x142 + 649x143 + 616x144 + 103x145 + 827x146 + 955x147 + 456x148 + 328x149 + 435x150 + 767x151 + 813x152 + 126x153 + 959x154 + 745x155 + 364x156 + 845x157 + 916x158 + 803x159 + 407x160 + 480x161 + 731x162 + 920x163 + 154x164 + 730x165 + 757x166 + 436x167 + 124x168 + 182x169 + 645x170 + 613x171 + 126x172 + 984x173 + 427x174 + 693x175 + 422x176 + 663x177 + 708x178 + 82x179 + 840x180 + 473x181 + 10x182 + 547x183 + 1x184 + 765x185 + 925x186 + 859x187 + 387x188 + 46x189 + 543x190 + 483x191 + 607x192 + 428x193 + 696x194 + 201x195 + 182x196 + 314x197 + 622x198 + 507x199 + 278x200 + 504x201 + 881x202 + 353x203 + 45x204 + 343x205 + 82x206 + 374x207 + 182x208 + 854x209 + 922x210 + 732x211 + 726x212 + 631x213 + 490x214 + 786x215 + 517x216 + 592x217 + 334x218 + 463x219 + 102x220 + 450x221 + 552x222 + 196x223 + 389x224 + 835x225 + 870x226 + 587x227 + 811x228 + 940x229 + 651x230 + 200x231 + 907x232 + 218x233 + 430x234 + 420x235 + 418x236 + 877x237 + 132x238 + 692x239 + 248x240 + 683x241 + 190x242 + 179x243 + 929x244 + 650x245 + 883x246 + 668x247 + 866x248 + 175x249 + 627x250 <=63244 
binaries 
x1 
x2 
x3 
x4 
x5 
x6 
x7 
x8 
x9 
x10 
x11 
x12 
x13 
x14 
x15 
x16 
x17 
x18 
x19 
x20 
x21 
x22 
x23 
x24 
x25 
x26 
x27 
x28 
x29 
x30 
x31 
x32 
x33 
x34 
x35 
x36 
x37 
x38 
x39 
x40 
x41 
x42 
x43 
x44 
x45 
x46 
x47 
x48 
x49 
x50 
x51 
x52 
x53 
x54 
x55 
x56 
x57 
x58 
x59 
x60 
x61 
x62 
x63 
x64 
x65 
x66 
x67 
x68 
x69 
x70 
x71 
x72 
x73 
x74 
x75 
x76 
x77 
x78 
x79 
x80 
x81 
x82 
x83 
x84 
x85 
x86 
x87 
x88 
x89 
x90 
x91 
x92 
x93 
x94 
x95 
x96 
x97 
x98 
x99 
x100 
x101 
x102 
x103 
x104 
x105 
x106 
x107 
x108 
x109 
x110 
x111 
x112 
x113 
x114 
x115 
x116 
x117 
x118 
x119 
x120 
x121 
x122 
x123 
x124 
x125 
x126 
x127 
x128 
x129 
x130 
x131 
x132 
x133 
x134 
x135 
x136 
x137 
x138 
x139 
x140 
x141 
x142 
x143 
x144 
x145 
x146 
x147 
x148 
x149 
x150 
x151 
x152 
x153 
x154 
x155 
x156 
x157 
x158 
x159 
x160 
x161 
x162 
x163 
x164 
x165 
x166 
x167 
x168 
x169 
x170 
x171 
x172 
x173 
x174 
x175 
x176 
x177 
x178 
x179 
x180 
x181 
x182 
x183 
x184 
x185 
x186 
x187 
x188 
x189 
x190 
x191 
x192 
x193 
x194 
x195 
x196 
x197 
x198 
x199 
x200 
x201 
x202 
x203 
x204 
x205 
x206 
x207 
x208 
x209 
x210 
x211 
x212 
x213 
x214 
x215 
x216 
x217 
x218 
x219 
x220 
x221 
x222 
x223 
x224 
x225 
x226 
x227 
x228 
x229 
x230 
x231 
x232 
x233 
x234 
x235 
x236 
x237 
x238 
x239 
x240 
x241 
x242 
x243 
x244 
x245 
x246 
x247 
x248 
x249 
x250 
end