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