maximize 
objective: + 603x1 + 907x2 + 658x3 + 677x4 + 602x5 + 723x6 + 560x7 + 1075x8 + 384x9 + 361x10 + 734x11 + 663x12 + 493x13 + 789x14 + 849x15 + 689x16 + 804x17 + 955x18 + 887x19 + 941x20 + 635x21 + 805x22 + 775x23 + 508x24 + 1028x25 + 820x26 + 1167x27 + 787x28 + 924x29 + 709x30 + 621x31 + 799x32 + 443x33 + 416x34 + 681x35 + 694x36 + 1295x37 + 623x38 + 741x39 + 795x40 + 784x41 + 695x42 + 767x43 + 751x44 + 974x45 + 836x46 + 656x47 + 543x48 + 498x49 + 1149x50 + 815x51 + 726x52 + 664x53 + 588x54 + 730x55 + 844x56 + 753x57 + 807x58 + 739x59 + 461x60 + 844x61 + 358x62 + 582x63 + 953x64 + 599x65 + 1075x66 + 442x67 + 552x68 + 971x69 + 668x70 + 675x71 + 535x72 + 1060x73 + 748x74 + 547x75 + 612x76 + 708x77 + 1039x78 + 888x79 + 893x80 + 759x81 + 1050x82 + 555x83 + 967x84 + 514x85 + 653x86 + 961x87 + 766x88 + 776x89 + 496x90 + 801x91 + 516x92 + 942x93 + 519x94 + 893x95 + 638x96 + 622x97 + 939x98 + 875x99 + 444x100 + 752x101 + 949x102 + 834x103 + 602x104 + 647x105 + 718x106 + 597x107 + 962x108 + 706x109 + 710x110 + 951x111 + 603x112 + 639x113 + 560x114 + 798x115 + 974x116 + 690x117 + 886x118 + 723x119 + 1206x120 + 746x121 + 861x122 + 995x123 + 649x124 + 900x125 + 896x126 + 603x127 + 781x128 + 706x129 + 1173x130 + 663x131 + 859x132 + 849x133 + 516x134 + 995x135 + 724x136 + 943x137 + 933x138 + 659x139 + 751x140 + 559x141 + 791x142 + 1234x143 + 614x144 + 827x145 + 792x146 + 675x147 + 751x148 + 812x149 + 711x150 + 724x151 + 489x152 + 805x153 + 797x154 + 737x155 + 619x156 + 983x157 + 648x158 + 287x159 + 282x160 + 604x161 + 939x162 + 751x163 + 611x164 + 1021x165 + 872x166 + 957x167 + 966x168 + 823x169 + 906x170 + 1112x171 + 713x172 + 1009x173 + 887x174 + 776x175 + 650x176 + 797x177 + 793x178 + 917x179 + 576x180 + 729x181 + 771x182 + 684x183 + 842x184 + 605x185 + 965x186 + 739x187 + 503x188 + 471x189 + 802x190 + 513x191 + 835x192 + 657x193 + 403x194 + 685x195 + 932x196 + 737x197 + 441x198 + 819x199 + 757x200 + 808x201 + 564x202 + 419x203 + 1040x204 + 714x205 + 431x206 + 870x207 + 733x208 + 496x209 + 1146x210 + 800x211 + 832x212 + 822x213 + 401x214 + 799x215 + 854x216 + 430x217 + 926x218 + 922x219 + 737x220 + 522x221 + 590x222 + 803x223 + 573x224 + 654x225 + 755x226 + 981x227 + 716x228 + 633x229 + 801x230 + 811x231 + 458x232 + 1175x233 + 425x234 + 454x235 + 1176x236 + 1032x237 + 926x238 + 505x239 + 750x240 + 843x241 + 650x242 + 884x243 + 1119x244 + 902x245 + 733x246 + 586x247 + 881x248 + 814x249 + 915x250 
subject to 
constr1: + 392x1 + 713x2 + 701x3 + 366x4 + 7x5 + 241x6 + 356x7 + 252x8 + 783x9 + 598x10 + 822x11 + 205x12 + 29x13 + 817x14 + 620x15 + 743x16 + 857x17 + 915x18 + 652x19 + 574x20 + 853x21 + 372x22 + 130x23 + 157x24 + 838x25 + 756x26 + 838x27 + 337x28 + 285x29 + 130x30 + 620x31 + 531x32 + 346x33 + 256x34 + 206x35 + 841x36 + 772x37 + 826x38 + 401x39 + 857x40 + 35x41 + 691x42 + 834x43 + 693x44 + 954x45 + 54x46 + 207x47 + 749x48 + 133x49 + 853x50 + 109x51 + 367x52 + 503x53 + 60x54 + 389x55 + 759x56 + 48x57 + 186x58 + 230x59 + 486x60 + 944x61 + 829x62 + 176x63 + 388x64 + 711x65 + 898x66 + 605x67 + 166x68 + 384x69 + 919x70 + 72x71 + 373x72 + 992x73 + 281x74 + 11x75 + 476x76 + 59x77 + 196x78 + 994x79 + 880x80 + 929x81 + 790x82 + 953x83 + 597x84 + 642x85 + 938x86 + 942x87 + 988x88 + 407x89 + 174x90 + 630x91 + 710x92 + 676x93 + 379x94 + 480x95 + 999x96 + 663x97 + 736x98 + 179x99 + 107x100 + 145x101 + 853x102 + 521x103 + 34x104 + 79x105 + 664x106 + 681x107 + 819x108 + 648x109 + 218x110 + 701x111 + 769x112 + 723x113 + 566x114 + 903x115 + 832x116 + 920x117 + 967x118 + 652x119 + 990x120 + 491x121 + 751x122 + 959x123 + 761x124 + 512x125 + 303x126 + 884x127 + 828x128 + 450x129 + 729x130 + 88x131 + 570x132 + 513x133 + 286x134 + 323x135 + 590x136 + 255x137 + 841x138 + 51x139 + 424x140 + 249x141 + 416x142 + 543x143 + 640x144 + 765x145 + 798x146 + 329x147 + 152x148 + 672x149 + 194x150 + 648x151 + 195x152 + 949x153 + 349x154 + 16x155 + 599x156 + 636x157 + 902x158 + 235x159 + 627x160 + 160x161 + 774x162 + 372x163 + 273x164 + 935x165 + 354x166 + 391x167 + 459x168 + 88x169 + 443x170 + 746x171 + 508x172 + 774x173 + 871x174 + 769x175 + 309x176 + 214x177 + 662x178 + 940x179 + 308x180 + 922x181 + 148x182 + 554x183 + 468x184 + 499x185 + 337x186 + 482x187 + 392x188 + 761x189 + 802x190 + 878x191 + 276x192 + 418x193 + 166x194 + 718x195 + 841x196 + 547x197 + 280x198 + 597x199 + 415x200 + 218x201 + 807x202 + 269x203 + 495x204 + 128x205 + 983x206 + 355x207 + 488x208 + 463x209 + 805x210 + 635x211 + 870x212 + 382x213 + 212x214 + 26x215 + 961x216 + 167x217 + 483x218 + 149x219 + 587x220 + 749x221 + 643x222 + 189x223 + 783x224 + 455x225 + 137x226 + 927x227 + 178x228 + 406x229 + 304x230 + 612x231 + 523x232 + 821x233 + 132x234 + 237x235 + 786x236 + 669x237 + 398x238 + 773x239 + 945x240 + 510x241 + 43x242 + 652x243 + 541x244 + 989x245 + 19x246 + 215x247 + 723x248 + 584x249 + 722x250 <=65908 
constr2: + 457x1 + 538x2 + 386x3 + 848x4 + 271x5 + 212x6 + 271x7 + 552x8 + 214x9 + 92x10 + 22x11 + 219x12 + 69x13 + 743x14 + 682x15 + 91x16 + 914x17 + 755x18 + 911x19 + 551x20 + 62x21 + 576x22 + 661x23 + 57x24 + 880x25 + 536x26 + 598x27 + 984x28 + 538x29 + 856x30 + 150x31 + 390x32 + 261x33 + 411x34 + 215x35 + 393x36 + 797x37 + 755x38 + 474x39 + 211x40 + 140x41 + 207x42 + 365x43 + 600x44 + 400x45 + 395x46 + 120x47 + 219x48 + 676x49 + 755x50 + 589x51 + 959x52 + 455x53 + 333x54 + 594x55 + 766x56 + 854x57 + 584x58 + 520x59 + 76x60 + 906x61 + 361x62 + 873x63 + 760x64 + 226x65 + 744x66 + 396x67 + 271x68 + 863x69 + 196x70 + 512x71 + 313x72 + 145x73 + 819x74 + 90x75 + 40x76 + 764x77 + 391x78 + 831x79 + 988x80 + 314x81 + 882x82 + 127x83 + 624x84 + 215x85 + 599x86 + 223x87 + 186x88 + 688x89 + 318x90 + 757x91 + 581x92 + 729x93 + 62x94 + 834x95 + 271x96 + 736x97 + 655x98 + 618x99 + 794x100 + 132x101 + 911x102 + 370x103 + 762x104 + 621x105 + 968x106 + 309x107 + 218x108 + 354x109 + 467x110 + 743x111 + 39x112 + 965x113 + 207x114 + 406x115 + 634x116 + 640x117 + 280x118 + 603x119 + 270x120 + 443x121 + 648x122 + 765x123 + 270x124 + 981x125 + 911x126 + 416x127 + 228x128 + 982x129 + 937x130 + 951x131 + 56x132 + 765x133 + 171x134 + 335x135 + 327x136 + 999x137 + 902x138 + 823x139 + 295x140 + 90x141 + 487x142 + 696x143 + 411x144 + 949x145 + 244x146 + 225x147 + 92x148 + 752x149 + 175x150 + 559x151 + 906x152 + 762x153 + 464x154 + 686x155 + 229x156 + 294x157 + 915x158 + 307x159 + 174x160 + 341x161 + 591x162 + 925x163 + 171x164 + 650x165 + 306x166 + 71x167 + 711x168 + 896x169 + 613x170 + 350x171 + 286x172 + 924x173 + 675x174 + 298x175 + 313x176 + 161x177 + 248x178 + 839x179 + 654x180 + 71x181 + 443x182 + 521x183 + 613x184 + 235x185 + 860x186 + 122x187 + 98x188 + 173x189 + 212x190 + 571x191 + 749x192 + 533x193 + 127x194 + 291x195 + 571x196 + 474x197 + 2x198 + 242x199 + 18x200 + 575x201 + 300x202 + 604x203 + 687x204 + 303x205 + 78x206 + 462x207 + 888x208 + 914x209 + 987x210 + 730x211 + 225x212 + 687x213 + 70x214 + 227x215 + 847x216 + 263x217 + 909x218 + 592x219 + 534x220 + 546x221 + 65x222 + 272x223 + 298x224 + 693x225 + 34x226 + 489x227 + 935x228 + 423x229 + 309x230 + 424x231 + 57x232 + 878x233 + 445x234 + 216x235 + 547x236 + 940x237 + 874x238 + 243x239 + 913x240 + 400x241 + 668x242 + 530x243 + 564x244 + 878x245 + 398x246 + 252x247 + 465x248 + 662x249 + 659x250 <=61671 
constr3: + 840x1 + 976x2 + 373x3 + 793x4 + 618x5 + 332x6 + 70x7 + 776x8 + 111x9 + 32x10 + 174x11 + 633x12 + 658x13 + 500x14 + 595x15 + 430x16 + 506x17 + 2x18 + 810x19 + 830x20 + 929x21 + 331x22 + 690x23 + 477x24 + 861x25 + 912x26 + 956x27 + 364x28 + 940x29 + 490x30 + 127x31 + 902x32 + 530x33 + 184x34 + 645x35 + 846x36 + 818x37 + 228x38 + 792x39 + 489x40 + 742x41 + 877x42 + 906x43 + 207x44 + 894x45 + 954x46 + 94x47 + 153x48 + 482x49 + 899x50 + 154x51 + 305x52 + 952x53 + 791x54 + 969x55 + 572x56 + 732x57 + 828x58 + 267x59 + 801x60 + 11x61 + 115x62 + 3x63 + 870x64 + 782x65 + 935x66 + 83x67 + 31x68 + 687x69 + 601x70 + 402x71 + 125x72 + 884x73 + 806x74 + 593x75 + 624x76 + 622x77 + 963x78 + 393x79 + 252x80 + 145x81 + 942x82 + 172x83 + 253x84 + 513x85 + 36x86 + 605x87 + 627x88 + 144x89 + 657x90 + 113x91 + 827x92 + 490x93 + 699x94 + 746x95 + 843x96 + 941x97 + 789x98 + 671x99 + 211x100 + 113x101 + 164x102 + 789x103 + 540x104 + 35x105 + 172x106 + 172x107 + 602x108 + 865x109 + 936x110 + 154x111 + 809x112 + 413x113 + 315x114 + 864x115 + 288x116 + 418x117 + 50x118 + 310x119 + 752x120 + 784x121 + 526x122 + 830x123 + 691x124 + 703x125 + 770x126 + 459x127 + 237x128 + 501x129 + 625x130 + 657x131 + 915x132 + 56x133 + 564x134 + 489x135 + 870x136 + 306x137 + 878x138 + 379x139 + 454x140 + 255x141 + 984x142 + 922x143 + 646x144 + 360x145 + 60x146 + 261x147 + 548x148 + 13x149 + 682x150 + 907x151 + 36x152 + 260x153 + 347x154 + 788x155 + 537x156 + 820x157 + 489x158 + 127x159 + 515x160 + 416x161 + 571x162 + 552x163 + 728x164 + 780x165 + 386x166 + 918x167 + 691x168 + 569x169 + 381x170 + 909x171 + 316x172 + 265x173 + 388x174 + 352x175 + 564x176 + 817x177 + 694x178 + 820x179 + 63x180 + 481x181 + 179x182 + 173x183 + 311x184 + 941x185 + 353x186 + 81x187 + 29x188 + 312x189 + 720x190 + 78x191 + 583x192 + 93x193 + 76x194 + 597x195 + 592x196 + 622x197 + 613x198 + 139x199 + 554x200 + 617x201 + 616x202 + 27x203 + 684x204 + 366x205 + 59x206 + 517x207 + 107x208 + 536x209 + 291x210 + 101x211 + 458x212 + 846x213 + 262x214 + 691x215 + 386x216 + 41x217 + 23x218 + 70x219 + 495x220 + 492x221 + 957x222 + 592x223 + 320x224 + 629x225 + 371x226 + 831x227 + 44x228 + 757x229 + 629x230 + 329x231 + 757x232 + 696x233 + 143x234 + 957x235 + 950x236 + 941x237 + 78x238 + 833x239 + 260x240 + 958x241 + 10x242 + 855x243 + 949x244 + 669x245 + 282x246 + 230x247 + 43x248 + 306x249 + 390x250 <=63763 
constr4: + 378x1 + 87x2 + 974x3 + 635x4 + 292x5 + 117x6 + 574x7 + 705x8 + 23x9 + 284x10 + 897x11 + 755x12 + 543x13 + 338x14 + 744x15 + 235x16 + 954x17 + 794x18 + 376x19 + 228x20 + 131x21 + 749x22 + 977x23 + 724x24 + 867x25 + 648x26 + 812x27 + 224x28 + 902x29 + 507x30 + 399x31 + 37x32 + 359x33 + 317x34 + 448x35 + 583x36 + 915x37 + 40x38 + 170x39 + 645x40 + 973x41 + 32x42 + 362x43 + 942x44 + 487x45 + 11x46 + 384x47 + 20x48 + 3x49 + 792x50 + 127x51 + 925x52 + 357x53 + 47x54 + 179x55 + 393x56 + 417x57 + 955x58 + 285x59 + 311x60 + 771x61 + 50x62 + 904x63 + 333x64 + 162x65 + 289x66 + 440x67 + 571x68 + 612x69 + 431x70 + 344x71 + 775x72 + 441x73 + 136x74 + 8x75 + 847x76 + 511x77 + 998x78 + 696x79 + 105x80 + 656x81 + 343x82 + 24x83 + 986x84 + 100x85 + 834x86 + 835x87 + 759x88 + 816x89 + 166x90 + 95x91 + 95x92 + 172x93 + 848x94 + 629x95 + 429x96 + 438x97 + 467x98 + 248x99 + 767x100 + 184x101 + 76x102 + 480x103 + 232x104 + 522x105 + 340x106 + 300x107 + 525x108 + 79x109 + 269x110 + 449x111 + 418x112 + 888x113 + 977x114 + 668x115 + 162x116 + 67x117 + 765x118 + 441x119 + 584x120 + 105x121 + 401x122 + 858x123 + 369x124 + 698x125 + 357x126 + 70x127 + 30x128 + 329x129 + 442x130 + 311x131 + 970x132 + 775x133 + 501x134 + 882x135 + 703x136 + 969x137 + 676x138 + 236x139 + 665x140 + 1x141 + 230x142 + 865x143 + 440x144 + 12x145 + 813x146 + 500x147 + 142x148 + 376x149 + 474x150 + 413x151 + 716x152 + 356x153 + 908x154 + 726x155 + 788x156 + 213x157 + 240x158 + 180x159 + 87x160 + 476x161 + 96x162 + 838x163 + 452x164 + 409x165 + 443x166 + 614x167 + 125x168 + 405x169 + 304x170 + 658x171 + 426x172 + 803x173 + 34x174 + 858x175 + 666x176 + 300x177 + 794x178 + 31x179 + 477x180 + 260x181 + 568x182 + 624x183 + 482x184 + 136x185 + 527x186 + 460x187 + 713x188 + 300x189 + 603x190 + 62x191 + 640x192 + 87x193 + 971x194 + 875x195 + 118x196 + 525x197 + 383x198 + 357x199 + 754x200 + 112x201 + 744x202 + 477x203 + 601x204 + 589x205 + 810x206 + 795x207 + 376x208 + 55x209 + 994x210 + 77x211 + 424x212 + 63x213 + 399x214 + 865x215 + 531x216 + 278x217 + 922x218 + 890x219 + 599x220 + 120x221 + 597x222 + 348x223 + 514x224 + 793x225 + 669x226 + 776x227 + 808x228 + 444x229 + 543x230 + 782x231 + 396x232 + 936x233 + 340x234 + 142x235 + 381x236 + 577x237 + 660x238 + 196x239 + 403x240 + 311x241 + 843x242 + 295x243 + 870x244 + 544x245 + 526x246 + 920x247 + 61x248 + 110x249 + 652x250 <=59793 
constr5: + 618x1 + 143x2 + 249x3 + 45x4 + 518x5 + 780x6 + 795x7 + 916x8 + 732x9 + 224x10 + 830x11 + 820x12 + 249x13 + 109x14 + 221x15 + 99x16 + 475x17 + 126x18 + 933x19 + 897x20 + 109x21 + 131x22 + 897x23 + 367x24 + 411x25 + 639x26 + 344x27 + 255x28 + 493x29 + 291x30 + 224x31 + 103x32 + 619x33 + 672x34 + 374x35 + 285x36 + 813x37 + 599x38 + 21x39 + 34x40 + 239x41 + 777x42 + 762x43 + 158x44 + 806x45 + 501x46 + 809x47 + 551x48 + 70x49 + 669x50 + 633x51 + 113x52 + 199x53 + 191x54 + 376x55 + 180x56 + 459x57 + 492x58 + 215x59 + 328x60 + 208x61 + 219x62 + 243x63 + 786x64 + 173x65 + 683x66 + 65x67 + 323x68 + 391x69 + 378x70 + 198x71 + 701x72 + 633x73 + 40x74 + 969x75 + 405x76 + 957x77 + 267x78 + 802x79 + 118x80 + 126x81 + 169x82 + 607x83 + 804x84 + 352x85 + 303x86 + 570x87 + 259x88 + 774x89 + 284x90 + 556x91 + 3x92 + 681x93 + 397x94 + 984x95 + 500x96 + 97x97 + 71x98 + 303x99 + 217x100 + 870x101 + 614x102 + 479x103 + 958x104 + 555x105 + 759x106 + 755x107 + 921x108 + 127x109 + 815x110 + 568x111 + 586x112 + 147x113 + 491x114 + 125x115 + 746x116 + 914x117 + 436x118 + 568x119 + 940x120 + 836x121 + 112x122 + 648x123 + 510x124 + 449x125 + 162x126 + 598x127 + 479x128 + 350x129 + 900x130 + 187x131 + 693x132 + 321x133 + 282x134 + 888x135 + 901x136 + 715x137 + 542x138 + 375x139 + 810x140 + 731x141 + 642x142 + 973x143 + 329x144 + 477x145 + 202x146 + 572x147 + 922x148 + 148x149 + 645x150 + 954x151 + 383x152 + 589x153 + 167x154 + 419x155 + 290x156 + 503x157 + 169x158 + 199x159 + 9x160 + 123x161 + 171x162 + 155x163 + 992x164 + 968x165 + 446x166 + 336x167 + 522x168 + 899x169 + 468x170 + 662x171 + 383x172 + 337x173 + 28x174 + 143x175 + 549x176 + 460x177 + 198x178 + 283x179 + 294x180 + 311x181 + 699x182 + 343x183 + 645x184 + 657x185 + 882x186 + 140x187 + 528x188 + 523x189 + 322x190 + 161x191 + 739x192 + 754x193 + 283x194 + 600x195 + 795x196 + 795x197 + 419x198 + 841x199 + 405x200 + 730x201 + 249x202 + 96x203 + 930x204 + 201x205 + 35x206 + 239x207 + 572x208 + 121x209 + 848x210 + 404x211 + 565x212 + 809x213 + 989x214 + 312x215 + 68x216 + 897x217 + 16x218 + 501x219 + 846x220 + 109x221 + 310x222 + 892x223 + 909x224 + 114x225 + 805x226 + 257x227 + 292x228 + 171x229 + 600x230 + 376x231 + 494x232 + 600x233 + 534x234 + 573x235 + 946x236 + 339x237 + 746x238 + 380x239 + 855x240 + 714x241 + 688x242 + 492x243 + 879x244 + 508x245 + 156x246 + 5x247 + 661x248 + 772x249 + 570x250 <=59747 
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