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