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