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