maximize 
objective: + 903x1 + 626x2 + 683x3 + 820x4 + 865x5 + 812x6 + 785x7 + 751x8 + 1028x9 + 617x10 + 784x11 + 737x12 + 1060x13 + 934x14 + 586x15 + 553x16 + 954x17 + 826x18 + 776x19 + 814x20 + 865x21 + 455x22 + 381x23 + 596x24 + 366x25 + 910x26 + 926x27 + 793x28 + 956x29 + 1055x30 + 679x31 + 825x32 + 478x33 + 835x34 + 591x35 + 892x36 + 726x37 + 846x38 + 802x39 + 932x40 + 894x41 + 1001x42 + 919x43 + 759x44 + 668x45 + 885x46 + 380x47 + 664x48 + 504x49 + 611x50 + 1091x51 + 439x52 + 495x53 + 504x54 + 1034x55 + 967x56 + 929x57 + 653x58 + 519x59 + 785x60 + 511x61 + 882x62 + 897x63 + 348x64 + 607x65 + 744x66 + 404x67 + 898x68 + 821x69 + 704x70 + 549x71 + 522x72 + 831x73 + 895x74 + 959x75 + 631x76 + 805x77 + 955x78 + 676x79 + 661x80 + 813x81 + 380x82 + 817x83 + 829x84 + 889x85 + 601x86 + 700x87 + 695x88 + 1046x89 + 954x90 + 675x91 + 846x92 + 697x93 + 190x94 + 1043x95 + 1080x96 + 313x97 + 530x98 + 508x99 + 869x100 + 468x101 + 633x102 + 825x103 + 618x104 + 598x105 + 575x106 + 870x107 + 572x108 + 1091x109 + 537x110 + 860x111 + 969x112 + 525x113 + 848x114 + 661x115 + 1051x116 + 770x117 + 784x118 + 708x119 + 925x120 + 656x121 + 971x122 + 587x123 + 691x124 + 648x125 + 550x126 + 749x127 + 1010x128 + 1088x129 + 1012x130 + 464x131 + 1013x132 + 878x133 + 499x134 + 900x135 + 742x136 + 990x137 + 648x138 + 764x139 + 512x140 + 699x141 + 1022x142 + 800x143 + 921x144 + 598x145 + 843x146 + 1117x147 + 739x148 + 599x149 + 1055x150 + 672x151 + 689x152 + 503x153 + 690x154 + 653x155 + 1166x156 + 1004x157 + 994x158 + 827x159 + 589x160 + 410x161 + 394x162 + 486x163 + 725x164 + 515x165 + 570x166 + 686x167 + 977x168 + 619x169 + 520x170 + 818x171 + 819x172 + 1184x173 + 673x174 + 577x175 + 632x176 + 784x177 + 776x178 + 392x179 + 951x180 + 928x181 + 629x182 + 659x183 + 711x184 + 571x185 + 488x186 + 888x187 + 708x188 + 511x189 + 1197x190 + 511x191 + 688x192 + 624x193 + 670x194 + 832x195 + 972x196 + 953x197 + 701x198 + 711x199 + 727x200 + 764x201 + 729x202 + 518x203 + 504x204 + 670x205 + 492x206 + 782x207 + 962x208 + 783x209 + 864x210 + 623x211 + 641x212 + 745x213 + 807x214 + 780x215 + 897x216 + 656x217 + 711x218 + 581x219 + 629x220 + 734x221 + 501x222 + 890x223 + 1131x224 + 902x225 + 837x226 + 479x227 + 945x228 + 879x229 + 501x230 + 842x231 + 501x232 + 708x233 + 494x234 + 997x235 + 935x236 + 707x237 + 432x238 + 818x239 + 843x240 + 410x241 + 761x242 + 1061x243 + 982x244 + 696x245 + 515x246 + 452x247 + 899x248 + 340x249 + 735x250 
subject to 
constr1: + 634x1 + 540x2 + 793x3 + 252x4 + 676x5 + 566x6 + 739x7 + 762x8 + 371x9 + 961x10 + 865x11 + 525x12 + 324x13 + 968x14 + 461x15 + 321x16 + 837x17 + 664x18 + 611x19 + 433x20 + 208x21 + 371x22 + 190x23 + 415x24 + 159x25 + 886x26 + 253x27 + 336x28 + 996x29 + 857x30 + 410x31 + 65x32 + 38x33 + 705x34 + 736x35 + 972x36 + 155x37 + 640x38 + 954x39 + 217x40 + 728x41 + 559x42 + 467x43 + 437x44 + 385x45 + 992x46 + 489x47 + 731x48 + 545x49 + 350x50 + 945x51 + 61x52 + 193x53 + 81x54 + 529x55 + 760x56 + 584x57 + 396x58 + 376x59 + 338x60 + 670x61 + 629x62 + 958x63 + 173x64 + 641x65 + 646x66 + 114x67 + 849x68 + 804x69 + 88x70 + 79x71 + 723x72 + 739x73 + 515x74 + 854x75 + 152x76 + 62x77 + 117x78 + 186x79 + 903x80 + 249x81 + 368x82 + 574x83 + 425x84 + 656x85 + 330x86 + 950x87 + 385x88 + 602x89 + 91x90 + 72x91 + 28x92 + 789x93 + 41x94 + 801x95 + 295x96 + 147x97 + 459x98 + 791x99 + 251x100 + 31x101 + 127x102 + 890x103 + 689x104 + 202x105 + 812x106 + 321x107 + 757x108 + 916x109 + 350x110 + 46x111 + 797x112 + 491x113 + 397x114 + 265x115 + 534x116 + 45x117 + 957x118 + 709x119 + 682x120 + 469x121 + 924x122 + 460x123 + 212x124 + 103x125 + 341x126 + 532x127 + 759x128 + 868x129 + 407x130 + 742x131 + 593x132 + 932x133 + 220x134 + 658x135 + 420x136 + 295x137 + 66x138 + 45x139 + 14x140 + 657x141 + 948x142 + 293x143 + 573x144 + 585x145 + 286x146 + 506x147 + 372x148 + 336x149 + 818x150 + 325x151 + 636x152 + 514x153 + 478x154 + 542x155 + 907x156 + 822x157 + 794x158 + 774x159 + 181x160 + 189x161 + 154x162 + 128x163 + 501x164 + 60x165 + 152x166 + 385x167 + 346x168 + 497x169 + 366x170 + 849x171 + 962x172 + 991x173 + 718x174 + 185x175 + 911x176 + 450x177 + 282x178 + 59x179 + 971x180 + 890x181 + 858x182 + 119x183 + 821x184 + 135x185 + 41x186 + 427x187 + 641x188 + 609x189 + 983x190 + 416x191 + 609x192 + 28x193 + 301x194 + 917x195 + 806x196 + 885x197 + 954x198 + 636x199 + 188x200 + 128x201 + 663x202 + 207x203 + 80x204 + 309x205 + 484x206 + 472x207 + 619x208 + 310x209 + 569x210 + 170x211 + 731x212 + 593x213 + 733x214 + 835x215 + 406x216 + 270x217 + 534x218 + 414x219 + 382x220 + 816x221 + 45x222 + 842x223 + 379x224 + 147x225 + 615x226 + 29x227 + 315x228 + 873x229 + 210x230 + 942x231 + 330x232 + 276x233 + 614x234 + 165x235 + 593x236 + 923x237 + 159x238 + 171x239 + 864x240 + 462x241 + 732x242 + 664x243 + 868x244 + 183x245 + 721x246 + 784x247 + 687x248 + 230x249 + 813x250 <=93918 
constr2: + 141x1 + 74x2 + 251x3 + 363x4 + 932x5 + 722x6 + 145x7 + 728x8 + 495x9 + 349x10 + 871x11 + 593x12 + 861x13 + 212x14 + 174x15 + 506x16 + 955x17 + 702x18 + 602x19 + 902x20 + 793x21 + 176x22 + 272x23 + 754x24 + 245x25 + 38x26 + 156x27 + 816x28 + 775x29 + 784x30 + 863x31 + 365x32 + 897x33 + 941x34 + 410x35 + 641x36 + 597x37 + 928x38 + 926x39 + 745x40 + 692x41 + 669x42 + 719x43 + 486x44 + 682x45 + 634x46 + 53x47 + 564x48 + 691x49 + 581x50 + 568x51 + 194x52 + 883x53 + 138x54 + 182x55 + 556x56 + 264x57 + 873x58 + 694x59 + 866x60 + 112x61 + 945x62 + 321x63 + 614x64 + 82x65 + 342x66 + 478x67 + 600x68 + 478x69 + 948x70 + 698x71 + 402x72 + 947x73 + 777x74 + 946x75 + 130x76 + 493x77 + 524x78 + 520x79 + 643x80 + 827x81 + 615x82 + 503x83 + 762x84 + 713x85 + 997x86 + 935x87 + 225x88 + 722x89 + 981x90 + 902x91 + 198x92 + 131x93 + 241x94 + 365x95 + 921x96 + 743x97 + 223x98 + 326x99 + 280x100 + 15x101 + 789x102 + 742x103 + 602x104 + 934x105 + 154x106 + 767x107 + 245x108 + 341x109 + 401x110 + 722x111 + 839x112 + 235x113 + 701x114 + 238x115 + 423x116 + 354x117 + 59x118 + 115x119 + 482x120 + 962x121 + 713x122 + 341x123 + 229x124 + 895x125 + 642x126 + 58x127 + 277x128 + 577x129 + 895x130 + 818x131 + 967x132 + 607x133 + 53x134 + 713x135 + 185x136 + 667x137 + 488x138 + 317x139 + 637x140 + 843x141 + 611x142 + 872x143 + 809x144 + 669x145 + 173x146 + 829x147 + 472x148 + 71x149 + 754x150 + 146x151 + 750x152 + 746x153 + 863x154 + 26x155 + 621x156 + 501x157 + 635x158 + 303x159 + 75x160 + 624x161 + 485x162 + 202x163 + 40x164 + 455x165 + 466x166 + 267x167 + 392x168 + 882x169 + 212x170 + 726x171 + 132x172 + 807x173 + 625x174 + 27x175 + 449x176 + 759x177 + 112x178 + 788x179 + 61x180 + 696x181 + 339x182 + 453x183 + 85x184 + 944x185 + 501x186 + 661x187 + 361x188 + 772x189 + 907x190 + 774x191 + 178x192 + 340x193 + 795x194 + 718x195 + 352x196 + 487x197 + 117x198 + 900x199 + 94x200 + 893x201 + 500x202 + 41x203 + 106x204 + 840x205 + 506x206 + 548x207 + 285x208 + 249x209 + 342x210 + 316x211 + 823x212 + 789x213 + 199x214 + 602x215 + 712x216 + 844x217 + 373x218 + 638x219 + 215x220 + 333x221 + 436x222 + 751x223 + 546x224 + 828x225 + 367x226 + 527x227 + 850x228 + 894x229 + 151x230 + 948x231 + 636x232 + 890x233 + 201x234 + 767x235 + 950x236 + 47x237 + 680x238 + 634x239 + 784x240 + 301x241 + 127x242 + 299x243 + 478x244 + 941x245 + 308x246 + 467x247 + 559x248 + 312x249 + 501x250 <=99440 
constr3: + 574x1 + 967x2 + 536x3 + 556x4 + 352x5 + 612x6 + 768x7 + 491x8 + 476x9 + 259x10 + 901x11 + 374x12 + 819x13 + 225x14 + 713x15 + 442x16 + 326x17 + 376x18 + 796x19 + 161x20 + 21x21 + 39x22 + 185x23 + 243x24 + 547x25 + 993x26 + 705x27 + 235x28 + 687x29 + 184x30 + 162x31 + 815x32 + 236x33 + 722x34 + 229x35 + 733x36 + 235x37 + 672x38 + 258x39 + 893x40 + 637x41 + 325x42 + 460x43 + 419x44 + 458x45 + 773x46 + 84x47 + 329x48 + 136x49 + 345x50 + 718x51 + 327x52 + 53x53 + 85x54 + 822x55 + 674x56 + 859x57 + 656x58 + 969x59 + 908x60 + 47x61 + 782x62 + 19x63 + 57x64 + 615x65 + 831x66 + 59x67 + 485x68 + 358x69 + 493x70 + 272x71 + 47x72 + 538x73 + 344x74 + 786x75 + 974x76 + 416x77 + 825x78 + 369x79 + 637x80 + 996x81 + 137x82 + 174x83 + 144x84 + 610x85 + 119x86 + 11x87 + 611x88 + 723x89 + 771x90 + 276x91 + 615x92 + 97x93 + 14x94 + 458x95 + 876x96 + 393x97 + 502x98 + 403x99 + 230x100 + 827x101 + 707x102 + 203x103 + 167x104 + 323x105 + 394x106 + 360x107 + 159x108 + 13x109 + 860x110 + 817x111 + 422x112 + 698x113 + 582x114 + 788x115 + 173x116 + 413x117 + 511x118 + 898x119 + 992x120 + 548x121 + 964x122 + 275x123 + 468x124 + 231x125 + 178x126 + 400x127 + 432x128 + 938x129 + 424x130 + 133x131 + 974x132 + 978x133 + 115x134 + 250x135 + 678x136 + 433x137 + 342x138 + 926x139 + 614x140 + 481x141 + 991x142 + 251x143 + 947x144 + 490x145 + 763x146 + 984x147 + 870x148 + 21x149 + 493x150 + 576x151 + 264x152 + 428x153 + 104x154 + 573x155 + 475x156 + 679x157 + 738x158 + 413x159 + 94x160 + 840x161 + 69x162 + 688x163 + 318x164 + 521x165 + 452x166 + 567x167 + 980x168 + 922x169 + 370x170 + 956x171 + 179x172 + 517x173 + 570x174 + 216x175 + 454x176 + 5x177 + 77x178 + 145x179 + 516x180 + 994x181 + 535x182 + 952x183 + 314x184 + 221x185 + 617x186 + 276x187 + 468x188 + 443x189 + 325x190 + 408x191 + 740x192 + 613x193 + 763x194 + 933x195 + 686x196 + 474x197 + 390x198 + 416x199 + 449x200 + 608x201 + 678x202 + 489x203 + 446x204 + 959x205 + 507x206 + 832x207 + 158x208 + 866x209 + 710x210 + 688x211 + 445x212 + 572x213 + 208x214 + 880x215 + 472x216 + 398x217 + 247x218 + 286x219 + 871x220 + 899x221 + 507x222 + 251x223 + 923x224 + 455x225 + 317x226 + 300x227 + 166x228 + 691x229 + 930x230 + 405x231 + 205x232 + 690x233 + 482x234 + 990x235 + 903x236 + 953x237 + 188x238 + 867x239 + 18x240 + 385x241 + 630x242 + 292x243 + 426x244 + 691x245 + 549x246 + 561x247 + 880x248 + 423x249 + 984x250 <=94929 
constr4: + 468x1 + 468x2 + 957x3 + 717x4 + 379x5 + 475x6 + 24x7 + 320x8 + 948x9 + 902x10 + 566x11 + 848x12 + 95x13 + 808x14 + 361x15 + 88x16 + 258x17 + 165x18 + 178x19 + 933x20 + 736x21 + 435x22 + 330x23 + 820x24 + 598x25 + 283x26 + 968x27 + 233x28 + 843x29 + 820x30 + 681x31 + 143x32 + 253x33 + 403x34 + 603x35 + 91x36 + 651x37 + 899x38 + 431x39 + 455x40 + 838x41 + 398x42 + 562x43 + 479x44 + 854x45 + 98x46 + 731x47 + 45x48 + 55x49 + 138x50 + 690x51 + 693x52 + 432x53 + 322x54 + 389x55 + 352x56 + 582x57 + 199x58 + 17x59 + 329x60 + 917x61 + 618x62 + 546x63 + 281x64 + 498x65 + 179x66 + 427x67 + 163x68 + 265x69 + 749x70 + 477x71 + 647x72 + 122x73 + 286x74 + 752x75 + 399x76 + 770x77 + 587x78 + 138x79 + 227x80 + 170x81 + 389x82 + 81x83 + 52x84 + 666x85 + 797x86 + 706x87 + 547x88 + 644x89 + 952x90 + 296x91 + 615x92 + 928x93 + 43x94 + 780x95 + 817x96 + 163x97 + 126x98 + 23x99 + 639x100 + 606x101 + 480x102 + 648x103 + 378x104 + 751x105 + 254x106 + 742x107 + 817x108 + 970x109 + 298x110 + 300x111 + 521x112 + 126x113 + 309x114 + 248x115 + 835x116 + 728x117 + 957x118 + 882x119 + 812x120 + 519x121 + 677x122 + 332x123 + 731x124 + 828x125 + 839x126 + 366x127 + 644x128 + 863x129 + 930x130 + 126x131 + 391x132 + 402x133 + 828x134 + 122x135 + 912x136 + 943x137 + 117x138 + 982x139 + 340x140 + 536x141 + 465x142 + 467x143 + 600x144 + 9x145 + 884x146 + 694x147 + 730x148 + 784x149 + 874x150 + 204x151 + 268x152 + 136x153 + 638x154 + 262x155 + 788x156 + 520x157 + 726x158 + 744x159 + 980x160 + 87x161 + 409x162 + 241x163 + 922x164 + 28x165 + 968x166 + 66x167 + 832x168 + 407x169 + 285x170 + 223x171 + 281x172 + 657x173 + 63x174 + 271x175 + 224x176 + 332x177 + 456x178 + 227x179 + 823x180 + 650x181 + 132x182 + 880x183 + 890x184 + 223x185 + 154x186 + 452x187 + 530x188 + 253x189 + 937x190 + 42x191 + 289x192 + 979x193 + 433x194 + 710x195 + 209x196 + 509x197 + 822x198 + 32x199 + 202x200 + 354x201 + 293x202 + 289x203 + 583x204 + 640x205 + 275x206 + 798x207 + 863x208 + 943x209 + 498x210 + 495x211 + 677x212 + 792x213 + 219x214 + 110x215 + 903x216 + 235x217 + 907x218 + 184x219 + 102x220 + 155x221 + 374x222 + 309x223 + 890x224 + 483x225 + 771x226 + 719x227 + 91x228 + 445x229 + 516x230 + 796x231 + 175x232 + 254x233 + 500x234 + 612x235 + 126x236 + 203x237 + 31x238 + 362x239 + 847x240 + 649x241 + 771x242 + 914x243 + 713x244 + 784x245 + 439x246 + 14x247 + 618x248 + 429x249 + 472x250 <=92951 
constr5: + 736x1 + 583x2 + 2x3 + 454x4 + 583x5 + 583x6 + 806x7 + 16x8 + 987x9 + 344x10 + 387x11 + 460x12 + 823x13 + 686x14 + 844x15 + 860x16 + 624x17 + 423x18 + 411x19 + 465x20 + 193x21 + 752x22 + 524x23 + 697x24 + 276x25 + 525x26 + 82x27 + 232x28 + 401x29 + 595x30 + 789x31 + 712x32 + 766x33 + 222x34 + 681x35 + 336x36 + 58x37 + 489x38 + 421x39 + 118x40 + 306x41 + 913x42 + 232x43 + 964x44 + 799x45 + 688x46 + 124x47 + 219x48 + 134x49 + 922x50 + 743x51 + 458x52 + 213x53 + 241x54 + 901x55 + 293x56 + 142x57 + 409x58 + 24x59 + 86x60 + 533x61 + 179x62 + 794x63 + 156x64 + 466x65 + 434x66 + 497x67 + 86x68 + 149x69 + 743x70 + 296x71 + 622x72 + 76x73 + 141x74 + 524x75 + 621x76 + 566x77 + 684x78 + 589x79 + 483x80 + 253x81 + 6x82 + 560x83 + 867x84 + 565x85 + 690x86 + 151x87 + 631x88 + 215x89 + 524x90 + 128x91 + 929x92 + 132x93 + 265x94 + 958x95 + 621x96 + 98x97 + 500x98 + 865x99 + 815x100 + 193x101 + 802x102 + 126x103 + 200x104 + 234x105 + 773x106 + 918x107 + 232x108 + 955x109 + 730x110 + 1000x111 + 682x112 + 165x113 + 923x114 + 102x115 + 986x116 + 314x117 + 332x118 + 368x119 + 679x120 + 199x121 + 734x122 + 955x123 + 665x124 + 838x125 + 70x126 + 286x127 + 817x128 + 768x129 + 171x130 + 82x131 + 843x132 + 748x133 + 137x134 + 408x135 + 348x136 + 554x137 + 24x138 + 487x139 + 571x140 + 182x141 + 131x142 + 612x143 + 441x144 + 358x145 + 626x146 + 721x147 + 160x148 + 978x149 + 415x150 + 145x151 + 997x152 + 406x153 + 536x154 + 784x155 + 941x156 + 745x157 + 289x158 + 53x159 + 49x160 + 114x161 + 599x162 + 324x163 + 697x164 + 64x165 + 773x166 + 133x167 + 690x168 + 350x169 + 974x170 + 647x171 + 623x172 + 456x173 + 279x174 + 715x175 + 976x176 + 928x177 + 466x178 + 416x179 + 637x180 + 767x181 + 969x182 + 105x183 + 737x184 + 685x185 + 593x186 + 472x187 + 151x188 + 174x189 + 707x190 + 25x191 + 213x192 + 154x193 + 337x194 + 183x195 + 651x196 + 539x197 + 748x198 + 791x199 + 906x200 + 541x201 + 872x202 + 230x203 + 652x204 + 439x205 + 580x206 + 323x207 + 631x208 + 740x209 + 195x210 + 836x211 + 177x212 + 344x213 + 813x214 + 905x215 + 179x216 + 258x217 + 42x218 + 59x219 + 589x220 + 830x221 + 355x222 + 771x223 + 565x224 + 671x225 + 104x226 + 594x227 + 951x228 + 103x229 + 425x230 + 668x231 + 572x232 + 351x233 + 134x234 + 947x235 + 826x236 + 949x237 + 229x238 + 484x239 + 342x240 + 32x241 + 270x242 + 972x243 + 516x244 + 829x245 + 80x246 + 393x247 + 427x248 + 119x249 + 578x250 <=91813 
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