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