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