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