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