maximize 
objective: + 885x1 + 797x2 + 975x3 + 504x4 + 705x5 + 894x6 + 705x7 + 796x8 + 562x9 + 773x10 + 594x11 + 867x12 + 552x13 + 979x14 + 499x15 + 893x16 + 582x17 + 847x18 + 465x19 + 873x20 + 739x21 + 571x22 + 1056x23 + 614x24 + 822x25 + 686x26 + 855x27 + 675x28 + 792x29 + 480x30 + 895x31 + 1017x32 + 1000x33 + 1100x34 + 702x35 + 615x36 + 908x37 + 839x38 + 491x39 + 550x40 + 716x41 + 1030x42 + 432x43 + 893x44 + 421x45 + 816x46 + 987x47 + 760x48 + 688x49 + 527x50 + 912x51 + 725x52 + 802x53 + 314x54 + 1007x55 + 526x56 + 717x57 + 1212x58 + 976x59 + 312x60 + 1040x61 + 1051x62 + 640x63 + 729x64 + 726x65 + 1049x66 + 721x67 + 958x68 + 892x69 + 967x70 + 523x71 + 962x72 + 740x73 + 822x74 + 1025x75 + 630x76 + 695x77 + 768x78 + 770x79 + 747x80 + 775x81 + 831x82 + 664x83 + 975x84 + 883x85 + 985x86 + 818x87 + 738x88 + 787x89 + 718x90 + 977x91 + 490x92 + 646x93 + 944x94 + 925x95 + 546x96 + 874x97 + 601x98 + 784x99 + 873x100 + 529x101 + 991x102 + 701x103 + 530x104 + 627x105 + 704x106 + 963x107 + 1199x108 + 987x109 + 569x110 + 876x111 + 332x112 + 824x113 + 711x114 + 723x115 + 380x116 + 405x117 + 578x118 + 821x119 + 910x120 + 812x121 + 684x122 + 586x123 + 763x124 + 902x125 + 460x126 + 749x127 + 405x128 + 979x129 + 645x130 + 920x131 + 1102x132 + 947x133 + 610x134 + 892x135 + 475x136 + 763x137 + 1194x138 + 406x139 + 391x140 + 488x141 + 730x142 + 769x143 + 1029x144 + 864x145 + 668x146 + 428x147 + 941x148 + 1077x149 + 691x150 + 704x151 + 1092x152 + 687x153 + 601x154 + 643x155 + 634x156 + 600x157 + 692x158 + 986x159 + 831x160 + 943x161 + 797x162 + 671x163 + 1287x164 + 834x165 + 986x166 + 809x167 + 305x168 + 573x169 + 665x170 + 864x171 + 939x172 + 1008x173 + 859x174 + 642x175 + 468x176 + 571x177 + 529x178 + 1025x179 + 1240x180 + 721x181 + 1308x182 + 796x183 + 910x184 + 498x185 + 1067x186 + 1140x187 + 864x188 + 864x189 + 748x190 + 745x191 + 593x192 + 897x193 + 356x194 + 317x195 + 490x196 + 901x197 + 551x198 + 595x199 + 696x200 + 973x201 + 1040x202 + 592x203 + 897x204 + 882x205 + 790x206 + 901x207 + 751x208 + 968x209 + 779x210 + 912x211 + 941x212 + 683x213 + 995x214 + 498x215 + 857x216 + 822x217 + 893x218 + 490x219 + 782x220 + 700x221 + 432x222 + 804x223 + 544x224 + 1167x225 + 867x226 + 540x227 + 500x228 + 807x229 + 882x230 + 940x231 + 700x232 + 613x233 + 670x234 + 846x235 + 845x236 + 808x237 + 602x238 + 773x239 + 772x240 + 507x241 + 1073x242 + 1134x243 + 448x244 + 838x245 + 919x246 + 686x247 + 770x248 + 708x249 + 598x250 
subject to 
constr1: + 87x1 + 487x2 + 342x3 + 46x4 + 767x5 + 280x6 + 452x7 + 142x8 + 260x9 + 168x10 + 331x11 + 13x12 + 334x13 + 617x14 + 418x15 + 404x16 + 171x17 + 574x18 + 126x19 + 686x20 + 42x21 + 543x22 + 582x23 + 409x24 + 700x25 + 358x26 + 118x27 + 242x28 + 840x29 + 915x30 + 465x31 + 962x32 + 875x33 + 944x34 + 294x35 + 843x36 + 858x37 + 459x38 + 302x39 + 816x40 + 7x41 + 583x42 + 571x43 + 839x44 + 301x45 + 545x46 + 368x47 + 672x48 + 44x49 + 387x50 + 672x51 + 730x52 + 26x53 + 99x54 + 840x55 + 82x56 + 280x57 + 961x58 + 660x59 + 11x60 + 784x61 + 723x62 + 938x63 + 652x64 + 679x65 + 400x66 + 992x67 + 404x68 + 134x69 + 950x70 + 126x71 + 358x72 + 464x73 + 268x74 + 636x75 + 212x76 + 428x77 + 870x78 + 530x79 + 789x80 + 88x81 + 244x82 + 785x83 + 663x84 + 601x85 + 658x86 + 780x87 + 203x88 + 716x89 + 533x90 + 390x91 + 371x92 + 964x93 + 379x94 + 402x95 + 411x96 + 850x97 + 159x98 + 757x99 + 954x100 + 501x101 + 790x102 + 236x103 + 880x104 + 615x105 + 949x106 + 741x107 + 468x108 + 771x109 + 655x110 + 703x111 + 421x112 + 191x113 + 32x114 + 224x115 + 277x116 + 782x117 + 651x118 + 962x119 + 331x120 + 682x121 + 771x122 + 653x123 + 377x124 + 396x125 + 955x126 + 522x127 + 201x128 + 580x129 + 998x130 + 789x131 + 389x132 + 318x133 + 806x134 + 744x135 + 85x136 + 978x137 + 989x138 + 55x139 + 224x140 + 74x141 + 53x142 + 952x143 + 822x144 + 314x145 + 112x146 + 398x147 + 875x148 + 505x149 + 62x150 + 978x151 + 852x152 + 617x153 + 234x154 + 368x155 + 135x156 + 552x157 + 380x158 + 762x159 + 108x160 + 901x161 + 788x162 + 631x163 + 885x164 + 401x165 + 603x166 + 489x167 + 39x168 + 451x169 + 682x170 + 554x171 + 766x172 + 306x173 + 695x174 + 68x175 + 377x176 + 487x177 + 170x178 + 523x179 + 971x180 + 930x181 + 892x182 + 451x183 + 509x184 + 34x185 + 187x186 + 872x187 + 651x188 + 361x189 + 293x190 + 777x191 + 45x192 + 845x193 + 338x194 + 12x195 + 58x196 + 255x197 + 343x198 + 808x199 + 164x200 + 697x201 + 956x202 + 165x203 + 895x204 + 817x205 + 301x206 + 644x207 + 63x208 + 352x209 + 137x210 + 534x211 + 819x212 + 906x213 + 460x214 + 966x215 + 405x216 + 283x217 + 757x218 + 381x219 + 215x220 + 670x221 + 422x222 + 560x223 + 285x224 + 820x225 + 159x226 + 772x227 + 804x228 + 534x229 + 738x230 + 605x231 + 478x232 + 988x233 + 212x234 + 394x235 + 82x236 + 721x237 + 840x238 + 536x239 + 446x240 + 316x241 + 571x242 + 944x243 + 884x244 + 199x245 + 335x246 + 906x247 + 238x248 + 790x249 + 544x250 <=64099 
constr2: + 990x1 + 321x2 + 783x3 + 48x4 + 295x5 + 226x6 + 307x7 + 859x8 + 862x9 + 155x10 + 656x11 + 746x12 + 208x13 + 355x14 + 132x15 + 945x16 + 926x17 + 81x18 + 49x19 + 599x20 + 792x21 + 223x22 + 628x23 + 432x24 + 681x25 + 607x26 + 571x27 + 404x28 + 384x29 + 526x30 + 281x31 + 13x32 + 676x33 + 442x34 + 228x35 + 931x36 + 734x37 + 325x38 + 89x39 + 519x40 + 651x41 + 727x42 + 188x43 + 650x44 + 512x45 + 533x46 + 545x47 + 355x48 + 260x49 + 619x50 + 753x51 + 115x52 + 795x53 + 146x54 + 374x55 + 617x56 + 16x57 + 938x58 + 701x59 + 339x60 + 544x61 + 686x62 + 326x63 + 563x64 + 527x65 + 794x66 + 917x67 + 686x68 + 820x69 + 166x70 + 254x71 + 619x72 + 387x73 + 271x74 + 922x75 + 280x76 + 910x77 + 802x78 + 180x79 + 811x80 + 610x81 + 864x82 + 778x83 + 779x84 + 890x85 + 631x86 + 412x87 + 189x88 + 639x89 + 502x90 + 958x91 + 597x92 + 26x93 + 726x94 + 797x95 + 531x96 + 815x97 + 34x98 + 523x99 + 409x100 + 298x101 + 693x102 + 730x103 + 502x104 + 662x105 + 53x106 + 570x107 + 716x108 + 57x109 + 619x110 + 828x111 + 313x112 + 537x113 + 495x114 + 986x115 + 463x116 + 453x117 + 382x118 + 508x119 + 844x120 + 115x121 + 435x122 + 164x123 + 418x124 + 965x125 + 247x126 + 636x127 + 116x128 + 155x129 + 328x130 + 636x131 + 517x132 + 943x133 + 674x134 + 286x135 + 520x136 + 251x137 + 848x138 + 69x139 + 358x140 + 570x141 + 496x142 + 353x143 + 564x144 + 712x145 + 402x146 + 931x147 + 360x148 + 587x149 + 999x150 + 128x151 + 751x152 + 895x153 + 849x154 + 832x155 + 593x156 + 762x157 + 439x158 + 860x159 + 223x160 + 44x161 + 53x162 + 770x163 + 977x164 + 956x165 + 773x166 + 456x167 + 353x168 + 275x169 + 335x170 + 506x171 + 623x172 + 633x173 + 73x174 + 155x175 + 668x176 + 225x177 + 447x178 + 620x179 + 678x180 + 429x181 + 906x182 + 184x183 + 406x184 + 537x185 + 832x186 + 931x187 + 698x188 + 617x189 + 623x190 + 558x191 + 155x192 + 626x193 + 561x194 + 428x195 + 6x196 + 641x197 + 173x198 + 154x199 + 387x200 + 501x201 + 476x202 + 960x203 + 247x204 + 158x205 + 814x206 + 778x207 + 362x208 + 506x209 + 472x210 + 749x211 + 176x212 + 379x213 + 654x214 + 50x215 + 311x216 + 250x217 + 912x218 + 348x219 + 326x220 + 154x221 + 943x222 + 657x223 + 384x224 + 692x225 + 180x226 + 498x227 + 907x228 + 494x229 + 28x230 + 59x231 + 403x232 + 346x233 + 437x234 + 434x235 + 981x236 + 552x237 + 311x238 + 999x239 + 85x240 + 939x241 + 827x242 + 239x243 + 166x244 + 564x245 + 621x246 + 248x247 + 301x248 + 657x249 + 897x250 <=63819 
constr3: + 963x1 + 156x2 + 332x3 + 903x4 + 853x5 + 551x6 + 147x7 + 982x8 + 397x9 + 1000x10 + 42x11 + 473x12 + 227x13 + 891x14 + 338x15 + 131x16 + 381x17 + 361x18 + 792x19 + 516x20 + 736x21 + 677x22 + 718x23 + 770x24 + 160x25 + 977x26 + 145x27 + 542x28 + 832x29 + 214x30 + 192x31 + 803x32 + 577x33 + 348x34 + 839x35 + 135x36 + 219x37 + 695x38 + 7x39 + 246x40 + 156x41 + 854x42 + 310x43 + 75x44 + 250x45 + 435x46 + 885x47 + 911x48 + 178x49 + 244x50 + 277x51 + 437x52 + 679x53 + 148x54 + 449x55 + 603x56 + 810x57 + 720x58 + 546x59 + 280x60 + 700x61 + 450x62 + 237x63 + 854x64 + 908x65 + 919x66 + 861x67 + 326x68 + 361x69 + 25x70 + 471x71 + 998x72 + 798x73 + 661x74 + 354x75 + 228x76 + 25x77 + 322x78 + 42x79 + 639x80 + 194x81 + 733x82 + 745x83 + 210x84 + 355x85 + 903x86 + 388x87 + 303x88 + 404x89 + 595x90 + 919x91 + 757x92 + 515x93 + 417x94 + 288x95 + 17x96 + 902x97 + 365x98 + 844x99 + 62x100 + 961x101 + 916x102 + 84x103 + 469x104 + 269x105 + 323x106 + 725x107 + 914x108 + 823x109 + 776x110 + 746x111 + 156x112 + 948x113 + 253x114 + 354x115 + 98x116 + 132x117 + 288x118 + 137x119 + 126x120 + 918x121 + 284x122 + 447x123 + 787x124 + 86x125 + 620x126 + 955x127 + 238x128 + 190x129 + 501x130 + 501x131 + 982x132 + 306x133 + 145x134 + 38x135 + 866x136 + 505x137 + 835x138 + 704x139 + 247x140 + 683x141 + 886x142 + 813x143 + 974x144 + 416x145 + 11x146 + 600x147 + 423x148 + 683x149 + 814x150 + 710x151 + 768x152 + 176x153 + 784x154 + 579x155 + 12x156 + 987x157 + 499x158 + 260x159 + 436x160 + 628x161 + 927x162 + 575x163 + 621x164 + 220x165 + 959x166 + 636x167 + 143x168 + 56x169 + 434x170 + 139x171 + 161x172 + 720x173 + 443x174 + 170x175 + 421x176 + 798x177 + 1000x178 + 709x179 + 632x180 + 215x181 + 858x182 + 4x183 + 133x184 + 763x185 + 881x186 + 490x187 + 430x188 + 404x189 + 429x190 + 571x191 + 738x192 + 456x193 + 28x194 + 4x195 + 341x196 + 831x197 + 935x198 + 599x199 + 458x200 + 236x201 + 219x202 + 69x203 + 953x204 + 419x205 + 871x206 + 162x207 + 729x208 + 678x209 + 227x210 + 399x211 + 764x212 + 79x213 + 499x214 + 26x215 + 173x216 + 717x217 + 910x218 + 389x219 + 866x220 + 56x221 + 186x222 + 906x223 + 17x224 + 907x225 + 971x226 + 57x227 + 92x228 + 875x229 + 120x230 + 759x231 + 717x232 + 43x233 + 995x234 + 335x235 + 280x236 + 269x237 + 532x238 + 13x239 + 642x240 + 169x241 + 788x242 + 655x243 + 221x244 + 629x245 + 754x246 + 665x247 + 744x248 + 464x249 + 456x250 <=62220 
constr4: + 980x1 + 808x2 + 735x3 + 947x4 + 463x5 + 658x6 + 899x7 + 477x8 + 201x9 + 492x10 + 161x11 + 962x12 + 827x13 + 798x14 + 631x15 + 892x16 + 41x17 + 388x18 + 367x19 + 951x20 + 58x21 + 112x22 + 997x23 + 796x24 + 492x25 + 761x26 + 825x27 + 270x28 + 993x29 + 214x30 + 419x31 + 422x32 + 231x33 + 801x34 + 841x35 + 55x36 + 482x37 + 179x38 + 42x39 + 49x40 + 698x41 + 907x42 + 264x43 + 78x44 + 933x45 + 790x46 + 911x47 + 590x48 + 18x49 + 886x50 + 880x51 + 58x52 + 514x53 + 67x54 + 884x55 + 378x56 + 887x57 + 201x58 + 929x59 + 96x60 + 657x61 + 927x62 + 454x63 + 265x64 + 373x65 + 979x66 + 310x67 + 791x68 + 157x69 + 917x70 + 399x71 + 975x72 + 541x73 + 907x74 + 136x75 + 715x76 + 779x77 + 526x78 + 948x79 + 552x80 + 363x81 + 742x82 + 48x83 + 948x84 + 781x85 + 946x86 + 237x87 + 983x88 + 616x89 + 254x90 + 47x91 + 215x92 + 955x93 + 666x94 + 594x95 + 456x96 + 367x97 + 607x98 + 151x99 + 66x100 + 22x101 + 881x102 + 954x103 + 96x104 + 522x105 + 578x106 + 265x107 + 594x108 + 485x109 + 44x110 + 492x111 + 26x112 + 436x113 + 980x114 + 647x115 + 118x116 + 298x117 + 863x118 + 153x119 + 74x120 + 182x121 + 222x122 + 585x123 + 779x124 + 829x125 + 265x126 + 85x127 + 20x128 + 741x129 + 309x130 + 211x131 + 728x132 + 798x133 + 589x134 + 916x135 + 36x136 + 624x137 + 441x138 + 747x139 + 298x140 + 588x141 + 129x142 + 753x143 + 45x144 + 629x145 + 288x146 + 61x147 + 768x148 + 995x149 + 209x150 + 182x151 + 436x152 + 890x153 + 770x154 + 25x155 + 109x156 + 335x157 + 459x158 + 97x159 + 996x160 + 214x161 + 532x162 + 410x163 + 794x164 + 12x165 + 770x166 + 411x167 + 202x168 + 168x169 + 536x170 + 215x171 + 580x172 + 432x173 + 541x174 + 930x175 + 424x176 + 293x177 + 178x178 + 747x179 + 960x180 + 605x181 + 815x182 + 798x183 + 868x184 + 772x185 + 386x186 + 918x187 + 156x188 + 946x189 + 263x190 + 557x191 + 744x192 + 539x193 + 86x194 + 436x195 + 680x196 + 913x197 + 360x198 + 793x199 + 786x200 + 434x201 + 799x202 + 371x203 + 663x204 + 545x205 + 16x206 + 839x207 + 299x208 + 581x209 + 985x210 + 928x211 + 464x212 + 283x213 + 491x214 + 696x215 + 955x216 + 588x217 + 686x218 + 889x219 + 577x220 + 478x221 + 135x222 + 241x223 + 641x224 + 732x225 + 138x226 + 353x227 + 201x228 + 789x229 + 807x230 + 333x231 + 765x232 + 197x233 + 526x234 + 761x235 + 99x236 + 334x237 + 498x238 + 56x239 + 56x240 + 372x241 + 943x242 + 972x243 + 448x244 + 291x245 + 555x246 + 492x247 + 831x248 + 433x249 + 110x250 <=64590 
constr5: + 400x1 + 659x2 + 395x3 + 505x4 + 454x5 + 846x6 + 72x7 + 680x8 + 530x9 + 645x10 + 648x11 + 767x12 + 527x13 + 202x14 + 34x15 + 605x16 + 232x17 + 681x18 + 320x19 + 443x20 + 310x21 + 396x22 + 579x23 + 107x24 + 15x25 + 479x26 + 542x27 + 1000x28 + 26x29 + 187x30 + 828x31 + 994x32 + 917x33 + 627x34 + 40x35 + 86x36 + 650x37 + 608x38 + 336x39 + 367x40 + 174x41 + 629x42 + 305x43 + 639x44 + 24x45 + 873x46 + 481x47 + 748x48 + 705x49 + 64x50 + 439x51 + 979x52 + 783x53 + 809x54 + 842x55 + 660x56 + 33x57 + 829x58 + 596x59 + 99x60 + 827x61 + 957x62 + 93x63 + 730x64 + 583x65 + 104x66 + 406x67 + 495x68 + 743x69 + 654x70 + 564x71 + 145x72 + 261x73 + 776x74 + 761x75 + 265x76 + 462x77 + 412x78 + 642x79 + 563x80 + 938x81 + 73x82 + 202x83 + 281x84 + 885x85 + 798x86 + 833x87 + 844x88 + 75x89 + 867x90 + 588x91 + 330x92 + 341x93 + 165x94 + 579x95 + 70x96 + 6x97 + 882x98 + 365x99 + 626x100 + 100x101 + 33x102 + 60x103 + 316x104 + 375x105 + 39x106 + 128x107 + 996x108 + 403x109 + 464x110 + 580x111 + 713x112 + 229x113 + 467x114 + 74x115 + 431x116 + 175x117 + 188x118 + 487x119 + 793x120 + 492x121 + 201x122 + 375x123 + 382x124 + 242x125 + 84x126 + 831x127 + 661x128 + 938x129 + 690x130 + 132x131 + 816x132 + 777x133 + 576x134 + 87x135 + 82x136 + 940x137 + 609x138 + 397x139 + 391x140 + 326x141 + 695x142 + 856x143 + 760x144 + 713x145 + 943x146 + 95x147 + 556x148 + 205x149 + 819x150 + 237x151 + 237x152 + 475x153 + 301x154 + 853x155 + 687x156 + 121x157 + 537x158 + 729x159 + 441x160 + 900x161 + 120x162 + 876x163 + 913x164 + 750x165 + 131x166 + 246x167 + 697x168 + 149x169 + 6x170 + 977x171 + 756x172 + 471x173 + 320x174 + 597x175 + 87x176 + 366x177 + 524x178 + 720x179 + 687x180 + 680x181 + 849x182 + 243x183 + 494x184 + 291x185 + 810x186 + 869x187 + 653x188 + 794x189 + 900x190 + 576x191 + 473x192 + 786x193 + 235x194 + 341x195 + 205x196 + 988x197 + 635x198 + 96x199 + 547x200 + 800x201 + 759x202 + 852x203 + 601x204 + 230x205 + 876x206 + 660x207 + 437x208 + 700x209 + 243x210 + 518x211 + 138x212 + 758x213 + 920x214 + 232x215 + 709x216 + 737x217 + 69x218 + 384x219 + 664x220 + 765x221 + 334x222 + 13x223 + 948x224 + 262x225 + 963x226 + 151x227 + 492x228 + 377x229 + 272x230 + 695x231 + 838x232 + 999x233 + 259x234 + 421x235 + 416x236 + 683x237 + 146x238 + 861x239 + 148x240 + 299x241 + 995x242 + 473x243 + 427x244 + 825x245 + 528x246 + 893x247 + 691x248 + 222x249 + 288x250 <=62855 
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 
end