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