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