minimize 
objective: s
subject to 
s1: s + 0.501000f1 + 0.001000f2 >= 93687.256000 
s2: s + 0.001000f1 + 0.501000f2 >= 93687.256000 
f1: -f1 + 338x1 + 955x2 + 729x3 + 966x4 + 999x5 + 940x6 + 967x7 + 627x8 + 1206x9 + 840x10 + 548x11 + 721x12 + 575x13 + 714x14 + 501x15 + 837x16 + 613x17 + 1048x18 + 893x19 + 482x20 + 825x21 + 708x22 + 380x23 + 717x24 + 810x25 + 467x26 + 966x27 + 402x28 + 703x29 + 419x30 + 1003x31 + 765x32 + 899x33 + 619x34 + 1132x35 + 740x36 + 952x37 + 576x38 + 916x39 + 772x40 + 825x41 + 771x42 + 785x43 + 541x44 + 800x45 + 890x46 + 714x47 + 820x48 + 891x49 + 509x50 + 542x51 + 574x52 + 493x53 + 647x54 + 1026x55 + 875x56 + 803x57 + 534x58 + 869x59 + 1003x60 + 763x61 + 610x62 + 692x63 + 856x64 + 625x65 + 749x66 + 858x67 + 1021x68 + 619x69 + 693x70 + 627x71 + 944x72 + 1018x73 + 467x74 + 910x75 + 1068x76 + 693x77 + 824x78 + 972x79 + 877x80 + 500x81 + 849x82 + 659x83 + 590x84 + 677x85 + 988x86 + 1158x87 + 623x88 + 379x89 + 1095x90 + 822x91 + 882x92 + 934x93 + 646x94 + 571x95 + 714x96 + 740x97 + 401x98 + 925x99 + 948x100 + 1049x101 + 470x102 + 645x103 + 680x104 + 922x105 + 839x106 + 605x107 + 550x108 + 636x109 + 886x110 + 916x111 + 1006x112 + 742x113 + 515x114 + 985x115 + 686x116 + 1169x117 + 787x118 + 655x119 + 553x120 + 853x121 + 875x122 + 714x123 + 376x124 + 697x125 + 1096x126 + 1016x127 + 530x128 + 979x129 + 479x130 + 604x131 + 642x132 + 602x133 + 447x134 + 713x135 + 548x136 + 454x137 + 928x138 + 644x139 + 868x140 + 747x141 + 659x142 + 1072x143 + 666x144 + 457x145 + 509x146 + 627x147 + 863x148 + 502x149 + 751x150 + 626x151 + 826x152 + 836x153 + 940x154 + 717x155 + 938x156 + 925x157 + 641x158 + 978x159 + 470x160 + 677x161 + 870x162 + 545x163 + 767x164 + 639x165 + 815x166 + 894x167 + 659x168 + 320x169 + 705x170 + 614x171 + 771x172 + 705x173 + 545x174 + 896x175 + 973x176 + 522x177 + 290x178 + 499x179 + 820x180 + 821x181 + 386x182 + 806x183 + 585x184 + 948x185 + 1062x186 + 830x187 + 863x188 + 1092x189 + 386x190 + 1017x191 + 458x192 + 1055x193 + 671x194 + 877x195 + 973x196 + 702x197 + 716x198 + 492x199 + 624x200 + 541x201 + 896x202 + 1065x203 + 984x204 + 794x205 + 955x206 + 696x207 + 866x208 + 457x209 + 572x210 + 437x211 + 523x212 + 803x213 + 973x214 + 431x215 + 540x216 + 678x217 + 624x218 + 1184x219 + 563x220 + 748x221 + 901x222 + 350x223 + 621x224 + 838x225 + 1072x226 + 593x227 + 1012x228 + 883x229 + 998x230 + 458x231 + 899x232 + 751x233 + 708x234 + 968x235 + 794x236 + 710x237 + 541x238 + 688x239 + 690x240 + 733x241 + 879x242 + 812x243 + 599x244 + 746x245 + 620x246 + 740x247 + 840x248 + 722x249 + 962x250  = 0 
f2: -f2 + 457x1 + 619x2 + 896x3 + 447x4 + 886x5 + 877x6 + 619x7 + 893x8 + 751x9 + 290x10 + 509x11 + 623x12 + 500x13 + 899x14 + 856x15 + 470x16 + 869x17 + 747x18 + 837x19 + 320x20 + 636x21 + 794x22 + 610x23 + 948x24 + 692x25 + 714x26 + 467x27 + 680x28 + 454x29 + 575x30 + 890x31 + 853x32 + 1072x33 + 501x34 + 1095x35 + 624x36 + 644x37 + 740x38 + 541x39 + 973x40 + 803x41 + 705x42 + 402x43 + 740x44 + 868x45 + 693x46 + 693x47 + 642x48 + 968x49 + 515x50 + 1072x51 + 1092x52 + 614x53 + 825x54 + 646x55 + 740x56 + 541x57 + 482x58 + 948x59 + 705x60 + 1021x61 + 350x62 + 576x63 + 641x64 + 458x65 + 671x66 + 870x67 + 604x68 + 1026x69 + 548x70 + 1003x71 + 785x72 + 800x73 + 571x74 + 1068x75 + 620x76 + 875x77 + 836x78 + 647x79 + 771x80 + 659x81 + 540x82 + 826x83 + 962x84 + 985x85 + 1132x86 + 1206x87 + 721x88 + 899x89 + 894x90 + 548x91 + 624x92 + 553x93 + 690x94 + 955x95 + 590x96 + 984x97 + 1065x98 + 806x99 + 1048x100 + 772x101 + 696x102 + 838x103 + 1016x104 + 493x105 + 419x106 + 955x107 + 574x108 + 922x109 + 938x110 + 534x111 + 678x112 + 883x113 + 541x114 + 599x115 + 621x116 + 803x117 + 742x118 + 1062x119 + 1006x120 + 625x121 + 925x122 + 1169x123 + 605x124 + 875x125 + 879x126 + 572x127 + 509x128 + 479x129 + 863x130 + 437x131 + 467x132 + 1012x133 + 716x134 + 815x135 + 952x136 + 686x137 + 916x138 + 714x139 + 602x140 + 703x141 + 928x142 + 749x143 + 998x144 + 697x145 + 645x146 + 824x147 + 1055x148 + 717x149 + 708x150 + 999x151 + 916x152 + 470x153 + 1184x154 + 627x155 + 655x156 + 810x157 + 713x158 + 677x159 + 940x160 + 1158x161 + 542x162 + 729x163 + 866x164 + 825x165 + 882x166 + 822x167 + 627x168 + 659x169 + 839x170 + 386x171 + 1096x172 + 380x173 + 708x174 + 338x175 + 1003x176 + 979x177 + 733x178 + 812x179 + 877x180 + 714x181 + 702x182 + 530x183 + 896x184 + 901x185 + 386x186 + 376x187 + 973x188 + 944x189 + 379x190 + 794x191 + 973x192 + 523x193 + 710x194 + 925x195 + 613x196 + 978x197 + 502x198 + 688x199 + 763x200 + 545x201 + 492x202 + 840x203 + 626x204 + 820x205 + 627x206 + 891x207 + 1049x208 + 563x209 + 499x210 + 458x211 + 934x212 + 972x213 + 722x214 + 585x215 + 1018x216 + 639x217 + 910x218 + 457x219 + 840x220 + 677x221 + 746x222 + 821x223 + 717x224 + 863x225 + 751x226 + 545x227 + 666x228 + 849x229 + 522x230 + 767x231 + 593x232 + 820x233 + 714x234 + 830x235 + 988x236 + 550x237 + 401x238 + 787x239 + 966x240 + 1017x241 + 967x242 + 966x243 + 771x244 + 659x245 + 431x246 + 940x247 + 858x248 + 765x249 + 748x250  = 0 
constr1: + 168x1 + 861x2 + 243x3 + 789x4 + 515x5 + 418x6 + 921x7 + 991x8 + 775x9 + 490x10 + 115x11 + 512x12 + 367x13 + 511x14 + 965x15 + 865x16 + 100x17 + 800x18 + 14x19 + 433x20 + 334x21 + 862x22 + 886x23 + 991x24 + 974x25 + 560x26 + 476x27 + 860x28 + 529x29 + 509x30 + 458x31 + 554x32 + 730x33 + 886x34 + 312x35 + 655x36 + 407x37 + 504x38 + 257x39 + 79x40 + 392x41 + 314x42 + 576x43 + 429x44 + 342x45 + 619x46 + 320x47 + 25x48 + 851x49 + 849x50 + 70x51 + 856x52 + 642x53 + 899x54 + 248x55 + 205x56 + 795x57 + 540x58 + 283x59 + 881x60 + 455x61 + 100x62 + 367x63 + 187x64 + 300x65 + 798x66 + 769x67 + 632x68 + 440x69 + 585x70 + 404x71 + 226x72 + 797x73 + 624x74 + 895x75 + 281x76 + 106x77 + 881x78 + 461x79 + 466x80 + 636x81 + 967x82 + 799x83 + 290x84 + 895x85 + 70x86 + 730x87 + 58x88 + 767x89 + 682x90 + 873x91 + 552x92 + 30x93 + 159x94 + 345x95 + 793x96 + 275x97 + 310x98 + 135x99 + 441x100 + 935x101 + 349x102 + 370x103 + 567x104 + 336x105 + 772x106 + 216x107 + 529x108 + 897x109 + 912x110 + 154x111 + 124x112 + 392x113 + 256x114 + 775x115 + 751x116 + 758x117 + 497x118 + 970x119 + 789x120 + 925x121 + 186x122 + 364x123 + 16x124 + 220x125 + 887x126 + 944x127 + 28x128 + 130x129 + 455x130 + 344x131 + 161x132 + 204x133 + 884x134 + 659x135 + 982x136 + 494x137 + 734x138 + 868x139 + 767x140 + 180x141 + 495x142 + 433x143 + 141x144 + 895x145 + 373x146 + 528x147 + 81x148 + 423x149 + 234x150 + 106x151 + 150x152 + 139x153 + 500x154 + 990x155 + 545x156 + 913x157 + 420x158 + 676x159 + 523x160 + 639x161 + 279x162 + 214x163 + 465x164 + 14x165 + 678x166 + 271x167 + 560x168 + 298x169 + 431x170 + 985x171 + 642x172 + 803x173 + 584x174 + 129x175 + 872x176 + 688x177 + 295x178 + 393x179 + 13x180 + 697x181 + 507x182 + 769x183 + 335x184 + 354x185 + 88x186 + 629x187 + 932x188 + 991x189 + 294x190 + 622x191 + 886x192 + 187x193 + 151x194 + 136x195 + 616x196 + 518x197 + 923x198 + 7x199 + 132x200 + 74x201 + 173x202 + 425x203 + 395x204 + 141x205 + 65x206 + 266x207 + 946x208 + 693x209 + 244x210 + 658x211 + 877x212 + 381x213 + 170x214 + 623x215 + 45x216 + 50x217 + 270x218 + 275x219 + 401x220 + 484x221 + 677x222 + 588x223 + 470x224 + 925x225 + 688x226 + 223x227 + 471x228 + 860x229 + 443x230 + 626x231 + 507x232 + 759x233 + 216x234 + 851x235 + 929x236 + 187x237 + 691x238 + 436x239 + 669x240 + 363x241 + 765x242 + 420x243 + 592x244 + 962x245 + 784x246 + 61x247 + 426x248 + 82x249 + 78x250 <= 31410 
constr2: + 82x1 + 529x2 + 843x3 + 115x4 + 382x5 + 429x6 + 665x7 + 289x8 + 449x9 + 75x10 + 144x11 + 616x12 + 47x13 + 587x14 + 608x15 + 841x16 + 434x17 + 876x18 + 868x19 + 213x20 + 375x21 + 315x22 + 800x23 + 730x24 + 799x25 + 526x26 + 844x27 + 799x28 + 110x29 + 516x30 + 589x31 + 817x32 + 214x33 + 469x34 + 584x35 + 28x36 + 105x37 + 153x38 + 214x39 + 633x40 + 714x41 + 178x42 + 639x43 + 771x44 + 897x45 + 185x46 + 951x47 + 824x48 + 768x49 + 10x50 + 994x51 + 336x52 + 97x53 + 719x54 + 928x55 + 743x56 + 12x57 + 886x58 + 839x59 + 275x60 + 474x61 + 914x62 + 74x63 + 405x64 + 731x65 + 562x66 + 470x67 + 943x68 + 688x69 + 84x70 + 55x71 + 418x72 + 329x73 + 816x74 + 565x75 + 886x76 + 180x77 + 805x78 + 649x79 + 750x80 + 155x81 + 989x82 + 501x83 + 666x84 + 483x85 + 824x86 + 863x87 + 466x88 + 244x89 + 121x90 + 668x91 + 59x92 + 452x93 + 578x94 + 358x95 + 68x96 + 490x97 + 393x98 + 524x99 + 462x100 + 243x101 + 848x102 + 291x103 + 813x104 + 191x105 + 374x106 + 321x107 + 425x108 + 802x109 + 80x110 + 700x111 + 788x112 + 571x113 + 413x114 + 668x115 + 338x116 + 805x117 + 613x118 + 774x119 + 875x120 + 590x121 + 247x122 + 300x123 + 768x124 + 419x125 + 349x126 + 582x127 + 167x128 + 745x129 + 273x130 + 514x131 + 254x132 + 666x133 + 484x134 + 691x135 + 834x136 + 60x137 + 571x138 + 747x139 + 926x140 + 682x141 + 57x142 + 464x143 + 490x144 + 87x145 + 611x146 + 216x147 + 561x148 + 815x149 + 950x150 + 956x151 + 634x152 + 12x153 + 849x154 + 447x155 + 626x156 + 609x157 + 946x158 + 20x159 + 982x160 + 457x161 + 82x162 + 417x163 + 834x164 + 405x165 + 680x166 + 310x167 + 24x168 + 632x169 + 87x170 + 891x171 + 227x172 + 292x173 + 664x174 + 126x175 + 400x176 + 249x177 + 173x178 + 376x179 + 615x180 + 121x181 + 43x182 + 530x183 + 94x184 + 941x185 + 237x186 + 28x187 + 624x188 + 269x189 + 737x190 + 71x191 + 784x192 + 218x193 + 428x194 + 952x195 + 248x196 + 924x197 + 701x198 + 332x199 + 80x200 + 539x201 + 98x202 + 315x203 + 544x204 + 423x205 + 941x206 + 229x207 + 517x208 + 231x209 + 957x210 + 356x211 + 852x212 + 346x213 + 284x214 + 744x215 + 832x216 + 672x217 + 989x218 + 475x219 + 595x220 + 430x221 + 970x222 + 960x223 + 534x224 + 556x225 + 880x226 + 512x227 + 153x228 + 239x229 + 761x230 + 534x231 + 154x232 + 277x233 + 349x234 + 784x235 + 95x236 + 349x237 + 576x238 + 445x239 + 226x240 + 147x241 + 850x242 + 805x243 + 695x244 + 132x245 + 642x246 + 668x247 + 343x248 + 207x249 + 712x250 <= 29715 
constr3: + 880x1 + 423x2 + 518x3 + 921x4 + 9x5 + 470x6 + 887x7 + 557x8 + 348x9 + 301x10 + 433x11 + 504x12 + 525x13 + 719x14 + 847x15 + 496x16 + 239x17 + 992x18 + 504x19 + 539x20 + 708x21 + 199x22 + 550x23 + 303x24 + 18x25 + 345x26 + 61x27 + 787x28 + 942x29 + 2x30 + 556x31 + 347x32 + 925x33 + 306x34 + 285x35 + 311x36 + 424x37 + 409x38 + 749x39 + 945x40 + 660x41 + 811x42 + 571x43 + 521x44 + 611x45 + 819x46 + 841x47 + 513x48 + 284x49 + 896x50 + 708x51 + 344x52 + 187x53 + 185x54 + 771x55 + 160x56 + 25x57 + 392x58 + 50x59 + 6x60 + 90x61 + 360x62 + 253x63 + 789x64 + 753x65 + 918x66 + 116x67 + 9x68 + 748x69 + 809x70 + 369x71 + 965x72 + 520x73 + 777x74 + 186x75 + 564x76 + 611x77 + 761x78 + 303x79 + 753x80 + 612x81 + 134x82 + 19x83 + 998x84 + 107x85 + 195x86 + 748x87 + 692x88 + 736x89 + 179x90 + 865x91 + 831x92 + 909x93 + 100x94 + 135x95 + 680x96 + 43x97 + 579x98 + 306x99 + 232x100 + 93x101 + 36x102 + 83x103 + 592x104 + 192x105 + 455x106 + 919x107 + 202x108 + 894x109 + 906x110 + 818x111 + 134x112 + 877x113 + 705x114 + 999x115 + 532x116 + 364x117 + 391x118 + 351x119 + 37x120 + 703x121 + 25x122 + 722x123 + 264x124 + 95x125 + 223x126 + 401x127 + 717x128 + 891x129 + 506x130 + 608x131 + 293x132 + 372x133 + 437x134 + 765x135 + 124x136 + 820x137 + 996x138 + 866x139 + 404x140 + 557x141 + 821x142 + 970x143 + 361x144 + 81x145 + 738x146 + 125x147 + 612x148 + 814x149 + 834x150 + 220x151 + 345x152 + 662x153 + 379x154 + 61x155 + 240x156 + 680x157 + 864x158 + 860x159 + 613x160 + 505x161 + 506x162 + 998x163 + 206x164 + 224x165 + 97x166 + 125x167 + 336x168 + 428x169 + 144x170 + 42x171 + 304x172 + 727x173 + 283x174 + 486x175 + 386x176 + 407x177 + 256x178 + 800x179 + 69x180 + 649x181 + 334x182 + 605x183 + 858x184 + 461x185 + 512x186 + 9x187 + 631x188 + 888x189 + 440x190 + 88x191 + 94x192 + 973x193 + 516x194 + 603x195 + 388x196 + 553x197 + 82x198 + 180x199 + 859x200 + 457x201 + 468x202 + 456x203 + 975x204 + 260x205 + 579x206 + 328x207 + 250x208 + 152x209 + 803x210 + 414x211 + 902x212 + 486x213 + 442x214 + 824x215 + 294x216 + 829x217 + 824x218 + 151x219 + 172x220 + 208x221 + 110x222 + 501x223 + 441x224 + 799x225 + 759x226 + 544x227 + 423x228 + 759x229 + 896x230 + 17x231 + 342x232 + 689x233 + 199x234 + 268x235 + 121x236 + 812x237 + 669x238 + 366x239 + 7x240 + 954x241 + 820x242 + 280x243 + 49x244 + 43x245 + 455x246 + 502x247 + 462x248 + 141x249 + 76x250 <= 31685 
constr4: + 947x1 + 911x2 + 895x3 + 336x4 + 39x5 + 228x6 + 369x7 + 38x8 + 349x9 + 72x10 + 722x11 + 690x12 + 887x13 + 29x14 + 53x15 + 205x16 + 548x17 + 85x18 + 27x19 + 961x20 + 360x21 + 759x22 + 983x23 + 705x24 + 392x25 + 754x26 + 103x27 + 711x28 + 939x29 + 355x30 + 759x31 + 570x32 + 64x33 + 527x34 + 54x35 + 21x36 + 106x37 + 728x38 + 918x39 + 294x40 + 516x41 + 200x42 + 85x43 + 836x44 + 205x45 + 319x46 + 156x47 + 942x48 + 818x49 + 229x50 + 67x51 + 363x52 + 663x53 + 934x54 + 169x55 + 606x56 + 100x57 + 561x58 + 173x59 + 766x60 + 263x61 + 719x62 + 382x63 + 327x64 + 470x65 + 828x66 + 251x67 + 291x68 + 178x69 + 960x70 + 363x71 + 447x72 + 3x73 + 291x74 + 731x75 + 310x76 + 438x77 + 938x78 + 665x79 + 86x80 + 231x81 + 604x82 + 876x83 + 92x84 + 151x85 + 540x86 + 280x87 + 696x88 + 476x89 + 733x90 + 730x91 + 49x92 + 708x93 + 920x94 + 984x95 + 976x96 + 384x97 + 293x98 + 110x99 + 84x100 + 880x101 + 843x102 + 441x103 + 977x104 + 291x105 + 112x106 + 37x107 + 248x108 + 67x109 + 767x110 + 54x111 + 917x112 + 339x113 + 845x114 + 86x115 + 987x116 + 128x117 + 994x118 + 100x119 + 632x120 + 953x121 + 809x122 + 239x123 + 753x124 + 279x125 + 719x126 + 541x127 + 732x128 + 459x129 + 707x130 + 343x131 + 751x132 + 731x133 + 58x134 + 57x135 + 556x136 + 67x137 + 736x138 + 395x139 + 898x140 + 627x141 + 446x142 + 729x143 + 979x144 + 205x145 + 654x146 + 419x147 + 840x148 + 259x149 + 168x150 + 652x151 + 869x152 + 10x153 + 699x154 + 788x155 + 180x156 + 42x157 + 563x158 + 661x159 + 467x160 + 98x161 + 694x162 + 374x163 + 989x164 + 540x165 + 437x166 + 817x167 + 121x168 + 531x169 + 842x170 + 749x171 + 157x172 + 15x173 + 998x174 + 35x175 + 545x176 + 333x177 + 40x178 + 842x179 + 20x180 + 336x181 + 622x182 + 826x183 + 359x184 + 32x185 + 316x186 + 177x187 + 588x188 + 725x189 + 125x190 + 656x191 + 621x192 + 442x193 + 181x194 + 483x195 + 372x196 + 10x197 + 35x198 + 658x199 + 639x200 + 556x201 + 647x202 + 827x203 + 568x204 + 254x205 + 440x206 + 717x207 + 686x208 + 972x209 + 619x210 + 875x211 + 77x212 + 205x213 + 139x214 + 677x215 + 318x216 + 914x217 + 180x218 + 62x219 + 272x220 + 879x221 + 229x222 + 933x223 + 362x224 + 77x225 + 937x226 + 198x227 + 126x228 + 205x229 + 61x230 + 756x231 + 573x232 + 62x233 + 207x234 + 909x235 + 19x236 + 657x237 + 708x238 + 453x239 + 201x240 + 809x241 + 774x242 + 822x243 + 909x244 + 613x245 + 424x246 + 964x247 + 459x248 + 529x249 + 650x250 <= 29186 
constr5: + 795x1 + 226x2 + 15x3 + 613x4 + 448x5 + 153x6 + 827x7 + 378x8 + 246x9 + 657x10 + 564x11 + 518x12 + 721x13 + 411x14 + 378x15 + 814x16 + 681x17 + 688x18 + 676x19 + 388x20 + 751x21 + 97x22 + 524x23 + 447x24 + 865x25 + 573x26 + 388x27 + 519x28 + 462x29 + 319x30 + 350x31 + 173x32 + 904x33 + 756x34 + 845x35 + 237x36 + 93x37 + 726x38 + 900x39 + 875x40 + 469x41 + 698x42 + 3x43 + 143x44 + 33x45 + 674x46 + 28x47 + 785x48 + 72x49 + 82x50 + 303x51 + 35x52 + 938x53 + 836x54 + 442x55 + 426x56 + 409x57 + 594x58 + 646x59 + 658x60 + 746x61 + 407x62 + 131x63 + 245x64 + 368x65 + 93x66 + 106x67 + 898x68 + 307x69 + 989x70 + 148x71 + 830x72 + 411x73 + 433x74 + 550x75 + 412x76 + 504x77 + 905x78 + 842x79 + 188x80 + 310x81 + 280x82 + 20x83 + 629x84 + 225x85 + 196x86 + 290x87 + 2x88 + 412x89 + 440x90 + 73x91 + 887x92 + 386x93 + 139x94 + 336x95 + 417x96 + 265x97 + 253x98 + 894x99 + 774x100 + 386x101 + 349x102 + 226x103 + 402x104 + 226x105 + 956x106 + 911x107 + 149x108 + 638x109 + 112x110 + 292x111 + 118x112 + 816x113 + 960x114 + 557x115 + 449x116 + 293x117 + 595x118 + 932x119 + 16x120 + 219x121 + 487x122 + 158x123 + 515x124 + 420x125 + 683x126 + 262x127 + 615x128 + 132x129 + 348x130 + 265x131 + 785x132 + 697x133 + 232x134 + 975x135 + 880x136 + 680x137 + 461x138 + 821x139 + 155x140 + 706x141 + 319x142 + 35x143 + 264x144 + 473x145 + 740x146 + 601x147 + 520x148 + 198x149 + 695x150 + 881x151 + 667x152 + 558x153 + 47x154 + 652x155 + 64x156 + 656x157 + 686x158 + 619x159 + 594x160 + 960x161 + 962x162 + 844x163 + 522x164 + 681x165 + 612x166 + 809x167 + 143x168 + 533x169 + 610x170 + 816x171 + 206x172 + 821x173 + 101x174 + 70x175 + 209x176 + 847x177 + 866x178 + 641x179 + 305x180 + 763x181 + 18x182 + 991x183 + 516x184 + 684x185 + 832x186 + 802x187 + 334x188 + 512x189 + 118x190 + 697x191 + 464x192 + 126x193 + 79x194 + 446x195 + 89x196 + 618x197 + 251x198 + 330x199 + 431x200 + 698x201 + 932x202 + 625x203 + 52x204 + 703x205 + 52x206 + 509x207 + 593x208 + 963x209 + 291x210 + 123x211 + 549x212 + 189x213 + 330x214 + 72x215 + 482x216 + 238x217 + 722x218 + 122x219 + 796x220 + 706x221 + 730x222 + 735x223 + 697x224 + 534x225 + 83x226 + 687x227 + 335x228 + 92x229 + 923x230 + 713x231 + 41x232 + 79x233 + 892x234 + 6x235 + 656x236 + 839x237 + 83x238 + 648x239 + 721x240 + 533x241 + 368x242 + 65x243 + 667x244 + 980x245 + 952x246 + 971x247 + 542x248 + 316x249 + 533x250 <= 30696 
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