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