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