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