maximize 
objective: + 766x1 + 1008x2 + 518x3 + 850x4 + 476x5 + 756x6 + 622x7 + 766x8 + 931x9 + 838x10 + 851x11 + 571x12 + 833x13 + 854x14 + 289x15 + 400x16 + 744x17 + 689x18 + 847x19 + 660x20 + 884x21 + 1019x22 + 761x23 + 521x24 + 902x25 + 466x26 + 621x27 + 977x28 + 853x29 + 696x30 + 632x31 + 657x32 + 791x33 + 430x34 + 994x35 + 719x36 + 862x37 + 507x38 + 689x39 + 703x40 + 756x41 + 667x42 + 841x43 + 781x44 + 872x45 + 867x46 + 938x47 + 550x48 + 1034x49 + 607x50 + 892x51 + 362x52 + 952x53 + 809x54 + 847x55 + 967x56 + 883x57 + 493x58 + 581x59 + 449x60 + 622x61 + 842x62 + 632x63 + 594x64 + 793x65 + 703x66 + 884x67 + 421x68 + 861x69 + 583x70 + 785x71 + 799x72 + 893x73 + 449x74 + 961x75 + 923x76 + 485x77 + 793x78 + 761x79 + 577x80 + 869x81 + 511x82 + 753x83 + 743x84 + 704x85 + 652x86 + 1050x87 + 537x88 + 802x89 + 524x90 + 400x91 + 629x92 + 903x93 + 1014x94 + 930x95 + 538x96 + 513x97 + 552x98 + 564x99 + 918x100 + 305x101 + 667x102 + 780x103 + 622x104 + 876x105 + 390x106 + 642x107 + 873x108 + 920x109 + 580x110 + 742x111 + 697x112 + 767x113 + 837x114 + 631x115 + 931x116 + 939x117 + 274x118 + 605x119 + 793x120 + 408x121 + 522x122 + 627x123 + 891x124 + 492x125 + 517x126 + 454x127 + 842x128 + 1010x129 + 893x130 + 935x131 + 484x132 + 927x133 + 901x134 + 750x135 + 1151x136 + 902x137 + 652x138 + 1085x139 + 632x140 + 747x141 + 916x142 + 597x143 + 995x144 + 798x145 + 707x146 + 853x147 + 760x148 + 736x149 + 809x150 + 524x151 + 399x152 + 665x153 + 875x154 + 361x155 + 765x156 + 697x157 + 643x158 + 973x159 + 451x160 + 576x161 + 1157x162 + 912x163 + 544x164 + 487x165 + 947x166 + 660x167 + 795x168 + 693x169 + 714x170 + 523x171 + 702x172 + 865x173 + 865x174 + 666x175 + 941x176 + 781x177 + 680x178 + 826x179 + 791x180 + 642x181 + 829x182 + 487x183 + 474x184 + 534x185 + 460x186 + 735x187 + 599x188 + 730x189 + 486x190 + 781x191 + 502x192 + 636x193 + 582x194 + 988x195 + 762x196 + 453x197 + 530x198 + 984x199 + 839x200 + 904x201 + 683x202 + 943x203 + 1089x204 + 1086x205 + 1010x206 + 1007x207 + 757x208 + 715x209 + 736x210 + 811x211 + 687x212 + 1034x213 + 779x214 + 618x215 + 597x216 + 922x217 + 943x218 + 660x219 + 889x220 + 824x221 + 838x222 + 449x223 + 820x224 + 502x225 + 783x226 + 915x227 + 622x228 + 820x229 + 611x230 + 1050x231 + 1070x232 + 779x233 + 470x234 + 915x235 + 605x236 + 761x237 + 501x238 + 939x239 + 433x240 + 465x241 + 913x242 + 1049x243 + 551x244 + 894x245 + 830x246 + 887x247 + 857x248 + 546x249 + 919x250 
subject to 
constr1: + 870x1 + 851x2 + 309x3 + 525x4 + 77x5 + 329x6 + 103x7 + 341x8 + 600x9 + 816x10 + 421x11 + 846x12 + 582x13 + 193x14 + 363x15 + 148x16 + 522x17 + 738x18 + 792x19 + 558x20 + 569x21 + 2x22 + 152x23 + 387x24 + 845x25 + 711x26 + 13x27 + 527x28 + 639x29 + 536x30 + 684x31 + 442x32 + 255x33 + 234x34 + 489x35 + 380x36 + 931x37 + 75x38 + 162x39 + 771x40 + 569x41 + 808x42 + 980x43 + 264x44 + 988x45 + 879x46 + 855x47 + 301x48 + 896x49 + 212x50 + 522x51 + 31x52 + 534x53 + 35x54 + 775x55 + 651x56 + 406x57 + 458x58 + 85x59 + 34x60 + 72x61 + 892x62 + 560x63 + 188x64 + 688x65 + 21x66 + 368x67 + 126x68 + 237x69 + 713x70 + 331x71 + 739x72 + 400x73 + 139x74 + 891x75 + 491x76 + 276x77 + 311x78 + 320x79 + 150x80 + 738x81 + 934x82 + 212x83 + 527x84 + 370x85 + 188x86 + 297x87 + 505x88 + 289x89 + 899x90 + 282x91 + 410x92 + 221x93 + 606x94 + 700x95 + 329x96 + 145x97 + 133x98 + 475x99 + 17x100 + 257x101 + 531x102 + 715x103 + 779x104 + 29x105 + 24x106 + 517x107 + 446x108 + 117x109 + 352x110 + 214x111 + 262x112 + 985x113 + 64x114 + 558x115 + 132x116 + 37x117 + 332x118 + 29x119 + 891x120 + 78x121 + 643x122 + 214x123 + 717x124 + 680x125 + 436x126 + 385x127 + 153x128 + 827x129 + 433x130 + 905x131 + 439x132 + 721x133 + 520x134 + 602x135 + 405x136 + 616x137 + 464x138 + 944x139 + 336x140 + 792x141 + 962x142 + 104x143 + 180x144 + 563x145 + 12x146 + 751x147 + 527x148 + 407x149 + 812x150 + 468x151 + 194x152 + 974x153 + 849x154 + 215x155 + 381x156 + 416x157 + 617x158 + 6x159 + 460x160 + 389x161 + 409x162 + 715x163 + 598x164 + 36x165 + 72x166 + 391x167 + 871x168 + 10x169 + 778x170 + 293x171 + 267x172 + 419x173 + 574x174 + 438x175 + 657x176 + 858x177 + 271x178 + 248x179 + 985x180 + 585x181 + 835x182 + 150x183 + 5x184 + 471x185 + 461x186 + 422x187 + 184x188 + 397x189 + 474x190 + 836x191 + 490x192 + 406x193 + 262x194 + 761x195 + 599x196 + 378x197 + 748x198 + 595x199 + 411x200 + 745x201 + 303x202 + 180x203 + 701x204 + 888x205 + 484x206 + 82x207 + 726x208 + 637x209 + 587x210 + 769x211 + 368x212 + 50x213 + 778x214 + 330x215 + 662x216 + 683x217 + 208x218 + 698x219 + 968x220 + 967x221 + 41x222 + 27x223 + 995x224 + 144x225 + 279x226 + 859x227 + 602x228 + 227x229 + 43x230 + 142x231 + 695x232 + 47x233 + 390x234 + 716x235 + 392x236 + 693x237 + 458x238 + 10x239 + 89x240 + 196x241 + 488x242 + 530x243 + 669x244 + 585x245 + 487x246 + 609x247 + 476x248 + 177x249 + 369x250 <=86054 
constr2: + 404x1 + 235x2 + 6x3 + 286x4 + 146x5 + 167x6 + 91x7 + 765x8 + 624x9 + 895x10 + 903x11 + 86x12 + 304x13 + 676x14 + 363x15 + 248x16 + 46x17 + 290x18 + 404x19 + 363x20 + 79x21 + 195x22 + 447x23 + 589x24 + 10x25 + 472x26 + 816x27 + 677x28 + 467x29 + 503x30 + 513x31 + 9x32 + 932x33 + 546x34 + 771x35 + 808x36 + 339x37 + 478x38 + 189x39 + 343x40 + 401x41 + 358x42 + 567x43 + 172x44 + 304x45 + 978x46 + 61x47 + 796x48 + 809x49 + 868x50 + 893x51 + 532x52 + 793x53 + 468x54 + 63x55 + 986x56 + 185x57 + 185x58 + 135x59 + 458x60 + 32x61 + 238x62 + 635x63 + 975x64 + 705x65 + 590x66 + 517x67 + 607x68 + 932x69 + 71x70 + 768x71 + 653x72 + 334x73 + 463x74 + 914x75 + 765x76 + 406x77 + 506x78 + 966x79 + 810x80 + 911x81 + 726x82 + 334x83 + 936x84 + 999x85 + 77x86 + 867x87 + 96x88 + 297x89 + 112x90 + 308x91 + 878x92 + 775x93 + 691x94 + 248x95 + 900x96 + 341x97 + 877x98 + 340x99 + 388x100 + 133x101 + 836x102 + 146x103 + 352x104 + 758x105 + 42x106 + 480x107 + 266x108 + 828x109 + 602x110 + 588x111 + 315x112 + 982x113 + 824x114 + 280x115 + 708x116 + 730x117 + 396x118 + 138x119 + 886x120 + 616x121 + 149x122 + 409x123 + 690x124 + 121x125 + 309x126 + 670x127 + 735x128 + 253x129 + 280x130 + 712x131 + 487x132 + 727x133 + 403x134 + 101x135 + 952x136 + 578x137 + 55x138 + 873x139 + 707x140 + 896x141 + 587x142 + 897x143 + 886x144 + 455x145 + 714x146 + 284x147 + 690x148 + 361x149 + 778x150 + 614x151 + 573x152 + 143x153 + 247x154 + 44x155 + 741x156 + 69x157 + 283x158 + 751x159 + 680x160 + 124x161 + 799x162 + 337x163 + 174x164 + 218x165 + 614x166 + 329x167 + 676x168 + 426x169 + 518x170 + 5x171 + 55x172 + 819x173 + 525x174 + 548x175 + 116x176 + 257x177 + 308x178 + 41x179 + 50x180 + 686x181 + 551x182 + 719x183 + 692x184 + 142x185 + 792x186 + 199x187 + 583x188 + 36x189 + 318x190 + 490x191 + 488x192 + 128x193 + 26x194 + 64x195 + 124x196 + 150x197 + 515x198 + 212x199 + 68x200 + 429x201 + 574x202 + 861x203 + 678x204 + 685x205 + 223x206 + 885x207 + 452x208 + 813x209 + 110x210 + 247x211 + 963x212 + 607x213 + 786x214 + 331x215 + 331x216 + 140x217 + 919x218 + 162x219 + 169x220 + 782x221 + 791x222 + 808x223 + 231x224 + 938x225 + 609x226 + 507x227 + 406x228 + 786x229 + 203x230 + 591x231 + 761x232 + 284x233 + 729x234 + 32x235 + 113x236 + 461x237 + 163x238 + 476x239 + 287x240 + 43x241 + 984x242 + 975x243 + 701x244 + 140x245 + 533x246 + 252x247 + 827x248 + 162x249 + 963x250 <=90090 
constr3: + 987x1 + 619x2 + 483x3 + 820x4 + 383x5 + 460x6 + 258x7 + 860x8 + 892x9 + 566x10 + 199x11 + 911x12 + 531x13 + 330x14 + 111x15 + 309x16 + 110x17 + 63x18 + 532x19 + 104x20 + 42x21 + 868x22 + 898x23 + 386x24 + 831x25 + 241x26 + 487x27 + 511x28 + 505x29 + 836x30 + 263x31 + 550x32 + 875x33 + 220x34 + 194x35 + 502x36 + 281x37 + 583x38 + 519x39 + 914x40 + 746x41 + 12x42 + 645x43 + 917x44 + 247x45 + 975x46 + 598x47 + 4x48 + 599x49 + 400x50 + 857x51 + 246x52 + 526x53 + 227x54 + 595x55 + 132x56 + 497x57 + 190x58 + 190x59 + 256x60 + 266x61 + 28x62 + 229x63 + 662x64 + 795x65 + 660x66 + 852x67 + 445x68 + 556x69 + 488x70 + 186x71 + 501x72 + 669x73 + 551x74 + 259x75 + 174x76 + 179x77 + 145x78 + 928x79 + 860x80 + 235x81 + 398x82 + 582x83 + 532x84 + 328x85 + 413x86 + 846x87 + 397x88 + 260x89 + 861x90 + 441x91 + 207x92 + 239x93 + 398x94 + 874x95 + 413x96 + 90x97 + 796x98 + 505x99 + 929x100 + 186x101 + 153x102 + 987x103 + 476x104 + 566x105 + 695x106 + 522x107 + 914x108 + 688x109 + 72x110 + 14x111 + 55x112 + 363x113 + 494x114 + 193x115 + 884x116 + 1000x117 + 26x118 + 859x119 + 415x120 + 176x121 + 197x122 + 546x123 + 318x124 + 976x125 + 951x126 + 278x127 + 505x128 + 104x129 + 187x130 + 848x131 + 978x132 + 603x133 + 31x134 + 609x135 + 750x136 + 948x137 + 357x138 + 330x139 + 41x140 + 588x141 + 307x142 + 335x143 + 283x144 + 165x145 + 66x146 + 594x147 + 196x148 + 86x149 + 448x150 + 337x151 + 81x152 + 141x153 + 78x154 + 223x155 + 747x156 + 790x157 + 482x158 + 715x159 + 235x160 + 789x161 + 490x162 + 994x163 + 360x164 + 157x165 + 204x166 + 77x167 + 901x168 + 630x169 + 616x170 + 459x171 + 739x172 + 921x173 + 650x174 + 796x175 + 441x176 + 363x177 + 121x178 + 571x179 + 574x180 + 50x181 + 618x182 + 321x183 + 346x184 + 659x185 + 249x186 + 73x187 + 400x188 + 912x189 + 332x190 + 559x191 + 724x192 + 938x193 + 832x194 + 863x195 + 819x196 + 193x197 + 464x198 + 839x199 + 559x200 + 966x201 + 953x202 + 796x203 + 864x204 + 109x205 + 990x206 + 637x207 + 714x208 + 516x209 + 604x210 + 250x211 + 632x212 + 581x213 + 717x214 + 738x215 + 59x216 + 235x217 + 694x218 + 271x219 + 155x220 + 29x221 + 399x222 + 379x223 + 754x224 + 109x225 + 973x226 + 94x227 + 539x228 + 440x229 + 922x230 + 678x231 + 718x232 + 916x233 + 15x234 + 878x235 + 552x236 + 339x237 + 694x238 + 826x239 + 644x240 + 489x241 + 626x242 + 175x243 + 195x244 + 750x245 + 787x246 + 390x247 + 357x248 + 748x249 + 27x250 <=92091 
constr4: + 714x1 + 333x2 + 752x3 + 595x4 + 774x5 + 934x6 + 240x7 + 842x8 + 136x9 + 984x10 + 153x11 + 474x12 + 571x13 + 728x14 + 510x15 + 386x16 + 656x17 + 378x18 + 712x19 + 219x20 + 826x21 + 904x22 + 752x23 + 164x24 + 540x25 + 296x26 + 621x27 + 348x28 + 267x29 + 806x30 + 382x31 + 731x32 + 874x33 + 302x34 + 678x35 + 382x36 + 609x37 + 696x38 + 802x39 + 535x40 + 621x41 + 58x42 + 204x43 + 801x44 + 526x45 + 534x46 + 854x47 + 283x48 + 891x49 + 664x50 + 253x51 + 36x52 + 366x53 + 990x54 + 547x55 + 433x56 + 111x57 + 477x58 + 714x59 + 7x60 + 625x61 + 727x62 + 625x63 + 291x64 + 103x65 + 335x66 + 328x67 + 243x68 + 708x69 + 368x70 + 340x71 + 314x72 + 525x73 + 408x74 + 690x75 + 902x76 + 583x77 + 440x78 + 818x79 + 626x80 + 295x81 + 169x82 + 211x83 + 938x84 + 438x85 + 758x86 + 720x87 + 746x88 + 609x89 + 491x90 + 470x91 + 852x92 + 986x93 + 641x94 + 805x95 + 526x96 + 168x97 + 214x98 + 143x99 + 976x100 + 230x101 + 334x102 + 236x103 + 846x104 + 471x105 + 124x106 + 161x107 + 25x108 + 741x109 + 111x110 + 420x111 + 198x112 + 156x113 + 700x114 + 521x115 + 196x116 + 297x117 + 424x118 + 425x119 + 886x120 + 329x121 + 298x122 + 783x123 + 60x124 + 132x125 + 122x126 + 323x127 + 953x128 + 950x129 + 932x130 + 786x131 + 397x132 + 297x133 + 874x134 + 412x135 + 496x136 + 500x137 + 572x138 + 859x139 + 971x140 + 569x141 + 33x142 + 211x143 + 719x144 + 713x145 + 739x146 + 575x147 + 938x148 + 696x149 + 795x150 + 886x151 + 269x152 + 985x153 + 138x154 + 471x155 + 822x156 + 879x157 + 571x158 + 649x159 + 30x160 + 208x161 + 761x162 + 377x163 + 642x164 + 523x165 + 860x166 + 394x167 + 731x168 + 227x169 + 562x170 + 711x171 + 92x172 + 594x173 + 823x174 + 48x175 + 846x176 + 15x177 + 508x178 + 453x179 + 773x180 + 883x181 + 273x182 + 165x183 + 712x184 + 166x185 + 155x186 + 573x187 + 883x188 + 237x189 + 52x190 + 793x191 + 77x192 + 584x193 + 109x194 + 956x195 + 97x196 + 556x197 + 219x198 + 784x199 + 252x200 + 453x201 + 644x202 + 869x203 + 291x204 + 610x205 + 689x206 + 393x207 + 866x208 + 294x209 + 441x210 + 155x211 + 628x212 + 905x213 + 153x214 + 96x215 + 734x216 + 811x217 + 541x218 + 585x219 + 538x220 + 780x221 + 917x222 + 602x223 + 117x224 + 132x225 + 200x226 + 20x227 + 463x228 + 541x229 + 545x230 + 949x231 + 861x232 + 554x233 + 348x234 + 637x235 + 952x236 + 670x237 + 431x238 + 480x239 + 4x240 + 125x241 + 712x242 + 674x243 + 984x244 + 771x245 + 18x246 + 653x247 + 488x248 + 806x249 + 928x250 <=96824 
constr5: + 155x1 + 564x2 + 813x3 + 181x4 + 301x5 + 574x6 + 20x7 + 929x8 + 751x9 + 462x10 + 654x11 + 484x12 + 634x13 + 62x14 + 90x15 + 408x16 + 775x17 + 548x18 + 865x19 + 976x20 + 916x21 + 651x22 + 37x23 + 474x24 + 152x25 + 568x26 + 521x27 + 350x28 + 582x29 + 293x30 + 616x31 + 155x32 + 924x33 + 592x34 + 903x35 + 918x36 + 576x37 + 273x38 + 762x39 + 938x40 + 791x41 + 133x42 + 799x43 + 582x44 + 117x45 + 525x46 + 500x47 + 73x48 + 36x49 + 334x50 + 241x51 + 310x52 + 613x53 + 63x54 + 598x55 + 856x56 + 959x57 + 429x58 + 227x59 + 220x60 + 698x61 + 174x62 + 353x63 + 576x64 + 683x65 + 270x66 + 651x67 + 559x68 + 29x69 + 205x70 + 52x71 + 842x72 + 235x73 + 533x74 + 911x75 + 437x76 + 520x77 + 325x78 + 569x79 + 263x80 + 555x81 + 119x82 + 647x83 + 312x84 + 19x85 + 737x86 + 327x87 + 728x88 + 382x89 + 166x90 + 384x91 + 523x92 + 426x93 + 482x94 + 776x95 + 518x96 + 215x97 + 263x98 + 849x99 + 896x100 + 27x101 + 67x102 + 234x103 + 232x104 + 99x105 + 734x106 + 655x107 + 779x108 + 266x109 + 932x110 + 497x111 + 946x112 + 692x113 + 190x114 + 427x115 + 454x116 + 959x117 + 33x118 + 89x119 + 635x120 + 702x121 + 627x122 + 361x123 + 820x124 + 188x125 + 345x126 + 526x127 + 516x128 + 459x129 + 555x130 + 392x131 + 80x132 + 778x133 + 650x134 + 462x135 + 910x136 + 88x137 + 662x138 + 959x139 + 158x140 + 387x141 + 754x142 + 595x143 + 994x144 + 495x145 + 692x146 + 652x147 + 799x148 + 23x149 + 477x150 + 164x151 + 401x152 + 349x153 + 981x154 + 181x155 + 960x156 + 322x157 + 452x158 + 587x159 + 316x160 + 804x161 + 912x162 + 834x163 + 857x164 + 562x165 + 986x166 + 70x167 + 186x168 + 896x169 + 727x170 + 318x171 + 792x172 + 915x173 + 599x174 + 824x175 + 791x176 + 468x177 + 16x178 + 963x179 + 237x180 + 645x181 + 768x182 + 175x183 + 58x184 + 213x185 + 412x186 + 205x187 + 685x188 + 931x189 + 963x190 + 126x191 + 708x192 + 867x193 + 121x194 + 61x195 + 793x196 + 963x197 + 204x198 + 43x199 + 582x200 + 373x201 + 889x202 + 885x203 + 415x204 + 795x205 + 213x206 + 792x207 + 465x208 + 804x209 + 874x210 + 192x211 + 86x212 + 864x213 + 535x214 + 163x215 + 614x216 + 869x217 + 422x218 + 753x219 + 796x220 + 423x221 + 436x222 + 424x223 + 622x224 + 185x225 + 283x226 + 689x227 + 354x228 + 406x229 + 136x230 + 708x231 + 360x232 + 822x233 + 659x234 + 148x235 + 428x236 + 201x237 + 737x238 + 450x239 + 352x240 + 382x241 + 227x242 + 971x243 + 187x244 + 720x245 + 44x246 + 48x247 + 52x248 + 349x249 + 534x250 <=93183 
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