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