maximize 
objective: + 866x1 + 319x2 + 563x3 + 1003x4 + 601x5 + 638x6 + 870x7 + 1033x8 + 782x9 + 708x10 + 612x11 + 631x12 + 837x13 + 671x14 + 552x15 + 753x16 + 1097x17 + 885x18 + 387x19 + 757x20 + 827x21 + 667x22 + 525x23 + 508x24 + 910x25 + 940x26 + 939x27 + 626x28 + 1035x29 + 757x30 + 718x31 + 883x32 + 1155x33 + 774x34 + 509x35 + 846x36 + 809x37 + 561x38 + 636x39 + 832x40 + 840x41 + 720x42 + 638x43 + 512x44 + 638x45 + 651x46 + 720x47 + 662x48 + 745x49 + 632x50 + 968x51 + 738x52 + 918x53 + 541x54 + 864x55 + 195x56 + 553x57 + 757x58 + 626x59 + 719x60 + 768x61 + 536x62 + 995x63 + 856x64 + 906x65 + 696x66 + 850x67 + 584x68 + 744x69 + 1130x70 + 482x71 + 1005x72 + 348x73 + 701x74 + 1077x75 + 718x76 + 799x77 + 570x78 + 574x79 + 565x80 + 597x81 + 361x82 + 778x83 + 682x84 + 358x85 + 600x86 + 1066x87 + 693x88 + 476x89 + 962x90 + 748x91 + 559x92 + 725x93 + 711x94 + 795x95 + 417x96 + 674x97 + 300x98 + 650x99 + 880x100 + 698x101 + 508x102 + 982x103 + 737x104 + 920x105 + 599x106 + 428x107 + 594x108 + 297x109 + 762x110 + 424x111 + 757x112 + 999x113 + 939x114 + 647x115 + 814x116 + 772x117 + 488x118 + 878x119 + 632x120 + 1034x121 + 709x122 + 552x123 + 669x124 + 1039x125 + 789x126 + 959x127 + 905x128 + 1009x129 + 755x130 + 559x131 + 424x132 + 748x133 + 860x134 + 800x135 + 1146x136 + 418x137 + 789x138 + 721x139 + 757x140 + 1107x141 + 878x142 + 850x143 + 816x144 + 724x145 + 1011x146 + 742x147 + 541x148 + 766x149 + 739x150 + 536x151 + 697x152 + 494x153 + 839x154 + 417x155 + 644x156 + 756x157 + 511x158 + 913x159 + 678x160 + 698x161 + 407x162 + 815x163 + 823x164 + 743x165 + 945x166 + 1055x167 + 472x168 + 947x169 + 386x170 + 1011x171 + 1121x172 + 886x173 + 1055x174 + 842x175 + 691x176 + 389x177 + 522x178 + 790x179 + 886x180 + 500x181 + 1018x182 + 650x183 + 663x184 + 640x185 + 909x186 + 602x187 + 590x188 + 747x189 + 465x190 + 714x191 + 615x192 + 806x193 + 829x194 + 946x195 + 965x196 + 633x197 + 912x198 + 966x199 + 525x200 + 793x201 + 728x202 + 717x203 + 681x204 + 821x205 + 892x206 + 452x207 + 561x208 + 393x209 + 524x210 + 823x211 + 658x212 + 680x213 + 814x214 + 1091x215 + 668x216 + 650x217 + 315x218 + 943x219 + 830x220 + 586x221 + 615x222 + 1039x223 + 655x224 + 645x225 + 759x226 + 890x227 + 805x228 + 1010x229 + 635x230 + 491x231 + 855x232 + 634x233 + 534x234 + 1076x235 + 276x236 + 536x237 + 644x238 + 761x239 + 893x240 + 743x241 + 410x242 + 553x243 + 797x244 + 714x245 + 734x246 + 734x247 + 773x248 + 745x249 + 378x250 
subject to 
constr1: + 838x1 + 379x2 + 403x3 + 772x4 + 84x5 + 758x6 + 290x7 + 242x8 + 445x9 + 878x10 + 86x11 + 788x12 + 133x13 + 13x14 + 980x15 + 768x16 + 882x17 + 999x18 + 430x19 + 981x20 + 17x21 + 731x22 + 866x23 + 813x24 + 691x25 + 125x26 + 445x27 + 433x28 + 394x29 + 989x30 + 677x31 + 96x32 + 974x33 + 686x34 + 488x35 + 183x36 + 381x37 + 286x38 + 456x39 + 615x40 + 478x41 + 71x42 + 83x43 + 290x44 + 308x45 + 410x46 + 612x47 + 811x48 + 891x49 + 463x50 + 803x51 + 48x52 + 932x53 + 220x54 + 93x55 + 33x56 + 193x57 + 324x58 + 452x59 + 6x60 + 159x61 + 858x62 + 636x63 + 602x64 + 670x65 + 265x66 + 667x67 + 217x68 + 442x69 + 566x70 + 214x71 + 386x72 + 7x73 + 888x74 + 906x75 + 300x76 + 6x77 + 173x78 + 1x79 + 282x80 + 33x81 + 684x82 + 489x83 + 270x84 + 288x85 + 258x86 + 796x87 + 224x88 + 2x89 + 381x90 + 529x91 + 635x92 + 275x93 + 746x94 + 485x95 + 307x96 + 840x97 + 263x98 + 250x99 + 105x100 + 443x101 + 39x102 + 419x103 + 306x104 + 230x105 + 553x106 + 188x107 + 659x108 + 745x109 + 959x110 + 844x111 + 141x112 + 909x113 + 239x114 + 624x115 + 368x116 + 524x117 + 60x118 + 854x119 + 200x120 + 390x121 + 570x122 + 54x123 + 34x124 + 605x125 + 932x126 + 168x127 + 621x128 + 771x129 + 685x130 + 429x131 + 57x132 + 320x133 + 392x134 + 816x135 + 720x136 + 725x137 + 152x138 + 49x139 + 415x140 + 503x141 + 743x142 + 101x143 + 475x144 + 957x145 + 640x146 + 223x147 + 36x148 + 769x149 + 859x150 + 484x151 + 602x152 + 702x153 + 867x154 + 513x155 + 585x156 + 5x157 + 16x158 + 661x159 + 79x160 + 287x161 + 13x162 + 278x163 + 791x164 + 625x165 + 170x166 + 21x167 + 333x168 + 371x169 + 712x170 + 880x171 + 360x172 + 712x173 + 982x174 + 995x175 + 502x176 + 155x177 + 797x178 + 414x179 + 715x180 + 837x181 + 670x182 + 629x183 + 663x184 + 352x185 + 111x186 + 810x187 + 722x188 + 483x189 + 151x190 + 203x191 + 40x192 + 284x193 + 127x194 + 979x195 + 701x196 + 439x197 + 164x198 + 841x199 + 439x200 + 889x201 + 190x202 + 562x203 + 262x204 + 490x205 + 987x206 + 15x207 + 492x208 + 550x209 + 25x210 + 207x211 + 53x212 + 2x213 + 597x214 + 498x215 + 509x216 + 830x217 + 78x218 + 963x219 + 547x220 + 272x221 + 272x222 + 995x223 + 458x224 + 730x225 + 770x226 + 901x227 + 689x228 + 225x229 + 719x230 + 581x231 + 927x232 + 765x233 + 180x234 + 783x235 + 329x236 + 183x237 + 318x238 + 145x239 + 847x240 + 798x241 + 569x242 + 24x243 + 210x244 + 455x245 + 993x246 + 259x247 + 325x248 + 927x249 + 945x250 <=29562 
constr2: + 866x1 + 142x2 + 754x3 + 564x4 + 805x5 + 179x6 + 666x7 + 926x8 + 219x9 + 637x10 + 671x11 + 730x12 + 113x13 + 813x14 + 97x15 + 442x16 + 878x17 + 281x18 + 749x19 + 320x20 + 632x21 + 325x22 + 323x23 + 80x24 + 634x25 + 17x26 + 844x27 + 761x28 + 184x29 + 655x30 + 276x31 + 591x32 + 832x33 + 97x34 + 843x35 + 298x36 + 128x37 + 108x38 + 971x39 + 676x40 + 830x41 + 631x42 + 921x43 + 341x44 + 268x45 + 938x46 + 51x47 + 671x48 + 601x49 + 46x50 + 446x51 + 656x52 + 222x53 + 512x54 + 925x55 + 371x56 + 220x57 + 820x58 + 809x59 + 822x60 + 200x61 + 171x62 + 579x63 + 993x64 + 516x65 + 213x66 + 298x67 + 531x68 + 725x69 + 510x70 + 61x71 + 803x72 + 206x73 + 504x74 + 271x75 + 17x76 + 375x77 + 268x78 + 869x79 + 963x80 + 813x81 + 63x82 + 913x83 + 7x84 + 688x85 + 350x86 + 173x87 + 196x88 + 311x89 + 706x90 + 374x91 + 415x92 + 804x93 + 137x94 + 78x95 + 598x96 + 223x97 + 267x98 + 639x99 + 565x100 + 851x101 + 543x102 + 424x103 + 260x104 + 699x105 + 296x106 + 10x107 + 773x108 + 98x109 + 364x110 + 327x111 + 583x112 + 493x113 + 446x114 + 479x115 + 372x116 + 537x117 + 144x118 + 241x119 + 171x120 + 619x121 + 666x122 + 20x123 + 564x124 + 756x125 + 641x126 + 388x127 + 254x128 + 137x129 + 9x130 + 307x131 + 27x132 + 28x133 + 656x134 + 924x135 + 630x136 + 308x137 + 559x138 + 112x139 + 874x140 + 757x141 + 378x142 + 807x143 + 194x144 + 263x145 + 586x146 + 462x147 + 232x148 + 535x149 + 326x150 + 843x151 + 614x152 + 200x153 + 510x154 + 450x155 + 310x156 + 775x157 + 899x158 + 893x159 + 210x160 + 321x161 + 168x162 + 196x163 + 859x164 + 806x165 + 425x166 + 658x167 + 202x168 + 450x169 + 285x170 + 707x171 + 903x172 + 239x173 + 821x174 + 767x175 + 397x176 + 396x177 + 546x178 + 336x179 + 154x180 + 251x181 + 616x182 + 67x183 + 248x184 + 757x185 + 717x186 + 288x187 + 13x188 + 382x189 + 719x190 + 585x191 + 882x192 + 489x193 + 448x194 + 660x195 + 717x196 + 697x197 + 554x198 + 865x199 + 127x200 + 117x201 + 210x202 + 914x203 + 229x204 + 697x205 + 799x206 + 429x207 + 423x208 + 43x209 + 672x210 + 796x211 + 491x212 + 212x213 + 862x214 + 767x215 + 726x216 + 107x217 + 510x218 + 614x219 + 48x220 + 593x221 + 269x222 + 760x223 + 853x224 + 231x225 + 529x226 + 202x227 + 114x228 + 783x229 + 803x230 + 88x231 + 261x232 + 948x233 + 278x234 + 773x235 + 3x236 + 778x237 + 775x238 + 931x239 + 209x240 + 469x241 + 746x242 + 458x243 + 378x244 + 444x245 + 808x246 + 872x247 + 339x248 + 482x249 + 90x250 <=30027 
constr3: + 196x1 + 343x2 + 151x3 + 308x4 + 19x5 + 643x6 + 251x7 + 834x8 + 318x9 + 809x10 + 566x11 + 60x12 + 642x13 + 629x14 + 232x15 + 177x16 + 549x17 + 930x18 + 92x19 + 573x20 + 873x21 + 90x22 + 586x23 + 297x24 + 930x25 + 967x26 + 305x27 + 254x28 + 919x29 + 540x30 + 225x31 + 98x32 + 259x33 + 379x34 + 138x35 + 958x36 + 568x37 + 405x38 + 902x39 + 997x40 + 424x41 + 883x42 + 655x43 + 805x44 + 980x45 + 887x46 + 904x47 + 339x48 + 425x49 + 729x50 + 580x51 + 608x52 + 765x53 + 34x54 + 186x55 + 62x56 + 436x57 + 731x58 + 811x59 + 824x60 + 979x61 + 491x62 + 561x63 + 988x64 + 713x65 + 115x66 + 287x67 + 930x68 + 153x69 + 690x70 + 416x71 + 857x72 + 393x73 + 199x74 + 849x75 + 646x76 + 95x77 + 625x78 + 246x79 + 636x80 + 272x81 + 672x82 + 149x83 + 890x84 + 120x85 + 482x86 + 940x87 + 287x88 + 729x89 + 925x90 + 315x91 + 574x92 + 964x93 + 448x94 + 362x95 + 585x96 + 160x97 + 135x98 + 673x99 + 527x100 + 357x101 + 290x102 + 905x103 + 534x104 + 784x105 + 637x106 + 981x107 + 15x108 + 52x109 + 838x110 + 184x111 + 683x112 + 956x113 + 816x114 + 733x115 + 553x116 + 59x117 + 737x118 + 401x119 + 661x120 + 712x121 + 822x122 + 897x123 + 847x124 + 90x125 + 138x126 + 611x127 + 529x128 + 655x129 + 504x130 + 94x131 + 719x132 + 837x133 + 558x134 + 128x135 + 819x136 + 845x137 + 630x138 + 379x139 + 167x140 + 986x141 + 451x142 + 527x143 + 74x144 + 957x145 + 536x146 + 229x147 + 791x148 + 541x149 + 40x150 + 769x151 + 616x152 + 977x153 + 13x154 + 133x155 + 117x156 + 414x157 + 689x158 + 709x159 + 364x160 + 711x161 + 70x162 + 847x163 + 224x164 + 551x165 + 854x166 + 958x167 + 786x168 + 816x169 + 161x170 + 403x171 + 792x172 + 337x173 + 794x174 + 730x175 + 376x176 + 281x177 + 689x178 + 869x179 + 458x180 + 294x181 + 30x182 + 123x183 + 560x184 + 340x185 + 874x186 + 631x187 + 679x188 + 526x189 + 862x190 + 168x191 + 682x192 + 758x193 + 768x194 + 259x195 + 195x196 + 533x197 + 633x198 + 915x199 + 409x200 + 553x201 + 231x202 + 140x203 + 96x204 + 385x205 + 363x206 + 130x207 + 132x208 + 321x209 + 450x210 + 76x211 + 467x212 + 654x213 + 52x214 + 888x215 + 877x216 + 537x217 + 30x218 + 494x219 + 492x220 + 396x221 + 888x222 + 611x223 + 747x224 + 454x225 + 782x226 + 924x227 + 841x228 + 654x229 + 55x230 + 630x231 + 482x232 + 672x233 + 391x234 + 711x235 + 185x236 + 483x237 + 285x238 + 175x239 + 631x240 + 462x241 + 316x242 + 308x243 + 322x244 + 494x245 + 313x246 + 440x247 + 159x248 + 761x249 + 193x250 <=32082 
constr4: + 322x1 + 38x2 + 759x3 + 864x4 + 80x5 + 335x6 + 606x7 + 849x8 + 391x9 + 496x10 + 90x11 + 681x12 + 920x13 + 931x14 + 478x15 + 746x16 + 963x17 + 521x18 + 53x19 + 928x20 + 960x21 + 834x22 + 7x23 + 30x24 + 514x25 + 192x26 + 61x27 + 726x28 + 730x29 + 510x30 + 427x31 + 858x32 + 517x33 + 691x34 + 191x35 + 821x36 + 724x37 + 894x38 + 14x39 + 256x40 + 15x41 + 857x42 + 89x43 + 470x44 + 409x45 + 734x46 + 426x47 + 647x48 + 778x49 + 626x50 + 57x51 + 989x52 + 231x53 + 979x54 + 948x55 + 120x56 + 449x57 + 763x58 + 370x59 + 66x60 + 359x61 + 242x62 + 335x63 + 537x64 + 669x65 + 956x66 + 341x67 + 192x68 + 114x69 + 920x70 + 398x71 + 308x72 + 410x73 + 908x74 + 972x75 + 87x76 + 904x77 + 73x78 + 964x79 + 535x80 + 298x81 + 146x82 + 830x83 + 635x84 + 73x85 + 283x86 + 734x87 + 203x88 + 55x89 + 156x90 + 47x91 + 581x92 + 575x93 + 874x94 + 509x95 + 63x96 + 939x97 + 626x98 + 695x99 + 344x100 + 392x101 + 348x102 + 934x103 + 860x104 + 921x105 + 833x106 + 129x107 + 827x108 + 95x109 + 573x110 + 228x111 + 865x112 + 163x113 + 858x114 + 244x115 + 667x116 + 225x117 + 170x118 + 267x119 + 606x120 + 845x121 + 11x122 + 484x123 + 152x124 + 738x125 + 440x126 + 965x127 + 747x128 + 982x129 + 387x130 + 511x131 + 813x132 + 887x133 + 324x134 + 719x135 + 785x136 + 156x137 + 568x138 + 26x139 + 155x140 + 779x141 + 370x142 + 506x143 + 877x144 + 510x145 + 594x146 + 475x147 + 820x148 + 837x149 + 273x150 + 141x151 + 282x152 + 58x153 + 400x154 + 447x155 + 58x156 + 855x157 + 178x158 + 335x159 + 758x160 + 415x161 + 752x162 + 652x163 + 1000x164 + 39x165 + 271x166 + 840x167 + 42x168 + 986x169 + 481x170 + 198x171 + 702x172 + 175x173 + 576x174 + 847x175 + 596x176 + 740x177 + 315x178 + 76x179 + 999x180 + 174x181 + 734x182 + 635x183 + 430x184 + 431x185 + 682x186 + 10x187 + 52x188 + 815x189 + 306x190 + 244x191 + 511x192 + 422x193 + 129x194 + 822x195 + 776x196 + 167x197 + 516x198 + 305x199 + 607x200 + 316x201 + 996x202 + 485x203 + 268x204 + 73x205 + 279x206 + 450x207 + 365x208 + 282x209 + 339x210 + 598x211 + 739x212 + 76x213 + 674x214 + 717x215 + 499x216 + 964x217 + 347x218 + 547x219 + 981x220 + 385x221 + 14x222 + 235x223 + 742x224 + 915x225 + 750x226 + 726x227 + 646x228 + 240x229 + 437x230 + 42x231 + 705x232 + 10x233 + 896x234 + 800x235 + 54x236 + 450x237 + 775x238 + 971x239 + 545x240 + 67x241 + 43x242 + 969x243 + 512x244 + 870x245 + 652x246 + 811x247 + 560x248 + 457x249 + 242x250 <=31340 
constr5: + 508x1 + 630x2 + 214x3 + 472x4 + 612x5 + 436x6 + 69x7 + 671x8 + 978x9 + 281x10 + 337x11 + 848x12 + 203x13 + 415x14 + 731x15 + 327x16 + 661x17 + 195x18 + 393x19 + 104x20 + 522x21 + 511x22 + 749x23 + 699x24 + 653x25 + 959x26 + 693x27 + 742x28 + 565x29 + 934x30 + 669x31 + 807x32 + 949x33 + 486x34 + 830x35 + 590x36 + 527x37 + 665x38 + 557x39 + 76x40 + 428x41 + 290x42 + 188x43 + 542x44 + 165x45 + 66x46 + 873x47 + 256x48 + 358x49 + 228x50 + 640x51 + 514x52 + 135x53 + 496x54 + 16x55 + 170x56 + 722x57 + 120x58 + 329x59 + 223x60 + 12x61 + 188x62 + 393x63 + 73x64 + 692x65 + 901x66 + 641x67 + 721x68 + 125x69 + 747x70 + 82x71 + 277x72 + 299x73 + 144x74 + 399x75 + 56x76 + 919x77 + 769x78 + 89x79 + 314x80 + 554x81 + 88x82 + 37x83 + 764x84 + 67x85 + 211x86 + 590x87 + 914x88 + 785x89 + 969x90 + 209x91 + 119x92 + 943x93 + 746x94 + 149x95 + 202x96 + 170x97 + 164x98 + 238x99 + 498x100 + 540x101 + 325x102 + 846x103 + 874x104 + 887x105 + 555x106 + 458x107 + 132x108 + 216x109 + 957x110 + 70x111 + 423x112 + 913x113 + 648x114 + 848x115 + 288x116 + 492x117 + 152x118 + 149x119 + 746x120 + 520x121 + 885x122 + 646x123 + 894x124 + 534x125 + 49x126 + 488x127 + 408x128 + 352x129 + 730x130 + 254x131 + 455x132 + 758x133 + 284x134 + 311x135 + 898x136 + 24x137 + 332x138 + 967x139 + 491x140 + 499x141 + 845x142 + 230x143 + 629x144 + 243x145 + 715x146 + 915x147 + 565x148 + 812x149 + 672x150 + 406x151 + 842x152 + 449x153 + 873x154 + 296x155 + 59x156 + 953x157 + 552x158 + 995x159 + 573x160 + 813x161 + 688x162 + 41x163 + 177x164 + 58x165 + 602x166 + 669x167 + 671x168 + 382x169 + 219x170 + 708x171 + 597x172 + 893x173 + 897x174 + 250x175 + 342x176 + 353x177 + 193x178 + 492x179 + 746x180 + 346x181 + 834x182 + 104x183 + 433x184 + 163x185 + 183x186 + 766x187 + 264x188 + 289x189 + 32x190 + 446x191 + 863x192 + 433x193 + 829x194 + 526x195 + 456x196 + 336x197 + 503x198 + 146x199 + 872x200 + 706x201 + 126x202 + 810x203 + 122x204 + 679x205 + 666x206 + 73x207 + 792x208 + 193x209 + 459x210 + 251x211 + 961x212 + 871x213 + 791x214 + 181x215 + 185x216 + 790x217 + 159x218 + 241x219 + 203x220 + 852x221 + 280x222 + 184x223 + 343x224 + 164x225 + 346x226 + 286x227 + 756x228 + 713x229 + 530x230 + 996x231 + 308x232 + 43x233 + 904x234 + 48x235 + 482x236 + 666x237 + 720x238 + 909x239 + 572x240 + 485x241 + 288x242 + 442x243 + 80x244 + 617x245 + 710x246 + 138x247 + 512x248 + 299x249 + 80x250 <=29959 
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