maximize 
objective: + 1069x1 + 684x2 + 810x3 + 1067x4 + 416x5 + 500x6 + 647x7 + 957x8 + 498x9 + 361x10 + 933x11 + 726x12 + 785x13 + 833x14 + 404x15 + 676x16 + 949x17 + 917x18 + 762x19 + 559x20 + 578x21 + 659x22 + 921x23 + 591x24 + 785x25 + 328x26 + 727x27 + 921x28 + 774x29 + 782x30 + 1012x31 + 993x32 + 860x33 + 800x34 + 912x35 + 1136x36 + 1021x37 + 918x38 + 503x39 + 698x40 + 571x41 + 630x42 + 1102x43 + 671x44 + 588x45 + 704x46 + 1067x47 + 771x48 + 772x49 + 736x50 + 815x51 + 840x52 + 887x53 + 576x54 + 531x55 + 815x56 + 727x57 + 751x58 + 736x59 + 614x60 + 522x61 + 1035x62 + 840x63 + 1029x64 + 774x65 + 486x66 + 1101x67 + 673x68 + 748x69 + 839x70 + 681x71 + 483x72 + 890x73 + 540x74 + 540x75 + 688x76 + 538x77 + 867x78 + 627x79 + 1007x80 + 638x81 + 406x82 + 608x83 + 965x84 + 931x85 + 557x86 + 869x87 + 658x88 + 900x89 + 642x90 + 1053x91 + 977x92 + 406x93 + 940x94 + 697x95 + 335x96 + 783x97 + 895x98 + 813x99 + 523x100 + 736x101 + 1084x102 + 362x103 + 956x104 + 942x105 + 869x106 + 505x107 + 452x108 + 874x109 + 864x110 + 466x111 + 846x112 + 1027x113 + 1170x114 + 680x115 + 761x116 + 738x117 + 1073x118 + 1123x119 + 858x120 + 1076x121 + 1087x122 + 816x123 + 448x124 + 892x125 + 674x126 + 689x127 + 592x128 + 558x129 + 622x130 + 942x131 + 766x132 + 734x133 + 441x134 + 703x135 + 737x136 + 524x137 + 389x138 + 1022x139 + 851x140 + 655x141 + 869x142 + 709x143 + 292x144 + 845x145 + 572x146 + 881x147 + 970x148 + 513x149 + 894x150 + 937x151 + 906x152 + 649x153 + 919x154 + 647x155 + 862x156 + 474x157 + 1055x158 + 380x159 + 923x160 + 787x161 + 800x162 + 731x163 + 718x164 + 580x165 + 916x166 + 1030x167 + 914x168 + 704x169 + 369x170 + 741x171 + 749x172 + 562x173 + 651x174 + 495x175 + 595x176 + 489x177 + 1003x178 + 960x179 + 661x180 + 605x181 + 808x182 + 896x183 + 587x184 + 1104x185 + 843x186 + 919x187 + 1096x188 + 557x189 + 759x190 + 322x191 + 1082x192 + 498x193 + 707x194 + 922x195 + 859x196 + 642x197 + 1095x198 + 900x199 + 494x200 + 733x201 + 865x202 + 564x203 + 813x204 + 832x205 + 799x206 + 1171x207 + 520x208 + 847x209 + 563x210 + 887x211 + 581x212 + 683x213 + 940x214 + 537x215 + 862x216 + 705x217 + 862x218 + 608x219 + 638x220 + 960x221 + 918x222 + 835x223 + 904x224 + 723x225 + 869x226 + 688x227 + 907x228 + 593x229 + 925x230 + 930x231 + 1016x232 + 989x233 + 608x234 + 687x235 + 745x236 + 683x237 + 345x238 + 879x239 + 1113x240 + 691x241 + 731x242 + 786x243 + 793x244 + 623x245 + 743x246 + 745x247 + 914x248 + 850x249 + 888x250 
subject to 
constr1: + 942x1 + 349x2 + 751x3 + 860x4 + 224x5 + 484x6 + 92x7 + 687x8 + 271x9 + 214x10 + 617x11 + 219x12 + 249x13 + 719x14 + 589x15 + 651x16 + 440x17 + 27x18 + 119x19 + 502x20 + 639x21 + 909x22 + 480x23 + 76x24 + 150x25 + 399x26 + 211x27 + 713x28 + 885x29 + 380x30 + 330x31 + 559x32 + 114x33 + 511x34 + 256x35 + 990x36 + 555x37 + 26x38 + 216x39 + 115x40 + 178x41 + 277x42 + 735x43 + 753x44 + 27x45 + 269x46 + 828x47 + 273x48 + 903x49 + 872x50 + 500x51 + 851x52 + 822x53 + 458x54 + 85x55 + 330x56 + 798x57 + 465x58 + 56x59 + 825x60 + 606x61 + 409x62 + 645x63 + 800x64 + 249x65 + 95x66 + 854x67 + 700x68 + 867x69 + 605x70 + 188x71 + 385x72 + 485x73 + 674x74 + 849x75 + 144x76 + 424x77 + 318x78 + 34x79 + 241x80 + 619x81 + 208x82 + 434x83 + 447x84 + 213x85 + 313x86 + 614x87 + 679x88 + 962x89 + 77x90 + 45x91 + 486x92 + 141x93 + 380x94 + 220x95 + 77x96 + 561x97 + 125x98 + 362x99 + 205x100 + 304x101 + 781x102 + 344x103 + 90x104 + 560x105 + 986x106 + 495x107 + 698x108 + 24x109 + 587x110 + 86x111 + 834x112 + 918x113 + 915x114 + 218x115 + 956x116 + 414x117 + 465x118 + 460x119 + 506x120 + 202x121 + 521x122 + 345x123 + 298x124 + 844x125 + 600x126 + 605x127 + 383x128 + 188x129 + 106x130 + 628x131 + 923x132 + 82x133 + 747x134 + 206x135 + 102x136 + 459x137 + 511x138 + 704x139 + 613x140 + 483x141 + 731x142 + 746x143 + 147x144 + 279x145 + 192x146 + 716x147 + 705x148 + 792x149 + 75x150 + 967x151 + 405x152 + 302x153 + 637x154 + 621x155 + 987x156 + 138x157 + 307x158 + 768x159 + 846x160 + 257x161 + 397x162 + 228x163 + 21x164 + 25x165 + 630x166 + 636x167 + 501x168 + 926x169 + 633x170 + 77x171 + 147x172 + 762x173 + 342x174 + 116x175 + 486x176 + 406x177 + 487x178 + 752x179 + 310x180 + 555x181 + 238x182 + 822x183 + 943x184 + 734x185 + 586x186 + 569x187 + 874x188 + 55x189 + 909x190 + 23x191 + 642x192 + 48x193 + 838x194 + 1x195 + 98x196 + 726x197 + 727x198 + 914x199 + 343x200 + 393x201 + 751x202 + 405x203 + 682x204 + 892x205 + 877x206 + 716x207 + 593x208 + 995x209 + 337x210 + 413x211 + 746x212 + 215x213 + 682x214 + 363x215 + 895x216 + 659x217 + 543x218 + 148x219 + 640x220 + 163x221 + 214x222 + 328x223 + 923x224 + 602x225 + 358x226 + 589x227 + 812x228 + 616x229 + 734x230 + 434x231 + 660x232 + 285x233 + 817x234 + 513x235 + 427x236 + 977x237 + 496x238 + 716x239 + 726x240 + 591x241 + 293x242 + 588x243 + 655x244 + 892x245 + 304x246 + 35x247 + 550x248 + 691x249 + 700x250 <=91901 
constr2: + 47x1 + 555x2 + 335x3 + 967x4 + 755x5 + 513x6 + 805x7 + 133x8 + 53x9 + 177x10 + 967x11 + 745x12 + 698x13 + 460x14 + 177x15 + 568x16 + 489x17 + 718x18 + 729x19 + 757x20 + 626x21 + 347x22 + 496x23 + 692x24 + 124x25 + 195x26 + 243x27 + 704x28 + 937x29 + 405x30 + 904x31 + 106x32 + 754x33 + 252x34 + 817x35 + 776x36 + 794x37 + 516x38 + 843x39 + 890x40 + 796x41 + 571x42 + 355x43 + 562x44 + 395x45 + 727x46 + 565x47 + 523x48 + 685x49 + 715x50 + 860x51 + 391x52 + 606x53 + 666x54 + 472x55 + 885x56 + 671x57 + 423x58 + 995x59 + 344x60 + 43x61 + 930x62 + 290x63 + 753x64 + 949x65 + 955x66 + 627x67 + 488x68 + 275x69 + 244x70 + 515x71 + 445x72 + 712x73 + 728x74 + 661x75 + 617x76 + 556x77 + 421x78 + 473x79 + 523x80 + 180x81 + 243x82 + 458x83 + 523x84 + 466x85 + 865x86 + 662x87 + 80x88 + 834x89 + 988x90 + 716x91 + 395x92 + 210x93 + 574x94 + 295x95 + 24x96 + 879x97 + 480x98 + 852x99 + 815x100 + 215x101 + 984x102 + 381x103 + 559x104 + 890x105 + 441x106 + 371x107 + 277x108 + 863x109 + 478x110 + 774x111 + 887x112 + 855x113 + 876x114 + 684x115 + 219x116 + 124x117 + 569x118 + 970x119 + 966x120 + 256x121 + 896x122 + 510x123 + 886x124 + 709x125 + 762x126 + 56x127 + 15x128 + 289x129 + 539x130 + 956x131 + 870x132 + 973x133 + 2x134 + 385x135 + 615x136 + 521x137 + 166x138 + 743x139 + 542x140 + 873x141 + 577x142 + 634x143 + 23x144 + 550x145 + 390x146 + 465x147 + 711x148 + 149x149 + 682x150 + 453x151 + 783x152 + 839x153 + 748x154 + 857x155 + 324x156 + 390x157 + 660x158 + 166x159 + 375x160 + 418x161 + 132x162 + 172x163 + 236x164 + 790x165 + 537x166 + 464x167 + 245x168 + 222x169 + 416x170 + 176x171 + 349x172 + 261x173 + 840x174 + 71x175 + 356x176 + 904x177 + 851x178 + 337x179 + 862x180 + 220x181 + 548x182 + 389x183 + 322x184 + 752x185 + 736x186 + 774x187 + 842x188 + 515x189 + 877x190 + 672x191 + 839x192 + 771x193 + 691x194 + 802x195 + 594x196 + 322x197 + 804x198 + 472x199 + 635x200 + 409x201 + 829x202 + 70x203 + 570x204 + 881x205 + 897x206 + 860x207 + 862x208 + 54x209 + 450x210 + 676x211 + 704x212 + 435x213 + 255x214 + 212x215 + 391x216 + 891x217 + 412x218 + 811x219 + 746x220 + 460x221 + 301x222 + 542x223 + 392x224 + 348x225 + 400x226 + 224x227 + 95x228 + 569x229 + 997x230 + 723x231 + 982x232 + 530x233 + 638x234 + 665x235 + 707x236 + 166x237 + 358x238 + 465x239 + 300x240 + 864x241 + 739x242 + 626x243 + 974x244 + 231x245 + 99x246 + 113x247 + 887x248 + 184x249 + 456x250 <=103057 
constr3: + 666x1 + 508x2 + 786x3 + 724x4 + 200x5 + 33x6 + 413x7 + 875x8 + 189x9 + 524x10 + 178x11 + 282x12 + 216x13 + 576x14 + 224x15 + 899x16 + 810x17 + 666x18 + 732x19 + 269x20 + 502x21 + 214x22 + 997x23 + 326x24 + 708x25 + 271x26 + 467x27 + 120x28 + 436x29 + 185x30 + 54x31 + 372x32 + 803x33 + 999x34 + 629x35 + 985x36 + 527x37 + 850x38 + 261x39 + 555x40 + 681x41 + 832x42 + 446x43 + 340x44 + 408x45 + 184x46 + 932x47 + 332x48 + 120x49 + 55x50 + 538x51 + 191x52 + 348x53 + 701x54 + 847x55 + 714x56 + 209x57 + 668x58 + 109x59 + 334x60 + 981x61 + 750x62 + 957x63 + 488x64 + 756x65 + 27x66 + 773x67 + 366x68 + 321x69 + 716x70 + 149x71 + 474x72 + 829x73 + 139x74 + 548x75 + 756x76 + 209x77 + 663x78 + 357x79 + 944x80 + 50x81 + 881x82 + 425x83 + 893x84 + 530x85 + 640x86 + 835x87 + 233x88 + 256x89 + 332x90 + 774x91 + 965x92 + 469x93 + 525x94 + 311x95 + 564x96 + 670x97 + 801x98 + 649x99 + 890x100 + 608x101 + 983x102 + 133x103 + 22x104 + 527x105 + 734x106 + 6x107 + 160x108 + 685x109 + 884x110 + 701x111 + 641x112 + 898x113 + 321x114 + 649x115 + 885x116 + 32x117 + 928x118 + 884x119 + 105x120 + 588x121 + 136x122 + 958x123 + 748x124 + 611x125 + 78x126 + 98x127 + 112x128 + 226x129 + 464x130 + 802x131 + 21x132 + 99x133 + 394x134 + 764x135 + 721x136 + 281x137 + 73x138 + 290x139 + 89x140 + 890x141 + 736x142 + 890x143 + 150x144 + 264x145 + 182x146 + 345x147 + 888x148 + 758x149 + 780x150 + 408x151 + 612x152 + 706x153 + 887x154 + 500x155 + 861x156 + 39x157 + 922x158 + 263x159 + 843x160 + 407x161 + 25x162 + 192x163 + 734x164 + 658x165 + 869x166 + 91x167 + 377x168 + 898x169 + 242x170 + 680x171 + 895x172 + 34x173 + 962x174 + 420x175 + 327x176 + 50x177 + 976x178 + 226x179 + 366x180 + 372x181 + 196x182 + 856x183 + 160x184 + 955x185 + 489x186 + 193x187 + 222x188 + 73x189 + 424x190 + 13x191 + 991x192 + 341x193 + 195x194 + 355x195 + 983x196 + 678x197 + 721x198 + 426x199 + 464x200 + 490x201 + 804x202 + 874x203 + 834x204 + 317x205 + 19x206 + 517x207 + 83x208 + 770x209 + 616x210 + 724x211 + 223x212 + 922x213 + 961x214 + 403x215 + 982x216 + 984x217 + 87x218 + 173x219 + 961x220 + 489x221 + 969x222 + 590x223 + 682x224 + 388x225 + 622x226 + 778x227 + 926x228 + 933x229 + 205x230 + 112x231 + 276x232 + 777x233 + 412x234 + 982x235 + 674x236 + 89x237 + 218x238 + 131x239 + 996x240 + 703x241 + 181x242 + 79x243 + 643x244 + 913x245 + 874x246 + 259x247 + 671x248 + 816x249 + 921x250 <=97326 
constr4: + 687x1 + 484x2 + 751x3 + 492x4 + 727x5 + 638x6 + 53x7 + 51x8 + 294x9 + 469x10 + 657x11 + 201x12 + 686x13 + 702x14 + 16x15 + 196x16 + 692x17 + 623x18 + 695x19 + 351x20 + 15x21 + 696x22 + 505x23 + 384x24 + 714x25 + 18x26 + 72x27 + 824x28 + 893x29 + 945x30 + 475x31 + 702x32 + 168x33 + 105x34 + 548x35 + 946x36 + 659x37 + 937x38 + 838x39 + 698x40 + 846x41 + 490x42 + 537x43 + 302x44 + 788x45 + 758x46 + 533x47 + 916x48 + 110x49 + 169x50 + 632x51 + 299x52 + 416x53 + 176x54 + 368x55 + 408x56 + 398x57 + 180x58 + 815x59 + 946x60 + 508x61 + 117x62 + 593x63 + 774x64 + 624x65 + 414x66 + 719x67 + 834x68 + 648x69 + 485x70 + 393x71 + 409x72 + 563x73 + 310x74 + 181x75 + 724x76 + 713x77 + 52x78 + 266x79 + 499x80 + 218x81 + 240x82 + 851x83 + 190x84 + 847x85 + 789x86 + 324x87 + 69x88 + 314x89 + 473x90 + 710x91 + 929x92 + 334x93 + 555x94 + 107x95 + 881x96 + 14x97 + 212x98 + 328x99 + 213x100 + 687x101 + 312x102 + 133x103 + 971x104 + 917x105 + 530x106 + 957x107 + 394x108 + 94x109 + 16x110 + 454x111 + 809x112 + 113x113 + 739x114 + 760x115 + 470x116 + 548x117 + 477x118 + 942x119 + 816x120 + 991x121 + 984x122 + 318x123 + 12x124 + 100x125 + 59x126 + 791x127 + 241x128 + 107x129 + 507x130 + 359x131 + 154x132 + 800x133 + 43x134 + 546x135 + 565x136 + 28x137 + 188x138 + 82x139 + 560x140 + 291x141 + 978x142 + 105x143 + 343x144 + 306x145 + 84x146 + 224x147 + 141x148 + 558x149 + 545x150 + 397x151 + 337x152 + 141x153 + 475x154 + 653x155 + 220x156 + 798x157 + 949x158 + 495x159 + 163x160 + 855x161 + 820x162 + 789x163 + 513x164 + 506x165 + 662x166 + 728x167 + 314x168 + 663x169 + 69x170 + 67x171 + 23x172 + 160x173 + 90x174 + 372x175 + 764x176 + 422x177 + 361x178 + 257x179 + 683x180 + 647x181 + 889x182 + 937x183 + 415x184 + 820x185 + 216x186 + 117x187 + 824x188 + 915x189 + 209x190 + 370x191 + 665x192 + 322x193 + 645x194 + 744x195 + 235x196 + 590x197 + 977x198 + 544x199 + 199x200 + 167x201 + 165x202 + 40x203 + 598x204 + 588x205 + 864x206 + 941x207 + 441x208 + 733x209 + 172x210 + 637x211 + 663x212 + 844x213 + 534x214 + 346x215 + 770x216 + 731x217 + 225x218 + 101x219 + 184x220 + 740x221 + 647x222 + 872x223 + 163x224 + 219x225 + 151x226 + 810x227 + 743x228 + 332x229 + 461x230 + 233x231 + 678x232 + 835x233 + 980x234 + 353x235 + 654x236 + 960x237 + 172x238 + 806x239 + 837x240 + 87x241 + 91x242 + 755x243 + 666x244 + 680x245 + 326x246 + 248x247 + 59x248 + 691x249 + 956x250 <=91682 
constr5: + 685x1 + 213x2 + 985x3 + 894x4 + 66x5 + 7x6 + 371x7 + 786x8 + 26x9 + 14x10 + 275x11 + 336x12 + 571x13 + 839x14 + 77x15 + 458x16 + 582x17 + 110x18 + 155x19 + 710x20 + 334x21 + 657x22 + 819x23 + 672x24 + 531x25 + 595x26 + 481x27 + 705x28 + 340x29 + 337x30 + 932x31 + 843x32 + 406x33 + 302x34 + 465x35 + 16x36 + 550x37 + 184x38 + 249x39 + 973x40 + 352x41 + 111x42 + 996x43 + 794x44 + 174x45 + 937x46 + 643x47 + 55x48 + 455x49 + 134x50 + 87x51 + 533x52 + 893x53 + 468x54 + 538x55 + 673x56 + 501x57 + 602x58 + 304x59 + 9x60 + 388x61 + 525x62 + 29x63 + 828x64 + 718x65 + 932x66 + 190x67 + 596x68 + 534x69 + 611x70 + 439x71 + 578x72 + 972x73 + 579x74 + 31x75 + 781x76 + 426x77 + 396x78 + 701x79 + 898x80 + 157x81 + 215x82 + 161x83 + 827x84 + 228x85 + 6x86 + 571x87 + 600x88 + 729x89 + 160x90 + 701x91 + 629x92 + 234x93 + 318x94 + 743x95 + 64x96 + 767x97 + 830x98 + 197x99 + 345x100 + 529x101 + 843x102 + 707x103 + 744x104 + 759x105 + 281x106 + 484x107 + 136x108 + 855x109 + 41x110 + 69x111 + 397x112 + 95x113 + 625x114 + 284x115 + 366x116 + 617x117 + 944x118 + 823x119 + 163x120 + 896x121 + 524x122 + 255x123 + 85x124 + 253x125 + 204x126 + 178x127 + 144x128 + 456x129 + 813x130 + 25x131 + 105x132 + 583x133 + 669x134 + 629x135 + 519x136 + 272x137 + 97x138 + 882x139 + 827x140 + 526x141 + 399x142 + 673x143 + 399x144 + 829x145 + 186x146 + 390x147 + 752x148 + 182x149 + 585x150 + 846x151 + 355x152 + 673x153 + 967x154 + 279x155 + 721x156 + 197x157 + 912x158 + 85x159 + 474x160 + 305x161 + 712x162 + 8x163 + 538x164 + 120x165 + 443x166 + 734x167 + 998x168 + 526x169 + 228x170 + 858x171 + 342x172 + 806x173 + 863x174 + 321x175 + 31x176 + 143x177 + 741x178 + 912x179 + 711x180 + 114x181 + 706x182 + 608x183 + 304x184 + 420x185 + 312x186 + 885x187 + 544x188 + 123x189 + 569x190 + 329x191 + 831x192 + 58x193 + 376x194 + 907x195 + 670x196 + 869x197 + 525x198 + 894x199 + 719x200 + 460x201 + 889x202 + 235x203 + 368x204 + 671x205 + 760x206 + 471x207 + 327x208 + 509x209 + 911x210 + 778x211 + 333x212 + 909x213 + 410x214 + 652x215 + 954x216 + 185x217 + 703x218 + 912x219 + 84x220 + 854x221 + 704x222 + 422x223 + 807x224 + 684x225 + 971x226 + 817x227 + 347x228 + 93x229 + 370x230 + 861x231 + 192x232 + 231x233 + 81x234 + 102x235 + 883x236 + 633x237 + 354x238 + 921x239 + 597x240 + 88x241 + 411x242 + 179x243 + 760x244 + 135x245 + 42x246 + 939x247 + 689x248 + 240x249 + 533x250 <=92712 
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