minimize 
objective: s
subject to 
s1: s + 0.501000f1 + 0.001000f2 >= 188496.984000 
s2: s + 0.001000f1 + 0.501000f2 >= 188496.984000 
f1: -f1 + 1011x1 + 390x2 + 958x3 + 708x4 + 1220x5 + 442x6 + 452x7 + 902x8 + 479x9 + 764x10 + 742x11 + 584x12 + 832x13 + 1121x14 + 828x15 + 758x16 + 768x17 + 582x18 + 1140x19 + 465x20 + 583x21 + 728x22 + 592x23 + 826x24 + 355x25 + 906x26 + 690x27 + 1103x28 + 691x29 + 475x30 + 889x31 + 715x32 + 777x33 + 601x34 + 799x35 + 725x36 + 617x37 + 772x38 + 772x39 + 808x40 + 796x41 + 811x42 + 795x43 + 681x44 + 825x45 + 994x46 + 482x47 + 526x48 + 640x49 + 759x50 + 742x51 + 386x52 + 810x53 + 744x54 + 713x55 + 689x56 + 649x57 + 994x58 + 680x59 + 839x60 + 600x61 + 842x62 + 828x63 + 702x64 + 998x65 + 573x66 + 749x67 + 284x68 + 1132x69 + 1032x70 + 893x71 + 594x72 + 588x73 + 680x74 + 860x75 + 624x76 + 755x77 + 869x78 + 964x79 + 335x80 + 761x81 + 439x82 + 960x83 + 986x84 + 883x85 + 450x86 + 871x87 + 456x88 + 862x89 + 438x90 + 1082x91 + 845x92 + 642x93 + 835x94 + 666x95 + 707x96 + 779x97 + 726x98 + 695x99 + 986x100 + 588x101 + 600x102 + 1086x103 + 714x104 + 624x105 + 778x106 + 681x107 + 751x108 + 865x109 + 931x110 + 911x111 + 978x112 + 1202x113 + 917x114 + 866x115 + 677x116 + 751x117 + 970x118 + 669x119 + 482x120 + 950x121 + 614x122 + 672x123 + 862x124 + 435x125 + 878x126 + 340x127 + 751x128 + 644x129 + 1087x130 + 931x131 + 928x132 + 733x133 + 692x134 + 453x135 + 891x136 + 701x137 + 807x138 + 876x139 + 770x140 + 812x141 + 818x142 + 806x143 + 923x144 + 872x145 + 487x146 + 361x147 + 627x148 + 702x149 + 721x150 + 888x151 + 626x152 + 747x153 + 752x154 + 917x155 + 718x156 + 613x157 + 790x158 + 901x159 + 867x160 + 1087x161 + 476x162 + 655x163 + 759x164 + 886x165 + 636x166 + 831x167 + 673x168 + 601x169 + 377x170 + 898x171 + 594x172 + 806x173 + 965x174 + 1002x175 + 555x176 + 808x177 + 803x178 + 588x179 + 907x180 + 715x181 + 416x182 + 395x183 + 718x184 + 817x185 + 855x186 + 753x187 + 897x188 + 1029x189 + 698x190 + 651x191 + 919x192 + 689x193 + 776x194 + 945x195 + 931x196 + 822x197 + 963x198 + 820x199 + 1149x200 + 523x201 + 1116x202 + 830x203 + 1072x204 + 1084x205 + 894x206 + 934x207 + 815x208 + 841x209 + 458x210 + 475x211 + 858x212 + 1042x213 + 1012x214 + 785x215 + 1004x216 + 1122x217 + 783x218 + 661x219 + 820x220 + 898x221 + 482x222 + 801x223 + 789x224 + 503x225 + 953x226 + 771x227 + 506x228 + 1063x229 + 941x230 + 757x231 + 835x232 + 624x233 + 726x234 + 750x235 + 551x236 + 476x237 + 777x238 + 752x239 + 860x240 + 1007x241 + 590x242 + 972x243 + 875x244 + 410x245 + 917x246 + 861x247 + 656x248 + 583x249 + 778x250 + 512x251 + 638x252 + 808x253 + 859x254 + 580x255 + 838x256 + 588x257 + 963x258 + 1028x259 + 925x260 + 904x261 + 943x262 + 734x263 + 761x264 + 591x265 + 1128x266 + 822x267 + 746x268 + 890x269 + 789x270 + 563x271 + 495x272 + 761x273 + 566x274 + 892x275 + 851x276 + 522x277 + 748x278 + 770x279 + 667x280 + 798x281 + 881x282 + 858x283 + 514x284 + 987x285 + 1100x286 + 606x287 + 382x288 + 503x289 + 976x290 + 976x291 + 792x292 + 818x293 + 442x294 + 989x295 + 796x296 + 682x297 + 703x298 + 873x299 + 885x300 + 653x301 + 634x302 + 729x303 + 729x304 + 716x305 + 535x306 + 822x307 + 840x308 + 827x309 + 1202x310 + 655x311 + 768x312 + 386x313 + 472x314 + 480x315 + 847x316 + 861x317 + 775x318 + 780x319 + 683x320 + 463x321 + 926x322 + 975x323 + 553x324 + 726x325 + 392x326 + 879x327 + 710x328 + 753x329 + 929x330 + 927x331 + 696x332 + 578x333 + 743x334 + 943x335 + 679x336 + 538x337 + 573x338 + 547x339 + 677x340 + 743x341 + 752x342 + 629x343 + 762x344 + 482x345 + 1150x346 + 567x347 + 686x348 + 694x349 + 764x350 + 620x351 + 944x352 + 925x353 + 917x354 + 636x355 + 806x356 + 773x357 + 924x358 + 934x359 + 816x360 + 634x361 + 547x362 + 569x363 + 408x364 + 702x365 + 835x366 + 743x367 + 755x368 + 896x369 + 797x370 + 1056x371 + 788x372 + 924x373 + 868x374 + 508x375 + 673x376 + 628x377 + 905x378 + 441x379 + 1084x380 + 881x381 + 465x382 + 742x383 + 1150x384 + 964x385 + 808x386 + 728x387 + 825x388 + 994x389 + 276x390 + 775x391 + 743x392 + 639x393 + 585x394 + 609x395 + 561x396 + 582x397 + 629x398 + 797x399 + 881x400 + 970x401 + 325x402 + 989x403 + 943x404 + 317x405 + 943x406 + 665x407 + 452x408 + 518x409 + 616x410 + 701x411 + 561x412 + 893x413 + 553x414 + 846x415 + 953x416 + 797x417 + 619x418 + 437x419 + 466x420 + 913x421 + 579x422 + 635x423 + 589x424 + 470x425 + 390x426 + 1151x427 + 882x428 + 758x429 + 928x430 + 1166x431 + 678x432 + 817x433 + 807x434 + 856x435 + 562x436 + 939x437 + 782x438 + 895x439 + 624x440 + 616x441 + 958x442 + 421x443 + 619x444 + 772x445 + 598x446 + 401x447 + 838x448 + 835x449 + 1003x450 + 500x451 + 1085x452 + 407x453 + 762x454 + 892x455 + 610x456 + 600x457 + 751x458 + 658x459 + 636x460 + 1128x461 + 775x462 + 145x463 + 458x464 + 930x465 + 343x466 + 1066x467 + 758x468 + 846x469 + 1019x470 + 434x471 + 945x472 + 939x473 + 705x474 + 897x475 + 806x476 + 1197x477 + 611x478 + 961x479 + 1011x480 + 755x481 + 378x482 + 885x483 + 786x484 + 737x485 + 441x486 + 531x487 + 889x488 + 832x489 + 879x490 + 619x491 + 872x492 + 707x493 + 807x494 + 499x495 + 660x496 + 949x497 + 878x498 + 503x499 + 443x500  = 0 
f2: -f2 + 812x1 + 729x2 + 790x3 + 714x4 + 807x5 + 590x6 + 696x7 + 1072x8 + 386x9 + 1012x10 + 801x11 + 893x12 + 628x13 + 858x14 + 950x15 + 797x16 + 725x17 + 803x18 + 889x19 + 624x20 + 943x21 + 822x22 + 563x23 + 759x24 + 886x25 + 656x26 + 986x27 + 883x28 + 453x29 + 1128x30 + 1019x31 + 771x32 + 945x33 + 531x34 + 538x35 + 835x36 + 585x37 + 495x38 + 619x39 + 710x40 + 437x41 + 772x42 + 867x43 + 894x44 + 343x45 + 553x46 + 677x47 + 782x48 + 276x49 + 788x50 + 762x51 + 773x52 + 752x53 + 808x54 + 442x55 + 317x56 + 1100x57 + 964x58 + 859x59 + 752x60 + 872x61 + 923x62 + 925x63 + 1066x64 + 768x65 + 755x66 + 934x67 + 701x68 + 806x69 + 747x70 + 839x71 + 858x72 + 770x73 + 452x74 + 378x75 + 828x76 + 965x77 + 770x78 + 458x79 + 742x80 + 438x81 + 482x82 + 797x83 + 600x84 + 958x85 + 1003x86 + 786x87 + 994x88 + 796x89 + 759x90 + 553x91 + 1116x92 + 862x93 + 789x94 + 692x95 + 617x96 + 817x97 + 442x98 + 734x99 + 1151x100 + 806x101 + 881x102 + 822x103 + 470x104 + 838x105 + 619x106 + 944x107 + 689x108 + 580x109 + 878x110 + 846x111 + 567x112 + 895x113 + 728x114 + 487x115 + 1140x116 + 860x117 + 1128x118 + 682x119 + 620x120 + 943x121 + 616x122 + 609x123 + 629x124 + 961x125 + 832x126 + 340x127 + 653x128 + 792x129 + 678x130 + 929x131 + 606x132 + 779x133 + 1150x134 + 636x135 + 613x136 + 871x137 + 744x138 + 1032x139 + 583x140 + 475x141 + 465x142 + 680x143 + 629x144 + 757x145 + 958x146 + 145x147 + 768x148 + 925x149 + 598x150 + 715x151 + 905x152 + 361x153 + 547x154 + 500x155 + 917x156 + 941x157 + 407x158 + 755x159 + 742x160 + 751x161 + 672x162 + 718x163 + 475x164 + 624x165 + 476x166 + 807x167 + 917x168 + 778x169 + 931x170 + 751x171 + 619x172 + 865x173 + 634x174 + 503x175 + 480x176 + 806x177 + 642x178 + 931x179 + 658x180 + 764x181 + 410x182 + 667x183 + 926x184 + 535x185 + 582x186 + 743x187 + 808x188 + 472x189 + 758x190 + 795x191 + 702x192 + 960x193 + 726x194 + 578x195 + 482x196 + 901x197 + 798x198 + 917x199 + 452x200 + 476x201 + 441x202 + 1122x203 + 799x204 + 892x205 + 526x206 + 893x207 + 1056x208 + 673x209 + 831x210 + 879x211 + 701x212 + 826x213 + 972x214 + 1004x215 + 421x216 + 518x217 + 1063x218 + 761x219 + 780x220 + 861x221 + 562x222 + 721x223 + 673x224 + 702x225 + 869x226 + 746x227 + 573x228 + 718x229 + 594x230 + 1042x231 + 624x232 + 927x233 + 807x234 + 482x235 + 917x236 + 797x237 + 939x238 + 835x239 + 1149x240 + 751x241 + 931x242 + 408x243 + 636x244 + 695x245 + 634x246 + 818x247 + 930x248 + 775x249 + 640x250 + 392x251 + 655x252 + 753x253 + 755x254 + 681x255 + 1132x256 + 866x257 + 503x258 + 627x259 + 611x260 + 762x261 + 851x262 + 860x263 + 776x264 + 987x265 + 835x266 + 1028x267 + 945x268 + 764x269 + 726x270 + 679x271 + 841x272 + 989x273 + 434x274 + 822x275 + 978x276 + 592x277 + 896x278 + 906x279 + 976x280 + 808x281 + 395x282 + 913x283 + 761x284 + 335x285 + 588x286 + 1084x287 + 655x288 + 479x289 + 1150x290 + 891x291 + 970x292 + 661x293 + 964x294 + 1029x295 + 775x296 + 579x297 + 707x298 + 677x299 + 924x300 + 875x301 + 998x302 + 439x303 + 885x304 + 614x305 + 325x306 + 401x307 + 666x308 + 785x309 + 989x310 + 681x311 + 789x312 + 1202x313 + 943x314 + 594x315 + 898x316 + 466x317 + 386x318 + 416x319 + 810x320 + 830x321 + 953x322 + 817x323 + 772x324 + 702x325 + 555x326 + 465x327 + 963x328 + 616x329 + 636x330 + 686x331 + 928x332 + 828x333 + 889x334 + 835x335 + 443x336 + 624x337 + 583x338 + 820x339 + 482x340 + 690x341 + 728x342 + 441x343 + 689x344 + 881x345 + 610x346 + 881x347 + 639x348 + 907x349 + 943x350 + 882x351 + 512x352 + 551x353 + 713x354 + 499x355 + 888x356 + 845x357 + 284x358 + 842x359 + 761x360 + 796x361 + 626x362 + 855x363 + 635x364 + 832x365 + 1002x366 + 638x367 + 644x368 + 868x369 + 691x370 + 742x371 + 651x372 + 705x373 + 703x374 + 904x375 + 994x376 + 588x377 + 750x378 + 1087x379 + 825x380 + 939x381 + 878x382 + 840x383 + 751x384 + 707x385 + 911x386 + 660x387 + 708x388 + 838x389 + 743x390 + 919x391 + 1085x392 + 1011x393 + 743x394 + 508x395 + 649x396 + 752x397 + 986x398 + 561x399 + 503x400 + 816x401 + 726x402 + 772x403 + 783x404 + 600x405 + 1166x406 + 377x407 + 382x408 + 902x409 + 733x410 + 963x411 + 879x412 + 748x413 + 758x414 + 716x415 + 827x416 + 924x417 + 749x418 + 1084x419 + 584x420 + 775x421 + 928x422 + 1007x423 + 566x424 + 818x425 + 588x426 + 876x427 + 463x428 + 753x429 + 846x430 + 680x431 + 561x432 + 601x433 + 588x434 + 683x435 + 582x436 + 698x437 + 390x438 + 694x439 + 949x440 + 573x441 + 435x442 + 976x443 + 808x444 + 456x445 + 897x446 + 1202x447 + 994x448 + 547x449 + 885x450 + 591x451 + 777x452 + 715x453 + 897x454 + 506x455 + 523x456 + 872x457 + 934x458 + 856x459 + 458x460 + 737x461 + 1197x462 + 953x463 + 1220x464 + 890x465 + 589x466 + 514x467 + 390x468 + 669x469 + 862x470 + 1082x471 + 1087x472 + 569x473 + 970x474 + 729x475 + 1103x476 + 665x477 + 873x478 + 815x479 + 600x480 + 1121x481 + 777x482 + 778x483 + 743x484 + 898x485 + 975x486 + 847x487 + 811x488 + 1086x489 + 806x490 + 825x491 + 355x492 + 820x493 + 892x494 + 601x495 + 1011x496 + 861x497 + 522x498 + 450x499 + 758x500  = 0 
constr1: + 495x1 + 492x2 + 357x3 + 742x4 + 845x5 + 940x6 + 722x7 + 344x8 + 874x9 + 857x10 + 915x11 + 653x12 + 186x13 + 130x14 + 661x15 + 880x16 + 406x17 + 506x18 + 982x19 + 179x20 + 229x21 + 940x22 + 714x23 + 11x24 + 994x25 + 480x26 + 719x27 + 58x28 + 833x29 + 224x30 + 472x31 + 272x32 + 633x33 + 370x34 + 420x35 + 103x36 + 569x37 + 147x38 + 373x39 + 209x40 + 124x41 + 712x42 + 64x43 + 762x44 + 986x45 + 493x46 + 497x47 + 862x48 + 276x49 + 522x50 + 522x51 + 593x52 + 166x53 + 874x54 + 199x55 + 369x56 + 666x57 + 569x58 + 988x59 + 92x60 + 497x61 + 312x62 + 258x63 + 489x64 + 113x65 + 107x66 + 924x67 + 281x68 + 342x69 + 958x70 + 236x71 + 482x72 + 312x73 + 569x74 + 836x75 + 111x76 + 153x77 + 617x78 + 510x79 + 202x80 + 355x81 + 803x82 + 796x83 + 789x84 + 804x85 + 902x86 + 981x87 + 627x88 + 402x89 + 104x90 + 252x91 + 826x92 + 428x93 + 110x94 + 297x95 + 925x96 + 470x97 + 32x98 + 133x99 + 404x100 + 555x101 + 11x102 + 982x103 + 483x104 + 297x105 + 412x106 + 999x107 + 395x108 + 614x109 + 165x110 + 165x111 + 763x112 + 628x113 + 99x114 + 114x115 + 677x116 + 254x117 + 362x118 + 587x119 + 697x120 + 585x121 + 181x122 + 479x123 + 891x124 + 193x125 + 967x126 + 294x127 + 579x128 + 833x129 + 857x130 + 478x131 + 864x132 + 504x133 + 178x134 + 997x135 + 716x136 + 756x137 + 449x138 + 489x139 + 879x140 + 41x141 + 946x142 + 407x143 + 988x144 + 135x145 + 850x146 + 493x147 + 363x148 + 837x149 + 732x150 + 560x151 + 836x152 + 495x153 + 815x154 + 38x155 + 646x156 + 337x157 + 846x158 + 201x159 + 635x160 + 457x161 + 749x162 + 793x163 + 317x164 + 534x165 + 477x166 + 751x167 + 494x168 + 731x169 + 807x170 + 641x171 + 785x172 + 619x173 + 536x174 + 498x175 + 498x176 + 810x177 + 722x178 + 581x179 + 286x180 + 616x181 + 28x182 + 765x183 + 482x184 + 933x185 + 15x186 + 767x187 + 717x188 + 611x189 + 9x190 + 59x191 + 622x192 + 654x193 + 334x194 + 77x195 + 916x196 + 429x197 + 226x198 + 502x199 + 311x200 + 854x201 + 303x202 + 729x203 + 139x204 + 203x205 + 119x206 + 951x207 + 494x208 + 880x209 + 529x210 + 498x211 + 846x212 + 631x213 + 108x214 + 851x215 + 653x216 + 362x217 + 173x218 + 371x219 + 224x220 + 511x221 + 257x222 + 922x223 + 714x224 + 865x225 + 690x226 + 729x227 + 844x228 + 715x229 + 282x230 + 520x231 + 9x232 + 884x233 + 208x234 + 655x235 + 691x236 + 162x237 + 950x238 + 598x239 + 361x240 + 230x241 + 847x242 + 228x243 + 707x244 + 363x245 + 362x246 + 248x247 + 316x248 + 71x249 + 672x250 + 722x251 + 317x252 + 278x253 + 533x254 + 399x255 + 969x256 + 658x257 + 585x258 + 855x259 + 245x260 + 131x261 + 340x262 + 630x263 + 611x264 + 174x265 + 484x266 + 797x267 + 227x268 + 839x269 + 822x270 + 823x271 + 594x272 + 342x273 + 406x274 + 155x275 + 566x276 + 572x277 + 791x278 + 405x279 + 247x280 + 707x281 + 817x282 + 860x283 + 645x284 + 359x285 + 15x286 + 346x287 + 322x288 + 119x289 + 940x290 + 421x291 + 63x292 + 922x293 + 705x294 + 208x295 + 717x296 + 898x297 + 313x298 + 625x299 + 490x300 + 786x301 + 367x302 + 26x303 + 569x304 + 984x305 + 852x306 + 135x307 + 78x308 + 457x309 + 698x310 + 627x311 + 406x312 + 511x313 + 136x314 + 529x315 + 353x316 + 411x317 + 21x318 + 707x319 + 589x320 + 539x321 + 435x322 + 100x323 + 506x324 + 10x325 + 681x326 + 415x327 + 880x328 + 363x329 + 31x330 + 317x331 + 561x332 + 532x333 + 288x334 + 159x335 + 310x336 + 123x337 + 594x338 + 656x339 + 467x340 + 730x341 + 461x342 + 160x343 + 866x344 + 850x345 + 77x346 + 568x347 + 384x348 + 601x349 + 175x350 + 442x351 + 234x352 + 491x353 + 670x354 + 965x355 + 510x356 + 595x357 + 948x358 + 425x359 + 690x360 + 230x361 + 200x362 + 447x363 + 942x364 + 349x365 + 362x366 + 190x367 + 185x368 + 247x369 + 423x370 + 606x371 + 685x372 + 776x373 + 525x374 + 877x375 + 113x376 + 916x377 + 775x378 + 523x379 + 874x380 + 306x381 + 871x382 + 62x383 + 602x384 + 681x385 + 164x386 + 486x387 + 276x388 + 316x389 + 489x390 + 735x391 + 229x392 + 990x393 + 66x394 + 760x395 + 707x396 + 251x397 + 436x398 + 638x399 + 515x400 + 973x401 + 124x402 + 40x403 + 412x404 + 490x405 + 413x406 + 130x407 + 445x408 + 262x409 + 591x410 + 105x411 + 296x412 + 109x413 + 643x414 + 97x415 + 147x416 + 637x417 + 430x418 + 840x419 + 499x420 + 557x421 + 593x422 + 857x423 + 616x424 + 256x425 + 565x426 + 936x427 + 423x428 + 929x429 + 896x430 + 577x431 + 426x432 + 812x433 + 169x434 + 720x435 + 128x436 + 512x437 + 947x438 + 359x439 + 877x440 + 31x441 + 804x442 + 425x443 + 544x444 + 874x445 + 795x446 + 394x447 + 743x448 + 782x449 + 132x450 + 299x451 + 443x452 + 911x453 + 387x454 + 87x455 + 155x456 + 470x457 + 859x458 + 519x459 + 386x460 + 580x461 + 268x462 + 630x463 + 232x464 + 797x465 + 182x466 + 268x467 + 578x468 + 924x469 + 792x470 + 252x471 + 1x472 + 264x473 + 919x474 + 997x475 + 84x476 + 138x477 + 241x478 + 816x479 + 605x480 + 596x481 + 157x482 + 375x483 + 564x484 + 249x485 + 73x486 + 808x487 + 263x488 + 200x489 + 258x490 + 757x491 + 924x492 + 382x493 + 81x494 + 132x495 + 588x496 + 391x497 + 546x498 + 14x499 + 465x500 <= 127602 
constr2: + 424x1 + 665x2 + 568x3 + 728x4 + 440x5 + 794x6 + 256x7 + 255x8 + 365x9 + 36x10 + 75x11 + 725x12 + 525x13 + 505x14 + 166x15 + 409x16 + 275x17 + 921x18 + 365x19 + 687x20 + 738x21 + 854x22 + 462x23 + 424x24 + 172x25 + 86x26 + 8x27 + 924x28 + 937x29 + 59x30 + 27x31 + 833x32 + 585x33 + 115x34 + 380x35 + 825x36 + 960x37 + 646x38 + 311x39 + 845x40 + 453x41 + 971x42 + 732x43 + 676x44 + 138x45 + 794x46 + 101x47 + 266x48 + 785x49 + 912x50 + 13x51 + 537x52 + 787x53 + 205x54 + 937x55 + 17x56 + 64x57 + 462x58 + 916x59 + 248x60 + 374x61 + 954x62 + 381x63 + 864x64 + 19x65 + 294x66 + 647x67 + 267x68 + 49x69 + 863x70 + 548x71 + 976x72 + 140x73 + 778x74 + 473x75 + 330x76 + 149x77 + 462x78 + 416x79 + 926x80 + 116x81 + 445x82 + 464x83 + 329x84 + 8x85 + 550x86 + 629x87 + 667x88 + 536x89 + 35x90 + 760x91 + 167x92 + 965x93 + 745x94 + 990x95 + 806x96 + 125x97 + 138x98 + 744x99 + 126x100 + 121x101 + 765x102 + 389x103 + 847x104 + 962x105 + 762x106 + 954x107 + 464x108 + 854x109 + 485x110 + 485x111 + 579x112 + 820x113 + 928x114 + 69x115 + 278x116 + 313x117 + 255x118 + 515x119 + 61x120 + 657x121 + 963x122 + 21x123 + 753x124 + 350x125 + 374x126 + 862x127 + 186x128 + 841x129 + 833x130 + 695x131 + 299x132 + 817x133 + 840x134 + 524x135 + 170x136 + 62x137 + 937x138 + 784x139 + 141x140 + 932x141 + 471x142 + 486x143 + 859x144 + 521x145 + 857x146 + 525x147 + 729x148 + 70x149 + 161x150 + 761x151 + 400x152 + 646x153 + 959x154 + 129x155 + 135x156 + 88x157 + 650x158 + 574x159 + 276x160 + 173x161 + 346x162 + 405x163 + 578x164 + 928x165 + 743x166 + 904x167 + 98x168 + 889x169 + 640x170 + 913x171 + 89x172 + 288x173 + 195x174 + 90x175 + 910x176 + 146x177 + 976x178 + 638x179 + 385x180 + 30x181 + 509x182 + 337x183 + 555x184 + 181x185 + 215x186 + 94x187 + 336x188 + 660x189 + 317x190 + 660x191 + 557x192 + 737x193 + 733x194 + 120x195 + 809x196 + 471x197 + 300x198 + 514x199 + 758x200 + 194x201 + 527x202 + 407x203 + 861x204 + 282x205 + 139x206 + 466x207 + 83x208 + 928x209 + 45x210 + 170x211 + 310x212 + 706x213 + 705x214 + 938x215 + 678x216 + 319x217 + 547x218 + 803x219 + 436x220 + 2x221 + 288x222 + 922x223 + 252x224 + 455x225 + 530x226 + 274x227 + 739x228 + 686x229 + 502x230 + 296x231 + 790x232 + 571x233 + 734x234 + 281x235 + 601x236 + 194x237 + 646x238 + 812x239 + 475x240 + 475x241 + 447x242 + 688x243 + 625x244 + 530x245 + 790x246 + 60x247 + 130x248 + 956x249 + 483x250 + 96x251 + 413x252 + 505x253 + 641x254 + 191x255 + 562x256 + 781x257 + 592x258 + 410x259 + 933x260 + 965x261 + 204x262 + 228x263 + 43x264 + 682x265 + 717x266 + 127x267 + 811x268 + 759x269 + 763x270 + 826x271 + 852x272 + 162x273 + 512x274 + 712x275 + 346x276 + 390x277 + 740x278 + 159x279 + 478x280 + 523x281 + 638x282 + 854x283 + 64x284 + 18x285 + 857x286 + 796x287 + 894x288 + 547x289 + 561x290 + 952x291 + 554x292 + 155x293 + 504x294 + 549x295 + 805x296 + 495x297 + 483x298 + 186x299 + 358x300 + 402x301 + 172x302 + 467x303 + 33x304 + 438x305 + 654x306 + 338x307 + 312x308 + 93x309 + 467x310 + 491x311 + 35x312 + 525x313 + 878x314 + 907x315 + 551x316 + 309x317 + 352x318 + 559x319 + 400x320 + 587x321 + 859x322 + 204x323 + 655x324 + 793x325 + 592x326 + 995x327 + 411x328 + 588x329 + 58x330 + 576x331 + 695x332 + 3x333 + 487x334 + 423x335 + 272x336 + 359x337 + 611x338 + 78x339 + 491x340 + 671x341 + 515x342 + 41x343 + 856x344 + 306x345 + 922x346 + 433x347 + 625x348 + 369x349 + 405x350 + 570x351 + 977x352 + 643x353 + 232x354 + 119x355 + 350x356 + 639x357 + 134x358 + 566x359 + 101x360 + 535x361 + 17x362 + 67x363 + 640x364 + 897x365 + 958x366 + 182x367 + 801x368 + 285x369 + 61x370 + 557x371 + 676x372 + 310x373 + 364x374 + 56x375 + 670x376 + 281x377 + 434x378 + 23x379 + 399x380 + 344x381 + 770x382 + 179x383 + 193x384 + 692x385 + 902x386 + 527x387 + 110x388 + 372x389 + 424x390 + 758x391 + 164x392 + 288x393 + 719x394 + 538x395 + 369x396 + 341x397 + 303x398 + 961x399 + 828x400 + 111x401 + 78x402 + 278x403 + 18x404 + 720x405 + 125x406 + 48x407 + 252x408 + 635x409 + 469x410 + 381x411 + 344x412 + 367x413 + 598x414 + 237x415 + 127x416 + 853x417 + 951x418 + 606x419 + 536x420 + 129x421 + 159x422 + 868x423 + 791x424 + 873x425 + 78x426 + 517x427 + 113x428 + 814x429 + 107x430 + 6x431 + 307x432 + 342x433 + 212x434 + 929x435 + 797x436 + 462x437 + 616x438 + 561x439 + 282x440 + 696x441 + 797x442 + 323x443 + 525x444 + 729x445 + 441x446 + 621x447 + 603x448 + 247x449 + 937x450 + 483x451 + 52x452 + 734x453 + 739x454 + 382x455 + 455x456 + 848x457 + 253x458 + 413x459 + 1000x460 + 950x461 + 890x462 + 295x463 + 395x464 + 321x465 + 568x466 + 774x467 + 118x468 + 855x469 + 284x470 + 331x471 + 489x472 + 559x473 + 504x474 + 849x475 + 365x476 + 708x477 + 250x478 + 940x479 + 654x480 + 370x481 + 741x482 + 631x483 + 440x484 + 466x485 + 964x486 + 590x487 + 835x488 + 381x489 + 491x490 + 512x491 + 751x492 + 603x493 + 572x494 + 835x495 + 998x496 + 393x497 + 34x498 + 957x499 + 677x500 <= 122751 
constr3: + 5x1 + 580x2 + 281x3 + 982x4 + 512x5 + 536x6 + 704x7 + 727x8 + 394x9 + 504x10 + 935x11 + 381x12 + 517x13 + 54x14 + 481x15 + 982x16 + 759x17 + 269x18 + 87x19 + 917x20 + 754x21 + 369x22 + 673x23 + 851x24 + 395x25 + 496x26 + 724x27 + 434x28 + 909x29 + 653x30 + 554x31 + 31x32 + 274x33 + 833x34 + 339x35 + 963x36 + 61x37 + 320x38 + 997x39 + 480x40 + 913x41 + 380x42 + 757x43 + 668x44 + 967x45 + 141x46 + 27x47 + 272x48 + 690x49 + 420x50 + 863x51 + 773x52 + 403x53 + 411x54 + 118x55 + 436x56 + 60x57 + 485x58 + 859x59 + 619x60 + 558x61 + 29x62 + 318x63 + 855x64 + 977x65 + 128x66 + 407x67 + 700x68 + 343x69 + 314x70 + 431x71 + 214x72 + 313x73 + 34x74 + 691x75 + 925x76 + 365x77 + 356x78 + 176x79 + 475x80 + 692x81 + 899x82 + 533x83 + 534x84 + 645x85 + 179x86 + 108x87 + 260x88 + 722x89 + 280x90 + 103x91 + 699x92 + 102x93 + 898x94 + 963x95 + 276x96 + 796x97 + 659x98 + 533x99 + 642x100 + 8x101 + 382x102 + 847x103 + 503x104 + 506x105 + 720x106 + 282x107 + 425x108 + 342x109 + 532x110 + 553x111 + 824x112 + 181x113 + 528x114 + 18x115 + 336x116 + 906x117 + 282x118 + 164x119 + 628x120 + 340x121 + 152x122 + 719x123 + 945x124 + 567x125 + 146x126 + 942x127 + 174x128 + 113x129 + 649x130 + 974x131 + 77x132 + 254x133 + 269x134 + 445x135 + 611x136 + 804x137 + 192x138 + 817x139 + 744x140 + 852x141 + 76x142 + 678x143 + 78x144 + 437x145 + 165x146 + 445x147 + 618x148 + 392x149 + 366x150 + 165x151 + 764x152 + 275x153 + 333x154 + 19x155 + 470x156 + 528x157 + 7x158 + 305x159 + 118x160 + 946x161 + 50x162 + 193x163 + 364x164 + 835x165 + 365x166 + 15x167 + 260x168 + 150x169 + 697x170 + 560x171 + 529x172 + 94x173 + 580x174 + 429x175 + 150x176 + 980x177 + 625x178 + 150x179 + 124x180 + 865x181 + 33x182 + 583x183 + 115x184 + 128x185 + 88x186 + 988x187 + 994x188 + 344x189 + 128x190 + 228x191 + 132x192 + 477x193 + 615x194 + 935x195 + 937x196 + 517x197 + 944x198 + 479x199 + 88x200 + 962x201 + 746x202 + 752x203 + 269x204 + 587x205 + 516x206 + 513x207 + 640x208 + 193x209 + 60x210 + 214x211 + 976x212 + 635x213 + 226x214 + 19x215 + 818x216 + 57x217 + 175x218 + 121x219 + 4x220 + 929x221 + 805x222 + 710x223 + 928x224 + 291x225 + 54x226 + 383x227 + 761x228 + 621x229 + 389x230 + 349x231 + 728x232 + 751x233 + 350x234 + 841x235 + 988x236 + 101x237 + 700x238 + 223x239 + 371x240 + 862x241 + 46x242 + 692x243 + 292x244 + 31x245 + 305x246 + 896x247 + 697x248 + 999x249 + 852x250 + 587x251 + 829x252 + 210x253 + 911x254 + 879x255 + 905x256 + 908x257 + 113x258 + 697x259 + 183x260 + 252x261 + 500x262 + 728x263 + 195x264 + 501x265 + 778x266 + 786x267 + 318x268 + 490x269 + 596x270 + 521x271 + 857x272 + 474x273 + 727x274 + 849x275 + 569x276 + 166x277 + 974x278 + 999x279 + 263x280 + 450x281 + 174x282 + 601x283 + 637x284 + 666x285 + 500x286 + 456x287 + 920x288 + 17x289 + 799x290 + 14x291 + 313x292 + 64x293 + 189x294 + 312x295 + 35x296 + 827x297 + 104x298 + 755x299 + 194x300 + 628x301 + 85x302 + 119x303 + 296x304 + 148x305 + 976x306 + 228x307 + 838x308 + 470x309 + 353x310 + 703x311 + 253x312 + 146x313 + 157x314 + 51x315 + 363x316 + 562x317 + 742x318 + 753x319 + 285x320 + 472x321 + 616x322 + 982x323 + 872x324 + 962x325 + 249x326 + 694x327 + 406x328 + 283x329 + 54x330 + 893x331 + 88x332 + 169x333 + 390x334 + 928x335 + 808x336 + 710x337 + 928x338 + 278x339 + 741x340 + 624x341 + 675x342 + 281x343 + 323x344 + 455x345 + 850x346 + 570x347 + 320x348 + 947x349 + 684x350 + 672x351 + 464x352 + 994x353 + 333x354 + 920x355 + 884x356 + 938x357 + 119x358 + 522x359 + 692x360 + 51x361 + 998x362 + 551x363 + 618x364 + 554x365 + 383x366 + 148x367 + 506x368 + 614x369 + 215x370 + 726x371 + 684x372 + 396x373 + 819x374 + 524x375 + 352x376 + 145x377 + 563x378 + 534x379 + 124x380 + 187x381 + 22x382 + 247x383 + 680x384 + 775x385 + 980x386 + 660x387 + 444x388 + 232x389 + 583x390 + 802x391 + 734x392 + 21x393 + 191x394 + 362x395 + 166x396 + 543x397 + 584x398 + 108x399 + 190x400 + 718x401 + 501x402 + 509x403 + 451x404 + 802x405 + 545x406 + 424x407 + 605x408 + 688x409 + 106x410 + 758x411 + 695x412 + 667x413 + 332x414 + 870x415 + 309x416 + 406x417 + 319x418 + 11x419 + 721x420 + 940x421 + 377x422 + 905x423 + 828x424 + 711x425 + 458x426 + 397x427 + 189x428 + 145x429 + 89x430 + 496x431 + 812x432 + 348x433 + 714x434 + 537x435 + 595x436 + 178x437 + 725x438 + 726x439 + 106x440 + 188x441 + 550x442 + 570x443 + 792x444 + 787x445 + 303x446 + 756x447 + 649x448 + 881x449 + 909x450 + 220x451 + 186x452 + 102x453 + 813x454 + 324x455 + 654x456 + 578x457 + 885x458 + 936x459 + 215x460 + 686x461 + 715x462 + 54x463 + 315x464 + 929x465 + 743x466 + 701x467 + 276x468 + 107x469 + 647x470 + 374x471 + 799x472 + 917x473 + 231x474 + 275x475 + 712x476 + 267x477 + 269x478 + 714x479 + 522x480 + 591x481 + 38x482 + 583x483 + 689x484 + 382x485 + 851x486 + 845x487 + 419x488 + 710x489 + 290x490 + 772x491 + 379x492 + 47x493 + 317x494 + 193x495 + 332x496 + 357x497 + 42x498 + 95x499 + 958x500 <= 127019 
constr4: + 331x1 + 161x2 + 609x3 + 989x4 + 347x5 + 661x6 + 619x7 + 744x8 + 709x9 + 894x10 + 3x11 + 219x12 + 899x13 + 955x14 + 759x15 + 964x16 + 909x17 + 843x18 + 642x19 + 964x20 + 471x21 + 107x22 + 605x23 + 743x24 + 153x25 + 813x26 + 394x27 + 670x28 + 226x29 + 424x30 + 808x31 + 877x32 + 797x33 + 977x34 + 518x35 + 59x36 + 511x37 + 950x38 + 433x39 + 358x40 + 798x41 + 941x42 + 964x43 + 795x44 + 314x45 + 799x46 + 242x47 + 159x48 + 801x49 + 871x50 + 269x51 + 759x52 + 107x53 + 456x54 + 277x55 + 223x56 + 339x57 + 58x58 + 279x59 + 309x60 + 889x61 + 683x62 + 412x63 + 524x64 + 407x65 + 542x66 + 85x67 + 281x68 + 363x69 + 557x70 + 672x71 + 398x72 + 333x73 + 566x74 + 708x75 + 816x76 + 790x77 + 487x78 + 364x79 + 641x80 + 688x81 + 313x82 + 222x83 + 101x84 + 747x85 + 831x86 + 41x87 + 653x88 + 342x89 + 244x90 + 713x91 + 542x92 + 480x93 + 646x94 + 602x95 + 648x96 + 738x97 + 565x98 + 206x99 + 774x100 + 773x101 + 258x102 + 903x103 + 760x104 + 899x105 + 144x106 + 436x107 + 714x108 + 879x109 + 443x110 + 597x111 + 675x112 + 508x113 + 20x114 + 509x115 + 382x116 + 895x117 + 576x118 + 314x119 + 241x120 + 419x121 + 196x122 + 390x123 + 919x124 + 801x125 + 226x126 + 387x127 + 903x128 + 549x129 + 728x130 + 73x131 + 361x132 + 647x133 + 269x134 + 231x135 + 428x136 + 263x137 + 179x138 + 572x139 + 625x140 + 861x141 + 532x142 + 484x143 + 78x144 + 76x145 + 893x146 + 897x147 + 322x148 + 317x149 + 316x150 + 655x151 + 212x152 + 11x153 + 329x154 + 694x155 + 162x156 + 147x157 + 542x158 + 78x159 + 266x160 + 944x161 + 695x162 + 261x163 + 500x164 + 616x165 + 551x166 + 600x167 + 634x168 + 536x169 + 1x170 + 459x171 + 317x172 + 49x173 + 130x174 + 874x175 + 448x176 + 552x177 + 735x178 + 307x179 + 345x180 + 279x181 + 114x182 + 162x183 + 572x184 + 437x185 + 884x186 + 698x187 + 853x188 + 310x189 + 691x190 + 828x191 + 962x192 + 211x193 + 328x194 + 571x195 + 45x196 + 576x197 + 40x198 + 258x199 + 394x200 + 480x201 + 295x202 + 434x203 + 494x204 + 18x205 + 588x206 + 454x207 + 402x208 + 280x209 + 631x210 + 651x211 + 43x212 + 75x213 + 779x214 + 233x215 + 113x216 + 897x217 + 996x218 + 930x219 + 282x220 + 114x221 + 744x222 + 93x223 + 533x224 + 678x225 + 782x226 + 955x227 + 325x228 + 687x229 + 415x230 + 524x231 + 44x232 + 967x233 + 879x234 + 985x235 + 28x236 + 303x237 + 930x238 + 217x239 + 876x240 + 949x241 + 567x242 + 992x243 + 176x244 + 731x245 + 558x246 + 108x247 + 949x248 + 471x249 + 626x250 + 374x251 + 671x252 + 880x253 + 749x254 + 169x255 + 772x256 + 930x257 + 335x258 + 124x259 + 765x260 + 142x261 + 796x262 + 327x263 + 936x264 + 283x265 + 392x266 + 288x267 + 958x268 + 242x269 + 461x270 + 763x271 + 822x272 + 661x273 + 119x274 + 620x275 + 135x276 + 70x277 + 748x278 + 100x279 + 671x280 + 120x281 + 861x282 + 701x283 + 341x284 + 190x285 + 499x286 + 423x287 + 791x288 + 54x289 + 627x290 + 175x291 + 259x292 + 92x293 + 816x294 + 363x295 + 974x296 + 61x297 + 299x298 + 510x299 + 190x300 + 435x301 + 460x302 + 692x303 + 512x304 + 98x305 + 990x306 + 972x307 + 18x308 + 109x309 + 548x310 + 593x311 + 727x312 + 683x313 + 846x314 + 504x315 + 852x316 + 894x317 + 226x318 + 760x319 + 254x320 + 394x321 + 354x322 + 428x323 + 568x324 + 721x325 + 314x326 + 399x327 + 77x328 + 886x329 + 495x330 + 972x331 + 867x332 + 208x333 + 415x334 + 979x335 + 466x336 + 891x337 + 172x338 + 251x339 + 552x340 + 430x341 + 670x342 + 43x343 + 812x344 + 879x345 + 388x346 + 367x347 + 860x348 + 567x349 + 440x350 + 692x351 + 841x352 + 566x353 + 645x354 + 426x355 + 156x356 + 245x357 + 339x358 + 348x359 + 487x360 + 613x361 + 629x362 + 449x363 + 996x364 + 923x365 + 791x366 + 673x367 + 524x368 + 16x369 + 322x370 + 807x371 + 632x372 + 115x373 + 803x374 + 441x375 + 176x376 + 846x377 + 583x378 + 257x379 + 494x380 + 818x381 + 328x382 + 34x383 + 15x384 + 906x385 + 380x386 + 330x387 + 119x388 + 840x389 + 218x390 + 586x391 + 227x392 + 586x393 + 548x394 + 943x395 + 755x396 + 667x397 + 796x398 + 358x399 + 310x400 + 98x401 + 151x402 + 681x403 + 860x404 + 971x405 + 843x406 + 389x407 + 850x408 + 64x409 + 424x410 + 672x411 + 511x412 + 285x413 + 583x414 + 907x415 + 794x416 + 95x417 + 638x418 + 596x419 + 257x420 + 714x421 + 952x422 + 632x423 + 336x424 + 494x425 + 621x426 + 836x427 + 486x428 + 328x429 + 845x430 + 457x431 + 464x432 + 871x433 + 268x434 + 137x435 + 930x436 + 838x437 + 428x438 + 788x439 + 649x440 + 891x441 + 726x442 + 953x443 + 842x444 + 802x445 + 880x446 + 39x447 + 745x448 + 923x449 + 19x450 + 527x451 + 234x452 + 340x453 + 52x454 + 311x455 + 176x456 + 135x457 + 879x458 + 40x459 + 471x460 + 522x461 + 330x462 + 235x463 + 945x464 + 489x465 + 336x466 + 126x467 + 11x468 + 588x469 + 945x470 + 385x471 + 711x472 + 105x473 + 666x474 + 743x475 + 582x476 + 999x477 + 328x478 + 693x479 + 684x480 + 600x481 + 20x482 + 956x483 + 418x484 + 453x485 + 238x486 + 751x487 + 353x488 + 959x489 + 642x490 + 84x491 + 388x492 + 897x493 + 620x494 + 492x495 + 499x496 + 447x497 + 915x498 + 521x499 + 672x500 <= 120946 
constr5: + 538x1 + 453x2 + 705x3 + 196x4 + 8x5 + 977x6 + 319x7 + 584x8 + 579x9 + 552x10 + 383x11 + 338x12 + 616x13 + 584x14 + 252x15 + 475x16 + 499x17 + 142x18 + 9x19 + 907x20 + 508x21 + 985x22 + 463x23 + 317x24 + 612x25 + 933x26 + 527x27 + 264x28 + 616x29 + 320x30 + 555x31 + 897x32 + 218x33 + 227x34 + 341x35 + 371x36 + 338x37 + 128x38 + 918x39 + 881x40 + 505x41 + 646x42 + 933x43 + 858x44 + 32x45 + 454x46 + 972x47 + 387x48 + 546x49 + 843x50 + 754x51 + 825x52 + 863x53 + 92x54 + 336x55 + 237x56 + 788x57 + 666x58 + 188x59 + 550x60 + 35x61 + 809x62 + 728x63 + 438x64 + 919x65 + 670x66 + 329x67 + 869x68 + 60x69 + 549x70 + 704x71 + 703x72 + 560x73 + 472x74 + 441x75 + 924x76 + 21x77 + 151x78 + 756x79 + 179x80 + 18x81 + 995x82 + 775x83 + 47x84 + 117x85 + 753x86 + 704x87 + 413x88 + 473x89 + 96x90 + 916x91 + 155x92 + 736x93 + 777x94 + 370x95 + 648x96 + 152x97 + 921x98 + 405x99 + 140x100 + 877x101 + 752x102 + 468x103 + 367x104 + 250x105 + 647x106 + 818x107 + 609x108 + 263x109 + 36x110 + 629x111 + 397x112 + 914x113 + 270x114 + 968x115 + 613x116 + 735x117 + 752x118 + 95x119 + 28x120 + 510x121 + 294x122 + 166x123 + 358x124 + 542x125 + 313x126 + 89x127 + 392x128 + 405x129 + 722x130 + 625x131 + 279x132 + 549x133 + 865x134 + 476x135 + 458x136 + 519x137 + 627x138 + 762x139 + 168x140 + 495x141 + 157x142 + 551x143 + 152x144 + 747x145 + 948x146 + 13x147 + 443x148 + 540x149 + 632x150 + 741x151 + 762x152 + 480x153 + 101x154 + 642x155 + 87x156 + 174x157 + 960x158 + 892x159 + 493x160 + 143x161 + 586x162 + 61x163 + 798x164 + 733x165 + 775x166 + 622x167 + 753x168 + 54x169 + 403x170 + 56x171 + 201x172 + 885x173 + 786x174 + 346x175 + 820x176 + 933x177 + 76x178 + 910x179 + 337x180 + 484x181 + 323x182 + 970x183 + 327x184 + 178x185 + 197x186 + 367x187 + 150x188 + 407x189 + 416x190 + 493x191 + 574x192 + 574x193 + 865x194 + 569x195 + 786x196 + 372x197 + 755x198 + 740x199 + 363x200 + 519x201 + 112x202 + 963x203 + 188x204 + 119x205 + 114x206 + 542x207 + 970x208 + 934x209 + 543x210 + 906x211 + 976x212 + 112x213 + 974x214 + 814x215 + 164x216 + 601x217 + 333x218 + 383x219 + 467x220 + 913x221 + 135x222 + 698x223 + 757x224 + 113x225 + 982x226 + 93x227 + 745x228 + 843x229 + 604x230 + 292x231 + 360x232 + 19x233 + 122x234 + 301x235 + 25x236 + 552x237 + 789x238 + 835x239 + 504x240 + 424x241 + 541x242 + 35x243 + 150x244 + 255x245 + 964x246 + 473x247 + 511x248 + 263x249 + 334x250 + 48x251 + 606x252 + 189x253 + 957x254 + 324x255 + 658x256 + 920x257 + 434x258 + 288x259 + 829x260 + 809x261 + 740x262 + 448x263 + 80x264 + 705x265 + 945x266 + 436x267 + 721x268 + 125x269 + 149x270 + 553x271 + 288x272 + 747x273 + 637x274 + 416x275 + 605x276 + 714x277 + 819x278 + 547x279 + 570x280 + 652x281 + 328x282 + 507x283 + 552x284 + 91x285 + 715x286 + 748x287 + 155x288 + 364x289 + 789x290 + 668x291 + 765x292 + 294x293 + 801x294 + 238x295 + 660x296 + 402x297 + 92x298 + 289x299 + 395x300 + 841x301 + 984x302 + 192x303 + 217x304 + 62x305 + 400x306 + 416x307 + 892x308 + 273x309 + 292x310 + 804x311 + 340x312 + 462x313 + 282x314 + 153x315 + 96x316 + 834x317 + 161x318 + 584x319 + 394x320 + 788x321 + 918x322 + 760x323 + 1x324 + 219x325 + 883x326 + 167x327 + 658x328 + 909x329 + 219x330 + 29x331 + 351x332 + 593x333 + 7x334 + 952x335 + 915x336 + 433x337 + 238x338 + 957x339 + 979x340 + 914x341 + 54x342 + 179x343 + 549x344 + 368x345 + 470x346 + 696x347 + 214x348 + 458x349 + 735x350 + 81x351 + 13x352 + 49x353 + 534x354 + 107x355 + 26x356 + 560x357 + 540x358 + 371x359 + 740x360 + 306x361 + 752x362 + 374x363 + 469x364 + 103x365 + 153x366 + 664x367 + 39x368 + 437x369 + 934x370 + 741x371 + 715x372 + 143x373 + 234x374 + 10x375 + 190x376 + 783x377 + 1x378 + 169x379 + 762x380 + 132x381 + 101x382 + 655x383 + 686x384 + 674x385 + 653x386 + 574x387 + 510x388 + 652x389 + 706x390 + 386x391 + 761x392 + 810x393 + 185x394 + 133x395 + 813x396 + 987x397 + 48x398 + 562x399 + 507x400 + 858x401 + 506x402 + 26x403 + 826x404 + 128x405 + 184x406 + 800x407 + 285x408 + 334x409 + 62x410 + 84x411 + 477x412 + 615x413 + 842x414 + 658x415 + 44x416 + 704x417 + 131x418 + 42x419 + 775x420 + 191x421 + 845x422 + 685x423 + 841x424 + 221x425 + 623x426 + 826x427 + 792x428 + 916x429 + 1x430 + 812x431 + 737x432 + 990x433 + 343x434 + 850x435 + 690x436 + 92x437 + 640x438 + 756x439 + 820x440 + 618x441 + 603x442 + 273x443 + 973x444 + 28x445 + 998x446 + 306x447 + 288x448 + 153x449 + 127x450 + 709x451 + 716x452 + 466x453 + 39x454 + 906x455 + 133x456 + 706x457 + 474x458 + 829x459 + 460x460 + 922x461 + 783x462 + 520x463 + 640x464 + 804x465 + 912x466 + 270x467 + 794x468 + 155x469 + 97x470 + 184x471 + 346x472 + 981x473 + 953x474 + 353x475 + 980x476 + 82x477 + 67x478 + 519x479 + 576x480 + 248x481 + 874x482 + 792x483 + 413x484 + 892x485 + 894x486 + 89x487 + 51x488 + 17x489 + 681x490 + 766x491 + 755x492 + 398x493 + 848x494 + 884x495 + 392x496 + 777x497 + 211x498 + 430x499 + 507x500 <= 128264 
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 
x251 
x252 
x253 
x254 
x255 
x256 
x257 
x258 
x259 
x260 
x261 
x262 
x263 
x264 
x265 
x266 
x267 
x268 
x269 
x270 
x271 
x272 
x273 
x274 
x275 
x276 
x277 
x278 
x279 
x280 
x281 
x282 
x283 
x284 
x285 
x286 
x287 
x288 
x289 
x290 
x291 
x292 
x293 
x294 
x295 
x296 
x297 
x298 
x299 
x300 
x301 
x302 
x303 
x304 
x305 
x306 
x307 
x308 
x309 
x310 
x311 
x312 
x313 
x314 
x315 
x316 
x317 
x318 
x319 
x320 
x321 
x322 
x323 
x324 
x325 
x326 
x327 
x328 
x329 
x330 
x331 
x332 
x333 
x334 
x335 
x336 
x337 
x338 
x339 
x340 
x341 
x342 
x343 
x344 
x345 
x346 
x347 
x348 
x349 
x350 
x351 
x352 
x353 
x354 
x355 
x356 
x357 
x358 
x359 
x360 
x361 
x362 
x363 
x364 
x365 
x366 
x367 
x368 
x369 
x370 
x371 
x372 
x373 
x374 
x375 
x376 
x377 
x378 
x379 
x380 
x381 
x382 
x383 
x384 
x385 
x386 
x387 
x388 
x389 
x390 
x391 
x392 
x393 
x394 
x395 
x396 
x397 
x398 
x399 
x400 
x401 
x402 
x403 
x404 
x405 
x406 
x407 
x408 
x409 
x410 
x411 
x412 
x413 
x414 
x415 
x416 
x417 
x418 
x419 
x420 
x421 
x422 
x423 
x424 
x425 
x426 
x427 
x428 
x429 
x430 
x431 
x432 
x433 
x434 
x435 
x436 
x437 
x438 
x439 
x440 
x441 
x442 
x443 
x444 
x445 
x446 
x447 
x448 
x449 
x450 
x451 
x452 
x453 
x454 
x455 
x456 
x457 
x458 
x459 
x460 
x461 
x462 
x463 
x464 
x465 
x466 
x467 
x468 
x469 
x470 
x471 
x472 
x473 
x474 
x475 
x476 
x477 
x478 
x479 
x480 
x481 
x482 
x483 
x484 
x485 
x486 
x487 
x488 
x489 
x490 
x491 
x492 
x493 
x494 
x495 
x496 
x497 
x498 
x499 
x500 
end