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