minimize 
objective: s
subject to 
s1: s + 0.501000f1 + 0.001000f2 >= 95253.998000 
s2: s + 0.001000f1 + 0.501000f2 >= 95253.998000 
f1: -f1 + 628x1 + 988x2 + 368x3 + 699x4 + 686x5 + 906x6 + 633x7 + 746x8 + 880x9 + 711x10 + 711x11 + 943x12 + 966x13 + 1098x14 + 595x15 + 597x16 + 307x17 + 412x18 + 1005x19 + 795x20 + 857x21 + 862x22 + 768x23 + 902x24 + 664x25 + 705x26 + 570x27 + 351x28 + 775x29 + 950x30 + 1092x31 + 736x32 + 832x33 + 802x34 + 280x35 + 995x36 + 492x37 + 821x38 + 1073x39 + 400x40 + 725x41 + 627x42 + 577x43 + 909x44 + 557x45 + 651x46 + 705x47 + 787x48 + 606x49 + 1236x50 + 672x51 + 515x52 + 837x53 + 655x54 + 578x55 + 452x56 + 777x57 + 918x58 + 933x59 + 1004x60 + 821x61 + 688x62 + 818x63 + 776x64 + 436x65 + 1181x66 + 814x67 + 340x68 + 817x69 + 881x70 + 455x71 + 819x72 + 1228x73 + 1079x74 + 512x75 + 1061x76 + 638x77 + 686x78 + 414x79 + 699x80 + 907x81 + 784x82 + 743x83 + 920x84 + 603x85 + 875x86 + 854x87 + 1043x88 + 911x89 + 718x90 + 881x91 + 815x92 + 827x93 + 895x94 + 641x95 + 1134x96 + 699x97 + 621x98 + 828x99 + 1063x100 + 908x101 + 651x102 + 859x103 + 661x104 + 653x105 + 484x106 + 789x107 + 888x108 + 709x109 + 976x110 + 948x111 + 794x112 + 615x113 + 893x114 + 870x115 + 509x116 + 949x117 + 804x118 + 595x119 + 979x120 + 576x121 + 510x122 + 851x123 + 1089x124 + 804x125 + 502x126 + 1107x127 + 534x128 + 615x129 + 922x130 + 443x131 + 944x132 + 327x133 + 637x134 + 628x135 + 408x136 + 758x137 + 1009x138 + 982x139 + 803x140 + 1219x141 + 773x142 + 510x143 + 776x144 + 752x145 + 949x146 + 847x147 + 611x148 + 473x149 + 437x150 + 991x151 + 963x152 + 708x153 + 708x154 + 1071x155 + 614x156 + 317x157 + 652x158 + 733x159 + 828x160 + 683x161 + 528x162 + 658x163 + 668x164 + 809x165 + 754x166 + 1077x167 + 958x168 + 618x169 + 781x170 + 891x171 + 693x172 + 490x173 + 619x174 + 704x175 + 1095x176 + 804x177 + 626x178 + 394x179 + 651x180 + 807x181 + 1050x182 + 816x183 + 581x184 + 461x185 + 377x186 + 992x187 + 678x188 + 827x189 + 916x190 + 638x191 + 739x192 + 365x193 + 802x194 + 1030x195 + 1094x196 + 639x197 + 913x198 + 685x199 + 1023x200 + 634x201 + 943x202 + 600x203 + 681x204 + 1094x205 + 701x206 + 957x207 + 876x208 + 351x209 + 776x210 + 881x211 + 606x212 + 578x213 + 645x214 + 904x215 + 777x216 + 729x217 + 945x218 + 948x219 + 694x220 + 1017x221 + 1004x222 + 639x223 + 990x224 + 603x225 + 627x226 + 700x227 + 617x228 + 914x229 + 707x230 + 824x231 + 965x232 + 559x233 + 786x234 + 763x235 + 387x236 + 1158x237 + 722x238 + 859x239 + 925x240 + 852x241 + 807x242 + 739x243 + 654x244 + 1048x245 + 885x246 + 447x247 + 662x248 + 683x249 + 790x250  = 0 
f2: -f2 + 686x1 + 705x2 + 949x3 + 802x4 + 918x5 + 818x6 + 578x7 + 911x8 + 885x9 + 661x10 + 763x11 + 570x12 + 688x13 + 577x14 + 694x15 + 683x16 + 1023x17 + 368x18 + 902x19 + 1063x20 + 824x21 + 821x22 + 1158x23 + 875x24 + 945x25 + 837x26 + 828x27 + 925x28 + 595x29 + 743x30 + 880x31 + 638x32 + 492x33 + 672x34 + 1094x35 + 814x36 + 595x37 + 618x38 + 827x39 + 816x40 + 1050x41 + 394x42 + 581x43 + 881x44 + 909x45 + 758x46 + 461x47 + 340x48 + 412x49 + 982x50 + 725x51 + 950x52 + 948x53 + 655x54 + 976x55 + 992x56 + 1004x57 + 776x58 + 455x59 + 963x60 + 944x61 + 639x62 + 966x63 + 768x64 + 922x65 + 484x66 + 614x67 + 443x68 + 949x69 + 754x70 + 626x71 + 473x72 + 683x73 + 509x74 + 739x75 + 603x76 + 681x77 + 414x78 + 943x79 + 652x80 + 1061x81 + 1030x82 + 1181x83 + 777x84 + 1228x85 + 786x86 + 634x87 + 958x88 + 729x89 + 1219x90 + 699x91 + 891x92 + 707x93 + 1005x94 + 1236x95 + 1071x96 + 943x97 + 854x98 + 784x99 + 815x100 + 651x101 + 400x102 + 862x103 + 639x104 + 641x105 + 606x106 + 408x107 + 803x108 + 739x109 + 888x110 + 693x111 + 718x112 + 870x113 + 611x114 + 1094x115 + 804x116 + 795x117 + 653x118 + 828x119 + 1004x120 + 436x121 + 557x122 + 638x123 + 351x124 + 809x125 + 668x126 + 633x127 + 1077x128 + 847x129 + 1098x130 + 628x131 + 617x132 + 327x133 + 965x134 + 773x135 + 807x136 + 447x137 + 857x138 + 437x139 + 699x140 + 1079x141 + 916x142 + 988x143 + 1043x144 + 775x145 + 705x146 + 603x147 + 906x148 + 512x149 + 893x150 + 534x151 + 776x152 + 510x153 + 979x154 + 859x155 + 852x156 + 913x157 + 365x158 + 1089x159 + 678x160 + 907x161 + 781x162 + 606x163 + 933x164 + 709x165 + 654x166 + 790x167 + 600x168 + 827x169 + 1017x170 + 908x171 + 832x172 + 804x173 + 777x174 + 490x175 + 895x176 + 904x177 + 733x178 + 990x179 + 957x180 + 789x181 + 817x182 + 317x183 + 651x184 + 701x185 + 351x186 + 794x187 + 627x188 + 1092x189 + 628x190 + 515x191 + 736x192 + 746x193 + 995x194 + 685x195 + 307x196 + 776x197 + 619x198 + 700x199 + 1095x200 + 851x201 + 452x202 + 664x203 + 807x204 + 914x205 + 948x206 + 645x207 + 699x208 + 802x209 + 597x210 + 280x211 + 559x212 + 708x213 + 1009x214 + 627x215 + 621x216 + 1107x217 + 1073x218 + 711x219 + 722x220 + 615x221 + 752x222 + 920x223 + 502x224 + 578x225 + 876x226 + 1134x227 + 387x228 + 708x229 + 662x230 + 787x231 + 615x232 + 711x233 + 819x234 + 528x235 + 510x236 + 704x237 + 377x238 + 1048x239 + 881x240 + 991x241 + 859x242 + 651x243 + 658x244 + 637x245 + 686x246 + 821x247 + 881x248 + 804x249 + 576x250  = 0 
constr1: + 26x1 + 907x2 + 348x3 + 229x4 + 657x5 + 779x6 + 967x7 + 289x8 + 443x9 + 338x10 + 181x11 + 31x12 + 261x13 + 372x14 + 50x15 + 895x16 + 833x17 + 511x18 + 48x19 + 720x20 + 13x21 + 952x22 + 587x23 + 895x24 + 743x25 + 252x26 + 21x27 + 486x28 + 722x29 + 664x30 + 623x31 + 316x32 + 851x33 + 608x34 + 522x35 + 857x36 + 320x37 + 48x38 + 185x39 + 607x40 + 293x41 + 165x42 + 968x43 + 959x44 + 943x45 + 681x46 + 457x47 + 89x48 + 269x49 + 794x50 + 83x51 + 546x52 + 298x53 + 40x54 + 618x55 + 395x56 + 476x57 + 776x58 + 428x59 + 526x60 + 90x61 + 35x62 + 433x63 + 872x64 + 448x65 + 982x66 + 57x67 + 718x68 + 962x69 + 369x70 + 531x71 + 752x72 + 410x73 + 255x74 + 82x75 + 734x76 + 194x77 + 801x78 + 870x79 + 829x80 + 585x81 + 89x82 + 68x83 + 152x84 + 990x85 + 776x86 + 661x87 + 511x88 + 390x89 + 446x90 + 15x91 + 281x92 + 750x93 + 573x94 + 966x95 + 306x96 + 856x97 + 389x98 + 561x99 + 995x100 + 398x101 + 742x102 + 574x103 + 372x104 + 24x105 + 472x106 + 699x107 + 147x108 + 462x109 + 755x110 + 633x111 + 658x112 + 780x113 + 806x114 + 89x115 + 515x116 + 441x117 + 319x118 + 36x119 + 722x120 + 830x121 + 96x122 + 589x123 + 111x124 + 303x125 + 77x126 + 470x127 + 73x128 + 732x129 + 357x130 + 371x131 + 385x132 + 285x133 + 415x134 + 224x135 + 548x136 + 752x137 + 312x138 + 796x139 + 503x140 + 730x141 + 350x142 + 899x143 + 17x144 + 239x145 + 287x146 + 268x147 + 282x148 + 842x149 + 311x150 + 784x151 + 101x152 + 756x153 + 724x154 + 990x155 + 190x156 + 885x157 + 826x158 + 71x159 + 293x160 + 492x161 + 46x162 + 389x163 + 791x164 + 47x165 + 187x166 + 579x167 + 112x168 + 969x169 + 975x170 + 75x171 + 9x172 + 359x173 + 412x174 + 2x175 + 865x176 + 106x177 + 45x178 + 989x179 + 845x180 + 922x181 + 943x182 + 520x183 + 847x184 + 887x185 + 964x186 + 322x187 + 369x188 + 239x189 + 958x190 + 779x191 + 375x192 + 703x193 + 552x194 + 713x195 + 862x196 + 251x197 + 412x198 + 310x199 + 326x200 + 972x201 + 597x202 + 274x203 + 153x204 + 941x205 + 83x206 + 392x207 + 594x208 + 444x209 + 529x210 + 130x211 + 109x212 + 249x213 + 958x214 + 508x215 + 985x216 + 864x217 + 614x218 + 186x219 + 469x220 + 647x221 + 391x222 + 480x223 + 86x224 + 694x225 + 139x226 + 238x227 + 453x228 + 466x229 + 225x230 + 505x231 + 49x232 + 745x233 + 642x234 + 624x235 + 400x236 + 211x237 + 292x238 + 164x239 + 885x240 + 238x241 + 817x242 + 69x243 + 417x244 + 694x245 + 886x246 + 892x247 + 666x248 + 15x249 + 179x250 <= 31737 
constr2: + 573x1 + 305x2 + 795x3 + 147x4 + 921x5 + 924x6 + 725x7 + 258x8 + 471x9 + 962x10 + 740x11 + 880x12 + 684x13 + 376x14 + 152x15 + 424x16 + 78x17 + 931x18 + 843x19 + 550x20 + 848x21 + 545x22 + 314x23 + 932x24 + 415x25 + 648x26 + 913x27 + 770x28 + 85x29 + 127x30 + 864x31 + 278x32 + 177x33 + 711x34 + 1000x35 + 175x36 + 307x37 + 128x38 + 675x39 + 185x40 + 529x41 + 564x42 + 63x43 + 640x44 + 163x45 + 549x46 + 617x47 + 654x48 + 856x49 + 245x50 + 74x51 + 683x52 + 149x53 + 41x54 + 219x55 + 280x56 + 825x57 + 37x58 + 489x59 + 642x60 + 523x61 + 247x62 + 791x63 + 719x64 + 182x65 + 27x66 + 694x67 + 195x68 + 914x69 + 722x70 + 53x71 + 832x72 + 690x73 + 634x74 + 217x75 + 647x76 + 750x77 + 852x78 + 140x79 + 865x80 + 127x81 + 209x82 + 54x83 + 420x84 + 812x85 + 354x86 + 269x87 + 871x88 + 176x89 + 602x90 + 452x91 + 988x92 + 399x93 + 997x94 + 781x95 + 697x96 + 853x97 + 877x98 + 510x99 + 870x100 + 622x101 + 609x102 + 693x103 + 284x104 + 284x105 + 77x106 + 3x107 + 603x108 + 515x109 + 911x110 + 242x111 + 320x112 + 700x113 + 351x114 + 96x115 + 152x116 + 604x117 + 637x118 + 479x119 + 488x120 + 722x121 + 840x122 + 434x123 + 392x124 + 219x125 + 867x126 + 457x127 + 396x128 + 238x129 + 230x130 + 743x131 + 17x132 + 551x133 + 189x134 + 96x135 + 96x136 + 957x137 + 675x138 + 652x139 + 436x140 + 931x141 + 846x142 + 883x143 + 356x144 + 95x145 + 616x146 + 638x147 + 424x148 + 388x149 + 305x150 + 378x151 + 755x152 + 504x153 + 358x154 + 196x155 + 358x156 + 421x157 + 143x158 + 187x159 + 535x160 + 169x161 + 700x162 + 977x163 + 212x164 + 917x165 + 895x166 + 280x167 + 426x168 + 143x169 + 630x170 + 453x171 + 532x172 + 102x173 + 575x174 + 70x175 + 612x176 + 920x177 + 291x178 + 483x179 + 771x180 + 806x181 + 270x182 + 469x183 + 906x184 + 579x185 + 644x186 + 554x187 + 381x188 + 79x189 + 75x190 + 548x191 + 211x192 + 726x193 + 785x194 + 693x195 + 414x196 + 408x197 + 653x198 + 237x199 + 43x200 + 824x201 + 253x202 + 285x203 + 425x204 + 604x205 + 212x206 + 483x207 + 338x208 + 567x209 + 311x210 + 21x211 + 115x212 + 56x213 + 476x214 + 465x215 + 939x216 + 89x217 + 66x218 + 219x219 + 342x220 + 199x221 + 711x222 + 860x223 + 519x224 + 613x225 + 628x226 + 963x227 + 808x228 + 576x229 + 657x230 + 933x231 + 482x232 + 1x233 + 737x234 + 157x235 + 644x236 + 877x237 + 435x238 + 315x239 + 779x240 + 212x241 + 263x242 + 468x243 + 134x244 + 811x245 + 363x246 + 821x247 + 927x248 + 659x249 + 408x250 <= 31304 
constr3: + 6x1 + 705x2 + 431x3 + 347x4 + 142x5 + 590x6 + 991x7 + 953x8 + 162x9 + 810x10 + 857x11 + 539x12 + 125x13 + 95x14 + 899x15 + 567x16 + 890x17 + 727x18 + 230x19 + 830x20 + 684x21 + 658x22 + 77x23 + 398x24 + 744x25 + 883x26 + 26x27 + 952x28 + 261x29 + 142x30 + 689x31 + 273x32 + 208x33 + 987x34 + 955x35 + 498x36 + 47x37 + 951x38 + 204x39 + 118x40 + 108x41 + 856x42 + 143x43 + 983x44 + 717x45 + 109x46 + 719x47 + 880x48 + 190x49 + 535x50 + 53x51 + 409x52 + 367x53 + 563x54 + 873x55 + 205x56 + 43x57 + 931x58 + 386x59 + 435x60 + 662x61 + 375x62 + 972x63 + 255x64 + 780x65 + 343x66 + 204x67 + 911x68 + 50x69 + 70x70 + 868x71 + 876x72 + 238x73 + 374x74 + 104x75 + 927x76 + 22x77 + 791x78 + 277x79 + 616x80 + 2x81 + 966x82 + 989x83 + 390x84 + 56x85 + 61x86 + 621x87 + 464x88 + 411x89 + 878x90 + 817x91 + 646x92 + 228x93 + 752x94 + 684x95 + 287x96 + 397x97 + 150x98 + 337x99 + 329x100 + 496x101 + 882x102 + 809x103 + 468x104 + 522x105 + 541x106 + 723x107 + 867x108 + 47x109 + 396x110 + 589x111 + 519x112 + 396x113 + 266x114 + 886x115 + 60x116 + 768x117 + 1x118 + 104x119 + 769x120 + 65x121 + 622x122 + 70x123 + 473x124 + 558x125 + 287x126 + 186x127 + 779x128 + 224x129 + 991x130 + 123x131 + 818x132 + 71x133 + 684x134 + 1x135 + 532x136 + 887x137 + 205x138 + 57x139 + 315x140 + 984x141 + 773x142 + 591x143 + 733x144 + 406x145 + 662x146 + 127x147 + 493x148 + 933x149 + 358x150 + 27x151 + 111x152 + 715x153 + 35x154 + 506x155 + 356x156 + 132x157 + 663x158 + 757x159 + 610x160 + 230x161 + 962x162 + 634x163 + 689x164 + 417x165 + 363x166 + 108x167 + 645x168 + 597x169 + 493x170 + 234x171 + 567x172 + 601x173 + 129x174 + 907x175 + 107x176 + 95x177 + 583x178 + 473x179 + 8x180 + 329x181 + 237x182 + 549x183 + 345x184 + 339x185 + 964x186 + 253x187 + 215x188 + 310x189 + 382x190 + 902x191 + 59x192 + 576x193 + 368x194 + 245x195 + 573x196 + 517x197 + 703x198 + 788x199 + 783x200 + 108x201 + 741x202 + 917x203 + 7x204 + 314x205 + 32x206 + 152x207 + 119x208 + 328x209 + 208x210 + 452x211 + 780x212 + 380x213 + 29x214 + 751x215 + 569x216 + 408x217 + 466x218 + 815x219 + 58x220 + 332x221 + 308x222 + 45x223 + 576x224 + 989x225 + 257x226 + 941x227 + 120x228 + 467x229 + 9x230 + 615x231 + 322x232 + 908x233 + 494x234 + 915x235 + 267x236 + 956x237 + 875x238 + 326x239 + 650x240 + 159x241 + 454x242 + 968x243 + 467x244 + 388x245 + 22x246 + 473x247 + 509x248 + 658x249 + 340x250 <= 30642 
constr4: + 984x1 + 744x2 + 434x3 + 879x4 + 695x5 + 159x6 + 969x7 + 487x8 + 903x9 + 857x10 + 514x11 + 683x12 + 556x13 + 298x14 + 493x15 + 20x16 + 945x17 + 15x18 + 640x19 + 589x20 + 29x21 + 521x22 + 1x23 + 48x24 + 56x25 + 449x26 + 513x27 + 873x28 + 724x29 + 519x30 + 739x31 + 749x32 + 101x33 + 361x34 + 111x35 + 192x36 + 767x37 + 284x38 + 233x39 + 961x40 + 235x41 + 156x42 + 833x43 + 511x44 + 591x45 + 253x46 + 618x47 + 481x48 + 25x49 + 181x50 + 457x51 + 175x52 + 706x53 + 720x54 + 620x55 + 658x56 + 866x57 + 834x58 + 399x59 + 253x60 + 136x61 + 794x62 + 316x63 + 128x64 + 838x65 + 35x66 + 331x67 + 953x68 + 462x69 + 619x70 + 308x71 + 434x72 + 1000x73 + 528x74 + 628x75 + 937x76 + 608x77 + 598x78 + 206x79 + 186x80 + 360x81 + 314x82 + 566x83 + 612x84 + 609x85 + 731x86 + 388x87 + 959x88 + 136x89 + 526x90 + 725x91 + 490x92 + 51x93 + 879x94 + 594x95 + 868x96 + 538x97 + 680x98 + 78x99 + 745x100 + 116x101 + 905x102 + 952x103 + 504x104 + 438x105 + 883x106 + 965x107 + 759x108 + 589x109 + 285x110 + 851x111 + 551x112 + 358x113 + 436x114 + 381x115 + 653x116 + 947x117 + 987x118 + 843x119 + 990x120 + 789x121 + 702x122 + 909x123 + 328x124 + 943x125 + 263x126 + 324x127 + 904x128 + 441x129 + 429x130 + 271x131 + 184x132 + 808x133 + 497x134 + 711x135 + 349x136 + 614x137 + 894x138 + 538x139 + 739x140 + 262x141 + 804x142 + 463x143 + 568x144 + 556x145 + 723x146 + 255x147 + 9x148 + 671x149 + 992x150 + 535x151 + 671x152 + 334x153 + 458x154 + 462x155 + 543x156 + 564x157 + 738x158 + 41x159 + 52x160 + 612x161 + 805x162 + 464x163 + 382x164 + 594x165 + 281x166 + 679x167 + 328x168 + 720x169 + 849x170 + 748x171 + 363x172 + 100x173 + 481x174 + 740x175 + 413x176 + 778x177 + 881x178 + 708x179 + 191x180 + 941x181 + 554x182 + 105x183 + 498x184 + 877x185 + 346x186 + 136x187 + 407x188 + 337x189 + 399x190 + 603x191 + 81x192 + 938x193 + 854x194 + 608x195 + 715x196 + 739x197 + 754x198 + 737x199 + 914x200 + 538x201 + 795x202 + 627x203 + 457x204 + 14x205 + 485x206 + 392x207 + 607x208 + 278x209 + 228x210 + 429x211 + 673x212 + 894x213 + 552x214 + 673x215 + 151x216 + 882x217 + 373x218 + 778x219 + 457x220 + 430x221 + 720x222 + 344x223 + 798x224 + 971x225 + 241x226 + 590x227 + 288x228 + 250x229 + 947x230 + 781x231 + 457x232 + 214x233 + 933x234 + 143x235 + 36x236 + 428x237 + 519x238 + 685x239 + 84x240 + 603x241 + 76x242 + 504x243 + 495x244 + 410x245 + 707x246 + 911x247 + 191x248 + 636x249 + 236x250 <= 30471 
constr5: + 260x1 + 183x2 + 771x3 + 168x4 + 89x5 + 953x6 + 30x7 + 215x8 + 656x9 + 559x10 + 608x11 + 557x12 + 243x13 + 645x14 + 569x15 + 73x16 + 600x17 + 372x18 + 851x19 + 641x20 + 439x21 + 80x22 + 685x23 + 743x24 + 580x25 + 792x26 + 499x27 + 591x28 + 965x29 + 55x30 + 686x31 + 996x32 + 416x33 + 766x34 + 210x35 + 286x36 + 244x37 + 470x38 + 797x39 + 892x40 + 909x41 + 871x42 + 281x43 + 33x44 + 28x45 + 346x46 + 822x47 + 689x48 + 789x49 + 583x50 + 905x51 + 192x52 + 326x53 + 367x54 + 707x55 + 951x56 + 176x57 + 168x58 + 658x59 + 935x60 + 168x61 + 794x62 + 704x63 + 729x64 + 572x65 + 148x66 + 262x67 + 676x68 + 420x69 + 422x70 + 279x71 + 244x72 + 190x73 + 149x74 + 485x75 + 411x76 + 209x77 + 305x78 + 924x79 + 105x80 + 996x81 + 103x82 + 944x83 + 187x84 + 918x85 + 213x86 + 264x87 + 877x88 + 773x89 + 898x90 + 976x91 + 88x92 + 428x93 + 474x94 + 984x95 + 266x96 + 341x97 + 698x98 + 622x99 + 137x100 + 771x101 + 233x102 + 741x103 + 566x104 + 596x105 + 633x106 + 539x107 + 465x108 + 393x109 + 872x110 + 899x111 + 649x112 + 606x113 + 154x114 + 184x115 + 953x116 + 552x117 + 243x118 + 252x119 + 922x120 + 387x121 + 534x122 + 212x123 + 434x124 + 775x125 + 31x126 + 101x127 + 960x128 + 646x129 + 569x130 + 99x131 + 293x132 + 206x133 + 495x134 + 477x135 + 435x136 + 295x137 + 651x138 + 107x139 + 798x140 + 341x141 + 569x142 + 339x143 + 162x144 + 75x145 + 281x146 + 559x147 + 410x148 + 180x149 + 15x150 + 599x151 + 533x152 + 105x153 + 876x154 + 6x155 + 558x156 + 234x157 + 105x158 + 359x159 + 835x160 + 477x161 + 391x162 + 147x163 + 593x164 + 560x165 + 199x166 + 281x167 + 98x168 + 295x169 + 779x170 + 37x171 + 903x172 + 36x173 + 850x174 + 565x175 + 924x176 + 467x177 + 44x178 + 46x179 + 71x180 + 977x181 + 490x182 + 730x183 + 62x184 + 552x185 + 43x186 + 878x187 + 332x188 + 748x189 + 431x190 + 862x191 + 729x192 + 667x193 + 421x194 + 104x195 + 381x196 + 583x197 + 507x198 + 672x199 + 852x200 + 371x201 + 145x202 + 57x203 + 102x204 + 152x205 + 340x206 + 392x207 + 726x208 + 613x209 + 555x210 + 574x211 + 575x212 + 344x213 + 261x214 + 28x215 + 678x216 + 960x217 + 941x218 + 229x219 + 522x220 + 950x221 + 987x222 + 906x223 + 621x224 + 352x225 + 627x226 + 953x227 + 592x228 + 20x229 + 746x230 + 739x231 + 128x232 + 908x233 + 660x234 + 240x235 + 539x236 + 279x237 + 295x238 + 667x239 + 568x240 + 954x241 + 710x242 + 414x243 + 387x244 + 65x245 + 390x246 + 213x247 + 916x248 + 864x249 + 489x250 <= 30102 
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