maximize 
objective: + 406x1 + 1088x2 + 1076x3 + 701x4 + 991x5 + 515x6 + 677x7 + 623x8 + 851x9 + 498x10 + 513x11 + 945x12 + 848x13 + 432x14 + 1063x15 + 552x16 + 687x17 + 697x18 + 503x19 + 920x20 + 675x21 + 701x22 + 735x23 + 1083x24 + 836x25 + 891x26 + 419x27 + 783x28 + 532x29 + 538x30 + 629x31 + 933x32 + 670x33 + 753x34 + 781x35 + 796x36 + 630x37 + 615x38 + 556x39 + 769x40 + 651x41 + 1095x42 + 725x43 + 857x44 + 812x45 + 996x46 + 699x47 + 720x48 + 798x49 + 1042x50 + 843x51 + 864x52 + 864x53 + 497x54 + 597x55 + 562x56 + 1109x57 + 268x58 + 491x59 + 857x60 + 408x61 + 403x62 + 740x63 + 961x64 + 671x65 + 672x66 + 1073x67 + 502x68 + 914x69 + 808x70 + 808x71 + 755x72 + 1050x73 + 463x74 + 776x75 + 1057x76 + 625x77 + 699x78 + 809x79 + 364x80 + 646x81 + 648x82 + 770x83 + 355x84 + 623x85 + 693x86 + 1028x87 + 976x88 + 1121x89 + 586x90 + 882x91 + 653x92 + 711x93 + 682x94 + 1105x95 + 528x96 + 820x97 + 539x98 + 399x99 + 414x100 + 793x101 + 718x102 + 762x103 + 797x104 + 584x105 + 704x106 + 689x107 + 977x108 + 898x109 + 417x110 + 501x111 + 522x112 + 785x113 + 860x114 + 1030x115 + 504x116 + 854x117 + 544x118 + 781x119 + 918x120 + 897x121 + 837x122 + 859x123 + 728x124 + 727x125 + 808x126 + 1091x127 + 1003x128 + 1128x129 + 814x130 + 639x131 + 614x132 + 866x133 + 295x134 + 738x135 + 1162x136 + 889x137 + 1074x138 + 683x139 + 367x140 + 958x141 + 898x142 + 719x143 + 703x144 + 809x145 + 547x146 + 540x147 + 591x148 + 792x149 + 836x150 + 666x151 + 604x152 + 608x153 + 559x154 + 863x155 + 390x156 + 567x157 + 326x158 + 1046x159 + 844x160 + 639x161 + 781x162 + 460x163 + 1079x164 + 805x165 + 609x166 + 467x167 + 1003x168 + 998x169 + 609x170 + 955x171 + 1025x172 + 573x173 + 747x174 + 713x175 + 585x176 + 953x177 + 859x178 + 819x179 + 468x180 + 405x181 + 668x182 + 791x183 + 1158x184 + 368x185 + 749x186 + 696x187 + 728x188 + 646x189 + 692x190 + 644x191 + 862x192 + 896x193 + 982x194 + 567x195 + 880x196 + 886x197 + 656x198 + 721x199 + 730x200 + 436x201 + 308x202 + 487x203 + 408x204 + 830x205 + 514x206 + 284x207 + 468x208 + 817x209 + 360x210 + 535x211 + 813x212 + 485x213 + 700x214 + 714x215 + 757x216 + 748x217 + 768x218 + 518x219 + 871x220 + 1200x221 + 743x222 + 602x223 + 1040x224 + 466x225 + 1055x226 + 817x227 + 881x228 + 708x229 + 773x230 + 922x231 + 1039x232 + 826x233 + 663x234 + 758x235 + 804x236 + 568x237 + 783x238 + 947x239 + 402x240 + 702x241 + 949x242 + 766x243 + 582x244 + 518x245 + 616x246 + 776x247 + 668x248 + 820x249 + 927x250 
subject to 
constr1: + 59x1 + 678x2 + 513x3 + 937x4 + 716x5 + 414x6 + 366x7 + 712x8 + 145x9 + 449x10 + 623x11 + 997x12 + 872x13 + 605x14 + 373x15 + 912x16 + 177x17 + 189x18 + 437x19 + 64x20 + 736x21 + 816x22 + 882x23 + 392x24 + 931x25 + 256x26 + 315x27 + 330x28 + 868x29 + 468x30 + 60x31 + 7x32 + 198x33 + 532x34 + 941x35 + 786x36 + 711x37 + 872x38 + 701x39 + 743x40 + 354x41 + 871x42 + 108x43 + 31x44 + 609x45 + 256x46 + 603x47 + 512x48 + 836x49 + 379x50 + 396x51 + 943x52 + 661x53 + 444x54 + 17x55 + 597x56 + 760x57 + 509x58 + 302x59 + 849x60 + 475x61 + 456x62 + 526x63 + 395x64 + 496x65 + 615x66 + 798x67 + 757x68 + 901x69 + 157x70 + 138x71 + 375x72 + 640x73 + 856x74 + 499x75 + 953x76 + 827x77 + 732x78 + 142x79 + 87x80 + 556x81 + 321x82 + 964x83 + 43x84 + 490x85 + 152x86 + 771x87 + 998x88 + 758x89 + 976x90 + 735x91 + 901x92 + 839x93 + 219x94 + 704x95 + 83x96 + 195x97 + 903x98 + 450x99 + 274x100 + 126x101 + 837x102 + 7x103 + 392x104 + 437x105 + 211x106 + 460x107 + 547x108 + 79x109 + 570x110 + 366x111 + 221x112 + 608x113 + 232x114 + 906x115 + 86x116 + 597x117 + 787x118 + 912x119 + 21x120 + 775x121 + 626x122 + 293x123 + 948x124 + 200x125 + 259x126 + 795x127 + 677x128 + 527x129 + 387x130 + 297x131 + 888x132 + 834x133 + 113x134 + 281x135 + 626x136 + 704x137 + 833x138 + 382x139 + 725x140 + 292x141 + 778x142 + 834x143 + 10x144 + 113x145 + 415x146 + 489x147 + 455x148 + 432x149 + 902x150 + 623x151 + 600x152 + 274x153 + 978x154 + 386x155 + 815x156 + 638x157 + 16x158 + 646x159 + 995x160 + 874x161 + 611x162 + 237x163 + 977x164 + 242x165 + 120x166 + 515x167 + 885x168 + 249x169 + 97x170 + 994x171 + 991x172 + 698x173 + 459x174 + 915x175 + 526x176 + 485x177 + 654x178 + 239x179 + 822x180 + 282x181 + 216x182 + 897x183 + 880x184 + 247x185 + 568x186 + 452x187 + 685x188 + 770x189 + 562x190 + 219x191 + 827x192 + 845x193 + 208x194 + 660x195 + 276x196 + 173x197 + 627x198 + 979x199 + 881x200 + 640x201 + 700x202 + 680x203 + 209x204 + 601x205 + 653x206 + 161x207 + 281x208 + 526x209 + 590x210 + 181x211 + 450x212 + 508x213 + 849x214 + 909x215 + 214x216 + 535x217 + 717x218 + 195x219 + 104x220 + 819x221 + 906x222 + 120x223 + 942x224 + 433x225 + 753x226 + 991x227 + 648x228 + 523x229 + 105x230 + 754x231 + 374x232 + 366x233 + 121x234 + 928x235 + 603x236 + 610x237 + 105x238 + 3x239 + 67x240 + 491x241 + 111x242 + 603x243 + 269x244 + 4x245 + 554x246 + 485x247 + 232x248 + 40x249 + 832x250 <=65290 
constr2: + 49x1 + 439x2 + 313x3 + 224x4 + 837x5 + 853x6 + 925x7 + 447x8 + 381x9 + 15x10 + 724x11 + 659x12 + 568x13 + 99x14 + 602x15 + 393x16 + 417x17 + 452x18 + 404x19 + 422x20 + 754x21 + 347x22 + 92x23 + 888x24 + 824x25 + 261x26 + 276x27 + 554x28 + 23x29 + 239x30 + 748x31 + 802x32 + 708x33 + 722x34 + 84x35 + 91x36 + 508x37 + 46x38 + 225x39 + 969x40 + 783x41 + 191x42 + 48x43 + 560x44 + 332x45 + 466x46 + 516x47 + 794x48 + 628x49 + 702x50 + 270x51 + 149x52 + 70x53 + 99x54 + 729x55 + 145x56 + 125x57 + 4x58 + 131x59 + 474x60 + 107x61 + 51x62 + 170x63 + 602x64 + 668x65 + 736x66 + 341x67 + 19x68 + 379x69 + 450x70 + 693x71 + 87x72 + 109x73 + 49x74 + 608x75 + 784x76 + 535x77 + 162x78 + 660x79 + 695x80 + 1000x81 + 120x82 + 499x83 + 229x84 + 558x85 + 273x86 + 490x87 + 659x88 + 586x89 + 736x90 + 681x91 + 801x92 + 435x93 + 692x94 + 970x95 + 456x96 + 387x97 + 467x98 + 290x99 + 153x100 + 811x101 + 273x102 + 682x103 + 818x104 + 71x105 + 126x106 + 818x107 + 404x108 + 545x109 + 314x110 + 578x111 + 246x112 + 774x113 + 297x114 + 288x115 + 542x116 + 403x117 + 263x118 + 920x119 + 989x120 + 14x121 + 218x122 + 646x123 + 264x124 + 581x125 + 698x126 + 269x127 + 141x128 + 583x129 + 953x130 + 749x131 + 572x132 + 115x133 + 163x134 + 927x135 + 497x136 + 108x137 + 476x138 + 400x139 + 195x140 + 681x141 + 795x142 + 966x143 + 79x144 + 454x145 + 955x146 + 70x147 + 369x148 + 437x149 + 507x150 + 17x151 + 711x152 + 250x153 + 106x154 + 283x155 + 454x156 + 769x157 + 509x158 + 641x159 + 985x160 + 8x161 + 60x162 + 605x163 + 525x164 + 180x165 + 512x166 + 155x167 + 709x168 + 693x169 + 588x170 + 913x171 + 638x172 + 304x173 + 222x174 + 745x175 + 450x176 + 504x177 + 940x178 + 422x179 + 158x180 + 372x181 + 583x182 + 703x183 + 954x184 + 630x185 + 417x186 + 686x187 + 131x188 + 569x189 + 845x190 + 352x191 + 867x192 + 912x193 + 314x194 + 819x195 + 659x196 + 774x197 + 151x198 + 16x199 + 893x200 + 257x201 + 238x202 + 221x203 + 773x204 + 726x205 + 649x206 + 290x207 + 97x208 + 419x209 + 158x210 + 919x211 + 756x212 + 103x213 + 113x214 + 122x215 + 398x216 + 753x217 + 757x218 + 257x219 + 224x220 + 499x221 + 170x222 + 353x223 + 147x224 + 37x225 + 301x226 + 885x227 + 23x228 + 81x229 + 194x230 + 846x231 + 202x232 + 570x233 + 98x234 + 797x235 + 646x236 + 602x237 + 877x238 + 897x239 + 305x240 + 728x241 + 639x242 + 513x243 + 947x244 + 567x245 + 162x246 + 568x247 + 738x248 + 717x249 + 559x250 <=58316 
constr3: + 235x1 + 597x2 + 888x3 + 619x4 + 52x5 + 42x6 + 160x7 + 731x8 + 676x9 + 368x10 + 164x11 + 960x12 + 971x13 + 875x14 + 822x15 + 432x16 + 880x17 + 939x18 + 237x19 + 451x20 + 550x21 + 916x22 + 687x23 + 240x24 + 692x25 + 916x26 + 651x27 + 306x28 + 98x29 + 758x30 + 879x31 + 919x32 + 933x33 + 513x34 + 247x35 + 842x36 + 777x37 + 15x38 + 16x39 + 373x40 + 65x41 + 846x42 + 432x43 + 209x44 + 873x45 + 705x46 + 541x47 + 560x48 + 317x49 + 732x50 + 583x51 + 353x52 + 993x53 + 553x54 + 583x55 + 713x56 + 784x57 + 14x58 + 356x59 + 793x60 + 385x61 + 187x62 + 866x63 + 453x64 + 197x65 + 868x66 + 201x67 + 462x68 + 617x69 + 83x70 + 910x71 + 427x72 + 835x73 + 10x74 + 708x75 + 980x76 + 718x77 + 963x78 + 449x79 + 234x80 + 262x81 + 40x82 + 704x83 + 80x84 + 819x85 + 625x86 + 665x87 + 634x88 + 958x89 + 529x90 + 562x91 + 151x92 + 628x93 + 912x94 + 564x95 + 672x96 + 485x97 + 31x98 + 22x99 + 78x100 + 507x101 + 813x102 + 874x103 + 613x104 + 234x105 + 811x106 + 465x107 + 523x108 + 900x109 + 9x110 + 296x111 + 494x112 + 707x113 + 47x114 + 775x115 + 568x116 + 379x117 + 324x118 + 749x119 + 403x120 + 380x121 + 846x122 + 797x123 + 348x124 + 643x125 + 998x126 + 822x127 + 986x128 + 555x129 + 233x130 + 326x131 + 732x132 + 678x133 + 21x134 + 204x135 + 547x136 + 191x137 + 674x138 + 751x139 + 292x140 + 267x141 + 988x142 + 634x143 + 740x144 + 410x145 + 802x146 + 925x147 + 265x148 + 481x149 + 624x150 + 378x151 + 84x152 + 364x153 + 357x154 + 932x155 + 96x156 + 6x157 + 132x158 + 824x159 + 554x160 + 241x161 + 410x162 + 144x163 + 742x164 + 981x165 + 612x166 + 691x167 + 669x168 + 96x169 + 118x170 + 566x171 + 488x172 + 49x173 + 291x174 + 441x175 + 268x176 + 276x177 + 824x178 + 89x179 + 59x180 + 317x181 + 592x182 + 593x183 + 565x184 + 525x185 + 549x186 + 792x187 + 83x188 + 214x189 + 482x190 + 945x191 + 968x192 + 446x193 + 363x194 + 157x195 + 869x196 + 253x197 + 506x198 + 392x199 + 83x200 + 255x201 + 136x202 + 485x203 + 288x204 + 8x205 + 167x206 + 259x207 + 661x208 + 978x209 + 34x210 + 621x211 + 885x212 + 71x213 + 769x214 + 466x215 + 790x216 + 248x217 + 78x218 + 241x219 + 205x220 + 681x221 + 305x222 + 594x223 + 643x224 + 147x225 + 132x226 + 388x227 + 618x228 + 23x229 + 405x230 + 627x231 + 645x232 + 739x233 + 583x234 + 733x235 + 842x236 + 518x237 + 111x238 + 129x239 + 169x240 + 27x241 + 983x242 + 519x243 + 49x244 + 616x245 + 253x246 + 564x247 + 135x248 + 59x249 + 305x250 <=61360 
constr4: + 630x1 + 638x2 + 585x3 + 105x4 + 442x5 + 589x6 + 854x7 + 84x8 + 279x9 + 467x10 + 740x11 + 568x12 + 979x13 + 411x14 + 692x15 + 19x16 + 950x17 + 511x18 + 717x19 + 404x20 + 354x21 + 326x22 + 7x23 + 696x24 + 895x25 + 670x26 + 278x27 + 460x28 + 721x29 + 264x30 + 256x31 + 989x32 + 584x33 + 461x34 + 717x35 + 936x36 + 659x37 + 940x38 + 225x39 + 59x40 + 611x41 + 873x42 + 307x43 + 32x44 + 761x45 + 725x46 + 330x47 + 405x48 + 351x49 + 167x50 + 660x51 + 877x52 + 735x53 + 334x54 + 39x55 + 60x56 + 974x57 + 75x58 + 539x59 + 53x60 + 262x61 + 736x62 + 974x63 + 523x64 + 215x65 + 268x66 + 861x67 + 177x68 + 675x69 + 658x70 + 683x71 + 298x72 + 587x73 + 500x74 + 852x75 + 855x76 + 316x77 + 290x78 + 478x79 + 333x80 + 338x81 + 890x82 + 324x83 + 147x84 + 568x85 + 447x86 + 385x87 + 131x88 + 164x89 + 34x90 + 870x91 + 16x92 + 550x93 + 169x94 + 189x95 + 234x96 + 674x97 + 394x98 + 258x99 + 449x100 + 186x101 + 293x102 + 956x103 + 208x104 + 53x105 + 524x106 + 423x107 + 949x108 + 254x109 + 708x110 + 494x111 + 634x112 + 420x113 + 968x114 + 907x115 + 612x116 + 413x117 + 282x118 + 543x119 + 670x120 + 985x121 + 57x122 + 664x123 + 118x124 + 903x125 + 74x126 + 645x127 + 386x128 + 834x129 + 614x130 + 66x131 + 163x132 + 386x133 + 62x134 + 148x135 + 830x136 + 667x137 + 561x138 + 524x139 + 169x140 + 677x141 + 865x142 + 44x143 + 468x144 + 992x145 + 201x146 + 67x147 + 995x148 + 629x149 + 584x150 + 152x151 + 301x152 + 301x153 + 170x154 + 535x155 + 374x156 + 210x157 + 786x158 + 462x159 + 108x160 + 375x161 + 217x162 + 135x163 + 812x164 + 497x165 + 701x166 + 132x167 + 907x168 + 802x169 + 971x170 + 580x171 + 995x172 + 186x173 + 547x174 + 399x175 + 467x176 + 92x177 + 597x178 + 379x179 + 30x180 + 769x181 + 151x182 + 620x183 + 351x184 + 159x185 + 67x186 + 485x187 + 425x188 + 319x189 + 2x190 + 297x191 + 1000x192 + 161x193 + 932x194 + 536x195 + 142x196 + 936x197 + 379x198 + 386x199 + 351x200 + 181x201 + 90x202 + 237x203 + 388x204 + 412x205 + 360x206 + 135x207 + 665x208 + 105x209 + 372x210 + 107x211 + 469x212 + 184x213 + 448x214 + 963x215 + 548x216 + 487x217 + 726x218 + 273x219 + 622x220 + 877x221 + 779x222 + 645x223 + 293x224 + 399x225 + 997x226 + 29x227 + 449x228 + 222x229 + 782x230 + 696x231 + 939x232 + 634x233 + 230x234 + 65x235 + 396x236 + 484x237 + 41x238 + 901x239 + 491x240 + 830x241 + 254x242 + 507x243 + 153x244 + 492x245 + 227x246 + 733x247 + 252x248 + 559x249 + 793x250 <=58663 
constr5: + 347x1 + 869x2 + 725x3 + 995x4 + 538x5 + 619x6 + 714x7 + 861x8 + 294x9 + 580x10 + 300x11 + 263x12 + 149x13 + 151x14 + 409x15 + 678x16 + 624x17 + 313x18 + 26x19 + 919x20 + 647x21 + 315x22 + 716x23 + 947x24 + 219x25 + 401x26 + 267x27 + 136x28 + 859x29 + 297x30 + 61x31 + 429x32 + 539x33 + 391x34 + 806x35 + 427x36 + 384x37 + 547x38 + 841x39 + 949x40 + 468x41 + 863x42 + 914x43 + 998x44 + 441x45 + 633x46 + 636x47 + 468x48 + 856x49 + 758x50 + 461x51 + 144x52 + 167x53 + 905x54 + 555x55 + 826x56 + 876x57 + 389x58 + 653x59 + 879x60 + 500x61 + 144x62 + 794x63 + 770x64 + 209x65 + 196x66 + 722x67 + 140x68 + 359x69 + 812x70 + 165x71 + 659x72 + 678x73 + 251x74 + 71x75 + 291x76 + 573x77 + 668x78 + 553x79 + 71x80 + 698x81 + 592x82 + 407x83 + 533x84 + 92x85 + 427x86 + 787x87 + 317x88 + 797x89 + 542x90 + 756x91 + 592x92 + 728x93 + 427x94 + 973x95 + 928x96 + 870x97 + 538x98 + 407x99 + 628x100 + 248x101 + 550x102 + 950x103 + 136x104 + 668x105 + 943x106 + 509x107 + 733x108 + 847x109 + 237x110 + 49x111 + 702x112 + 7x113 + 769x114 + 45x115 + 422x116 + 822x117 + 988x118 + 731x119 + 282x120 + 990x121 + 300x122 + 710x123 + 395x124 + 383x125 + 177x126 + 927x127 + 455x128 + 953x129 + 532x130 + 526x131 + 676x132 + 370x133 + 298x134 + 804x135 + 964x136 + 942x137 + 923x138 + 994x139 + 350x140 + 409x141 + 726x142 + 659x143 + 323x144 + 94x145 + 257x146 + 522x147 + 579x148 + 365x149 + 626x150 + 124x151 + 563x152 + 383x153 + 725x154 + 147x155 + 143x156 + 377x157 + 131x158 + 328x159 + 183x160 + 650x161 + 999x162 + 470x163 + 196x164 + 652x165 + 64x166 + 286x167 + 7x168 + 924x169 + 193x170 + 790x171 + 221x172 + 706x173 + 383x174 + 265x175 + 332x176 + 959x177 + 39x178 + 548x179 + 60x180 + 34x181 + 477x182 + 278x183 + 974x184 + 128x185 + 60x186 + 965x187 + 910x188 + 463x189 + 121x190 + 800x191 + 384x192 + 537x193 + 854x194 + 200x195 + 924x196 + 793x197 + 719x198 + 533x199 + 32x200 + 726x201 + 374x202 + 658x203 + 18x204 + 258x205 + 463x206 + 393x207 + 410x208 + 58x209 + 187x210 + 260x211 + 817x212 + 980x213 + 149x214 + 920x215 + 308x216 + 602x217 + 935x218 + 90x219 + 735x220 + 696x221 + 217x222 + 78x223 + 842x224 + 182x225 + 790x226 + 636x227 + 259x228 + 630x229 + 535x230 + 97x231 + 625x232 + 149x233 + 268x234 + 158x235 + 308x236 + 194x237 + 319x238 + 987x239 + 142x240 + 304x241 + 790x242 + 898x243 + 626x244 + 890x245 + 419x246 + 427x247 + 870x248 + 795x249 + 462x250 <=63971 
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