maximize 
objective: + 628x1 + 988x2 + 368x3 + 699x4 + 686x5 + 906x6 + 633x7 + 746x8 + 880x9 + 711x10 + 711x11 + 943x12 + 966x13 + 1098x14 + 595x15 + 597x16 + 307x17 + 412x18 + 1005x19 + 795x20 + 857x21 + 862x22 + 768x23 + 902x24 + 664x25 + 705x26 + 570x27 + 351x28 + 775x29 + 950x30 + 1092x31 + 736x32 + 832x33 + 802x34 + 280x35 + 995x36 + 492x37 + 821x38 + 1073x39 + 400x40 + 725x41 + 627x42 + 577x43 + 909x44 + 557x45 + 651x46 + 705x47 + 787x48 + 606x49 + 1236x50 + 672x51 + 515x52 + 837x53 + 655x54 + 578x55 + 452x56 + 777x57 + 918x58 + 933x59 + 1004x60 + 821x61 + 688x62 + 818x63 + 776x64 + 436x65 + 1181x66 + 814x67 + 340x68 + 817x69 + 881x70 + 455x71 + 819x72 + 1228x73 + 1079x74 + 512x75 + 1061x76 + 638x77 + 686x78 + 414x79 + 699x80 + 907x81 + 784x82 + 743x83 + 920x84 + 603x85 + 875x86 + 854x87 + 1043x88 + 911x89 + 718x90 + 881x91 + 815x92 + 827x93 + 895x94 + 641x95 + 1134x96 + 699x97 + 621x98 + 828x99 + 1063x100 + 908x101 + 651x102 + 859x103 + 661x104 + 653x105 + 484x106 + 789x107 + 888x108 + 709x109 + 976x110 + 948x111 + 794x112 + 615x113 + 893x114 + 870x115 + 509x116 + 949x117 + 804x118 + 595x119 + 979x120 + 576x121 + 510x122 + 851x123 + 1089x124 + 804x125 + 502x126 + 1107x127 + 534x128 + 615x129 + 922x130 + 443x131 + 944x132 + 327x133 + 637x134 + 628x135 + 408x136 + 758x137 + 1009x138 + 982x139 + 803x140 + 1219x141 + 773x142 + 510x143 + 776x144 + 752x145 + 949x146 + 847x147 + 611x148 + 473x149 + 437x150 + 991x151 + 963x152 + 708x153 + 708x154 + 1071x155 + 614x156 + 317x157 + 652x158 + 733x159 + 828x160 + 683x161 + 528x162 + 658x163 + 668x164 + 809x165 + 754x166 + 1077x167 + 958x168 + 618x169 + 781x170 + 891x171 + 693x172 + 490x173 + 619x174 + 704x175 + 1095x176 + 804x177 + 626x178 + 394x179 + 651x180 + 807x181 + 1050x182 + 816x183 + 581x184 + 461x185 + 377x186 + 992x187 + 678x188 + 827x189 + 916x190 + 638x191 + 739x192 + 365x193 + 802x194 + 1030x195 + 1094x196 + 639x197 + 913x198 + 685x199 + 1023x200 + 634x201 + 943x202 + 600x203 + 681x204 + 1094x205 + 701x206 + 957x207 + 876x208 + 351x209 + 776x210 + 881x211 + 606x212 + 578x213 + 645x214 + 904x215 + 777x216 + 729x217 + 945x218 + 948x219 + 694x220 + 1017x221 + 1004x222 + 639x223 + 990x224 + 603x225 + 627x226 + 700x227 + 617x228 + 914x229 + 707x230 + 824x231 + 965x232 + 559x233 + 786x234 + 763x235 + 387x236 + 1158x237 + 722x238 + 859x239 + 925x240 + 852x241 + 807x242 + 739x243 + 654x244 + 1048x245 + 885x246 + 447x247 + 662x248 + 683x249 + 790x250 
subject to 
constr1: + 26x1 + 573x2 + 6x3 + 984x4 + 260x5 + 907x6 + 305x7 + 705x8 + 744x9 + 183x10 + 348x11 + 795x12 + 431x13 + 434x14 + 771x15 + 229x16 + 147x17 + 347x18 + 879x19 + 168x20 + 657x21 + 921x22 + 142x23 + 695x24 + 89x25 + 779x26 + 924x27 + 590x28 + 159x29 + 953x30 + 967x31 + 725x32 + 991x33 + 969x34 + 30x35 + 289x36 + 258x37 + 953x38 + 487x39 + 215x40 + 443x41 + 471x42 + 162x43 + 903x44 + 656x45 + 338x46 + 962x47 + 810x48 + 857x49 + 559x50 + 181x51 + 740x52 + 857x53 + 514x54 + 608x55 + 31x56 + 880x57 + 539x58 + 683x59 + 557x60 + 261x61 + 684x62 + 125x63 + 556x64 + 243x65 + 372x66 + 376x67 + 95x68 + 298x69 + 645x70 + 50x71 + 152x72 + 899x73 + 493x74 + 569x75 + 895x76 + 424x77 + 567x78 + 20x79 + 73x80 + 833x81 + 78x82 + 890x83 + 945x84 + 600x85 + 511x86 + 931x87 + 727x88 + 15x89 + 372x90 + 48x91 + 843x92 + 230x93 + 640x94 + 851x95 + 720x96 + 550x97 + 830x98 + 589x99 + 641x100 + 13x101 + 848x102 + 684x103 + 29x104 + 439x105 + 952x106 + 545x107 + 658x108 + 521x109 + 80x110 + 587x111 + 314x112 + 77x113 + 1x114 + 685x115 + 895x116 + 932x117 + 398x118 + 48x119 + 743x120 + 743x121 + 415x122 + 744x123 + 56x124 + 580x125 + 252x126 + 648x127 + 883x128 + 449x129 + 792x130 + 21x131 + 913x132 + 26x133 + 513x134 + 499x135 + 486x136 + 770x137 + 952x138 + 873x139 + 591x140 + 722x141 + 85x142 + 261x143 + 724x144 + 965x145 + 664x146 + 127x147 + 142x148 + 519x149 + 55x150 + 623x151 + 864x152 + 689x153 + 739x154 + 686x155 + 316x156 + 278x157 + 273x158 + 749x159 + 996x160 + 851x161 + 177x162 + 208x163 + 101x164 + 416x165 + 608x166 + 711x167 + 987x168 + 361x169 + 766x170 + 522x171 + 1000x172 + 955x173 + 111x174 + 210x175 + 857x176 + 175x177 + 498x178 + 192x179 + 286x180 + 320x181 + 307x182 + 47x183 + 767x184 + 244x185 + 48x186 + 128x187 + 951x188 + 284x189 + 470x190 + 185x191 + 675x192 + 204x193 + 233x194 + 797x195 + 607x196 + 185x197 + 118x198 + 961x199 + 892x200 + 293x201 + 529x202 + 108x203 + 235x204 + 909x205 + 165x206 + 564x207 + 856x208 + 156x209 + 871x210 + 968x211 + 63x212 + 143x213 + 833x214 + 281x215 + 959x216 + 640x217 + 983x218 + 511x219 + 33x220 + 943x221 + 163x222 + 717x223 + 591x224 + 28x225 + 681x226 + 549x227 + 109x228 + 253x229 + 346x230 + 457x231 + 617x232 + 719x233 + 618x234 + 822x235 + 89x236 + 654x237 + 880x238 + 481x239 + 689x240 + 269x241 + 856x242 + 190x243 + 25x244 + 789x245 + 794x246 + 245x247 + 535x248 + 181x249 + 583x250 <=31737 
constr2: + 83x1 + 74x2 + 53x3 + 457x4 + 905x5 + 546x6 + 683x7 + 409x8 + 175x9 + 192x10 + 298x11 + 149x12 + 367x13 + 706x14 + 326x15 + 40x16 + 41x17 + 563x18 + 720x19 + 367x20 + 618x21 + 219x22 + 873x23 + 620x24 + 707x25 + 395x26 + 280x27 + 205x28 + 658x29 + 951x30 + 476x31 + 825x32 + 43x33 + 866x34 + 176x35 + 776x36 + 37x37 + 931x38 + 834x39 + 168x40 + 428x41 + 489x42 + 386x43 + 399x44 + 658x45 + 526x46 + 642x47 + 435x48 + 253x49 + 935x50 + 90x51 + 523x52 + 662x53 + 136x54 + 168x55 + 35x56 + 247x57 + 375x58 + 794x59 + 794x60 + 433x61 + 791x62 + 972x63 + 316x64 + 704x65 + 872x66 + 719x67 + 255x68 + 128x69 + 729x70 + 448x71 + 182x72 + 780x73 + 838x74 + 572x75 + 982x76 + 27x77 + 343x78 + 35x79 + 148x80 + 57x81 + 694x82 + 204x83 + 331x84 + 262x85 + 718x86 + 195x87 + 911x88 + 953x89 + 676x90 + 962x91 + 914x92 + 50x93 + 462x94 + 420x95 + 369x96 + 722x97 + 70x98 + 619x99 + 422x100 + 531x101 + 53x102 + 868x103 + 308x104 + 279x105 + 752x106 + 832x107 + 876x108 + 434x109 + 244x110 + 410x111 + 690x112 + 238x113 + 1000x114 + 190x115 + 255x116 + 634x117 + 374x118 + 528x119 + 149x120 + 82x121 + 217x122 + 104x123 + 628x124 + 485x125 + 734x126 + 647x127 + 927x128 + 937x129 + 411x130 + 194x131 + 750x132 + 22x133 + 608x134 + 209x135 + 801x136 + 852x137 + 791x138 + 598x139 + 305x140 + 870x141 + 140x142 + 277x143 + 206x144 + 924x145 + 829x146 + 865x147 + 616x148 + 186x149 + 105x150 + 585x151 + 127x152 + 2x153 + 360x154 + 996x155 + 89x156 + 209x157 + 966x158 + 314x159 + 103x160 + 68x161 + 54x162 + 989x163 + 566x164 + 944x165 + 152x166 + 420x167 + 390x168 + 612x169 + 187x170 + 990x171 + 812x172 + 56x173 + 609x174 + 918x175 + 776x176 + 354x177 + 61x178 + 731x179 + 213x180 + 661x181 + 269x182 + 621x183 + 388x184 + 264x185 + 511x186 + 871x187 + 464x188 + 959x189 + 877x190 + 390x191 + 176x192 + 411x193 + 136x194 + 773x195 + 446x196 + 602x197 + 878x198 + 526x199 + 898x200 + 15x201 + 452x202 + 817x203 + 725x204 + 976x205 + 281x206 + 988x207 + 646x208 + 490x209 + 88x210 + 750x211 + 399x212 + 228x213 + 51x214 + 428x215 + 573x216 + 997x217 + 752x218 + 879x219 + 474x220 + 966x221 + 781x222 + 684x223 + 594x224 + 984x225 + 306x226 + 697x227 + 287x228 + 868x229 + 266x230 + 856x231 + 853x232 + 397x233 + 538x234 + 341x235 + 389x236 + 877x237 + 150x238 + 680x239 + 698x240 + 561x241 + 510x242 + 337x243 + 78x244 + 622x245 + 995x246 + 870x247 + 329x248 + 745x249 + 137x250 <=31304 
constr3: + 398x1 + 622x2 + 496x3 + 116x4 + 771x5 + 742x6 + 609x7 + 882x8 + 905x9 + 233x10 + 574x11 + 693x12 + 809x13 + 952x14 + 741x15 + 372x16 + 284x17 + 468x18 + 504x19 + 566x20 + 24x21 + 284x22 + 522x23 + 438x24 + 596x25 + 472x26 + 77x27 + 541x28 + 883x29 + 633x30 + 699x31 + 3x32 + 723x33 + 965x34 + 539x35 + 147x36 + 603x37 + 867x38 + 759x39 + 465x40 + 462x41 + 515x42 + 47x43 + 589x44 + 393x45 + 755x46 + 911x47 + 396x48 + 285x49 + 872x50 + 633x51 + 242x52 + 589x53 + 851x54 + 899x55 + 658x56 + 320x57 + 519x58 + 551x59 + 649x60 + 780x61 + 700x62 + 396x63 + 358x64 + 606x65 + 806x66 + 351x67 + 266x68 + 436x69 + 154x70 + 89x71 + 96x72 + 886x73 + 381x74 + 184x75 + 515x76 + 152x77 + 60x78 + 653x79 + 953x80 + 441x81 + 604x82 + 768x83 + 947x84 + 552x85 + 319x86 + 637x87 + 1x88 + 987x89 + 243x90 + 36x91 + 479x92 + 104x93 + 843x94 + 252x95 + 722x96 + 488x97 + 769x98 + 990x99 + 922x100 + 830x101 + 722x102 + 65x103 + 789x104 + 387x105 + 96x106 + 840x107 + 622x108 + 702x109 + 534x110 + 589x111 + 434x112 + 70x113 + 909x114 + 212x115 + 111x116 + 392x117 + 473x118 + 328x119 + 434x120 + 303x121 + 219x122 + 558x123 + 943x124 + 775x125 + 77x126 + 867x127 + 287x128 + 263x129 + 31x130 + 470x131 + 457x132 + 186x133 + 324x134 + 101x135 + 73x136 + 396x137 + 779x138 + 904x139 + 960x140 + 732x141 + 238x142 + 224x143 + 441x144 + 646x145 + 357x146 + 230x147 + 991x148 + 429x149 + 569x150 + 371x151 + 743x152 + 123x153 + 271x154 + 99x155 + 385x156 + 17x157 + 818x158 + 184x159 + 293x160 + 285x161 + 551x162 + 71x163 + 808x164 + 206x165 + 415x166 + 189x167 + 684x168 + 497x169 + 495x170 + 224x171 + 96x172 + 1x173 + 711x174 + 477x175 + 548x176 + 96x177 + 532x178 + 349x179 + 435x180 + 752x181 + 957x182 + 887x183 + 614x184 + 295x185 + 312x186 + 675x187 + 205x188 + 894x189 + 651x190 + 796x191 + 652x192 + 57x193 + 538x194 + 107x195 + 503x196 + 436x197 + 315x198 + 739x199 + 798x200 + 730x201 + 931x202 + 984x203 + 262x204 + 341x205 + 350x206 + 846x207 + 773x208 + 804x209 + 569x210 + 899x211 + 883x212 + 591x213 + 463x214 + 339x215 + 17x216 + 356x217 + 733x218 + 568x219 + 162x220 + 239x221 + 95x222 + 406x223 + 556x224 + 75x225 + 287x226 + 616x227 + 662x228 + 723x229 + 281x230 + 268x231 + 638x232 + 127x233 + 255x234 + 559x235 + 282x236 + 424x237 + 493x238 + 9x239 + 410x240 + 842x241 + 388x242 + 933x243 + 671x244 + 180x245 + 311x246 + 305x247 + 358x248 + 992x249 + 15x250 <=30642 
constr4: + 784x1 + 378x2 + 27x3 + 535x4 + 599x5 + 101x6 + 755x7 + 111x8 + 671x9 + 533x10 + 756x11 + 504x12 + 715x13 + 334x14 + 105x15 + 724x16 + 358x17 + 35x18 + 458x19 + 876x20 + 990x21 + 196x22 + 506x23 + 462x24 + 6x25 + 190x26 + 358x27 + 356x28 + 543x29 + 558x30 + 885x31 + 421x32 + 132x33 + 564x34 + 234x35 + 826x36 + 143x37 + 663x38 + 738x39 + 105x40 + 71x41 + 187x42 + 757x43 + 41x44 + 359x45 + 293x46 + 535x47 + 610x48 + 52x49 + 835x50 + 492x51 + 169x52 + 230x53 + 612x54 + 477x55 + 46x56 + 700x57 + 962x58 + 805x59 + 391x60 + 389x61 + 977x62 + 634x63 + 464x64 + 147x65 + 791x66 + 212x67 + 689x68 + 382x69 + 593x70 + 47x71 + 917x72 + 417x73 + 594x74 + 560x75 + 187x76 + 895x77 + 363x78 + 281x79 + 199x80 + 579x81 + 280x82 + 108x83 + 679x84 + 281x85 + 112x86 + 426x87 + 645x88 + 328x89 + 98x90 + 969x91 + 143x92 + 597x93 + 720x94 + 295x95 + 975x96 + 630x97 + 493x98 + 849x99 + 779x100 + 75x101 + 453x102 + 234x103 + 748x104 + 37x105 + 9x106 + 532x107 + 567x108 + 363x109 + 903x110 + 359x111 + 102x112 + 601x113 + 100x114 + 36x115 + 412x116 + 575x117 + 129x118 + 481x119 + 850x120 + 2x121 + 70x122 + 907x123 + 740x124 + 565x125 + 865x126 + 612x127 + 107x128 + 413x129 + 924x130 + 106x131 + 920x132 + 95x133 + 778x134 + 467x135 + 45x136 + 291x137 + 583x138 + 881x139 + 44x140 + 989x141 + 483x142 + 473x143 + 708x144 + 46x145 + 845x146 + 771x147 + 8x148 + 191x149 + 71x150 + 922x151 + 806x152 + 329x153 + 941x154 + 977x155 + 943x156 + 270x157 + 237x158 + 554x159 + 490x160 + 520x161 + 469x162 + 549x163 + 105x164 + 730x165 + 847x166 + 906x167 + 345x168 + 498x169 + 62x170 + 887x171 + 579x172 + 339x173 + 877x174 + 552x175 + 964x176 + 644x177 + 964x178 + 346x179 + 43x180 + 322x181 + 554x182 + 253x183 + 136x184 + 878x185 + 369x186 + 381x187 + 215x188 + 407x189 + 332x190 + 239x191 + 79x192 + 310x193 + 337x194 + 748x195 + 958x196 + 75x197 + 382x198 + 399x199 + 431x200 + 779x201 + 548x202 + 902x203 + 603x204 + 862x205 + 375x206 + 211x207 + 59x208 + 81x209 + 729x210 + 703x211 + 726x212 + 576x213 + 938x214 + 667x215 + 552x216 + 785x217 + 368x218 + 854x219 + 421x220 + 713x221 + 693x222 + 245x223 + 608x224 + 104x225 + 862x226 + 414x227 + 573x228 + 715x229 + 381x230 + 251x231 + 408x232 + 517x233 + 739x234 + 583x235 + 412x236 + 653x237 + 703x238 + 754x239 + 507x240 + 310x241 + 237x242 + 788x243 + 737x244 + 672x245 + 326x246 + 43x247 + 783x248 + 914x249 + 852x250 <=30471 
constr5: + 972x1 + 824x2 + 108x3 + 538x4 + 371x5 + 597x6 + 253x7 + 741x8 + 795x9 + 145x10 + 274x11 + 285x12 + 917x13 + 627x14 + 57x15 + 153x16 + 425x17 + 7x18 + 457x19 + 102x20 + 941x21 + 604x22 + 314x23 + 14x24 + 152x25 + 83x26 + 212x27 + 32x28 + 485x29 + 340x30 + 392x31 + 483x32 + 152x33 + 392x34 + 392x35 + 594x36 + 338x37 + 119x38 + 607x39 + 726x40 + 444x41 + 567x42 + 328x43 + 278x44 + 613x45 + 529x46 + 311x47 + 208x48 + 228x49 + 555x50 + 130x51 + 21x52 + 452x53 + 429x54 + 574x55 + 109x56 + 115x57 + 780x58 + 673x59 + 575x60 + 249x61 + 56x62 + 380x63 + 894x64 + 344x65 + 958x66 + 476x67 + 29x68 + 552x69 + 261x70 + 508x71 + 465x72 + 751x73 + 673x74 + 28x75 + 985x76 + 939x77 + 569x78 + 151x79 + 678x80 + 864x81 + 89x82 + 408x83 + 882x84 + 960x85 + 614x86 + 66x87 + 466x88 + 373x89 + 941x90 + 186x91 + 219x92 + 815x93 + 778x94 + 229x95 + 469x96 + 342x97 + 58x98 + 457x99 + 522x100 + 647x101 + 199x102 + 332x103 + 430x104 + 950x105 + 391x106 + 711x107 + 308x108 + 720x109 + 987x110 + 480x111 + 860x112 + 45x113 + 344x114 + 906x115 + 86x116 + 519x117 + 576x118 + 798x119 + 621x120 + 694x121 + 613x122 + 989x123 + 971x124 + 352x125 + 139x126 + 628x127 + 257x128 + 241x129 + 627x130 + 238x131 + 963x132 + 941x133 + 590x134 + 953x135 + 453x136 + 808x137 + 120x138 + 288x139 + 592x140 + 466x141 + 576x142 + 467x143 + 250x144 + 20x145 + 225x146 + 657x147 + 9x148 + 947x149 + 746x150 + 505x151 + 933x152 + 615x153 + 781x154 + 739x155 + 49x156 + 482x157 + 322x158 + 457x159 + 128x160 + 745x161 + 1x162 + 908x163 + 214x164 + 908x165 + 642x166 + 737x167 + 494x168 + 933x169 + 660x170 + 624x171 + 157x172 + 915x173 + 143x174 + 240x175 + 400x176 + 644x177 + 267x178 + 36x179 + 539x180 + 211x181 + 877x182 + 956x183 + 428x184 + 279x185 + 292x186 + 435x187 + 875x188 + 519x189 + 295x190 + 164x191 + 315x192 + 326x193 + 685x194 + 667x195 + 885x196 + 779x197 + 650x198 + 84x199 + 568x200 + 238x201 + 212x202 + 159x203 + 603x204 + 954x205 + 817x206 + 263x207 + 454x208 + 76x209 + 710x210 + 69x211 + 468x212 + 968x213 + 504x214 + 414x215 + 417x216 + 134x217 + 467x218 + 495x219 + 387x220 + 694x221 + 811x222 + 388x223 + 410x224 + 65x225 + 886x226 + 363x227 + 22x228 + 707x229 + 390x230 + 892x231 + 821x232 + 473x233 + 911x234 + 213x235 + 666x236 + 927x237 + 509x238 + 191x239 + 916x240 + 15x241 + 659x242 + 658x243 + 636x244 + 864x245 + 179x246 + 408x247 + 340x248 + 236x249 + 489x250 <=30102 
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