maximize 
objective: + 565x1 + 601x2 + 954x3 + 1027x4 + 955x5 + 653x6 + 492x7 + 737x8 + 772x9 + 625x10 + 547x11 + 774x12 + 778x13 + 381x14 + 373x15 + 580x16 + 491x17 + 986x18 + 704x19 + 833x20 + 786x21 + 834x22 + 863x23 + 599x24 + 465x25 + 718x26 + 594x27 + 806x28 + 710x29 + 839x30 + 1082x31 + 612x32 + 613x33 + 748x34 + 1006x35 + 765x36 + 506x37 + 746x38 + 741x39 + 578x40 + 654x41 + 622x42 + 697x43 + 436x44 + 794x45 + 778x46 + 1142x47 + 1139x48 + 500x49 + 587x50 + 754x51 + 504x52 + 423x53 + 385x54 + 409x55 + 907x56 + 900x57 + 940x58 + 888x59 + 735x60 + 558x61 + 649x62 + 885x63 + 1092x64 + 593x65 + 933x66 + 480x67 + 416x68 + 809x69 + 537x70 + 672x71 + 844x72 + 762x73 + 467x74 + 796x75 + 756x76 + 722x77 + 608x78 + 913x79 + 1001x80 + 919x81 + 1137x82 + 1032x83 + 895x84 + 351x85 + 979x86 + 493x87 + 557x88 + 648x89 + 585x90 + 607x91 + 824x92 + 647x93 + 702x94 + 976x95 + 736x96 + 784x97 + 822x98 + 425x99 + 575x100 + 535x101 + 758x102 + 353x103 + 1046x104 + 988x105 + 874x106 + 1033x107 + 919x108 + 602x109 + 1115x110 + 981x111 + 805x112 + 686x113 + 869x114 + 612x115 + 1000x116 + 646x117 + 584x118 + 530x119 + 807x120 + 798x121 + 591x122 + 519x123 + 556x124 + 1053x125 + 1025x126 + 771x127 + 1015x128 + 845x129 + 1053x130 + 1010x131 + 721x132 + 812x133 + 494x134 + 951x135 + 766x136 + 480x137 + 894x138 + 815x139 + 717x140 + 691x141 + 1049x142 + 620x143 + 1049x144 + 478x145 + 866x146 + 716x147 + 606x148 + 511x149 + 802x150 + 668x151 + 850x152 + 758x153 + 757x154 + 828x155 + 500x156 + 790x157 + 877x158 + 1001x159 + 700x160 + 785x161 + 787x162 + 990x163 + 869x164 + 502x165 + 764x166 + 927x167 + 749x168 + 888x169 + 995x170 + 457x171 + 932x172 + 615x173 + 513x174 + 763x175 + 862x176 + 953x177 + 719x178 + 957x179 + 610x180 + 529x181 + 909x182 + 358x183 + 649x184 + 742x185 + 1066x186 + 630x187 + 686x188 + 501x189 + 805x190 + 707x191 + 670x192 + 852x193 + 566x194 + 862x195 + 844x196 + 406x197 + 1019x198 + 872x199 + 796x200 + 884x201 + 706x202 + 601x203 + 471x204 + 862x205 + 533x206 + 999x207 + 449x208 + 885x209 + 717x210 + 924x211 + 836x212 + 703x213 + 590x214 + 611x215 + 1193x216 + 771x217 + 661x218 + 850x219 + 731x220 + 829x221 + 441x222 + 711x223 + 455x224 + 917x225 + 506x226 + 520x227 + 684x228 + 508x229 + 1015x230 + 695x231 + 635x232 + 1163x233 + 442x234 + 504x235 + 872x236 + 705x237 + 619x238 + 827x239 + 523x240 + 950x241 + 412x242 + 734x243 + 862x244 + 669x245 + 508x246 + 316x247 + 1013x248 + 939x249 + 962x250 
subject to 
constr1: + 328x1 + 679x2 + 520x3 + 716x4 + 795x5 + 342x6 + 364x7 + 344x8 + 43x9 + 61x10 + 460x11 + 424x12 + 212x13 + 447x14 + 134x15 + 519x16 + 395x17 + 179x18 + 673x19 + 893x20 + 138x21 + 869x22 + 227x23 + 825x24 + 164x25 + 731x26 + 336x27 + 855x28 + 487x29 + 847x30 + 861x31 + 575x32 + 748x33 + 134x34 + 791x35 + 858x36 + 288x37 + 541x38 + 55x39 + 421x40 + 376x41 + 959x42 + 794x43 + 308x44 + 479x45 + 878x46 + 881x47 + 278x48 + 119x49 + 855x50 + 510x51 + 234x52 + 928x53 + 668x54 + 377x55 + 804x56 + 52x57 + 631x58 + 341x59 + 64x60 + 502x61 + 396x62 + 350x63 + 674x64 + 470x65 + 620x66 + 431x67 + 971x68 + 966x69 + 544x70 + 422x71 + 797x72 + 857x73 + 860x74 + 598x75 + 993x76 + 320x77 + 727x78 + 871x79 + 532x80 + 516x81 + 580x82 + 879x83 + 182x84 + 283x85 + 890x86 + 631x87 + 46x88 + 739x89 + 348x90 + 46x91 + 766x92 + 431x93 + 111x94 + 870x95 + 242x96 + 317x97 + 431x98 + 720x99 + 111x100 + 27x101 + 752x102 + 24x103 + 622x104 + 517x105 + 757x106 + 624x107 + 990x108 + 127x109 + 531x110 + 958x111 + 259x112 + 562x113 + 315x114 + 117x115 + 280x116 + 361x117 + 945x118 + 644x119 + 229x120 + 329x121 + 687x122 + 177x123 + 113x124 + 11x125 + 689x126 + 755x127 + 702x128 + 24x129 + 495x130 + 817x131 + 846x132 + 593x133 + 117x134 + 686x135 + 105x136 + 227x137 + 41x138 + 810x139 + 556x140 + 517x141 + 841x142 + 31x143 + 561x144 + 146x145 + 491x146 + 672x147 + 50x148 + 548x149 + 793x150 + 641x151 + 394x152 + 927x153 + 394x154 + 574x155 + 929x156 + 200x157 + 538x158 + 142x159 + 69x160 + 561x161 + 213x162 + 228x163 + 648x164 + 7x165 + 142x166 + 496x167 + 583x168 + 398x169 + 505x170 + 130x171 + 388x172 + 24x173 + 458x174 + 938x175 + 136x176 + 154x177 + 172x178 + 407x179 + 754x180 + 379x181 + 713x182 + 342x183 + 405x184 + 779x185 + 613x186 + 191x187 + 317x188 + 112x189 + 153x190 + 894x191 + 720x192 + 272x193 + 80x194 + 870x195 + 269x196 + 533x197 + 579x198 + 806x199 + 214x200 + 43x201 + 412x202 + 49x203 + 460x204 + 106x205 + 805x206 + 558x207 + 38x208 + 84x209 + 591x210 + 764x211 + 329x212 + 846x213 + 466x214 + 194x215 + 487x216 + 671x217 + 655x218 + 394x219 + 359x220 + 850x221 + 814x222 + 140x223 + 392x224 + 803x225 + 64x226 + 546x227 + 669x228 + 427x229 + 732x230 + 695x231 + 55x232 + 483x233 + 123x234 + 838x235 + 189x236 + 978x237 + 787x238 + 268x239 + 148x240 + 735x241 + 379x242 + 900x243 + 527x244 + 934x245 + 666x246 + 447x247 + 454x248 + 690x249 + 232x250 <=60297 
constr2: + 664x1 + 806x2 + 438x3 + 818x4 + 504x5 + 875x6 + 108x7 + 998x8 + 166x9 + 784x10 + 97x11 + 227x12 + 276x13 + 218x14 + 111x15 + 701x16 + 418x17 + 736x18 + 8x19 + 91x20 + 939x21 + 475x22 + 747x23 + 641x24 + 18x25 + 469x26 + 9x27 + 180x28 + 74x29 + 787x30 + 532x31 + 225x32 + 360x33 + 689x34 + 588x35 + 780x36 + 409x37 + 626x38 + 977x39 + 418x40 + 291x41 + 293x42 + 408x43 + 469x44 + 925x45 + 943x46 + 390x47 + 843x48 + 357x49 + 699x50 + 253x51 + 493x52 + 13x53 + 385x54 + 65x55 + 576x56 + 268x57 + 857x58 + 433x59 + 654x60 + 86x61 + 717x62 + 662x63 + 681x64 + 259x65 + 18x66 + 237x67 + 101x68 + 473x69 + 157x70 + 44x71 + 259x72 + 129x73 + 318x74 + 679x75 + 348x76 + 513x77 + 294x78 + 88x79 + 716x80 + 102x81 + 727x82 + 991x83 + 250x84 + 120x85 + 71x86 + 703x87 + 321x88 + 379x89 + 300x90 + 717x91 + 56x92 + 449x93 + 910x94 + 686x95 + 585x96 + 481x97 + 472x98 + 472x99 + 428x100 + 645x101 + 108x102 + 708x103 + 857x104 + 999x105 + 489x106 + 150x107 + 376x108 + 409x109 + 998x110 + 813x111 + 352x112 + 215x113 + 604x114 + 424x115 + 705x116 + 925x117 + 85x118 + 751x119 + 947x120 + 31x121 + 150x122 + 597x123 + 370x124 + 700x125 + 853x126 + 446x127 + 784x128 + 794x129 + 778x130 + 140x131 + 265x132 + 304x133 + 711x134 + 210x135 + 485x136 + 102x137 + 648x138 + 517x139 + 543x140 + 13x141 + 305x142 + 477x143 + 952x144 + 437x145 + 930x146 + 975x147 + 451x148 + 355x149 + 571x150 + 368x151 + 158x152 + 479x153 + 735x154 + 497x155 + 134x156 + 103x157 + 626x158 + 693x159 + 599x160 + 613x161 + 105x162 + 707x163 + 597x164 + 392x165 + 22x166 + 396x167 + 814x168 + 285x169 + 377x170 + 468x171 + 396x172 + 452x173 + 126x174 + 601x175 + 651x176 + 91x177 + 209x178 + 988x179 + 167x180 + 67x181 + 569x182 + 18x183 + 363x184 + 628x185 + 894x186 + 297x187 + 897x188 + 185x189 + 900x190 + 179x191 + 981x192 + 699x193 + 598x194 + 165x195 + 728x196 + 350x197 + 761x198 + 652x199 + 684x200 + 278x201 + 701x202 + 308x203 + 260x204 + 655x205 + 196x206 + 472x207 + 218x208 + 143x209 + 224x210 + 264x211 + 782x212 + 285x213 + 407x214 + 773x215 + 833x216 + 262x217 + 141x218 + 798x219 + 533x220 + 971x221 + 245x222 + 265x223 + 282x224 + 227x225 + 607x226 + 120x227 + 744x228 + 346x229 + 936x230 + 665x231 + 105x232 + 919x233 + 157x234 + 99x235 + 554x236 + 278x237 + 845x238 + 985x239 + 124x240 + 210x241 + 201x242 + 289x243 + 775x244 + 424x245 + 77x246 + 474x247 + 545x248 + 580x249 + 731x250 <=58416 
constr3: + 791x1 + 161x2 + 748x3 + 52x4 + 613x5 + 559x6 + 255x7 + 765x8 + 174x9 + 520x10 + 347x11 + 451x12 + 731x13 + 250x14 + 696x15 + 255x16 + 59x17 + 403x18 + 473x19 + 528x20 + 575x21 + 474x22 + 788x23 + 339x24 + 9x25 + 178x26 + 701x27 + 858x28 + 335x29 + 874x30 + 591x31 + 432x32 + 684x33 + 758x34 + 838x35 + 304x36 + 961x37 + 499x38 + 717x39 + 376x40 + 382x41 + 709x42 + 818x43 + 34x44 + 450x45 + 697x46 + 747x47 + 716x48 + 859x49 + 25x50 + 423x51 + 292x52 + 47x53 + 75x54 + 252x55 + 117x56 + 55x57 + 272x58 + 828x59 + 928x60 + 110x61 + 597x62 + 23x63 + 683x64 + 413x65 + 779x66 + 519x67 + 346x68 + 116x69 + 959x70 + 661x71 + 25x72 + 952x73 + 289x74 + 951x75 + 540x76 + 727x77 + 189x78 + 318x79 + 236x80 + 396x81 + 652x82 + 577x83 + 778x84 + 210x85 + 831x86 + 91x87 + 921x88 + 747x89 + 424x90 + 13x91 + 822x92 + 390x93 + 425x94 + 947x95 + 438x96 + 834x97 + 233x98 + 103x99 + 883x100 + 190x101 + 962x102 + 553x103 + 198x104 + 84x105 + 716x106 + 737x107 + 883x108 + 304x109 + 871x110 + 538x111 + 255x112 + 484x113 + 603x114 + 878x115 + 987x116 + 249x117 + 119x118 + 209x119 + 413x120 + 629x121 + 19x122 + 495x123 + 131x124 + 304x125 + 239x126 + 548x127 + 623x128 + 956x129 + 911x130 + 704x131 + 209x132 + 671x133 + 469x134 + 967x135 + 432x136 + 130x137 + 69x138 + 897x139 + 637x140 + 767x141 + 358x142 + 950x143 + 189x144 + 629x145 + 678x146 + 999x147 + 509x148 + 651x149 + 715x150 + 389x151 + 699x152 + 166x153 + 224x154 + 243x155 + 345x156 + 818x157 + 550x158 + 658x159 + 376x160 + 778x161 + 926x162 + 856x163 + 981x164 + 48x165 + 303x166 + 591x167 + 470x168 + 667x169 + 372x170 + 415x171 + 436x172 + 235x173 + 363x174 + 443x175 + 894x176 + 790x177 + 230x178 + 180x179 + 65x180 + 208x181 + 793x182 + 760x183 + 625x184 + 508x185 + 760x186 + 256x187 + 774x188 + 510x189 + 574x190 + 757x191 + 575x192 + 988x193 + 405x194 + 664x195 + 447x196 + 183x197 + 761x198 + 67x199 + 498x200 + 957x201 + 506x202 + 538x203 + 270x204 + 900x205 + 533x206 + 785x207 + 274x208 + 383x209 + 162x210 + 389x211 + 199x212 + 552x213 + 468x214 + 866x215 + 785x216 + 265x217 + 130x218 + 800x219 + 323x220 + 954x221 + 160x222 + 204x223 + 309x224 + 962x225 + 28x226 + 727x227 + 216x228 + 478x229 + 770x230 + 609x231 + 211x232 + 954x233 + 367x234 + 11x235 + 725x236 + 27x237 + 453x238 + 928x239 + 369x240 + 744x241 + 163x242 + 321x243 + 815x244 + 388x245 + 249x246 + 130x247 + 209x248 + 268x249 + 391x250 <=62282 
constr4: + 97x1 + 793x2 + 336x3 + 323x4 + 472x5 + 411x6 + 532x7 + 724x8 + 374x9 + 718x10 + 636x11 + 426x12 + 546x13 + 281x14 + 65x15 + 633x16 + 378x17 + 279x18 + 718x19 + 338x20 + 167x21 + 266x22 + 433x23 + 472x24 + 473x25 + 409x26 + 954x27 + 818x28 + 626x29 + 674x30 + 501x31 + 846x32 + 939x33 + 806x34 + 680x35 + 784x36 + 680x37 + 919x38 + 451x39 + 509x40 + 501x41 + 50x42 + 505x43 + 226x44 + 925x45 + 819x46 + 387x47 + 539x48 + 375x49 + 469x50 + 151x51 + 108x52 + 911x53 + 263x54 + 931x55 + 113x56 + 837x57 + 605x58 + 868x59 + 255x60 + 767x61 + 700x62 + 405x63 + 887x64 + 848x65 + 579x66 + 544x67 + 358x68 + 597x69 + 386x70 + 693x71 + 413x72 + 963x73 + 595x74 + 166x75 + 601x76 + 67x77 + 987x78 + 702x79 + 866x80 + 305x81 + 959x82 + 37x83 + 548x84 + 751x85 + 862x86 + 941x87 + 359x88 + 900x89 + 619x90 + 513x91 + 343x92 + 620x93 + 247x94 + 642x95 + 923x96 + 838x97 + 688x98 + 329x99 + 566x100 + 335x101 + 804x102 + 156x103 + 791x104 + 650x105 + 867x106 + 841x107 + 152x108 + 780x109 + 848x110 + 788x111 + 880x112 + 433x113 + 237x114 + 928x115 + 377x116 + 625x117 + 81x118 + 319x119 + 338x120 + 951x121 + 491x122 + 881x123 + 962x124 + 895x125 + 787x126 + 262x127 + 145x128 + 957x129 + 69x130 + 740x131 + 863x132 + 654x133 + 141x134 + 959x135 + 704x136 + 408x137 + 737x138 + 524x139 + 110x140 + 448x141 + 977x142 + 36x143 + 469x144 + 54x145 + 151x146 + 216x147 + 252x148 + 114x149 + 606x150 + 913x151 + 425x152 + 702x153 + 389x154 + 501x155 + 233x156 + 185x157 + 1000x158 + 840x159 + 530x160 + 519x161 + 18x162 + 552x163 + 569x164 + 729x165 + 877x166 + 143x167 + 610x168 + 653x169 + 901x170 + 46x171 + 411x172 + 334x173 + 159x174 + 598x175 + 232x176 + 961x177 + 445x178 + 830x179 + 228x180 + 685x181 + 639x182 + 491x183 + 548x184 + 968x185 + 72x186 + 275x187 + 140x188 + 425x189 + 542x190 + 336x191 + 141x192 + 794x193 + 887x194 + 381x195 + 477x196 + 81x197 + 700x198 + 970x199 + 909x200 + 298x201 + 182x202 + 311x203 + 624x204 + 583x205 + 691x206 + 546x207 + 857x208 + 978x209 + 383x210 + 537x211 + 762x212 + 448x213 + 890x214 + 278x215 + 652x216 + 758x217 + 662x218 + 341x219 + 833x220 + 505x221 + 45x222 + 167x223 + 755x224 + 623x225 + 924x226 + 147x227 + 706x228 + 110x229 + 505x230 + 858x231 + 624x232 + 983x233 + 998x234 + 64x235 + 21x236 + 522x237 + 307x238 + 641x239 + 49x240 + 425x241 + 661x242 + 409x243 + 477x244 + 628x245 + 208x246 + 417x247 + 1000x248 + 112x249 + 638x250 <=67185 
constr5: + 746x1 + 170x2 + 887x3 + 885x4 + 203x5 + 3x6 + 805x7 + 737x8 + 611x9 + 385x10 + 631x11 + 934x12 + 445x13 + 491x14 + 612x15 + 124x16 + 815x17 + 969x18 + 57x19 + 488x20 + 865x21 + 63x22 + 117x23 + 263x24 + 126x25 + 166x26 + 329x27 + 258x28 + 275x29 + 641x30 + 566x31 + 303x32 + 306x33 + 871x34 + 451x35 + 877x36 + 6x37 + 765x38 + 941x39 + 990x40 + 300x41 + 505x42 + 573x43 + 602x44 + 61x45 + 335x46 + 888x47 + 927x48 + 686x49 + 308x50 + 738x51 + 690x52 + 124x53 + 172x54 + 135x55 + 836x56 + 904x57 + 555x58 + 71x59 + 374x60 + 911x61 + 638x62 + 687x63 + 323x64 + 909x65 + 591x66 + 423x67 + 119x68 + 591x69 + 242x70 + 591x71 + 474x72 + 885x73 + 227x74 + 744x75 + 100x76 + 258x77 + 763x78 + 476x79 + 601x80 + 868x81 + 279x82 + 533x83 + 577x84 + 9x85 + 735x86 + 55x87 + 318x88 + 263x89 + 239x90 + 949x91 + 637x92 + 66x93 + 375x94 + 772x95 + 488x96 + 284x97 + 155x98 + 209x99 + 377x100 + 430x101 + 882x102 + 114x103 + 575x104 + 809x105 + 646x106 + 831x107 + 998x108 + 738x109 + 400x110 + 72x111 + 768x112 + 625x113 + 289x114 + 220x115 + 326x116 + 104x117 + 593x118 + 252x119 + 540x120 + 100x121 + 280x122 + 11x123 + 103x124 + 941x125 + 253x126 + 148x127 + 415x128 + 230x129 + 554x130 + 793x131 + 165x132 + 379x133 + 219x134 + 368x135 + 803x136 + 581x137 + 723x138 + 171x139 + 838x140 + 663x141 + 421x142 + 867x143 + 805x144 + 525x145 + 147x146 + 293x147 + 782x148 + 377x149 + 905x150 + 63x151 + 157x152 + 78x153 + 606x154 + 115x155 + 804x156 + 425x157 + 223x158 + 640x159 + 313x160 + 82x161 + 412x162 + 345x163 + 505x164 + 822x165 + 40x166 + 935x167 + 496x168 + 322x169 + 889x170 + 748x171 + 910x172 + 647x173 + 555x174 + 318x175 + 520x176 + 441x177 + 828x178 + 824x179 + 844x180 + 789x181 + 615x182 + 88x183 + 187x184 + 237x185 + 850x186 + 835x187 + 516x188 + 861x189 + 22x190 + 336x191 + 284x192 + 786x193 + 58x194 + 143x195 + 863x196 + 528x197 + 446x198 + 199x199 + 580x200 + 689x201 + 440x202 + 122x203 + 172x204 + 764x205 + 313x206 + 377x207 + 10x208 + 851x209 + 244x210 + 535x211 + 847x212 + 451x213 + 220x214 + 495x215 + 772x216 + 849x217 + 43x218 + 788x219 + 455x220 + 513x221 + 402x222 + 820x223 + 489x224 + 358x225 + 219x226 + 347x227 + 677x228 + 720x229 + 559x230 + 41x231 + 881x232 + 409x233 + 145x234 + 268x235 + 634x236 + 5x237 + 223x238 + 28x239 + 33x240 + 309x241 + 172x242 + 792x243 + 567x244 + 235x245 + 231x246 + 107x247 + 881x248 + 866x249 + 849x250 <=59561 
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