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