maximize 
objective: + 725x1 + 516x2 + 871x3 + 567x4 + 837x5 + 603x6 + 569x7 + 912x8 + 812x9 + 730x10 + 538x11 + 947x12 + 566x13 + 922x14 + 761x15 + 570x16 + 875x17 + 638x18 + 918x19 + 757x20 + 776x21 + 326x22 + 748x23 + 465x24 + 839x25 + 738x26 + 854x27 + 828x28 + 993x29 + 780x30 + 514x31 + 664x32 + 801x33 + 874x34 + 641x35 + 625x36 + 650x37 + 460x38 + 869x39 + 811x40 + 727x41 + 869x42 + 729x43 + 553x44 + 1063x45 + 611x46 + 490x47 + 341x48 + 885x49 + 1068x50 + 613x51 + 871x52 + 751x53 + 943x54 + 445x55 + 958x56 + 610x57 + 677x58 + 503x59 + 769x60 + 693x61 + 902x62 + 803x63 + 498x64 + 476x65 + 1168x66 + 383x67 + 783x68 + 591x69 + 1028x70 + 918x71 + 537x72 + 852x73 + 462x74 + 715x75 + 863x76 + 960x77 + 596x78 + 612x79 + 1102x80 + 505x81 + 996x82 + 709x83 + 824x84 + 747x85 + 1064x86 + 566x87 + 376x88 + 544x89 + 793x90 + 673x91 + 836x92 + 1003x93 + 731x94 + 1029x95 + 492x96 + 732x97 + 898x98 + 961x99 + 647x100 + 834x101 + 469x102 + 495x103 + 880x104 + 682x105 + 388x106 + 621x107 + 330x108 + 827x109 + 1013x110 + 761x111 + 483x112 + 883x113 + 584x114 + 664x115 + 813x116 + 929x117 + 749x118 + 448x119 + 1099x120 + 448x121 + 581x122 + 661x123 + 777x124 + 573x125 + 690x126 + 731x127 + 963x128 + 612x129 + 832x130 + 677x131 + 604x132 + 697x133 + 850x134 + 926x135 + 1045x136 + 648x137 + 595x138 + 449x139 + 777x140 + 604x141 + 810x142 + 807x143 + 524x144 + 842x145 + 493x146 + 775x147 + 619x148 + 1012x149 + 644x150 + 1144x151 + 878x152 + 378x153 + 675x154 + 856x155 + 865x156 + 494x157 + 656x158 + 374x159 + 712x160 + 880x161 + 892x162 + 1051x163 + 744x164 + 474x165 + 491x166 + 794x167 + 516x168 + 839x169 + 1057x170 + 1015x171 + 814x172 + 713x173 + 699x174 + 803x175 + 1020x176 + 952x177 + 907x178 + 601x179 + 886x180 + 503x181 + 454x182 + 853x183 + 592x184 + 782x185 + 812x186 + 591x187 + 854x188 + 515x189 + 926x190 + 925x191 + 704x192 + 1141x193 + 484x194 + 937x195 + 985x196 + 501x197 + 670x198 + 846x199 + 820x200 + 995x201 + 848x202 + 588x203 + 871x204 + 901x205 + 448x206 + 830x207 + 1021x208 + 747x209 + 925x210 + 739x211 + 586x212 + 666x213 + 843x214 + 730x215 + 985x216 + 810x217 + 818x218 + 804x219 + 552x220 + 432x221 + 873x222 + 738x223 + 621x224 + 572x225 + 705x226 + 873x227 + 778x228 + 468x229 + 447x230 + 782x231 + 633x232 + 835x233 + 736x234 + 704x235 + 966x236 + 806x237 + 883x238 + 734x239 + 827x240 + 521x241 + 822x242 + 671x243 + 754x244 + 672x245 + 549x246 + 924x247 + 840x248 + 920x249 + 590x250 
subject to 
constr1: + 787x1 + 399x2 + 225x3 + 645x4 + 26x5 + 909x6 + 303x7 + 550x8 + 542x9 + 217x10 + 792x11 + 860x12 + 667x13 + 895x14 + 335x15 + 504x16 + 387x17 + 427x18 + 887x19 + 781x20 + 572x21 + 109x22 + 720x23 + 127x24 + 276x25 + 8x26 + 169x27 + 521x28 + 850x29 + 847x30 + 820x31 + 467x32 + 292x33 + 383x34 + 924x35 + 606x36 + 135x37 + 538x38 + 887x39 + 119x40 + 762x41 + 817x42 + 411x43 + 540x44 + 810x45 + 126x46 + 658x47 + 18x48 + 276x49 + 964x50 + 557x51 + 754x52 + 812x53 + 152x54 + 10x55 + 591x56 + 368x57 + 77x58 + 341x59 + 745x60 + 203x61 + 248x62 + 448x63 + 679x64 + 42x65 + 959x66 + 226x67 + 206x68 + 713x69 + 330x70 + 409x71 + 100x72 + 339x73 + 455x74 + 799x75 + 834x76 + 651x77 + 527x78 + 629x79 + 917x80 + 126x81 + 906x82 + 794x83 + 876x84 + 28x85 + 859x86 + 418x87 + 439x88 + 707x89 + 211x90 + 383x91 + 435x92 + 42x93 + 599x94 + 64x95 + 968x96 + 262x97 + 473x98 + 612x99 + 366x100 + 470x101 + 294x102 + 988x103 + 699x104 + 190x105 + 716x106 + 820x107 + 159x108 + 503x109 + 706x110 + 728x111 + 353x112 + 361x113 + 885x114 + 262x115 + 561x116 + 941x117 + 638x118 + 127x119 + 949x120 + 565x121 + 205x122 + 565x123 + 120x124 + 72x125 + 220x126 + 828x127 + 405x128 + 343x129 + 147x130 + 928x131 + 303x132 + 672x133 + 470x134 + 570x135 + 894x136 + 638x137 + 600x138 + 82x139 + 153x140 + 997x141 + 694x142 + 795x143 + 319x144 + 574x145 + 484x146 + 833x147 + 219x148 + 591x149 + 393x150 + 915x151 + 866x152 + 847x153 + 729x154 + 368x155 + 478x156 + 780x157 + 158x158 + 28x159 + 904x160 + 541x161 + 317x162 + 839x163 + 80x164 + 831x165 + 394x166 + 761x167 + 804x168 + 936x169 + 451x170 + 704x171 + 610x172 + 13x173 + 93x174 + 261x175 + 877x176 + 756x177 + 632x178 + 890x179 + 177x180 + 33x181 + 59x182 + 380x183 + 847x184 + 856x185 + 336x186 + 480x187 + 951x188 + 743x189 + 262x190 + 7x191 + 681x192 + 353x193 + 41x194 + 913x195 + 753x196 + 314x197 + 401x198 + 691x199 + 550x200 + 206x201 + 28x202 + 712x203 + 545x204 + 984x205 + 228x206 + 920x207 + 933x208 + 68x209 + 369x210 + 259x211 + 451x212 + 875x213 + 69x214 + 20x215 + 779x216 + 601x217 + 226x218 + 334x219 + 130x220 + 16x221 + 875x222 + 471x223 + 790x224 + 371x225 + 645x226 + 766x227 + 602x228 + 202x229 + 20x230 + 150x231 + 858x232 + 808x233 + 972x234 + 176x235 + 662x236 + 125x237 + 462x238 + 387x239 + 926x240 + 837x241 + 383x242 + 507x243 + 282x244 + 741x245 + 119x246 + 385x247 + 462x248 + 721x249 + 710x250 <=94850 
constr2: + 104x1 + 63x2 + 208x3 + 839x4 + 18x5 + 593x6 + 889x7 + 410x8 + 918x9 + 60x10 + 198x11 + 810x12 + 524x13 + 530x14 + 197x15 + 35x16 + 610x17 + 353x18 + 205x19 + 113x20 + 941x21 + 137x22 + 327x23 + 545x24 + 945x25 + 60x26 + 809x27 + 632x28 + 924x29 + 928x30 + 25x31 + 749x32 + 639x33 + 23x34 + 246x35 + 256x36 + 538x37 + 289x38 + 374x39 + 727x40 + 937x41 + 246x42 + 950x43 + 132x44 + 251x45 + 901x46 + 533x47 + 616x48 + 268x49 + 467x50 + 543x51 + 302x52 + 920x53 + 916x54 + 435x55 + 535x56 + 326x57 + 171x58 + 36x59 + 65x60 + 374x61 + 354x62 + 24x63 + 183x64 + 298x65 + 432x66 + 306x67 + 495x68 + 45x69 + 846x70 + 151x71 + 637x72 + 295x73 + 271x74 + 963x75 + 306x76 + 204x77 + 915x78 + 377x79 + 996x80 + 848x81 + 306x82 + 940x83 + 413x84 + 250x85 + 153x86 + 225x87 + 451x88 + 915x89 + 918x90 + 472x91 + 906x92 + 901x93 + 451x94 + 327x95 + 731x96 + 955x97 + 172x98 + 885x99 + 419x100 + 453x101 + 376x102 + 558x103 + 292x104 + 512x105 + 401x106 + 292x107 + 148x108 + 775x109 + 820x110 + 456x111 + 103x112 + 324x113 + 96x114 + 51x115 + 789x116 + 757x117 + 878x118 + 695x119 + 267x120 + 414x121 + 293x122 + 109x123 + 603x124 + 194x125 + 234x126 + 244x127 + 994x128 + 153x129 + 346x130 + 494x131 + 925x132 + 192x133 + 527x134 + 723x135 + 723x136 + 780x137 + 124x138 + 706x139 + 41x140 + 252x141 + 936x142 + 899x143 + 441x144 + 345x145 + 516x146 + 549x147 + 343x148 + 551x149 + 357x150 + 480x151 + 608x152 + 40x153 + 744x154 + 562x155 + 635x156 + 373x157 + 329x158 + 258x159 + 452x160 + 412x161 + 978x162 + 966x163 + 869x164 + 359x165 + 252x166 + 549x167 + 380x168 + 803x169 + 78x170 + 828x171 + 330x172 + 283x173 + 656x174 + 1x175 + 233x176 + 839x177 + 934x178 + 121x179 + 714x180 + 177x181 + 230x182 + 145x183 + 442x184 + 217x185 + 176x186 + 695x187 + 746x188 + 614x189 + 896x190 + 15x191 + 1x192 + 763x193 + 12x194 + 380x195 + 906x196 + 107x197 + 574x198 + 36x199 + 821x200 + 724x201 + 433x202 + 298x203 + 391x204 + 340x205 + 443x206 + 762x207 + 511x208 + 407x209 + 943x210 + 775x211 + 272x212 + 699x213 + 207x214 + 661x215 + 688x216 + 346x217 + 180x218 + 157x219 + 946x220 + 917x221 + 933x222 + 795x223 + 112x224 + 448x225 + 153x226 + 137x227 + 958x228 + 250x229 + 125x230 + 889x231 + 950x232 + 201x233 + 203x234 + 309x235 + 327x236 + 487x237 + 65x238 + 47x239 + 493x240 + 927x241 + 53x242 + 536x243 + 951x244 + 77x245 + 305x246 + 697x247 + 307x248 + 569x249 + 267x250 <=87894 
constr3: + 683x1 + 201x2 + 714x3 + 282x4 + 815x5 + 210x6 + 682x7 + 255x8 + 420x9 + 902x10 + 893x11 + 73x12 + 676x13 + 392x14 + 96x15 + 166x16 + 69x17 + 275x18 + 684x19 + 130x20 + 888x21 + 737x22 + 720x23 + 466x24 + 747x25 + 648x26 + 631x27 + 845x28 + 791x29 + 210x30 + 471x31 + 943x32 + 722x33 + 280x34 + 188x35 + 549x36 + 458x37 + 758x38 + 656x39 + 632x40 + 429x41 + 189x42 + 500x43 + 426x44 + 667x45 + 579x46 + 19x47 + 18x48 + 337x49 + 867x50 + 483x51 + 318x52 + 20x53 + 452x54 + 850x55 + 837x56 + 1x57 + 290x58 + 273x59 + 754x60 + 415x61 + 423x62 + 148x63 + 632x64 + 345x65 + 983x66 + 725x67 + 952x68 + 508x69 + 709x70 + 307x71 + 283x72 + 453x73 + 225x74 + 199x75 + 729x76 + 305x77 + 591x78 + 16x79 + 909x80 + 657x81 + 766x82 + 491x83 + 614x84 + 43x85 + 494x86 + 588x87 + 278x88 + 209x89 + 302x90 + 739x91 + 728x92 + 440x93 + 616x94 + 903x95 + 676x96 + 568x97 + 533x98 + 996x99 + 11x100 + 686x101 + 823x102 + 12x103 + 897x104 + 260x105 + 451x106 + 638x107 + 132x108 + 659x109 + 691x110 + 648x111 + 448x112 + 894x113 + 597x114 + 446x115 + 841x116 + 262x117 + 830x118 + 720x119 + 589x120 + 68x121 + 140x122 + 893x123 + 608x124 + 674x125 + 37x126 + 786x127 + 181x128 + 800x129 + 259x130 + 800x131 + 84x132 + 112x133 + 508x134 + 657x135 + 384x136 + 705x137 + 35x138 + 361x139 + 861x140 + 507x141 + 184x142 + 452x143 + 396x144 + 391x145 + 320x146 + 210x147 + 359x148 + 612x149 + 309x150 + 701x151 + 259x152 + 289x153 + 219x154 + 959x155 + 232x156 + 94x157 + 656x158 + 52x159 + 866x160 + 161x161 + 680x162 + 763x163 + 604x164 + 305x165 + 587x166 + 339x167 + 578x168 + 892x169 + 712x170 + 271x171 + 675x172 + 257x173 + 94x174 + 170x175 + 736x176 + 580x177 + 551x178 + 241x179 + 136x180 + 733x181 + 194x182 + 35x183 + 231x184 + 904x185 + 524x186 + 753x187 + 818x188 + 307x189 + 247x190 + 933x191 + 979x192 + 857x193 + 582x194 + 635x195 + 772x196 + 953x197 + 229x198 + 898x199 + 765x200 + 245x201 + 179x202 + 330x203 + 942x204 + 484x205 + 20x206 + 523x207 + 676x208 + 910x209 + 9x210 + 49x211 + 212x212 + 131x213 + 327x214 + 361x215 + 137x216 + 730x217 + 231x218 + 914x219 + 349x220 + 90x221 + 770x222 + 172x223 + 384x224 + 579x225 + 547x226 + 530x227 + 931x228 + 449x229 + 482x230 + 614x231 + 691x232 + 742x233 + 628x234 + 161x235 + 567x236 + 932x237 + 747x238 + 207x239 + 577x240 + 149x241 + 607x242 + 44x243 + 396x244 + 779x245 + 498x246 + 905x247 + 297x248 + 367x249 + 84x250 <=92015 
constr4: + 980x1 + 417x2 + 922x3 + 763x4 + 419x5 + 705x6 + 100x7 + 119x8 + 614x9 + 425x10 + 48x11 + 577x12 + 279x13 + 20x14 + 836x15 + 50x16 + 907x17 + 525x18 + 282x19 + 635x20 + 430x21 + 485x22 + 544x23 + 288x24 + 224x25 + 638x26 + 751x27 + 75x28 + 257x29 + 487x30 + 429x31 + 554x32 + 310x33 + 918x34 + 915x35 + 712x36 + 368x37 + 951x38 + 751x39 + 644x40 + 720x41 + 742x42 + 711x43 + 323x44 + 661x45 + 870x46 + 73x47 + 166x48 + 914x49 + 167x50 + 845x51 + 460x52 + 72x53 + 442x54 + 431x55 + 261x56 + 950x57 + 892x58 + 590x59 + 844x60 + 827x61 + 939x62 + 855x63 + 378x64 + 855x65 + 820x66 + 350x67 + 450x68 + 925x69 + 657x70 + 337x71 + 424x72 + 737x73 + 371x74 + 261x75 + 944x76 + 736x77 + 818x78 + 781x79 + 960x80 + 44x81 + 847x82 + 870x83 + 645x84 + 293x85 + 406x86 + 931x87 + 230x88 + 175x89 + 717x90 + 473x91 + 699x92 + 693x93 + 806x94 + 594x95 + 19x96 + 232x97 + 932x98 + 675x99 + 688x100 + 200x101 + 206x102 + 524x103 + 564x104 + 143x105 + 174x106 + 994x107 + 775x108 + 456x109 + 129x110 + 71x111 + 447x112 + 291x113 + 757x114 + 4x115 + 191x116 + 693x117 + 28x118 + 179x119 + 931x120 + 673x121 + 514x122 + 511x123 + 184x124 + 680x125 + 463x126 + 688x127 + 511x128 + 578x129 + 597x130 + 736x131 + 19x132 + 282x133 + 513x134 + 688x135 + 895x136 + 315x137 + 553x138 + 71x139 + 569x140 + 517x141 + 986x142 + 71x143 + 372x144 + 541x145 + 695x146 + 63x147 + 281x148 + 847x149 + 641x150 + 632x151 + 291x152 + 117x153 + 449x154 + 217x155 + 957x156 + 589x157 + 438x158 + 889x159 + 612x160 + 923x161 + 999x162 + 88x163 + 683x164 + 771x165 + 639x166 + 827x167 + 282x168 + 221x169 + 979x170 + 356x171 + 654x172 + 823x173 + 333x174 + 230x175 + 743x176 + 435x177 + 999x178 + 32x179 + 980x180 + 77x181 + 574x182 + 761x183 + 343x184 + 771x185 + 300x186 + 502x187 + 88x188 + 194x189 + 19x190 + 804x191 + 810x192 + 892x193 + 394x194 + 376x195 + 568x196 + 940x197 + 105x198 + 424x199 + 85x200 + 885x201 + 765x202 + 111x203 + 542x204 + 21x205 + 731x206 + 779x207 + 832x208 + 581x209 + 307x210 + 295x211 + 464x212 + 446x213 + 540x214 + 823x215 + 543x216 + 491x217 + 913x218 + 983x219 + 762x220 + 248x221 + 879x222 + 289x223 + 395x224 + 470x225 + 110x226 + 491x227 + 137x228 + 339x229 + 120x230 + 277x231 + 927x232 + 995x233 + 525x234 + 235x235 + 856x236 + 737x237 + 498x238 + 734x239 + 406x240 + 108x241 + 637x242 + 171x243 + 789x244 + 689x245 + 242x246 + 625x247 + 146x248 + 725x249 + 674x250 <=98397 
constr5: + 907x1 + 42x2 + 247x3 + 144x4 + 753x5 + 149x6 + 231x7 + 780x8 + 182x9 + 807x10 + 961x11 + 347x12 + 434x13 + 162x14 + 295x15 + 717x16 + 93x17 + 869x18 + 801x19 + 108x20 + 128x21 + 266x22 + 502x23 + 4x24 + 148x25 + 658x26 + 56x27 + 72x28 + 527x29 + 673x30 + 280x31 + 575x32 + 690x33 + 874x34 + 127x35 + 704x36 + 923x37 + 352x38 + 344x39 + 874x40 + 371x41 + 337x42 + 310x43 + 370x44 + 31x45 + 708x46 + 657x47 + 563x48 + 688x49 + 964x50 + 791x51 + 24x52 + 849x53 + 707x54 + 148x55 + 801x56 + 579x57 + 424x58 + 769x59 + 574x60 + 906x61 + 372x62 + 94x63 + 142x64 + 917x65 + 847x66 + 336x67 + 294x68 + 240x69 + 318x70 + 105x71 + 402x72 + 682x73 + 369x74 + 562x75 + 533x76 + 222x77 + 677x78 + 776x79 + 433x80 + 417x81 + 174x82 + 489x83 + 326x84 + 728x85 + 755x86 + 486x87 + 722x88 + 287x89 + 783x90 + 30x91 + 284x92 + 689x93 + 522x94 + 158x95 + 281x96 + 339x97 + 668x98 + 530x99 + 642x100 + 535x101 + 85x102 + 402x103 + 515x104 + 834x105 + 189x106 + 173x107 + 29x108 + 940x109 + 982x110 + 478x111 + 230x112 + 618x113 + 643x114 + 193x115 + 390x116 + 221x117 + 231x118 + 84x119 + 537x120 + 497x121 + 78x122 + 13x123 + 427x124 + 589x125 + 900x126 + 591x127 + 894x128 + 877x129 + 455x130 + 341x131 + 700x132 + 585x133 + 958x134 + 946x135 + 598x136 + 787x137 + 965x138 + 806x139 + 344x140 + 675x141 + 799x142 + 177x143 + 395x144 + 795x145 + 163x146 + 869x147 + 208x148 + 265x149 + 458x150 + 333x151 + 317x152 + 64x153 + 70x154 + 871x155 + 681x156 + 101x157 + 778x158 + 875x159 + 495x160 + 82x161 + 441x162 + 376x163 + 573x164 + 253x165 + 272x166 + 347x167 + 409x168 + 598x169 + 979x170 + 335x171 + 584x172 + 466x173 + 496x174 + 651x175 + 510x176 + 850x177 + 941x178 + 766x179 + 997x180 + 883x181 + 482x182 + 523x183 + 974x184 + 548x185 + 327x186 + 965x187 + 112x188 + 274x189 + 228x190 + 313x191 + 667x192 + 979x193 + 738x194 + 221x195 + 820x196 + 187x197 + 860x198 + 268x199 + 246x200 + 794x201 + 925x202 + 375x203 + 612x204 + 834x205 + 544x206 + 266x207 + 161x208 + 858x209 + 994x210 + 572x211 + 428x212 + 116x213 + 688x214 + 765x215 + 724x216 + 910x217 + 136x218 + 165x219 + 311x220 + 171x221 + 513x222 + 568x223 + 67x224 + 223x225 + 337x226 + 971x227 + 688x228 + 820x229 + 50x230 + 37x231 + 780x232 + 768x233 + 843x234 + 285x235 + 908x236 + 155x237 + 608x238 + 984x239 + 771x240 + 57x241 + 522x242 + 487x243 + 861x244 + 19x245 + 116x246 + 995x247 + 856x248 + 510x249 + 362x250 <=93831 
constr6: + 784x1 + 23x2 + 176x3 + 234x4 + 433x5 + 653x6 + 102x7 + 879x8 + 393x9 + 420x10 + 136x11 + 665x12 + 501x13 + 683x14 + 615x15 + 727x16 + 867x17 + 481x18 + 51x19 + 616x20 + 891x21 + 140x22 + 855x23 + 372x24 + 151x25 + 344x26 + 969x27 + 373x28 + 812x29 + 264x30 + 642x31 + 517x32 + 646x33 + 678x34 + 690x35 + 950x36 + 525x37 + 227x38 + 609x39 + 116x40 + 1x41 + 869x42 + 365x43 + 99x44 + 942x45 + 235x46 + 63x47 + 607x48 + 431x49 + 489x50 + 236x51 + 527x52 + 133x53 + 300x54 + 292x55 + 969x56 + 948x57 + 845x58 + 125x59 + 100x60 + 106x61 + 614x62 + 5x63 + 992x64 + 15x65 + 166x66 + 433x67 + 718x68 + 50x69 + 124x70 + 904x71 + 215x72 + 49x73 + 420x74 + 598x75 + 166x76 + 158x77 + 556x78 + 777x79 + 236x80 + 731x81 + 782x82 + 134x83 + 30x84 + 516x85 + 660x86 + 882x87 + 153x88 + 238x89 + 861x90 + 431x91 + 361x92 + 427x93 + 409x94 + 692x95 + 60x96 + 899x97 + 830x98 + 603x99 + 394x100 + 113x101 + 56x102 + 545x103 + 921x104 + 771x105 + 842x106 + 400x107 + 18x108 + 151x109 + 535x110 + 589x111 + 173x112 + 261x113 + 431x114 + 256x115 + 613x116 + 905x117 + 930x118 + 230x119 + 179x120 + 125x121 + 735x122 + 616x123 + 556x124 + 384x125 + 993x126 + 273x127 + 409x128 + 49x129 + 702x130 + 259x131 + 794x132 + 874x133 + 735x134 + 495x135 + 930x136 + 605x137 + 126x138 + 661x139 + 1000x140 + 671x141 + 667x142 + 961x143 + 395x144 + 262x145 + 196x146 + 434x147 + 492x148 + 292x149 + 664x150 + 186x151 + 112x152 + 385x153 + 570x154 + 959x155 + 44x156 + 178x157 + 479x158 + 412x159 + 303x160 + 427x161 + 502x162 + 934x163 + 533x164 + 621x165 + 17x166 + 415x167 + 281x168 + 736x169 + 184x170 + 285x171 + 24x172 + 135x173 + 752x174 + 64x175 + 294x176 + 415x177 + 990x178 + 445x179 + 610x180 + 493x181 + 949x182 + 693x183 + 968x184 + 74x185 + 393x186 + 525x187 + 217x188 + 671x189 + 121x190 + 476x191 + 421x192 + 968x193 + 638x194 + 22x195 + 724x196 + 234x197 + 527x198 + 835x199 + 895x200 + 788x201 + 920x202 + 727x203 + 194x204 + 552x205 + 430x206 + 695x207 + 838x208 + 910x209 + 251x210 + 225x211 + 248x212 + 684x213 + 714x214 + 632x215 + 339x216 + 455x217 + 913x218 + 161x219 + 501x220 + 16x221 + 945x222 + 465x223 + 92x224 + 584x225 + 511x226 + 627x227 + 975x228 + 185x229 + 728x230 + 987x231 + 340x232 + 665x233 + 390x234 + 995x235 + 949x236 + 752x237 + 645x238 + 593x239 + 410x240 + 916x241 + 37x242 + 884x243 + 877x244 + 401x245 + 957x246 + 818x247 + 768x248 + 770x249 + 67x250 <=93088 
constr7: + 500x1 + 742x2 + 493x3 + 46x4 + 84x5 + 755x6 + 162x7 + 904x8 + 940x9 + 157x10 + 74x11 + 388x12 + 502x13 + 64x14 + 711x15 + 875x16 + 882x17 + 922x18 + 464x19 + 414x20 + 891x21 + 275x22 + 41x23 + 163x24 + 393x25 + 2x26 + 540x27 + 752x28 + 468x29 + 839x30 + 233x31 + 712x32 + 493x33 + 661x34 + 742x35 + 360x36 + 437x37 + 964x38 + 336x39 + 593x40 + 937x41 + 639x42 + 325x43 + 883x44 + 180x45 + 626x46 + 14x47 + 806x48 + 196x49 + 777x50 + 472x51 + 824x52 + 895x53 + 809x54 + 637x55 + 61x56 + 501x57 + 623x58 + 589x59 + 473x60 + 197x61 + 858x62 + 806x63 + 159x64 + 341x65 + 866x66 + 228x67 + 127x68 + 26x69 + 685x70 + 944x71 + 506x72 + 379x73 + 589x74 + 490x75 + 357x76 + 454x77 + 235x78 + 638x79 + 375x80 + 63x81 + 441x82 + 688x83 + 267x84 + 77x85 + 803x86 + 800x87 + 459x88 + 210x89 + 772x90 + 627x91 + 570x92 + 558x93 + 703x94 + 655x95 + 176x96 + 795x97 + 68x98 + 540x99 + 428x100 + 758x101 + 766x102 + 35x103 + 563x104 + 578x105 + 366x106 + 944x107 + 331x108 + 227x109 + 746x110 + 87x111 + 926x112 + 861x113 + 340x114 + 616x115 + 511x116 + 76x117 + 394x118 + 602x119 + 933x120 + 376x121 + 976x122 + 96x123 + 98x124 + 502x125 + 671x126 + 158x127 + 683x128 + 927x129 + 940x130 + 865x131 + 646x132 + 6x133 + 937x134 + 706x135 + 605x136 + 92x137 + 899x138 + 425x139 + 92x140 + 36x141 + 897x142 + 913x143 + 491x144 + 54x145 + 159x146 + 888x147 + 556x148 + 932x149 + 134x150 + 787x151 + 820x152 + 334x153 + 492x154 + 795x155 + 882x156 + 381x157 + 938x158 + 201x159 + 593x160 + 290x161 + 185x162 + 978x163 + 5x164 + 12x165 + 268x166 + 187x167 + 390x168 + 804x169 + 612x170 + 796x171 + 304x172 + 816x173 + 766x174 + 572x175 + 559x176 + 121x177 + 853x178 + 192x179 + 314x180 + 854x181 + 686x182 + 914x183 + 143x184 + 972x185 + 143x186 + 347x187 + 352x188 + 20x189 + 791x190 + 881x191 + 504x192 + 291x193 + 237x194 + 783x195 + 497x196 + 952x197 + 551x198 + 991x199 + 440x200 + 911x201 + 889x202 + 976x203 + 399x204 + 208x205 + 617x206 + 32x207 + 608x208 + 327x209 + 868x210 + 111x211 + 698x212 + 985x213 + 131x214 + 449x215 + 78x216 + 499x217 + 715x218 + 274x219 + 478x220 + 571x221 + 399x222 + 38x223 + 938x224 + 819x225 + 558x226 + 8x227 + 258x228 + 633x229 + 620x230 + 606x231 + 426x232 + 327x233 + 681x234 + 15x235 + 881x236 + 715x237 + 59x238 + 4x239 + 736x240 + 486x241 + 149x242 + 287x243 + 227x244 + 102x245 + 125x246 + 367x247 + 793x248 + 602x249 + 254x250 <=94616 
constr8: + 150x1 + 603x2 + 192x3 + 346x4 + 720x5 + 638x6 + 849x7 + 108x8 + 508x9 + 192x10 + 335x11 + 489x12 + 728x13 + 709x14 + 820x15 + 669x16 + 319x17 + 631x18 + 778x19 + 348x20 + 642x21 + 30x22 + 433x23 + 439x24 + 487x25 + 493x26 + 148x27 + 507x28 + 619x29 + 144x30 + 594x31 + 840x32 + 680x33 + 71x34 + 606x35 + 327x36 + 719x37 + 36x38 + 605x39 + 113x40 + 197x41 + 44x42 + 435x43 + 287x44 + 797x45 + 103x46 + 405x47 + 28x48 + 889x49 + 295x50 + 539x51 + 388x52 + 840x53 + 267x54 + 550x55 + 211x56 + 838x57 + 624x58 + 771x59 + 462x60 + 599x61 + 140x62 + 498x63 + 283x64 + 161x65 + 602x66 + 306x67 + 919x68 + 267x69 + 717x70 + 632x71 + 59x72 + 881x73 + 629x74 + 548x75 + 789x76 + 461x77 + 650x78 + 186x79 + 735x80 + 317x81 + 363x82 + 241x83 + 194x84 + 472x85 + 677x86 + 541x87 + 433x88 + 830x89 + 357x90 + 716x91 + 358x92 + 209x93 + 316x94 + 891x95 + 421x96 + 15x97 + 453x98 + 118x99 + 578x100 + 108x101 + 791x102 + 490x103 + 930x104 + 962x105 + 67x106 + 387x107 + 420x108 + 112x109 + 773x110 + 748x111 + 494x112 + 788x113 + 394x114 + 826x115 + 432x116 + 616x117 + 414x118 + 590x119 + 873x120 + 237x121 + 962x122 + 967x123 + 138x124 + 98x125 + 824x126 + 204x127 + 591x128 + 955x129 + 718x130 + 802x131 + 175x132 + 194x133 + 756x134 + 290x135 + 208x136 + 430x137 + 550x138 + 599x139 + 180x140 + 350x141 + 656x142 + 994x143 + 505x144 + 148x145 + 252x146 + 406x147 + 107x148 + 633x149 + 85x150 + 971x151 + 490x152 + 268x153 + 321x154 + 602x155 + 932x156 + 587x157 + 40x158 + 45x159 + 624x160 + 357x161 + 567x162 + 821x163 + 159x164 + 989x165 + 331x166 + 928x167 + 403x168 + 639x169 + 878x170 + 768x171 + 20x172 + 287x173 + 403x174 + 613x175 + 767x176 + 766x177 + 874x178 + 493x179 + 414x180 + 788x181 + 754x182 + 969x183 + 581x184 + 188x185 + 617x186 + 408x187 + 441x188 + 506x189 + 796x190 + 415x191 + 385x192 + 421x193 + 471x194 + 503x195 + 162x196 + 629x197 + 388x198 + 85x199 + 60x200 + 531x201 + 620x202 + 879x203 + 470x204 + 939x205 + 38x206 + 844x207 + 241x208 + 906x209 + 802x210 + 1x211 + 655x212 + 623x213 + 405x214 + 658x215 + 634x216 + 619x217 + 106x218 + 334x219 + 788x220 + 664x221 + 613x222 + 562x223 + 234x224 + 475x225 + 743x226 + 345x227 + 927x228 + 529x229 + 559x230 + 760x231 + 146x232 + 411x233 + 951x234 + 316x235 + 472x236 + 905x237 + 578x238 + 943x239 + 919x240 + 192x241 + 350x242 + 775x243 + 15x244 + 891x245 + 14x246 + 662x247 + 936x248 + 778x249 + 581x250 <=94267 
constr9: + 967x1 + 507x2 + 77x3 + 697x4 + 748x5 + 795x6 + 135x7 + 229x8 + 546x9 + 312x10 + 779x11 + 861x12 + 202x13 + 966x14 + 175x15 + 351x16 + 630x17 + 82x18 + 155x19 + 422x20 + 719x21 + 56x22 + 304x23 + 437x24 + 833x25 + 557x26 + 320x27 + 942x28 + 923x29 + 272x30 + 9x31 + 208x32 + 824x33 + 943x34 + 273x35 + 714x36 + 560x37 + 187x38 + 449x39 + 387x40 + 939x41 + 354x42 + 977x43 + 68x44 + 978x45 + 552x46 + 79x47 + 372x48 + 309x49 + 773x50 + 703x51 + 498x52 + 532x53 + 405x54 + 585x55 + 287x56 + 359x57 + 226x58 + 382x59 + 308x60 + 332x61 + 922x62 + 480x63 + 693x64 + 595x65 + 624x66 + 452x67 + 15x68 + 363x69 + 795x70 + 521x71 + 975x72 + 755x73 + 672x74 + 469x75 + 574x76 + 904x77 + 200x78 + 739x79 + 638x80 + 242x81 + 361x82 + 7x83 + 350x84 + 989x85 + 982x86 + 669x87 + 197x88 + 399x89 + 382x90 + 221x91 + 615x92 + 934x93 + 429x94 + 487x95 + 579x96 + 368x97 + 957x98 + 862x99 + 409x100 + 79x101 + 498x102 + 46x103 + 595x104 + 699x105 + 64x106 + 269x107 + 530x108 + 653x109 + 933x110 + 363x111 + 78x112 + 716x113 + 310x114 + 33x115 + 746x116 + 786x117 + 298x118 + 83x119 + 533x120 + 476x121 + 729x122 + 29x123 + 594x124 + 724x125 + 602x126 + 150x127 + 946x128 + 398x129 + 463x130 + 655x131 + 622x132 + 876x133 + 977x134 + 618x135 + 614x136 + 570x137 + 443x138 + 675x139 + 9x140 + 609x141 + 112x142 + 751x143 + 226x144 + 724x145 + 963x146 + 190x147 + 679x148 + 868x149 + 898x150 + 947x151 + 969x152 + 507x153 + 618x154 + 438x155 + 194x156 + 11x157 + 513x158 + 717x159 + 250x160 + 877x161 + 310x162 + 263x163 + 608x164 + 241x165 + 872x166 + 884x167 + 777x168 + 640x169 + 65x170 + 653x171 + 537x172 + 10x173 + 753x174 + 63x175 + 156x176 + 353x177 + 313x178 + 631x179 + 59x180 + 266x181 + 54x182 + 972x183 + 784x184 + 815x185 + 514x186 + 55x187 + 752x188 + 429x189 + 962x190 + 260x191 + 716x192 + 862x193 + 313x194 + 557x195 + 5x196 + 214x197 + 855x198 + 851x199 + 130x200 + 278x201 + 137x202 + 220x203 + 332x204 + 579x205 + 207x206 + 51x207 + 779x208 + 931x209 + 232x210 + 482x211 + 720x212 + 493x213 + 70x214 + 464x215 + 794x216 + 117x217 + 65x218 + 466x219 + 597x220 + 858x221 + 780x222 + 979x223 + 406x224 + 880x225 + 633x226 + 923x227 + 375x228 + 316x229 + 325x230 + 657x231 + 259x232 + 91x233 + 444x234 + 296x235 + 296x236 + 889x237 + 787x238 + 594x239 + 312x240 + 651x241 + 703x242 + 848x243 + 253x244 + 380x245 + 977x246 + 621x247 + 656x248 + 607x249 + 494x250 <=95098 
constr10: + 998x1 + 744x2 + 729x3 + 832x4 + 897x5 + 458x6 + 324x7 + 78x8 + 184x9 + 270x10 + 690x11 + 251x12 + 28x13 + 891x14 + 320x15 + 954x16 + 313x17 + 23x18 + 230x19 + 605x20 + 166x21 + 809x22 + 408x23 + 359x24 + 809x25 + 867x26 + 311x27 + 376x28 + 700x29 + 96x30 + 341x31 + 442x32 + 418x33 + 129x34 + 258x35 + 173x36 + 168x37 + 79x38 + 289x39 + 103x40 + 907x41 + 160x42 + 961x43 + 793x44 + 517x45 + 986x46 + 836x47 + 210x48 + 215x49 + 97x50 + 746x51 + 732x52 + 62x53 + 864x54 + 195x55 + 944x56 + 421x57 + 528x58 + 687x59 + 290x60 + 318x61 + 612x62 + 774x63 + 661x64 + 776x65 + 680x66 + 214x67 + 428x68 + 534x69 + 317x70 + 271x71 + 45x72 + 638x73 + 439x74 + 536x75 + 910x76 + 805x77 + 648x78 + 984x79 + 173x80 + 82x81 + 484x82 + 596x83 + 809x84 + 473x85 + 444x86 + 12x87 + 386x88 + 716x89 + 894x90 + 459x91 + 80x92 + 217x93 + 611x94 + 602x95 + 318x96 + 558x97 + 710x98 + 148x99 + 949x100 + 101x101 + 221x102 + 167x103 + 352x104 + 663x105 + 489x106 + 912x107 + 59x108 + 930x109 + 518x110 + 971x111 + 451x112 + 810x113 + 145x114 + 956x115 + 668x116 + 649x117 + 285x118 + 185x119 + 956x120 + 702x121 + 4x122 + 596x123 + 66x124 + 198x125 + 501x126 + 850x127 + 694x128 + 229x129 + 522x130 + 165x131 + 584x132 + 27x133 + 981x134 + 41x135 + 120x136 + 711x137 + 616x138 + 64x139 + 960x140 + 757x141 + 538x142 + 710x143 + 763x144 + 199x145 + 961x146 + 555x147 + 172x148 + 964x149 + 963x150 + 748x151 + 39x152 + 595x153 + 426x154 + 385x155 + 832x156 + 725x157 + 298x158 + 245x159 + 181x160 + 230x161 + 339x162 + 616x163 + 748x164 + 138x165 + 95x166 + 891x167 + 92x168 + 255x169 + 811x170 + 824x171 + 293x172 + 510x173 + 30x174 + 743x175 + 942x176 + 97x177 + 267x178 + 441x179 + 986x180 + 387x181 + 126x182 + 901x183 + 202x184 + 891x185 + 880x186 + 667x187 + 993x188 + 550x189 + 554x190 + 452x191 + 354x192 + 511x193 + 379x194 + 941x195 + 282x196 + 80x197 + 362x198 + 120x199 + 357x200 + 509x201 + 291x202 + 737x203 + 841x204 + 541x205 + 313x206 + 785x207 + 236x208 + 23x209 + 855x210 + 676x211 + 966x212 + 15x213 + 495x214 + 11x215 + 358x216 + 525x217 + 774x218 + 993x219 + 126x220 + 553x221 + 662x222 + 998x223 + 598x224 + 697x225 + 474x226 + 829x227 + 362x228 + 862x229 + 654x230 + 293x231 + 418x232 + 898x233 + 422x234 + 202x235 + 45x236 + 258x237 + 83x238 + 250x239 + 4x240 + 11x241 + 670x242 + 343x243 + 536x244 + 766x245 + 860x246 + 78x247 + 835x248 + 643x249 + 973x250 <=92581 
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