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