maximize 
objective: + 694x1 + 778x2 + 541x3 + 765x4 + 928x5 + 744x6 + 628x7 + 582x8 + 970x9 + 709x10 + 743x11 + 1041x12 + 1073x13 + 1098x14 + 526x15 + 522x16 + 303x17 + 663x18 + 1048x19 + 977x20 + 696x21 + 780x22 + 915x23 + 883x24 + 629x25 + 675x26 + 421x27 + 681x28 + 1197x29 + 679x30 + 587x31 + 824x32 + 1041x33 + 515x34 + 640x35 + 497x36 + 914x37 + 495x38 + 739x39 + 984x40 + 801x41 + 706x42 + 761x43 + 1097x44 + 641x45 + 1052x46 + 725x47 + 644x48 + 689x49 + 879x50 + 989x51 + 686x52 + 248x53 + 603x54 + 829x55 + 769x56 + 780x57 + 791x58 + 809x59 + 668x60 + 935x61 + 803x62 + 929x63 + 587x64 + 1118x65 + 575x66 + 614x67 + 760x68 + 802x69 + 714x70 + 628x71 + 910x72 + 720x73 + 748x74 + 461x75 + 1076x76 + 857x77 + 655x78 + 804x79 + 864x80 + 998x81 + 825x82 + 656x83 + 920x84 + 575x85 + 681x86 + 420x87 + 987x88 + 966x89 + 499x90 + 716x91 + 754x92 + 872x93 + 724x94 + 708x95 + 1071x96 + 741x97 + 594x98 + 1036x99 + 988x100 + 636x101 + 797x102 + 492x103 + 505x104 + 1002x105 + 531x106 + 762x107 + 579x108 + 700x109 + 528x110 + 1064x111 + 801x112 + 614x113 + 931x114 + 1044x115 + 680x116 + 817x117 + 861x118 + 609x119 + 641x120 + 706x121 + 669x122 + 565x123 + 1095x124 + 814x125 + 401x126 + 524x127 + 844x128 + 1070x129 + 681x130 + 1026x131 + 747x132 + 815x133 + 1110x134 + 665x135 + 608x136 + 902x137 + 518x138 + 440x139 + 614x140 + 498x141 + 397x142 + 905x143 + 744x144 + 887x145 + 996x146 + 842x147 + 608x148 + 631x149 + 1033x150 + 545x151 + 455x152 + 1121x153 + 671x154 + 861x155 + 779x156 + 874x157 + 700x158 + 933x159 + 654x160 + 1084x161 + 885x162 + 722x163 + 670x164 + 465x165 + 874x166 + 416x167 + 386x168 + 562x169 + 540x170 + 545x171 + 1093x172 + 962x173 + 715x174 + 503x175 + 1021x176 + 1034x177 + 662x178 + 862x179 + 931x180 + 1115x181 + 816x182 + 661x183 + 909x184 + 748x185 + 1056x186 + 616x187 + 1206x188 + 535x189 + 361x190 + 856x191 + 944x192 + 1116x193 + 921x194 + 724x195 + 560x196 + 929x197 + 1052x198 + 818x199 + 701x200 + 812x201 + 834x202 + 651x203 + 1084x204 + 619x205 + 738x206 + 634x207 + 852x208 + 510x209 + 1106x210 + 725x211 + 557x212 + 458x213 + 498x214 + 951x215 + 559x216 + 1069x217 + 540x218 + 699x219 + 785x220 + 597x221 + 880x222 + 683x223 + 1016x224 + 786x225 + 689x226 + 503x227 + 758x228 + 853x229 + 517x230 + 831x231 + 631x232 + 693x233 + 884x234 + 609x235 + 477x236 + 500x237 + 686x238 + 510x239 + 836x240 + 714x241 + 560x242 + 707x243 + 453x244 + 871x245 + 505x246 + 771x247 + 794x248 + 1092x249 + 697x250 
subject to 
constr1: + 883x1 + 459x2 + 558x3 + 603x4 + 802x5 + 513x6 + 812x7 + 752x8 + 715x9 + 614x10 + 680x11 + 709x12 + 511x13 + 955x14 + 492x15 + 916x16 + 93x17 + 269x18 + 634x19 + 394x20 + 68x21 + 332x22 + 733x23 + 892x24 + 840x25 + 588x26 + 746x27 + 153x28 + 966x29 + 965x30 + 852x31 + 300x32 + 368x33 + 155x34 + 578x35 + 126x36 + 264x37 + 717x38 + 690x39 + 157x40 + 397x41 + 453x42 + 546x43 + 879x44 + 598x45 + 797x46 + 834x47 + 300x48 + 105x49 + 556x50 + 818x51 + 398x52 + 257x53 + 258x54 + 669x55 + 250x56 + 660x57 + 409x58 + 819x59 + 524x60 + 848x61 + 152x62 + 248x63 + 68x64 + 337x65 + 638x66 + 397x67 + 978x68 + 403x69 + 827x70 + 74x71 + 402x72 + 232x73 + 334x74 + 136x75 + 304x76 + 17x77 + 662x78 + 160x79 + 618x80 + 651x81 + 970x82 + 334x83 + 8x84 + 137x85 + 711x86 + 11x87 + 580x88 + 868x89 + 228x90 + 653x91 + 305x92 + 706x93 + 631x94 + 254x95 + 966x96 + 84x97 + 189x98 + 375x99 + 839x100 + 493x101 + 52x102 + 43x103 + 783x104 + 227x105 + 577x106 + 628x107 + 696x108 + 344x109 + 936x110 + 349x111 + 566x112 + 565x113 + 911x114 + 980x115 + 238x116 + 91x117 + 290x118 + 782x119 + 90x120 + 929x121 + 332x122 + 711x123 + 162x124 + 309x125 + 866x126 + 153x127 + 217x128 + 979x129 + 95x130 + 448x131 + 829x132 + 262x133 + 687x134 + 870x135 + 188x136 + 769x137 + 205x138 + 772x139 + 511x140 + 75x141 + 91x142 + 315x143 + 199x144 + 983x145 + 484x146 + 133x147 + 154x148 + 959x149 + 915x150 + 39x151 + 348x152 + 844x153 + 946x154 + 339x155 + 805x156 + 879x157 + 34x158 + 719x159 + 711x160 + 460x161 + 741x162 + 503x163 + 884x164 + 124x165 + 813x166 + 627x167 + 329x168 + 7x169 + 642x170 + 736x171 + 876x172 + 627x173 + 78x174 + 232x175 + 703x176 + 879x177 + 657x178 + 121x179 + 490x180 + 734x181 + 827x182 + 869x183 + 514x184 + 452x185 + 693x186 + 527x187 + 851x188 + 562x189 + 166x190 + 993x191 + 390x192 + 273x193 + 982x194 + 237x195 + 843x196 + 720x197 + 757x198 + 649x199 + 814x200 + 702x201 + 713x202 + 338x203 + 433x204 + 407x205 + 937x206 + 236x207 + 84x208 + 302x209 + 869x210 + 79x211 + 191x212 + 398x213 + 513x214 + 90x215 + 340x216 + 897x217 + 133x218 + 147x219 + 965x220 + 493x221 + 774x222 + 510x223 + 864x224 + 769x225 + 539x226 + 298x227 + 292x228 + 611x229 + 167x230 + 1x231 + 74x232 + 151x233 + 177x234 + 504x235 + 333x236 + 743x237 + 493x238 + 265x239 + 480x240 + 373x241 + 424x242 + 328x243 + 17x244 + 857x245 + 246x246 + 12x247 + 705x248 + 931x249 + 459x250 <=62835 
constr2: + 417x1 + 713x2 + 728x3 + 692x4 + 839x5 + 259x6 + 69x7 + 67x8 + 909x9 + 558x10 + 44x11 + 476x12 + 11x13 + 135x14 + 489x15 + 195x16 + 42x17 + 631x18 + 651x19 + 817x20 + 749x21 + 81x22 + 515x23 + 795x24 + 836x25 + 96x26 + 238x27 + 385x28 + 747x29 + 315x30 + 75x31 + 799x32 + 735x33 + 176x34 + 243x35 + 301x36 + 508x37 + 137x38 + 667x39 + 390x40 + 479x41 + 176x42 + 723x43 + 435x44 + 39x45 + 916x46 + 692x47 + 94x48 + 642x49 + 665x50 + 371x51 + 302x52 + 384x53 + 977x54 + 992x55 + 925x56 + 378x57 + 604x58 + 53x59 + 771x60 + 137x61 + 233x62 + 687x63 + 448x64 + 614x65 + 946x66 + 239x67 + 771x68 + 381x69 + 344x70 + 829x71 + 501x72 + 992x73 + 660x74 + 808x75 + 277x76 + 172x77 + 624x78 + 272x79 + 138x80 + 870x81 + 209x82 + 296x83 + 891x84 + 596x85 + 846x86 + 372x87 + 855x88 + 683x89 + 925x90 + 343x91 + 563x92 + 284x93 + 882x94 + 737x95 + 334x96 + 445x97 + 519x98 + 602x99 + 517x100 + 745x101 + 857x102 + 194x103 + 24x104 + 847x105 + 264x106 + 380x107 + 553x108 + 531x109 + 133x110 + 814x111 + 456x112 + 479x113 + 553x114 + 809x115 + 545x116 + 607x117 + 961x118 + 296x119 + 560x120 + 359x121 + 419x122 + 762x123 + 705x124 + 557x125 + 280x126 + 192x127 + 321x128 + 501x129 + 671x130 + 678x131 + 44x132 + 689x133 + 13x134 + 402x135 + 54x136 + 861x137 + 454x138 + 973x139 + 368x140 + 732x141 + 137x142 + 508x143 + 880x144 + 28x145 + 423x146 + 446x147 + 7x148 + 137x149 + 186x150 + 475x151 + 184x152 + 589x153 + 654x154 + 960x155 + 462x156 + 819x157 + 801x158 + 164x159 + 979x160 + 702x161 + 385x162 + 498x163 + 871x164 + 332x165 + 738x166 + 237x167 + 783x168 + 658x169 + 436x170 + 117x171 + 841x172 + 886x173 + 158x174 + 84x175 + 641x176 + 494x177 + 828x178 + 735x179 + 573x180 + 636x181 + 513x182 + 460x183 + 40x184 + 510x185 + 478x186 + 40x187 + 809x188 + 199x189 + 414x190 + 766x191 + 201x192 + 848x193 + 623x194 + 782x195 + 71x196 + 988x197 + 553x198 + 20x199 + 107x200 + 45x201 + 627x202 + 187x203 + 645x204 + 138x205 + 610x206 + 573x207 + 907x208 + 269x209 + 681x210 + 356x211 + 92x212 + 350x213 + 527x214 + 109x215 + 840x216 + 834x217 + 643x218 + 258x219 + 347x220 + 321x221 + 448x222 + 484x223 + 357x224 + 850x225 + 320x226 + 707x227 + 499x228 + 534x229 + 106x230 + 605x231 + 860x232 + 943x233 + 187x234 + 88x235 + 235x236 + 127x237 + 502x238 + 383x239 + 711x240 + 553x241 + 940x242 + 214x243 + 195x244 + 488x245 + 401x246 + 814x247 + 998x248 + 456x249 + 412x250 <=61652 
constr3: + 862x1 + 155x2 + 376x3 + 589x4 + 112x5 + 983x6 + 269x7 + 387x8 + 135x9 + 28x10 + 581x11 + 869x12 + 994x13 + 967x14 + 688x15 + 252x16 + 642x17 + 851x18 + 991x19 + 434x20 + 458x21 + 556x22 + 265x23 + 470x24 + 131x25 + 763x26 + 825x27 + 674x28 + 109x29 + 29x30 + 850x31 + 563x32 + 485x33 + 634x34 + 214x35 + 582x36 + 977x37 + 13x38 + 544x39 + 482x40 + 620x41 + 617x42 + 999x43 + 906x44 + 954x45 + 830x46 + 960x47 + 398x48 + 363x49 + 286x50 + 896x51 + 598x52 + 47x53 + 578x54 + 366x55 + 951x56 + 925x57 + 763x58 + 99x59 + 473x60 + 300x61 + 914x62 + 669x63 + 542x64 + 518x65 + 199x66 + 16x67 + 603x68 + 551x69 + 18x70 + 765x71 + 468x72 + 169x73 + 706x74 + 926x75 + 944x76 + 325x77 + 249x78 + 318x79 + 481x80 + 449x81 + 347x82 + 738x83 + 546x84 + 5x85 + 314x86 + 535x87 + 199x88 + 795x89 + 948x90 + 75x91 + 286x92 + 761x93 + 272x94 + 684x95 + 543x96 + 504x97 + 586x98 + 697x99 + 580x100 + 539x101 + 36x102 + 129x103 + 184x104 + 14x105 + 592x106 + 991x107 + 233x108 + 787x109 + 190x110 + 739x111 + 797x112 + 326x113 + 163x114 + 215x115 + 958x116 + 724x117 + 4x118 + 798x119 + 310x120 + 166x121 + 317x122 + 252x123 + 961x124 + 710x125 + 420x126 + 773x127 + 732x128 + 214x129 + 316x130 + 431x131 + 641x132 + 787x133 + 739x134 + 719x135 + 447x136 + 4x137 + 282x138 + 93x139 + 452x140 + 93x141 + 256x142 + 78x143 + 386x144 + 337x145 + 645x146 + 749x147 + 802x148 + 204x149 + 287x150 + 521x151 + 356x152 + 916x153 + 959x154 + 924x155 + 169x156 + 435x157 + 776x158 + 1x159 + 23x160 + 333x161 + 389x162 + 659x163 + 434x164 + 681x165 + 199x166 + 29x167 + 586x168 + 513x169 + 641x170 + 390x171 + 800x172 + 530x173 + 980x174 + 536x175 + 264x176 + 283x177 + 722x178 + 261x179 + 478x180 + 981x181 + 435x182 + 792x183 + 616x184 + 383x185 + 977x186 + 116x187 + 480x188 + 758x189 + 228x190 + 776x191 + 766x192 + 774x193 + 427x194 + 317x195 + 271x196 + 676x197 + 961x198 + 900x199 + 831x200 + 839x201 + 780x202 + 539x203 + 143x204 + 762x205 + 605x206 + 729x207 + 655x208 + 418x209 + 873x210 + 470x211 + 442x212 + 432x213 + 425x214 + 741x215 + 348x216 + 285x217 + 27x218 + 884x219 + 517x220 + 112x221 + 62x222 + 385x223 + 594x224 + 370x225 + 305x226 + 604x227 + 287x228 + 532x229 + 897x230 + 820x231 + 463x232 + 429x233 + 132x234 + 459x235 + 400x236 + 221x237 + 696x238 + 153x239 + 527x240 + 152x241 + 362x242 + 57x243 + 742x244 + 467x245 + 400x246 + 214x247 + 783x248 + 104x249 + 782x250 <=62832 
constr4: + 243x1 + 263x2 + 234x3 + 737x4 + 765x5 + 811x6 + 408x7 + 676x8 + 217x9 + 212x10 + 385x11 + 118x12 + 925x13 + 434x14 + 259x15 + 144x16 + 335x17 + 154x18 + 947x19 + 63x20 + 183x21 + 823x22 + 652x23 + 6x24 + 502x25 + 785x26 + 144x27 + 369x28 + 867x29 + 664x30 + 240x31 + 465x32 + 778x33 + 599x34 + 931x35 + 339x36 + 963x37 + 465x38 + 96x39 + 983x40 + 884x41 + 133x42 + 371x43 + 368x44 + 694x45 + 976x46 + 153x47 + 48x48 + 847x49 + 278x50 + 749x51 + 914x52 + 308x53 + 233x54 + 470x55 + 405x56 + 245x57 + 109x58 + 750x59 + 43x60 + 542x61 + 409x62 + 547x63 + 85x64 + 801x65 + 694x66 + 83x67 + 428x68 + 981x69 + 116x70 + 402x71 + 983x72 + 828x73 + 497x74 + 3x75 + 560x76 + 791x77 + 761x78 + 464x79 + 397x80 + 939x81 + 773x82 + 345x83 + 320x84 + 432x85 + 115x86 + 382x87 + 941x88 + 293x89 + 73x90 + 717x91 + 302x92 + 421x93 + 945x94 + 35x95 + 969x96 + 119x97 + 610x98 + 874x99 + 660x100 + 89x101 + 996x102 + 678x103 + 454x104 + 770x105 + 578x106 + 96x107 + 5x108 + 226x109 + 205x110 + 694x111 + 991x112 + 50x113 + 997x114 + 921x115 + 825x116 + 570x117 + 343x118 + 389x119 + 553x120 + 615x121 + 628x122 + 246x123 + 659x124 + 105x125 + 175x126 + 470x127 + 694x128 + 805x129 + 236x130 + 865x131 + 396x132 + 280x133 + 849x134 + 733x135 + 724x136 + 694x137 + 310x138 + 2x139 + 952x140 + 885x141 + 164x142 + 805x143 + 717x144 + 653x145 + 903x146 + 804x147 + 606x148 + 155x149 + 531x150 + 873x151 + 422x152 + 442x153 + 624x154 + 143x155 + 98x156 + 305x157 + 212x158 + 542x159 + 387x160 + 731x161 + 588x162 + 847x163 + 164x164 + 657x165 + 395x166 + 597x167 + 135x168 + 615x169 + 919x170 + 449x171 + 48x172 + 73x173 + 542x174 + 212x175 + 711x176 + 947x177 + 267x178 + 627x179 + 774x180 + 427x181 + 504x182 + 444x183 + 590x184 + 808x185 + 731x186 + 754x187 + 930x188 + 150x189 + 145x190 + 90x191 + 960x192 + 960x193 + 507x194 + 523x195 + 659x196 + 437x197 + 794x198 + 456x199 + 354x200 + 278x201 + 987x202 + 702x203 + 878x204 + 973x205 + 379x206 + 252x207 + 661x208 + 934x209 + 529x210 + 556x211 + 74x212 + 346x213 + 63x214 + 933x215 + 577x216 + 935x217 + 446x218 + 262x219 + 707x220 + 576x221 + 572x222 + 483x223 + 878x224 + 126x225 + 959x226 + 599x227 + 441x228 + 484x229 + 718x230 + 485x231 + 59x232 + 923x233 + 995x234 + 95x235 + 657x236 + 346x237 + 763x238 + 715x239 + 809x240 + 340x241 + 417x242 + 137x243 + 721x244 + 679x245 + 214x246 + 324x247 + 454x248 + 847x249 + 161x250 <=64454 
constr5: + 691x1 + 382x2 + 7x3 + 302x4 + 703x5 + 156x6 + 50x7 + 737x8 + 619x9 + 311x10 + 541x11 + 582x12 + 781x13 + 714x14 + 590x15 + 480x16 + 38x17 + 769x18 + 672x19 + 989x20 + 619x21 + 640x22 + 621x23 + 555x24 + 680x25 + 27x26 + 146x27 + 710x28 + 826x29 + 381x30 + 833x31 + 861x32 + 834x33 + 770x34 + 138x35 + 583x36 + 496x37 + 827x38 + 127x39 + 760x40 + 965x41 + 164x42 + 233x43 + 476x44 + 126x45 + 103x46 + 814x47 + 336x48 + 778x49 + 303x50 + 471x51 + 563x52 + 130x53 + 500x54 + 571x55 + 391x56 + 875x57 + 9x58 + 813x59 + 815x60 + 565x61 + 231x62 + 909x63 + 352x64 + 857x65 + 159x66 + 154x67 + 175x68 + 989x69 + 938x70 + 475x71 + 542x72 + 95x73 + 601x74 + 64x75 + 998x76 + 762x77 + 27x78 + 860x79 + 820x80 + 867x81 + 210x82 + 982x83 + 499x84 + 874x85 + 213x86 + 172x87 + 501x88 + 410x89 + 83x90 + 854x91 + 697x92 + 127x93 + 731x94 + 123x95 + 339x96 + 698x97 + 238x98 + 279x99 + 582x100 + 70x101 + 626x102 + 247x103 + 954x104 + 999x105 + 389x106 + 954x107 + 958x108 + 384x109 + 70x110 + 791x111 + 548x112 + 161x113 + 379x114 + 254x115 + 487x116 + 698x117 + 921x118 + 672x119 + 53x120 + 115x121 + 832x122 + 630x123 + 572x124 + 319x125 + 90x126 + 251x127 + 350x128 + 668x129 + 327x130 + 688x131 + 748x132 + 11x133 + 810x134 + 555x135 + 924x136 + 511x137 + 161x138 + 166x139 + 442x140 + 608x141 + 367x142 + 632x143 + 960x144 + 357x145 + 633x146 + 287x147 + 725x148 + 371x149 + 787x150 + 121x151 + 38x152 + 592x153 + 8x154 + 845x155 + 560x156 + 333x157 + 371x158 + 868x159 + 505x160 + 847x161 + 449x162 + 902x163 + 361x164 + 309x165 + 659x166 + 78x167 + 43x168 + 534x169 + 20x170 + 845x171 + 675x172 + 274x173 + 606x174 + 207x175 + 392x176 + 989x177 + 661x178 + 656x179 + 158x180 + 347x181 + 520x182 + 293x183 + 578x184 + 279x185 + 532x186 + 618x187 + 597x188 + 122x189 + 351x190 + 278x191 + 284x192 + 923x193 + 28x194 + 89x195 + 85x196 + 682x197 + 659x198 + 689x199 + 729x200 + 45x201 + 702x202 + 782x203 + 930x204 + 375x205 + 724x206 + 836x207 + 467x208 + 131x209 + 854x210 + 586x211 + 939x212 + 540x213 + 387x214 + 461x215 + 384x216 + 922x217 + 723x218 + 646x219 + 754x220 + 788x221 + 661x222 + 819x223 + 294x224 + 889x225 + 657x226 + 296x227 + 791x228 + 236x229 + 85x230 + 595x231 + 989x232 + 90x233 + 880x234 + 419x235 + 685x236 + 661x237 + 744x238 + 334x239 + 243x240 + 926x241 + 4x242 + 717x243 + 426x244 + 85x245 + 433x246 + 928x247 + 295x248 + 872x249 + 69x250 <=63618 
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