maximize 
objective: + 722x1 + 538x2 + 562x3 + 586x4 + 955x5 + 989x6 + 712x7 + 1073x8 + 483x9 + 750x10 + 762x11 + 704x12 + 866x13 + 781x14 + 592x15 + 826x16 + 850x17 + 762x18 + 873x19 + 1236x20 + 721x21 + 729x22 + 875x23 + 645x24 + 712x25 + 892x26 + 946x27 + 734x28 + 1072x29 + 761x30 + 680x31 + 1157x32 + 697x33 + 880x34 + 976x35 + 896x36 + 647x37 + 698x38 + 665x39 + 815x40 + 919x41 + 759x42 + 662x43 + 379x44 + 469x45 + 1009x46 + 612x47 + 689x48 + 764x49 + 1020x50 + 903x51 + 545x52 + 483x53 + 994x54 + 1009x55 + 825x56 + 831x57 + 461x58 + 1166x59 + 323x60 + 801x61 + 762x62 + 970x63 + 835x64 + 804x65 + 836x66 + 512x67 + 1037x68 + 702x69 + 793x70 + 948x71 + 811x72 + 1237x73 + 685x74 + 532x75 + 421x76 + 932x77 + 414x78 + 513x79 + 647x80 + 988x81 + 623x82 + 803x83 + 885x84 + 743x85 + 895x86 + 444x87 + 937x88 + 820x89 + 567x90 + 881x91 + 896x92 + 624x93 + 623x94 + 768x95 + 814x96 + 958x97 + 666x98 + 843x99 + 564x100 + 908x101 + 936x102 + 466x103 + 951x104 + 911x105 + 676x106 + 923x107 + 798x108 + 1040x109 + 734x110 + 548x111 + 621x112 + 961x113 + 662x114 + 775x115 + 872x116 + 843x117 + 709x118 + 449x119 + 762x120 + 801x121 + 647x122 + 299x123 + 1015x124 + 796x125 + 586x126 + 767x127 + 447x128 + 558x129 + 817x130 + 1021x131 + 1078x132 + 591x133 + 681x134 + 426x135 + 1072x136 + 701x137 + 483x138 + 433x139 + 668x140 + 705x141 + 1095x142 + 948x143 + 735x144 + 884x145 + 819x146 + 787x147 + 823x148 + 871x149 + 594x150 + 902x151 + 1005x152 + 846x153 + 791x154 + 911x155 + 643x156 + 637x157 + 519x158 + 734x159 + 592x160 + 615x161 + 1007x162 + 502x163 + 1048x164 + 522x165 + 955x166 + 733x167 + 346x168 + 822x169 + 474x170 + 630x171 + 1000x172 + 595x173 + 648x174 + 556x175 + 652x176 + 808x177 + 972x178 + 758x179 + 641x180 + 653x181 + 911x182 + 707x183 + 831x184 + 921x185 + 934x186 + 822x187 + 826x188 + 517x189 + 611x190 + 783x191 + 736x192 + 764x193 + 868x194 + 1077x195 + 647x196 + 546x197 + 680x198 + 725x199 + 454x200 + 464x201 + 601x202 + 1056x203 + 694x204 + 803x205 + 1030x206 + 727x207 + 851x208 + 892x209 + 690x210 + 542x211 + 893x212 + 890x213 + 801x214 + 983x215 + 479x216 + 851x217 + 307x218 + 373x219 + 784x220 + 363x221 + 751x222 + 584x223 + 1012x224 + 795x225 + 988x226 + 602x227 + 993x228 + 789x229 + 815x230 + 840x231 + 929x232 + 704x233 + 778x234 + 669x235 + 712x236 + 924x237 + 728x238 + 418x239 + 895x240 + 459x241 + 887x242 + 543x243 + 734x244 + 531x245 + 748x246 + 631x247 + 785x248 + 815x249 + 910x250 
subject to 
constr1: + 132x1 + 792x2 + 214x3 + 266x4 + 529x5 + 891x6 + 280x7 + 851x8 + 873x9 + 229x10 + 303x11 + 277x12 + 741x13 + 50x14 + 23x15 + 182x16 + 270x17 + 287x18 + 710x19 + 534x20 + 28x21 + 712x22 + 753x23 + 598x24 + 882x25 + 808x26 + 631x27 + 698x28 + 688x29 + 339x30 + 440x31 + 989x32 + 878x33 + 749x34 + 171x35 + 657x36 + 872x37 + 369x38 + 18x39 + 700x40 + 366x41 + 233x42 + 791x43 + 177x44 + 673x45 + 601x46 + 282x47 + 435x48 + 157x49 + 106x50 + 505x51 + 2x52 + 408x53 + 711x54 + 854x55 + 547x56 + 735x57 + 25x58 + 840x59 + 9x60 + 827x61 + 595x62 + 425x63 + 750x64 + 526x65 + 829x66 + 530x67 + 424x68 + 432x69 + 153x70 + 529x71 + 835x72 + 912x73 + 662x74 + 357x75 + 10x76 + 795x77 + 440x78 + 216x79 + 501x80 + 373x81 + 460x82 + 194x83 + 634x84 + 618x85 + 956x86 + 316x87 + 19x88 + 316x89 + 416x90 + 267x91 + 723x92 + 626x93 + 982x94 + 617x95 + 192x96 + 181x97 + 127x98 + 859x99 + 407x100 + 202x101 + 65x102 + 92x103 + 898x104 + 918x105 + 788x106 + 444x107 + 554x108 + 156x109 + 470x110 + 32x111 + 397x112 + 672x113 + 604x114 + 360x115 + 949x116 + 569x117 + 7x118 + 11x119 + 375x120 + 993x121 + 722x122 + 219x123 + 910x124 + 668x125 + 221x126 + 360x127 + 667x128 + 169x129 + 291x130 + 989x131 + 805x132 + 244x133 + 100x134 + 404x135 + 504x136 + 712x137 + 434x138 + 218x139 + 407x140 + 341x141 + 531x142 + 747x143 + 273x144 + 420x145 + 347x146 + 84x147 + 293x148 + 478x149 + 823x150 + 690x151 + 485x152 + 822x153 + 81x154 + 494x155 + 236x156 + 842x157 + 271x158 + 413x159 + 502x160 + 508x161 + 522x162 + 249x163 + 876x164 + 464x165 + 951x166 + 273x167 + 244x168 + 310x169 + 440x170 + 576x171 + 299x172 + 309x173 + 96x174 + 329x175 + 98x176 + 747x177 + 976x178 + 942x179 + 137x180 + 399x181 + 764x182 + 219x183 + 430x184 + 547x185 + 573x186 + 925x187 + 955x188 + 642x189 + 652x190 + 649x191 + 467x192 + 133x193 + 36x194 + 230x195 + 307x196 + 533x197 + 412x198 + 386x199 + 688x200 + 184x201 + 199x202 + 750x203 + 548x204 + 556x205 + 340x206 + 89x207 + 512x208 + 701x209 + 636x210 + 309x211 + 544x212 + 926x213 + 359x214 + 107x215 + 498x216 + 368x217 + 133x218 + 303x219 + 452x220 + 102x221 + 357x222 + 588x223 + 840x224 + 205x225 + 63x226 + 557x227 + 537x228 + 500x229 + 747x230 + 80x231 + 378x232 + 263x233 + 886x234 + 163x235 + 603x236 + 418x237 + 304x238 + 988x239 + 899x240 + 16x241 + 486x242 + 522x243 + 940x244 + 258x245 + 71x246 + 517x247 + 489x248 + 406x249 + 177x250 <=29461 
constr2: + 222x1 + 472x2 + 557x3 + 546x4 + 397x5 + 879x6 + 570x7 + 694x8 + 46x9 + 208x10 + 947x11 + 851x12 + 571x13 + 836x14 + 161x15 + 229x16 + 273x17 + 200x18 + 768x19 + 963x20 + 866x21 + 619x22 + 654x23 + 470x24 + 949x25 + 339x26 + 667x27 + 765x28 + 719x29 + 643x30 + 772x31 + 210x32 + 767x33 + 813x34 + 719x35 + 777x36 + 821x37 + 278x38 + 766x39 + 494x40 + 617x41 + 246x42 + 300x43 + 324x44 + 187x45 + 556x46 + 416x47 + 205x48 + 797x49 + 740x50 + 85x51 + 997x52 + 442x53 + 8x54 + 261x55 + 549x56 + 221x57 + 119x58 + 961x59 + 472x60 + 866x61 + 479x62 + 730x63 + 519x64 + 757x65 + 404x66 + 68x67 + 781x68 + 788x69 + 14x70 + 16x71 + 121x72 + 845x73 + 940x74 + 53x75 + 95x76 + 671x77 + 11x78 + 555x79 + 646x80 + 722x81 + 213x82 + 152x83 + 183x84 + 317x85 + 609x86 + 639x87 + 538x88 + 699x89 + 246x90 + 788x91 + 625x92 + 525x93 + 423x94 + 768x95 + 641x96 + 806x97 + 301x98 + 924x99 + 683x100 + 105x101 + 504x102 + 768x103 + 943x104 + 643x105 + 939x106 + 240x107 + 867x108 + 880x109 + 418x110 + 259x111 + 95x112 + 990x113 + 668x114 + 827x115 + 232x116 + 971x117 + 248x118 + 579x119 + 198x120 + 775x121 + 49x122 + 101x123 + 823x124 + 841x125 + 178x126 + 295x127 + 199x128 + 27x129 + 848x130 + 680x131 + 549x132 + 693x133 + 138x134 + 390x135 + 719x136 + 883x137 + 17x138 + 501x139 + 441x140 + 317x141 + 431x142 + 430x143 + 720x144 + 346x145 + 817x146 + 270x147 + 561x148 + 531x149 + 652x150 + 330x151 + 680x152 + 337x153 + 216x154 + 227x155 + 602x156 + 142x157 + 655x158 + 173x159 + 833x160 + 28x161 + 821x162 + 799x163 + 843x164 + 352x165 + 53x166 + 706x167 + 153x168 + 236x169 + 239x170 + 546x171 + 16x172 + 831x173 + 219x174 + 662x175 + 634x176 + 797x177 + 660x178 + 247x179 + 450x180 + 7x181 + 596x182 + 522x183 + 81x184 + 536x185 + 492x186 + 494x187 + 131x188 + 868x189 + 512x190 + 724x191 + 968x192 + 680x193 + 516x194 + 817x195 + 428x196 + 530x197 + 361x198 + 229x199 + 806x200 + 335x201 + 101x202 + 624x203 + 265x204 + 454x205 + 390x206 + 466x207 + 340x208 + 848x209 + 861x210 + 64x211 + 881x212 + 284x213 + 762x214 + 781x215 + 352x216 + 557x217 + 51x218 + 70x219 + 281x220 + 338x221 + 844x222 + 955x223 + 580x224 + 352x225 + 893x226 + 342x227 + 872x228 + 554x229 + 382x230 + 925x231 + 253x232 + 844x233 + 619x234 + 824x235 + 491x236 + 562x237 + 832x238 + 346x239 + 287x240 + 499x241 + 907x242 + 863x243 + 704x244 + 365x245 + 876x246 + 186x247 + 229x248 + 543x249 + 822x250 <=32100 
constr3: + 731x1 + 557x2 + 753x3 + 26x4 + 330x5 + 428x6 + 212x7 + 735x8 + 518x9 + 144x10 + 401x11 + 412x12 + 452x13 + 87x14 + 458x15 + 473x16 + 305x17 + 398x18 + 178x19 + 873x20 + 726x21 + 10x22 + 14x23 + 112x24 + 862x25 + 471x26 + 896x27 + 340x28 + 969x29 + 929x30 + 671x31 + 933x32 + 22x33 + 862x34 + 729x35 + 339x36 + 465x37 + 56x38 + 619x39 + 420x40 + 866x41 + 844x42 + 390x43 + 27x44 + 154x45 + 987x46 + 834x47 + 167x48 + 299x49 + 627x50 + 975x51 + 49x52 + 951x53 + 597x54 + 920x55 + 451x56 + 812x57 + 901x58 + 942x59 + 64x60 + 586x61 + 292x62 + 381x63 + 32x64 + 93x65 + 573x66 + 457x67 + 880x68 + 737x69 + 793x70 + 271x71 + 683x72 + 441x73 + 274x74 + 259x75 + 939x76 + 829x77 + 114x78 + 660x79 + 565x80 + 879x81 + 218x82 + 737x83 + 407x84 + 123x85 + 153x86 + 10x87 + 419x88 + 74x89 + 114x90 + 143x91 + 169x92 + 949x93 + 869x94 + 377x95 + 430x96 + 170x97 + 161x98 + 82x99 + 879x100 + 905x101 + 286x102 + 285x103 + 155x104 + 603x105 + 372x106 + 853x107 + 675x108 + 734x109 + 715x110 + 655x111 + 123x112 + 115x113 + 145x114 + 127x115 + 973x116 + 964x117 + 566x118 + 572x119 + 714x120 + 310x121 + 631x122 + 322x123 + 984x124 + 123x125 + 300x126 + 322x127 + 265x128 + 244x129 + 570x130 + 556x131 + 617x132 + 721x133 + 200x134 + 120x135 + 990x136 + 88x137 + 10x138 + 439x139 + 669x140 + 814x141 + 822x142 + 733x143 + 889x144 + 225x145 + 787x146 + 458x147 + 978x148 + 721x149 + 506x150 + 389x151 + 782x152 + 26x153 + 140x154 + 880x155 + 883x156 + 163x157 + 242x158 + 217x159 + 264x160 + 451x161 + 609x162 + 14x163 + 46x164 + 857x165 + 214x166 + 422x167 + 234x168 + 168x169 + 227x170 + 623x171 + 632x172 + 164x173 + 716x174 + 139x175 + 806x176 + 728x177 + 917x178 + 154x179 + 398x180 + 258x181 + 968x182 + 510x183 + 737x184 + 261x185 + 31x186 + 169x187 + 379x188 + 277x189 + 670x190 + 486x191 + 515x192 + 928x193 + 558x194 + 473x195 + 398x196 + 441x197 + 864x198 + 640x199 + 65x200 + 652x201 + 464x202 + 894x203 + 715x204 + 408x205 + 765x206 + 316x207 + 108x208 + 680x209 + 249x210 + 54x211 + 648x212 + 432x213 + 957x214 + 783x215 + 281x216 + 663x217 + 563x218 + 348x219 + 264x220 + 433x221 + 40x222 + 120x223 + 697x224 + 186x225 + 791x226 + 61x227 + 345x228 + 289x229 + 399x230 + 717x231 + 945x232 + 490x233 + 328x234 + 924x235 + 584x236 + 786x237 + 583x238 + 270x239 + 689x240 + 513x241 + 895x242 + 112x243 + 426x244 + 553x245 + 36x246 + 15x247 + 711x248 + 416x249 + 925x250 <=30151 
constr4: + 762x1 + 306x2 + 215x3 + 665x4 + 840x5 + 388x6 + 40x7 + 159x8 + 785x9 + 535x10 + 906x11 + 386x12 + 863x13 + 3x14 + 636x15 + 827x16 + 960x17 + 341x18 + 299x19 + 877x20 + 202x21 + 503x22 + 659x23 + 902x24 + 157x25 + 866x26 + 855x27 + 778x28 + 279x29 + 684x30 + 545x31 + 479x32 + 635x33 + 481x34 + 968x35 + 105x36 + 398x37 + 218x38 + 612x39 + 139x40 + 303x41 + 360x42 + 19x43 + 714x44 + 11x45 + 423x46 + 185x47 + 674x48 + 435x49 + 603x50 + 330x51 + 596x52 + 112x53 + 628x54 + 927x55 + 950x56 + 672x57 + 81x58 + 257x59 + 81x60 + 679x61 + 678x62 + 376x63 + 753x64 + 70x65 + 509x66 + 187x67 + 703x68 + 42x69 + 180x70 + 862x71 + 149x72 + 916x73 + 420x74 + 276x75 + 518x76 + 900x77 + 518x78 + 233x79 + 444x80 + 357x81 + 659x82 + 254x83 + 478x84 + 263x85 + 738x86 + 196x87 + 656x88 + 479x89 + 928x90 + 135x91 + 857x92 + 46x93 + 70x94 + 847x95 + 138x96 + 516x97 + 549x98 + 824x99 + 123x100 + 515x101 + 859x102 + 284x103 + 237x104 + 43x105 + 59x106 + 781x107 + 487x108 + 992x109 + 190x110 + 717x111 + 418x112 + 918x113 + 843x114 + 137x115 + 347x116 + 416x117 + 95x118 + 114x119 + 803x120 + 587x121 + 5x122 + 321x123 + 569x124 + 477x125 + 828x126 + 661x127 + 34x128 + 605x129 + 43x130 + 55x131 + 814x132 + 825x133 + 733x134 + 752x135 + 386x136 + 210x137 + 597x138 + 327x139 + 860x140 + 784x141 + 936x142 + 180x143 + 275x144 + 653x145 + 164x146 + 963x147 + 506x148 + 58x149 + 92x150 + 705x151 + 808x152 + 347x153 + 817x154 + 336x155 + 465x156 + 332x157 + 208x158 + 899x159 + 170x160 + 80x161 + 870x162 + 208x163 + 471x164 + 246x165 + 571x166 + 672x167 + 516x168 + 362x169 + 329x170 + 160x171 + 894x172 + 732x173 + 380x174 + 933x175 + 95x176 + 747x177 + 374x178 + 938x179 + 347x180 + 247x181 + 945x182 + 297x183 + 790x184 + 529x185 + 684x186 + 387x187 + 578x188 + 3x189 + 666x190 + 407x191 + 977x192 + 566x193 + 885x194 + 835x195 + 879x196 + 544x197 + 805x198 + 758x199 + 644x200 + 91x201 + 761x202 + 218x203 + 396x204 + 627x205 + 969x206 + 666x207 + 895x208 + 799x209 + 969x210 + 960x211 + 279x212 + 229x213 + 230x214 + 755x215 + 502x216 + 11x217 + 598x218 + 369x219 + 723x220 + 609x221 + 714x222 + 875x223 + 56x224 + 335x225 + 458x226 + 177x227 + 605x228 + 520x229 + 924x230 + 329x231 + 794x232 + 564x233 + 139x234 + 356x235 + 726x236 + 454x237 + 513x238 + 67x239 + 91x240 + 986x241 + 885x242 + 843x243 + 726x244 + 821x245 + 884x246 + 85x247 + 631x248 + 553x249 + 295x250 <=31550 
constr5: + 173x1 + 37x2 + 767x3 + 919x4 + 829x5 + 638x6 + 3x7 + 627x8 + 161x9 + 465x10 + 470x11 + 542x12 + 10x13 + 548x14 + 134x15 + 921x16 + 190x17 + 493x18 + 461x19 + 947x20 + 198x21 + 34x22 + 132x23 + 570x24 + 397x25 + 966x26 + 566x27 + 433x28 + 529x29 + 33x30 + 796x31 + 719x32 + 836x33 + 671x34 + 124x35 + 283x36 + 103x37 + 892x38 + 369x39 + 714x40 + 939x41 + 364x42 + 185x43 + 100x44 + 727x45 + 269x46 + 496x47 + 73x48 + 721x49 + 624x50 + 696x51 + 495x52 + 196x53 + 940x54 + 477x55 + 680x56 + 581x57 + 993x58 + 737x59 + 765x60 + 702x61 + 965x62 + 796x63 + 558x64 + 87x65 + 793x66 + 594x67 + 861x68 + 832x69 + 921x70 + 578x71 + 245x72 + 815x73 + 453x74 + 722x75 + 165x76 + 18x77 + 106x78 + 764x79 + 4x80 + 403x81 + 600x82 + 934x83 + 812x84 + 966x85 + 498x86 + 372x87 + 847x88 + 580x89 + 119x90 + 942x91 + 594x92 + 525x93 + 83x94 + 953x95 + 476x96 + 879x97 + 660x98 + 583x99 + 68x100 + 761x101 + 693x102 + 190x103 + 189x104 + 318x105 + 973x106 + 632x107 + 667x108 + 186x109 + 757x110 + 160x111 + 635x112 + 686x113 + 916x114 + 447x115 + 76x116 + 19x117 + 259x118 + 282x119 + 679x120 + 496x121 + 743x122 + 212x123 + 295x124 + 524x125 + 977x126 + 546x127 + 880x128 + 83x129 + 544x130 + 995x131 + 914x132 + 168x133 + 881x134 + 108x135 + 794x136 + 894x137 + 643x138 + 269x139 + 589x140 + 679x141 + 710x142 + 324x143 + 556x144 + 401x145 + 621x146 + 773x147 + 893x148 + 475x149 + 247x150 + 86x151 + 527x152 + 659x153 + 210x154 + 148x155 + 532x156 + 229x157 + 410x158 + 40x159 + 852x160 + 563x161 + 499x162 + 999x163 + 533x164 + 407x165 + 556x166 + 653x167 + 517x168 + 985x169 + 504x170 + 711x171 + 811x172 + 177x173 + 692x174 + 474x175 + 408x176 + 372x177 + 10x178 + 246x179 + 161x180 + 687x181 + 351x182 + 778x183 + 953x184 + 316x185 + 486x186 + 78x187 + 97x188 + 775x189 + 539x190 + 243x191 + 751x192 + 567x193 + 368x194 + 795x195 + 887x196 + 437x197 + 959x198 + 24x199 + 20x200 + 182x201 + 147x202 + 766x203 + 804x204 + 505x205 + 599x206 + 240x207 + 503x208 + 575x209 + 3x210 + 395x211 + 670x212 + 381x213 + 395x214 + 996x215 + 492x216 + 171x217 + 22x218 + 362x219 + 373x220 + 138x221 + 694x222 + 75x223 + 912x224 + 567x225 + 540x226 + 311x227 + 294x228 + 754x229 + 497x230 + 767x231 + 712x232 + 301x233 + 949x234 + 812x235 + 866x236 + 253x237 + 424x238 + 135x239 + 129x240 + 211x241 + 465x242 + 315x243 + 269x244 + 359x245 + 602x246 + 492x247 + 423x248 + 384x249 + 584x250 <=31572 
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