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