maximize 
objective: + 738x1 + 584x2 + 424x3 + 572x4 + 792x5 + 478x6 + 730x7 + 891x8 + 656x9 + 772x10 + 531x11 + 769x12 + 839x13 + 948x14 + 561x15 + 796x16 + 783x17 + 672x18 + 775x19 + 657x20 + 683x21 + 971x22 + 1049x23 + 547x24 + 684x25 + 734x26 + 769x27 + 817x28 + 802x29 + 851x30 + 1074x31 + 633x32 + 822x33 + 434x34 + 1057x35 + 611x36 + 800x37 + 752x38 + 792x39 + 748x40 + 981x41 + 571x42 + 539x43 + 626x44 + 634x45 + 492x46 + 974x47 + 798x48 + 762x49 + 539x50 + 831x51 + 757x52 + 792x53 + 980x54 + 676x55 + 414x56 + 872x57 + 683x58 + 585x59 + 661x60 + 374x61 + 614x62 + 523x63 + 824x64 + 915x65 + 583x66 + 745x67 + 585x68 + 721x69 + 937x70 + 1069x71 + 683x72 + 739x73 + 933x74 + 770x75 + 659x76 + 697x77 + 607x78 + 975x79 + 475x80 + 680x81 + 591x82 + 811x83 + 841x84 + 759x85 + 715x86 + 867x87 + 851x88 + 697x89 + 730x90 + 519x91 + 689x92 + 884x93 + 847x94 + 884x95 + 595x96 + 640x97 + 1016x98 + 1090x99 + 797x100 + 709x101 + 543x102 + 660x103 + 577x104 + 829x105 + 923x106 + 646x107 + 1143x108 + 711x109 + 942x110 + 501x111 + 621x112 + 902x113 + 681x114 + 447x115 + 812x116 + 820x117 + 545x118 + 833x119 + 909x120 + 657x121 + 1020x122 + 583x123 + 493x124 + 610x125 + 385x126 + 580x127 + 911x128 + 622x129 + 1140x130 + 373x131 + 860x132 + 735x133 + 736x134 + 848x135 + 998x136 + 598x137 + 1198x138 + 850x139 + 710x140 + 1087x141 + 814x142 + 695x143 + 806x144 + 801x145 + 416x146 + 513x147 + 719x148 + 965x149 + 813x150 + 930x151 + 830x152 + 406x153 + 804x154 + 590x155 + 572x156 + 828x157 + 1287x158 + 676x159 + 1116x160 + 632x161 + 744x162 + 510x163 + 1172x164 + 488x165 + 505x166 + 885x167 + 784x168 + 386x169 + 823x170 + 1024x171 + 627x172 + 1066x173 + 980x174 + 875x175 + 1005x176 + 827x177 + 597x178 + 821x179 + 829x180 + 451x181 + 546x182 + 696x183 + 405x184 + 632x185 + 849x186 + 653x187 + 594x188 + 1077x189 + 1090x190 + 748x191 + 477x192 + 485x193 + 838x194 + 953x195 + 565x196 + 677x197 + 609x198 + 579x199 + 543x200 + 598x201 + 523x202 + 877x203 + 500x204 + 603x205 + 892x206 + 848x207 + 425x208 + 528x209 + 975x210 + 719x211 + 797x212 + 744x213 + 797x214 + 1003x215 + 955x216 + 882x217 + 689x218 + 339x219 + 598x220 + 556x221 + 463x222 + 715x223 + 885x224 + 814x225 + 817x226 + 352x227 + 672x228 + 931x229 + 678x230 + 856x231 + 731x232 + 873x233 + 844x234 + 919x235 + 967x236 + 820x237 + 333x238 + 744x239 + 1176x240 + 391x241 + 972x242 + 405x243 + 548x244 + 688x245 + 849x246 + 1088x247 + 481x248 + 524x249 + 629x250 
subject to 
constr1: + 585x1 + 358x2 + 619x3 + 277x4 + 553x5 + 179x6 + 297x7 + 295x8 + 615x9 + 303x10 + 115x11 + 250x12 + 538x13 + 270x14 + 442x15 + 283x16 + 673x17 + 577x18 + 177x19 + 167x20 + 265x21 + 349x22 + 908x23 + 693x24 + 93x25 + 144x26 + 704x27 + 976x28 + 976x29 + 55x30 + 987x31 + 329x32 + 524x33 + 874x34 + 642x35 + 390x36 + 48x37 + 138x38 + 269x39 + 556x40 + 251x41 + 423x42 + 667x43 + 150x44 + 299x45 + 532x46 + 228x47 + 67x48 + 732x49 + 199x50 + 306x51 + 281x52 + 58x53 + 489x54 + 575x55 + 75x56 + 796x57 + 202x58 + 45x59 + 91x60 + 118x61 + 306x62 + 968x63 + 48x64 + 685x65 + 480x66 + 644x67 + 774x68 + 312x69 + 490x70 + 317x71 + 481x72 + 292x73 + 704x74 + 282x75 + 983x76 + 972x77 + 225x78 + 609x79 + 200x80 + 82x81 + 899x82 + 65x83 + 470x84 + 911x85 + 884x86 + 106x87 + 412x88 + 836x89 + 361x90 + 133x91 + 8x92 + 471x93 + 369x94 + 587x95 + 425x96 + 685x97 + 960x98 + 974x99 + 71x100 + 930x101 + 132x102 + 658x103 + 356x104 + 888x105 + 874x106 + 953x107 + 790x108 + 963x109 + 327x110 + 121x111 + 42x112 + 913x113 + 157x114 + 54x115 + 752x116 + 98x117 + 395x118 + 310x119 + 248x120 + 788x121 + 123x122 + 289x123 + 528x124 + 211x125 + 34x126 + 661x127 + 922x128 + 58x129 + 418x130 + 19x131 + 439x132 + 92x133 + 128x134 + 851x135 + 447x136 + 577x137 + 908x138 + 864x139 + 435x140 + 986x141 + 979x142 + 19x143 + 161x144 + 107x145 + 702x146 + 904x147 + 269x148 + 659x149 + 56x150 + 571x151 + 567x152 + 452x153 + 11x154 + 865x155 + 577x156 + 818x157 + 800x158 + 582x159 + 980x160 + 262x161 + 976x162 + 121x163 + 936x164 + 528x165 + 477x166 + 409x167 + 456x168 + 351x169 + 639x170 + 230x171 + 143x172 + 824x173 + 495x174 + 136x175 + 636x176 + 999x177 + 46x178 + 977x179 + 222x180 + 776x181 + 299x182 + 689x183 + 561x184 + 12x185 + 326x186 + 708x187 + 212x188 + 149x189 + 792x190 + 389x191 + 552x192 + 512x193 + 303x194 + 193x195 + 208x196 + 37x197 + 579x198 + 188x199 + 832x200 + 192x201 + 377x202 + 301x203 + 264x204 + 333x205 + 586x206 + 720x207 + 757x208 + 613x209 + 19x210 + 430x211 + 172x212 + 635x213 + 491x214 + 343x215 + 165x216 + 181x217 + 927x218 + 931x219 + 545x220 + 58x221 + 76x222 + 3x223 + 28x224 + 408x225 + 89x226 + 107x227 + 264x228 + 259x229 + 467x230 + 924x231 + 767x232 + 701x233 + 989x234 + 50x235 + 975x236 + 441x237 + 901x238 + 130x239 + 787x240 + 429x241 + 703x242 + 154x243 + 341x244 + 794x245 + 632x246 + 94x247 + 61x248 + 53x249 + 219x250 <=84332 
constr2: + 374x1 + 48x2 + 547x3 + 116x4 + 528x5 + 9x6 + 543x7 + 877x8 + 766x9 + 704x10 + 371x11 + 412x12 + 232x13 + 893x14 + 239x15 + 657x16 + 488x17 + 43x18 + 148x19 + 488x20 + 143x21 + 197x22 + 616x23 + 498x24 + 531x25 + 706x26 + 119x27 + 427x28 + 381x29 + 136x30 + 950x31 + 860x32 + 444x33 + 321x34 + 615x35 + 775x36 + 108x37 + 143x38 + 427x39 + 156x40 + 339x41 + 721x42 + 155x43 + 14x44 + 377x45 + 123x46 + 853x47 + 813x48 + 581x49 + 366x50 + 527x51 + 793x52 + 879x53 + 973x54 + 796x55 + 819x56 + 978x57 + 443x58 + 9x59 + 980x60 + 294x61 + 21x62 + 879x63 + 593x64 + 510x65 + 555x66 + 870x67 + 621x68 + 838x69 + 982x70 + 262x71 + 502x72 + 954x73 + 633x74 + 701x75 + 114x76 + 502x77 + 39x78 + 511x79 + 977x80 + 866x81 + 431x82 + 185x83 + 970x84 + 338x85 + 73x86 + 747x87 + 403x88 + 174x89 + 248x90 + 473x91 + 25x92 + 262x93 + 790x94 + 536x95 + 411x96 + 436x97 + 536x98 + 225x99 + 855x100 + 695x101 + 358x102 + 471x103 + 809x104 + 74x105 + 585x106 + 168x107 + 648x108 + 401x109 + 969x110 + 869x111 + 150x112 + 606x113 + 318x114 + 106x115 + 35x116 + 703x117 + 899x118 + 772x119 + 769x120 + 297x121 + 713x122 + 589x123 + 773x124 + 904x125 + 25x126 + 73x127 + 626x128 + 653x129 + 871x130 + 198x131 + 845x132 + 998x133 + 775x134 + 398x135 + 455x136 + 356x137 + 848x138 + 20x139 + 791x140 + 440x141 + 755x142 + 576x143 + 652x144 + 331x145 + 235x146 + 578x147 + 707x148 + 735x149 + 593x150 + 792x151 + 685x152 + 17x153 + 790x154 + 743x155 + 293x156 + 178x157 + 519x158 + 563x159 + 564x160 + 554x161 + 600x162 + 79x163 + 893x164 + 484x165 + 17x166 + 843x167 + 904x168 + 720x169 + 288x170 + 561x171 + 47x172 + 707x173 + 140x174 + 430x175 + 354x176 + 295x177 + 213x178 + 657x179 + 106x180 + 610x181 + 44x182 + 949x183 + 240x184 + 38x185 + 487x186 + 390x187 + 595x188 + 925x189 + 809x190 + 69x191 + 108x192 + 795x193 + 282x194 + 763x195 + 705x196 + 1x197 + 307x198 + 527x199 + 99x200 + 654x201 + 592x202 + 936x203 + 161x204 + 332x205 + 684x206 + 457x207 + 376x208 + 322x209 + 878x210 + 544x211 + 753x212 + 383x213 + 349x214 + 845x215 + 73x216 + 793x217 + 708x218 + 58x219 + 87x220 + 169x221 + 869x222 + 575x223 + 919x224 + 295x225 + 607x226 + 218x227 + 617x228 + 45x229 + 383x230 + 929x231 + 841x232 + 837x233 + 576x234 + 287x235 + 740x236 + 625x237 + 82x238 + 832x239 + 695x240 + 198x241 + 748x242 + 205x243 + 872x244 + 223x245 + 578x246 + 998x247 + 841x248 + 746x249 + 180x250 <=94220 
constr3: + 347x1 + 112x2 + 509x3 + 724x4 + 753x5 + 447x6 + 472x7 + 389x8 + 180x9 + 436x10 + 991x11 + 652x12 + 913x13 + 177x14 + 982x15 + 184x16 + 672x17 + 329x18 + 546x19 + 80x20 + 259x21 + 998x22 + 737x23 + 401x24 + 986x25 + 549x26 + 713x27 + 548x28 + 922x29 + 751x30 + 857x31 + 761x32 + 930x33 + 182x34 + 195x35 + 534x36 + 963x37 + 460x38 + 539x39 + 37x40 + 762x41 + 603x42 + 96x43 + 569x44 + 799x45 + 707x46 + 296x47 + 647x48 + 378x49 + 639x50 + 169x51 + 861x52 + 523x53 + 830x54 + 483x55 + 307x56 + 462x57 + 579x58 + 15x59 + 283x60 + 281x61 + 795x62 + 349x63 + 129x64 + 549x65 + 674x66 + 888x67 + 739x68 + 557x69 + 973x70 + 907x71 + 16x72 + 379x73 + 724x74 + 496x75 + 728x76 + 131x77 + 816x78 + 20x79 + 95x80 + 838x81 + 14x82 + 908x83 + 584x84 + 470x85 + 214x86 + 14x87 + 995x88 + 890x89 + 151x90 + 7x91 + 783x92 + 425x93 + 750x94 + 712x95 + 326x96 + 22x97 + 435x98 + 831x99 + 755x100 + 272x101 + 554x102 + 550x103 + 684x104 + 518x105 + 810x106 + 974x107 + 303x108 + 605x109 + 671x110 + 122x111 + 246x112 + 18x113 + 271x114 + 900x115 + 923x116 + 798x117 + 263x118 + 168x119 + 889x120 + 988x121 + 859x122 + 377x123 + 560x124 + 699x125 + 176x126 + 927x127 + 750x128 + 700x129 + 714x130 + 446x131 + 974x132 + 67x133 + 324x134 + 173x135 + 762x136 + 974x137 + 803x138 + 427x139 + 608x140 + 910x141 + 761x142 + 370x143 + 182x144 + 192x145 + 322x146 + 320x147 + 220x148 + 962x149 + 336x150 + 49x151 + 702x152 + 390x153 + 463x154 + 463x155 + 30x156 + 600x157 + 952x158 + 245x159 + 395x160 + 311x161 + 390x162 + 270x163 + 996x164 + 358x165 + 186x166 + 744x167 + 26x168 + 144x169 + 815x170 + 631x171 + 233x172 + 885x173 + 821x174 + 491x175 + 805x176 + 470x177 + 318x178 + 297x179 + 332x180 + 338x181 + 881x182 + 723x183 + 576x184 + 727x185 + 426x186 + 247x187 + 656x188 + 847x189 + 974x190 + 408x191 + 379x192 + 120x193 + 47x194 + 950x195 + 396x196 + 249x197 + 61x198 + 958x199 + 148x200 + 197x201 + 359x202 + 778x203 + 211x204 + 362x205 + 139x206 + 246x207 + 148x208 + 806x209 + 739x210 + 303x211 + 859x212 + 990x213 + 827x214 + 52x215 + 944x216 + 471x217 + 76x218 + 362x219 + 112x220 + 848x221 + 923x222 + 193x223 + 111x224 + 229x225 + 902x226 + 551x227 + 264x228 + 533x229 + 188x230 + 848x231 + 392x232 + 910x233 + 346x234 + 403x235 + 86x236 + 557x237 + 556x238 + 659x239 + 604x240 + 456x241 + 306x242 + 226x243 + 74x244 + 439x245 + 190x246 + 397x247 + 366x248 + 470x249 + 910x250 <=95144 
constr4: + 783x1 + 509x2 + 164x3 + 262x4 + 103x5 + 432x6 + 280x7 + 107x8 + 17x9 + 127x10 + 688x11 + 591x12 + 102x13 + 846x14 + 362x15 + 624x16 + 458x17 + 842x18 + 446x19 + 696x20 + 249x21 + 619x22 + 210x23 + 602x24 + 297x25 + 759x26 + 660x27 + 768x28 + 613x29 + 762x30 + 36x31 + 127x32 + 903x33 + 238x34 + 649x35 + 776x36 + 675x37 + 468x38 + 520x39 + 981x40 + 404x41 + 256x42 + 420x43 + 79x44 + 511x45 + 726x46 + 473x47 + 210x48 + 241x49 + 975x50 + 926x51 + 197x52 + 801x53 + 538x54 + 237x55 + 147x56 + 397x57 + 675x58 + 548x59 + 612x60 + 358x61 + 643x62 + 162x63 + 560x64 + 458x65 + 133x66 + 241x67 + 264x68 + 941x69 + 244x70 + 733x71 + 244x72 + 647x73 + 133x74 + 352x75 + 244x76 + 60x77 + 608x78 + 699x79 + 520x80 + 230x81 + 189x82 + 44x83 + 558x84 + 595x85 + 297x86 + 474x87 + 630x88 + 54x89 + 558x90 + 458x91 + 87x92 + 245x93 + 347x94 + 71x95 + 440x96 + 368x97 + 768x98 + 635x99 + 78x100 + 197x101 + 608x102 + 311x103 + 17x104 + 99x105 + 748x106 + 564x107 + 693x108 + 997x109 + 124x110 + 872x111 + 904x112 + 482x113 + 164x114 + 376x115 + 216x116 + 174x117 + 424x118 + 1000x119 + 139x120 + 907x121 + 352x122 + 195x123 + 115x124 + 693x125 + 105x126 + 131x127 + 472x128 + 896x129 + 929x130 + 983x131 + 587x132 + 234x133 + 1000x134 + 951x135 + 123x136 + 224x137 + 767x138 + 825x139 + 890x140 + 369x141 + 569x142 + 825x143 + 581x144 + 237x145 + 324x146 + 114x147 + 470x148 + 347x149 + 39x150 + 127x151 + 929x152 + 13x153 + 512x154 + 24x155 + 400x156 + 308x157 + 741x158 + 710x159 + 455x160 + 955x161 + 142x162 + 589x163 + 711x164 + 109x165 + 756x166 + 652x167 + 251x168 + 133x169 + 132x170 + 589x171 + 780x172 + 953x173 + 529x174 + 764x175 + 468x176 + 78x177 + 765x178 + 210x179 + 629x180 + 186x181 + 390x182 + 775x183 + 424x184 + 235x185 + 936x186 + 594x187 + 125x188 + 267x189 + 902x190 + 784x191 + 893x192 + 568x193 + 912x194 + 749x195 + 920x196 + 909x197 + 268x198 + 22x199 + 560x200 + 515x201 + 764x202 + 306x203 + 858x204 + 21x205 + 251x206 + 435x207 + 424x208 + 6x209 + 399x210 + 769x211 + 559x212 + 258x213 + 548x214 + 473x215 + 985x216 + 927x217 + 263x218 + 80x219 + 866x220 + 242x221 + 366x222 + 938x223 + 691x224 + 945x225 + 952x226 + 144x227 + 705x228 + 684x229 + 55x230 + 669x231 + 842x232 + 778x233 + 255x234 + 807x235 + 173x236 + 876x237 + 38x238 + 422x239 + 398x240 + 132x241 + 274x242 + 350x243 + 140x244 + 629x245 + 715x246 + 516x247 + 67x248 + 247x249 + 109x250 <=88617 
constr5: + 274x1 + 144x2 + 168x3 + 499x4 + 986x5 + 688x6 + 100x7 + 484x8 + 213x9 + 871x10 + 280x11 + 231x12 + 113x13 + 522x14 + 137x15 + 710x16 + 148x17 + 324x18 + 552x19 + 556x20 + 379x21 + 816x22 + 682x23 + 485x24 + 968x25 + 571x26 + 392x27 + 450x28 + 39x29 + 135x30 + 236x31 + 65x32 + 496x33 + 334x34 + 942x35 + 263x36 + 122x37 + 357x38 + 769x39 + 173x40 + 780x41 + 477x42 + 41x43 + 267x44 + 874x45 + 264x46 + 993x47 + 975x48 + 841x49 + 391x50 + 646x51 + 827x52 + 267x53 + 270x54 + 62x55 + 570x56 + 561x57 + 300x58 + 142x59 + 600x60 + 253x61 + 212x62 + 117x63 + 701x64 + 682x65 + 61x66 + 28x67 + 512x68 + 377x69 + 105x70 + 730x71 + 427x72 + 197x73 + 896x74 + 41x75 + 458x76 + 81x77 + 826x78 + 858x79 + 107x80 + 551x81 + 543x82 + 953x83 + 4x84 + 119x85 + 447x86 + 792x87 + 271x88 + 825x89 + 632x90 + 733x91 + 679x92 + 667x93 + 98x94 + 227x95 + 327x96 + 761x97 + 500x98 + 617x99 + 623x100 + 552x101 + 741x102 + 477x103 + 398x104 + 664x105 + 290x106 + 150x107 + 998x108 + 165x109 + 907x110 + 355x111 + 138x112 + 700x113 + 499x114 + 295x115 + 760x116 + 574x117 + 275x118 + 738x119 + 614x120 + 302x121 + 582x122 + 750x123 + 22x124 + 402x125 + 154x126 + 246x127 + 929x128 + 116x129 + 380x130 + 166x131 + 172x132 + 285x133 + 8x134 + 314x135 + 910x136 + 142x137 + 371x138 + 737x139 + 133x140 + 630x141 + 136x142 + 526x143 + 308x144 + 866x145 + 228x146 + 529x147 + 965x148 + 272x149 + 547x150 + 714x151 + 61x152 + 298x153 + 487x154 + 345x155 + 860x156 + 347x157 + 980x158 + 37x159 + 769x160 + 515x161 + 212x162 + 627x163 + 256x164 + 58x165 + 283x166 + 499x167 + 67x168 + 278x169 + 329x170 + 665x171 + 9x172 + 52x173 + 547x174 + 288x175 + 368x176 + 312x177 + 17x178 + 471x179 + 780x180 + 229x181 + 758x182 + 113x183 + 53x184 + 572x185 + 2x186 + 861x187 + 946x188 + 765x189 + 807x190 + 810x191 + 88x192 + 254x193 + 756x194 + 983x195 + 97x196 + 654x197 + 877x198 + 862x199 + 180x200 + 639x201 + 215x202 + 295x203 + 592x204 + 79x205 + 804x206 + 676x207 + 280x208 + 294x209 + 403x210 + 968x211 + 725x212 + 534x213 + 37x214 + 974x215 + 775x216 + 268x217 + 263x218 + 211x219 + 697x220 + 456x221 + 35x222 + 954x223 + 567x224 + 245x225 + 397x226 + 716x227 + 48x228 + 929x229 + 270x230 + 884x231 + 539x232 + 20x233 + 90x234 + 555x235 + 443x236 + 432x237 + 42x238 + 368x239 + 979x240 + 453x241 + 777x242 + 901x243 + 448x244 + 809x245 + 447x246 + 986x247 + 385x248 + 58x249 + 263x250 <=85276 
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