maximize 
objective: + 338x1 + 955x2 + 729x3 + 966x4 + 999x5 + 940x6 + 967x7 + 627x8 + 1206x9 + 840x10 + 548x11 + 721x12 + 575x13 + 714x14 + 501x15 + 837x16 + 613x17 + 1048x18 + 893x19 + 482x20 + 825x21 + 708x22 + 380x23 + 717x24 + 810x25 + 467x26 + 966x27 + 402x28 + 703x29 + 419x30 + 1003x31 + 765x32 + 899x33 + 619x34 + 1132x35 + 740x36 + 952x37 + 576x38 + 916x39 + 772x40 + 825x41 + 771x42 + 785x43 + 541x44 + 800x45 + 890x46 + 714x47 + 820x48 + 891x49 + 509x50 + 542x51 + 574x52 + 493x53 + 647x54 + 1026x55 + 875x56 + 803x57 + 534x58 + 869x59 + 1003x60 + 763x61 + 610x62 + 692x63 + 856x64 + 625x65 + 749x66 + 858x67 + 1021x68 + 619x69 + 693x70 + 627x71 + 944x72 + 1018x73 + 467x74 + 910x75 + 1068x76 + 693x77 + 824x78 + 972x79 + 877x80 + 500x81 + 849x82 + 659x83 + 590x84 + 677x85 + 988x86 + 1158x87 + 623x88 + 379x89 + 1095x90 + 822x91 + 882x92 + 934x93 + 646x94 + 571x95 + 714x96 + 740x97 + 401x98 + 925x99 + 948x100 + 1049x101 + 470x102 + 645x103 + 680x104 + 922x105 + 839x106 + 605x107 + 550x108 + 636x109 + 886x110 + 916x111 + 1006x112 + 742x113 + 515x114 + 985x115 + 686x116 + 1169x117 + 787x118 + 655x119 + 553x120 + 853x121 + 875x122 + 714x123 + 376x124 + 697x125 + 1096x126 + 1016x127 + 530x128 + 979x129 + 479x130 + 604x131 + 642x132 + 602x133 + 447x134 + 713x135 + 548x136 + 454x137 + 928x138 + 644x139 + 868x140 + 747x141 + 659x142 + 1072x143 + 666x144 + 457x145 + 509x146 + 627x147 + 863x148 + 502x149 + 751x150 + 626x151 + 826x152 + 836x153 + 940x154 + 717x155 + 938x156 + 925x157 + 641x158 + 978x159 + 470x160 + 677x161 + 870x162 + 545x163 + 767x164 + 639x165 + 815x166 + 894x167 + 659x168 + 320x169 + 705x170 + 614x171 + 771x172 + 705x173 + 545x174 + 896x175 + 973x176 + 522x177 + 290x178 + 499x179 + 820x180 + 821x181 + 386x182 + 806x183 + 585x184 + 948x185 + 1062x186 + 830x187 + 863x188 + 1092x189 + 386x190 + 1017x191 + 458x192 + 1055x193 + 671x194 + 877x195 + 973x196 + 702x197 + 716x198 + 492x199 + 624x200 + 541x201 + 896x202 + 1065x203 + 984x204 + 794x205 + 955x206 + 696x207 + 866x208 + 457x209 + 572x210 + 437x211 + 523x212 + 803x213 + 973x214 + 431x215 + 540x216 + 678x217 + 624x218 + 1184x219 + 563x220 + 748x221 + 901x222 + 350x223 + 621x224 + 838x225 + 1072x226 + 593x227 + 1012x228 + 883x229 + 998x230 + 458x231 + 899x232 + 751x233 + 708x234 + 968x235 + 794x236 + 710x237 + 541x238 + 688x239 + 690x240 + 733x241 + 879x242 + 812x243 + 599x244 + 746x245 + 620x246 + 740x247 + 840x248 + 722x249 + 962x250 
subject to 
constr1: + 168x1 + 82x2 + 880x3 + 947x4 + 795x5 + 861x6 + 529x7 + 423x8 + 911x9 + 226x10 + 243x11 + 843x12 + 518x13 + 895x14 + 15x15 + 789x16 + 115x17 + 921x18 + 336x19 + 613x20 + 515x21 + 382x22 + 9x23 + 39x24 + 448x25 + 418x26 + 429x27 + 470x28 + 228x29 + 153x30 + 921x31 + 665x32 + 887x33 + 369x34 + 827x35 + 991x36 + 289x37 + 557x38 + 38x39 + 378x40 + 775x41 + 449x42 + 348x43 + 349x44 + 246x45 + 490x46 + 75x47 + 301x48 + 72x49 + 657x50 + 115x51 + 144x52 + 433x53 + 722x54 + 564x55 + 512x56 + 616x57 + 504x58 + 690x59 + 518x60 + 367x61 + 47x62 + 525x63 + 887x64 + 721x65 + 511x66 + 587x67 + 719x68 + 29x69 + 411x70 + 965x71 + 608x72 + 847x73 + 53x74 + 378x75 + 865x76 + 841x77 + 496x78 + 205x79 + 814x80 + 100x81 + 434x82 + 239x83 + 548x84 + 681x85 + 800x86 + 876x87 + 992x88 + 85x89 + 688x90 + 14x91 + 868x92 + 504x93 + 27x94 + 676x95 + 433x96 + 213x97 + 539x98 + 961x99 + 388x100 + 334x101 + 375x102 + 708x103 + 360x104 + 751x105 + 862x106 + 315x107 + 199x108 + 759x109 + 97x110 + 886x111 + 800x112 + 550x113 + 983x114 + 524x115 + 991x116 + 730x117 + 303x118 + 705x119 + 447x120 + 974x121 + 799x122 + 18x123 + 392x124 + 865x125 + 560x126 + 526x127 + 345x128 + 754x129 + 573x130 + 476x131 + 844x132 + 61x133 + 103x134 + 388x135 + 860x136 + 799x137 + 787x138 + 711x139 + 519x140 + 529x141 + 110x142 + 942x143 + 939x144 + 462x145 + 509x146 + 516x147 + 2x148 + 355x149 + 319x150 + 458x151 + 589x152 + 556x153 + 759x154 + 350x155 + 554x156 + 817x157 + 347x158 + 570x159 + 173x160 + 730x161 + 214x162 + 925x163 + 64x164 + 904x165 + 886x166 + 469x167 + 306x168 + 527x169 + 756x170 + 312x171 + 584x172 + 285x173 + 54x174 + 845x175 + 655x176 + 28x177 + 311x178 + 21x179 + 237x180 + 407x181 + 105x182 + 424x183 + 106x184 + 93x185 + 504x186 + 153x187 + 409x188 + 728x189 + 726x190 + 257x191 + 214x192 + 749x193 + 918x194 + 900x195 + 79x196 + 633x197 + 945x198 + 294x199 + 875x200 + 392x201 + 714x202 + 660x203 + 516x204 + 469x205 + 314x206 + 178x207 + 811x208 + 200x209 + 698x210 + 576x211 + 639x212 + 571x213 + 85x214 + 3x215 + 429x216 + 771x217 + 521x218 + 836x219 + 143x220 + 342x221 + 897x222 + 611x223 + 205x224 + 33x225 + 619x226 + 185x227 + 819x228 + 319x229 + 674x230 + 320x231 + 951x232 + 841x233 + 156x234 + 28x235 + 25x236 + 824x237 + 513x238 + 942x239 + 785x240 + 851x241 + 768x242 + 284x243 + 818x244 + 72x245 + 849x246 + 10x247 + 896x248 + 229x249 + 82x250 <=31410 
constr2: + 70x1 + 994x2 + 708x3 + 67x4 + 303x5 + 856x6 + 336x7 + 344x8 + 363x9 + 35x10 + 642x11 + 97x12 + 187x13 + 663x14 + 938x15 + 899x16 + 719x17 + 185x18 + 934x19 + 836x20 + 248x21 + 928x22 + 771x23 + 169x24 + 442x25 + 205x26 + 743x27 + 160x28 + 606x29 + 426x30 + 795x31 + 12x32 + 25x33 + 100x34 + 409x35 + 540x36 + 886x37 + 392x38 + 561x39 + 594x40 + 283x41 + 839x42 + 50x43 + 173x44 + 646x45 + 881x46 + 275x47 + 6x48 + 766x49 + 658x50 + 455x51 + 474x52 + 90x53 + 263x54 + 746x55 + 100x56 + 914x57 + 360x58 + 719x59 + 407x60 + 367x61 + 74x62 + 253x63 + 382x64 + 131x65 + 187x66 + 405x67 + 789x68 + 327x69 + 245x70 + 300x71 + 731x72 + 753x73 + 470x74 + 368x75 + 798x76 + 562x77 + 918x78 + 828x79 + 93x80 + 769x81 + 470x82 + 116x83 + 251x84 + 106x85 + 632x86 + 943x87 + 9x88 + 291x89 + 898x90 + 440x91 + 688x92 + 748x93 + 178x94 + 307x95 + 585x96 + 84x97 + 809x98 + 960x99 + 989x100 + 404x101 + 55x102 + 369x103 + 363x104 + 148x105 + 226x106 + 418x107 + 965x108 + 447x109 + 830x110 + 797x111 + 329x112 + 520x113 + 3x114 + 411x115 + 624x116 + 816x117 + 777x118 + 291x119 + 433x120 + 895x121 + 565x122 + 186x123 + 731x124 + 550x125 + 281x126 + 886x127 + 564x128 + 310x129 + 412x130 + 106x131 + 180x132 + 611x133 + 438x134 + 504x135 + 881x136 + 805x137 + 761x138 + 938x139 + 905x140 + 461x141 + 649x142 + 303x143 + 665x144 + 842x145 + 466x146 + 750x147 + 753x148 + 86x149 + 188x150 + 636x151 + 155x152 + 612x153 + 231x154 + 310x155 + 967x156 + 989x157 + 134x158 + 604x159 + 280x160 + 799x161 + 501x162 + 19x163 + 876x164 + 20x165 + 290x166 + 666x167 + 998x168 + 92x169 + 629x170 + 895x171 + 483x172 + 107x173 + 151x174 + 225x175 + 70x176 + 824x177 + 195x178 + 540x179 + 196x180 + 730x181 + 863x182 + 748x183 + 280x184 + 290x185 + 58x186 + 466x187 + 692x188 + 696x189 + 2x190 + 767x191 + 244x192 + 736x193 + 476x194 + 412x195 + 682x196 + 121x197 + 179x198 + 733x199 + 440x200 + 873x201 + 668x202 + 865x203 + 730x204 + 73x205 + 552x206 + 59x207 + 831x208 + 49x209 + 887x210 + 30x211 + 452x212 + 909x213 + 708x214 + 386x215 + 159x216 + 578x217 + 100x218 + 920x219 + 139x220 + 345x221 + 358x222 + 135x223 + 984x224 + 336x225 + 793x226 + 68x227 + 680x228 + 976x229 + 417x230 + 275x231 + 490x232 + 43x233 + 384x234 + 265x235 + 310x236 + 393x237 + 579x238 + 293x239 + 253x240 + 135x241 + 524x242 + 306x243 + 110x244 + 894x245 + 441x246 + 462x247 + 232x248 + 84x249 + 774x250 <=29715 
constr3: + 935x1 + 243x2 + 93x3 + 880x4 + 386x5 + 349x6 + 848x7 + 36x8 + 843x9 + 349x10 + 370x11 + 291x12 + 83x13 + 441x14 + 226x15 + 567x16 + 813x17 + 592x18 + 977x19 + 402x20 + 336x21 + 191x22 + 192x23 + 291x24 + 226x25 + 772x26 + 374x27 + 455x28 + 112x29 + 956x30 + 216x31 + 321x32 + 919x33 + 37x34 + 911x35 + 529x36 + 425x37 + 202x38 + 248x39 + 149x40 + 897x41 + 802x42 + 894x43 + 67x44 + 638x45 + 912x46 + 80x47 + 906x48 + 767x49 + 112x50 + 154x51 + 700x52 + 818x53 + 54x54 + 292x55 + 124x56 + 788x57 + 134x58 + 917x59 + 118x60 + 392x61 + 571x62 + 877x63 + 339x64 + 816x65 + 256x66 + 413x67 + 705x68 + 845x69 + 960x70 + 775x71 + 668x72 + 999x73 + 86x74 + 557x75 + 751x76 + 338x77 + 532x78 + 987x79 + 449x80 + 758x81 + 805x82 + 364x83 + 128x84 + 293x85 + 497x86 + 613x87 + 391x88 + 994x89 + 595x90 + 970x91 + 774x92 + 351x93 + 100x94 + 932x95 + 789x96 + 875x97 + 37x98 + 632x99 + 16x100 + 925x101 + 590x102 + 703x103 + 953x104 + 219x105 + 186x106 + 247x107 + 25x108 + 809x109 + 487x110 + 364x111 + 300x112 + 722x113 + 239x114 + 158x115 + 16x116 + 768x117 + 264x118 + 753x119 + 515x120 + 220x121 + 419x122 + 95x123 + 279x124 + 420x125 + 887x126 + 349x127 + 223x128 + 719x129 + 683x130 + 944x131 + 582x132 + 401x133 + 541x134 + 262x135 + 28x136 + 167x137 + 717x138 + 732x139 + 615x140 + 130x141 + 745x142 + 891x143 + 459x144 + 132x145 + 455x146 + 273x147 + 506x148 + 707x149 + 348x150 + 344x151 + 514x152 + 608x153 + 343x154 + 265x155 + 161x156 + 254x157 + 293x158 + 751x159 + 785x160 + 204x161 + 666x162 + 372x163 + 731x164 + 697x165 + 884x166 + 484x167 + 437x168 + 58x169 + 232x170 + 659x171 + 691x172 + 765x173 + 57x174 + 975x175 + 982x176 + 834x177 + 124x178 + 556x179 + 880x180 + 494x181 + 60x182 + 820x183 + 67x184 + 680x185 + 734x186 + 571x187 + 996x188 + 736x189 + 461x190 + 868x191 + 747x192 + 866x193 + 395x194 + 821x195 + 767x196 + 926x197 + 404x198 + 898x199 + 155x200 + 180x201 + 682x202 + 557x203 + 627x204 + 706x205 + 495x206 + 57x207 + 821x208 + 446x209 + 319x210 + 433x211 + 464x212 + 970x213 + 729x214 + 35x215 + 141x216 + 490x217 + 361x218 + 979x219 + 264x220 + 895x221 + 87x222 + 81x223 + 205x224 + 473x225 + 373x226 + 611x227 + 738x228 + 654x229 + 740x230 + 528x231 + 216x232 + 125x233 + 419x234 + 601x235 + 81x236 + 561x237 + 612x238 + 840x239 + 520x240 + 423x241 + 815x242 + 814x243 + 259x244 + 198x245 + 234x246 + 950x247 + 834x248 + 168x249 + 695x250 <=31685 
constr4: + 106x1 + 956x2 + 220x3 + 652x4 + 881x5 + 150x6 + 634x7 + 345x8 + 869x9 + 667x10 + 139x11 + 12x12 + 662x13 + 10x14 + 558x15 + 500x16 + 849x17 + 379x18 + 699x19 + 47x20 + 990x21 + 447x22 + 61x23 + 788x24 + 652x25 + 545x26 + 626x27 + 240x28 + 180x29 + 64x30 + 913x31 + 609x32 + 680x33 + 42x34 + 656x35 + 420x36 + 946x37 + 864x38 + 563x39 + 686x40 + 676x41 + 20x42 + 860x43 + 661x44 + 619x45 + 523x46 + 982x47 + 613x48 + 467x49 + 594x50 + 639x51 + 457x52 + 505x53 + 98x54 + 960x55 + 279x56 + 82x57 + 506x58 + 694x59 + 962x60 + 214x61 + 417x62 + 998x63 + 374x64 + 844x65 + 465x66 + 834x67 + 206x68 + 989x69 + 522x70 + 14x71 + 405x72 + 224x73 + 540x74 + 681x75 + 678x76 + 680x77 + 97x78 + 437x79 + 612x80 + 271x81 + 310x82 + 125x83 + 817x84 + 809x85 + 560x86 + 24x87 + 336x88 + 121x89 + 143x90 + 298x91 + 632x92 + 428x93 + 531x94 + 533x95 + 431x96 + 87x97 + 144x98 + 842x99 + 610x100 + 985x101 + 891x102 + 42x103 + 749x104 + 816x105 + 642x106 + 227x107 + 304x108 + 157x109 + 206x110 + 803x111 + 292x112 + 727x113 + 15x114 + 821x115 + 584x116 + 664x117 + 283x118 + 998x119 + 101x120 + 129x121 + 126x122 + 486x123 + 35x124 + 70x125 + 872x126 + 400x127 + 386x128 + 545x129 + 209x130 + 688x131 + 249x132 + 407x133 + 333x134 + 847x135 + 295x136 + 173x137 + 256x138 + 40x139 + 866x140 + 393x141 + 376x142 + 800x143 + 842x144 + 641x145 + 13x146 + 615x147 + 69x148 + 20x149 + 305x150 + 697x151 + 121x152 + 649x153 + 336x154 + 763x155 + 507x156 + 43x157 + 334x158 + 622x159 + 18x160 + 769x161 + 530x162 + 605x163 + 826x164 + 991x165 + 335x166 + 94x167 + 858x168 + 359x169 + 516x170 + 354x171 + 941x172 + 461x173 + 32x174 + 684x175 + 88x176 + 237x177 + 512x178 + 316x179 + 832x180 + 629x181 + 28x182 + 9x183 + 177x184 + 802x185 + 932x186 + 624x187 + 631x188 + 588x189 + 334x190 + 991x191 + 269x192 + 888x193 + 725x194 + 512x195 + 294x196 + 737x197 + 440x198 + 125x199 + 118x200 + 622x201 + 71x202 + 88x203 + 656x204 + 697x205 + 886x206 + 784x207 + 94x208 + 621x209 + 464x210 + 187x211 + 218x212 + 973x213 + 442x214 + 126x215 + 151x216 + 428x217 + 516x218 + 181x219 + 79x220 + 136x221 + 952x222 + 603x223 + 483x224 + 446x225 + 616x226 + 248x227 + 388x228 + 372x229 + 89x230 + 518x231 + 924x232 + 553x233 + 10x234 + 618x235 + 923x236 + 701x237 + 82x238 + 35x239 + 251x240 + 7x241 + 332x242 + 180x243 + 658x244 + 330x245 + 132x246 + 80x247 + 859x248 + 639x249 + 431x250 <=29186 
constr5: + 74x1 + 539x2 + 457x3 + 556x4 + 698x5 + 173x6 + 98x7 + 468x8 + 647x9 + 932x10 + 425x11 + 315x12 + 456x13 + 827x14 + 625x15 + 395x16 + 544x17 + 975x18 + 568x19 + 52x20 + 141x21 + 423x22 + 260x23 + 254x24 + 703x25 + 65x26 + 941x27 + 579x28 + 440x29 + 52x30 + 266x31 + 229x32 + 328x33 + 717x34 + 509x35 + 946x36 + 517x37 + 250x38 + 686x39 + 593x40 + 693x41 + 231x42 + 152x43 + 972x44 + 963x45 + 244x46 + 957x47 + 803x48 + 619x49 + 291x50 + 658x51 + 356x52 + 414x53 + 875x54 + 123x55 + 877x56 + 852x57 + 902x58 + 77x59 + 549x60 + 381x61 + 346x62 + 486x63 + 205x64 + 189x65 + 170x66 + 284x67 + 442x68 + 139x69 + 330x70 + 623x71 + 744x72 + 824x73 + 677x74 + 72x75 + 45x76 + 832x77 + 294x78 + 318x79 + 482x80 + 50x81 + 672x82 + 829x83 + 914x84 + 238x85 + 270x86 + 989x87 + 824x88 + 180x89 + 722x90 + 275x91 + 475x92 + 151x93 + 62x94 + 122x95 + 401x96 + 595x97 + 172x98 + 272x99 + 796x100 + 484x101 + 430x102 + 208x103 + 879x104 + 706x105 + 677x106 + 970x107 + 110x108 + 229x109 + 730x110 + 588x111 + 960x112 + 501x113 + 933x114 + 735x115 + 470x116 + 534x117 + 441x118 + 362x119 + 697x120 + 925x121 + 556x122 + 799x123 + 77x124 + 534x125 + 688x126 + 880x127 + 759x128 + 937x129 + 83x130 + 223x131 + 512x132 + 544x133 + 198x134 + 687x135 + 471x136 + 153x137 + 423x138 + 126x139 + 335x140 + 860x141 + 239x142 + 759x143 + 205x144 + 92x145 + 443x146 + 761x147 + 896x148 + 61x149 + 923x150 + 626x151 + 534x152 + 17x153 + 756x154 + 713x155 + 507x156 + 154x157 + 342x158 + 573x159 + 41x160 + 759x161 + 277x162 + 689x163 + 62x164 + 79x165 + 216x166 + 349x167 + 199x168 + 207x169 + 892x170 + 851x171 + 784x172 + 268x173 + 909x174 + 6x175 + 929x176 + 95x177 + 121x178 + 19x179 + 656x180 + 187x181 + 349x182 + 812x183 + 657x184 + 839x185 + 691x186 + 576x187 + 669x188 + 708x189 + 83x190 + 436x191 + 445x192 + 366x193 + 453x194 + 648x195 + 669x196 + 226x197 + 7x198 + 201x199 + 721x200 + 363x201 + 147x202 + 954x203 + 809x204 + 533x205 + 765x206 + 850x207 + 820x208 + 774x209 + 368x210 + 420x211 + 805x212 + 280x213 + 822x214 + 65x215 + 592x216 + 695x217 + 49x218 + 909x219 + 667x220 + 962x221 + 132x222 + 43x223 + 613x224 + 980x225 + 784x226 + 642x227 + 455x228 + 424x229 + 952x230 + 61x231 + 668x232 + 502x233 + 964x234 + 971x235 + 426x236 + 343x237 + 462x238 + 459x239 + 542x240 + 82x241 + 207x242 + 141x243 + 529x244 + 316x245 + 78x246 + 712x247 + 76x248 + 650x249 + 533x250 <=30696 
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