minimize 
objective: s
subject to 
s1: s + 0.501000f1 + 0.001000f2 >= 95663.630000 
s2: s + 0.001000f1 + 0.501000f2 >= 95663.630000 
f1: -f1 + 708x1 + 759x2 + 821x3 + 523x4 + 788x5 + 833x6 + 740x7 + 637x8 + 635x9 + 627x10 + 784x11 + 659x12 + 365x13 + 798x14 + 777x15 + 741x16 + 661x17 + 1016x18 + 509x19 + 623x20 + 687x21 + 702x22 + 811x23 + 888x24 + 841x25 + 789x26 + 697x27 + 716x28 + 778x29 + 495x30 + 832x31 + 812x32 + 995x33 + 759x34 + 1104x35 + 1014x36 + 952x37 + 674x38 + 960x39 + 986x40 + 942x41 + 846x42 + 889x43 + 719x44 + 588x45 + 881x46 + 573x47 + 805x48 + 1076x49 + 834x50 + 952x51 + 755x52 + 890x53 + 917x54 + 799x55 + 520x56 + 767x57 + 418x58 + 684x59 + 774x60 + 770x61 + 926x62 + 884x63 + 971x64 + 866x65 + 709x66 + 885x67 + 1061x68 + 464x69 + 694x70 + 966x71 + 997x72 + 812x73 + 924x74 + 878x75 + 569x76 + 948x77 + 932x78 + 812x79 + 722x80 + 741x81 + 737x82 + 801x83 + 1105x84 + 720x85 + 867x86 + 527x87 + 973x88 + 623x89 + 817x90 + 427x91 + 457x92 + 532x93 + 867x94 + 564x95 + 659x96 + 645x97 + 739x98 + 965x99 + 1026x100 + 969x101 + 737x102 + 385x103 + 450x104 + 725x105 + 688x106 + 942x107 + 716x108 + 1221x109 + 711x110 + 622x111 + 874x112 + 491x113 + 523x114 + 773x115 + 525x116 + 616x117 + 669x118 + 695x119 + 811x120 + 311x121 + 806x122 + 1066x123 + 780x124 + 898x125 + 885x126 + 860x127 + 557x128 + 799x129 + 406x130 + 603x131 + 585x132 + 855x133 + 674x134 + 298x135 + 553x136 + 542x137 + 552x138 + 780x139 + 882x140 + 429x141 + 584x142 + 921x143 + 549x144 + 671x145 + 470x146 + 829x147 + 1113x148 + 906x149 + 979x150 + 810x151 + 779x152 + 791x153 + 853x154 + 932x155 + 743x156 + 918x157 + 883x158 + 1067x159 + 694x160 + 709x161 + 634x162 + 550x163 + 424x164 + 661x165 + 969x166 + 658x167 + 1053x168 + 924x169 + 606x170 + 880x171 + 912x172 + 413x173 + 629x174 + 1008x175 + 779x176 + 940x177 + 1275x178 + 746x179 + 632x180 + 1150x181 + 895x182 + 741x183 + 686x184 + 501x185 + 920x186 + 1026x187 + 949x188 + 990x189 + 803x190 + 820x191 + 415x192 + 473x193 + 701x194 + 663x195 + 824x196 + 733x197 + 812x198 + 789x199 + 1001x200 + 714x201 + 387x202 + 776x203 + 957x204 + 780x205 + 692x206 + 835x207 + 1107x208 + 660x209 + 1055x210 + 604x211 + 1054x212 + 1207x213 + 836x214 + 548x215 + 603x216 + 850x217 + 795x218 + 776x219 + 709x220 + 503x221 + 809x222 + 373x223 + 866x224 + 802x225 + 375x226 + 773x227 + 825x228 + 497x229 + 1124x230 + 698x231 + 545x232 + 998x233 + 920x234 + 591x235 + 668x236 + 764x237 + 775x238 + 698x239 + 1071x240 + 644x241 + 766x242 + 781x243 + 793x244 + 714x245 + 868x246 + 657x247 + 948x248 + 451x249 + 566x250  = 0 
f2: -f2 + 836x1 + 627x2 + 1066x3 + 387x4 + 542x5 + 495x6 + 1105x7 + 661x8 + 584x9 + 523x10 + 773x11 + 888x12 + 668x13 + 850x14 + 709x15 + 552x16 + 971x17 + 566x18 + 969x19 + 841x20 + 885x21 + 779x22 + 895x23 + 1053x24 + 803x25 + 878x26 + 926x27 + 737x28 + 770x29 + 812x30 + 569x31 + 789x32 + 924x33 + 806x34 + 746x35 + 774x36 + 629x37 + 912x38 + 777x39 + 942x40 + 874x41 + 669x42 + 890x43 + 698x44 + 920x45 + 692x46 + 661x47 + 603x48 + 812x49 + 868x50 + 549x51 + 780x52 + 801x53 + 866x54 + 779x55 + 722x56 + 714x57 + 740x58 + 990x59 + 867x60 + 1026x61 + 720x62 + 773x63 + 775x64 + 545x65 + 711x66 + 918x67 + 906x68 + 375x69 + 942x70 + 932x71 + 635x72 + 429x73 + 898x74 + 1055x75 + 1221x76 + 780x77 + 385x78 + 532x79 + 789x80 + 1275x81 + 695x82 + 966x83 + 657x84 + 406x85 + 780x86 + 825x87 + 755x88 + 924x89 + 952x90 + 882x91 + 659x92 + 948x93 + 965x94 + 520x95 + 373x96 + 776x97 + 525x98 + 889x99 + 812x100 + 998x101 + 503x102 + 829x103 + 644x104 + 659x105 + 686x106 + 365x107 + 694x108 + 860x109 + 719x110 + 834x111 + 1061x112 + 948x113 + 817x114 + 973x115 + 548x116 + 741x117 + 585x118 + 527x119 + 969x120 + 616x121 + 885x122 + 603x123 + 795x124 + 623x125 + 311x126 + 880x127 + 622x128 + 759x129 + 553x130 + 1113x131 + 298x132 + 835x133 + 957x134 + 1150x135 + 767x136 + 674x137 + 824x138 + 573x139 + 709x140 + 557x141 + 632x142 + 564x143 + 660x144 + 821x145 + 781x146 + 694x147 + 741x148 + 588x149 + 1001x150 + 733x151 + 764x152 + 687x153 + 986x154 + 979x155 + 883x156 + 501x157 + 866x158 + 784x159 + 701x160 + 833x161 + 684x162 + 1104x163 + 523x164 + 1107x165 + 688x166 + 473x167 + 759x168 + 778x169 + 776x170 + 418x171 + 457x172 + 820x173 + 766x174 + 741x175 + 810x176 + 884x177 + 470x178 + 1124x179 + 798x180 + 921x181 + 702x182 + 812x183 + 424x184 + 1008x185 + 811x186 + 714x187 + 604x188 + 737x189 + 1207x190 + 802x191 + 917x192 + 743x193 + 832x194 + 623x195 + 725x196 + 1067x197 + 811x198 + 1054x199 + 793x200 + 674x201 + 450x202 + 427x203 + 791x204 + 1026x205 + 634x206 + 451x207 + 799x208 + 809x209 + 846x210 + 671x211 + 491x212 + 606x213 + 413x214 + 867x215 + 949x216 + 855x217 + 709x218 + 645x219 + 997x220 + 995x221 + 805x222 + 1071x223 + 658x224 + 952x225 + 550x226 + 788x227 + 881x228 + 637x229 + 698x230 + 509x231 + 591x232 + 716x233 + 716x234 + 1014x235 + 940x236 + 960x237 + 799x238 + 663x239 + 697x240 + 497x241 + 415x242 + 464x243 + 1076x244 + 708x245 + 920x246 + 932x247 + 739x248 + 1016x249 + 853x250  = 0 
constr1: + 655x1 + 830x2 + 888x3 + 931x4 + 416x5 + 844x6 + 422x7 + 777x8 + 434x9 + 675x10 + 906x11 + 34x12 + 112x13 + 628x14 + 648x15 + 459x16 + 268x17 + 127x18 + 6x19 + 94x20 + 243x21 + 980x22 + 307x23 + 329x24 + 202x25 + 539x26 + 902x27 + 691x28 + 273x29 + 755x30 + 431x31 + 727x32 + 527x33 + 221x34 + 687x35 + 660x36 + 656x37 + 838x38 + 966x39 + 466x40 + 838x41 + 639x42 + 664x43 + 6x44 + 181x45 + 446x46 + 831x47 + 944x48 + 61x49 + 361x50 + 864x51 + 658x52 + 230x53 + 871x54 + 102x55 + 680x56 + 542x57 + 597x58 + 519x59 + 429x60 + 930x61 + 361x62 + 337x63 + 84x64 + 422x65 + 185x66 + 618x67 + 114x68 + 285x69 + 440x70 + 730x71 + 188x72 + 536x73 + 478x74 + 122x75 + 484x76 + 535x77 + 294x78 + 161x79 + 219x80 + 289x81 + 837x82 + 235x83 + 503x84 + 628x85 + 502x86 + 545x87 + 994x88 + 972x89 + 854x90 + 823x91 + 590x92 + 764x93 + 697x94 + 689x95 + 514x96 + 373x97 + 425x98 + 491x99 + 108x100 + 458x101 + 267x102 + 58x103 + 564x104 + 136x105 + 16x106 + 111x107 + 45x108 + 574x109 + 732x110 + 69x111 + 115x112 + 17x113 + 841x114 + 176x115 + 468x116 + 429x117 + 649x118 + 269x119 + 727x120 + 747x121 + 335x122 + 975x123 + 85x124 + 558x125 + 563x126 + 663x127 + 298x128 + 636x129 + 279x130 + 377x131 + 970x132 + 933x133 + 789x134 + 871x135 + 580x136 + 469x137 + 245x138 + 887x139 + 936x140 + 538x141 + 104x142 + 404x143 + 129x144 + 925x145 + 295x146 + 773x147 + 601x148 + 161x149 + 872x150 + 552x151 + 392x152 + 277x153 + 534x154 + 629x155 + 802x156 + 241x157 + 311x158 + 11x159 + 843x160 + 155x161 + 786x162 + 844x163 + 5x164 + 543x165 + 423x166 + 272x167 + 812x168 + 824x169 + 93x170 + 506x171 + 686x172 + 738x173 + 770x174 + 356x175 + 812x176 + 452x177 + 821x178 + 76x179 + 695x180 + 423x181 + 283x182 + 556x183 + 628x184 + 192x185 + 276x186 + 707x187 + 374x188 + 45x189 + 612x190 + 134x191 + 150x192 + 329x193 + 154x194 + 260x195 + 188x196 + 423x197 + 441x198 + 476x199 + 659x200 + 177x201 + 119x202 + 520x203 + 262x204 + 791x205 + 409x206 + 767x207 + 845x208 + 959x209 + 212x210 + 700x211 + 982x212 + 888x213 + 778x214 + 784x215 + 667x216 + 812x217 + 393x218 + 160x219 + 872x220 + 969x221 + 388x222 + 78x223 + 42x224 + 247x225 + 454x226 + 418x227 + 544x228 + 783x229 + 363x230 + 581x231 + 417x232 + 424x233 + 589x234 + 746x235 + 376x236 + 921x237 + 719x238 + 892x239 + 267x240 + 262x241 + 124x242 + 221x243 + 204x244 + 67x245 + 37x246 + 924x247 + 567x248 + 147x249 + 278x250 <= 31492 
constr2: + 765x1 + 517x2 + 478x3 + 923x4 + 541x5 + 162x6 + 175x7 + 502x8 + 564x9 + 867x10 + 72x11 + 377x12 + 49x13 + 467x14 + 148x15 + 8x16 + 124x17 + 222x18 + 457x19 + 636x20 + 612x21 + 177x22 + 421x23 + 246x24 + 978x25 + 449x26 + 970x27 + 661x28 + 257x29 + 158x30 + 921x31 + 33x32 + 701x33 + 236x34 + 358x35 + 252x36 + 367x37 + 765x38 + 15x39 + 428x40 + 49x41 + 665x42 + 253x43 + 593x44 + 991x45 + 953x46 + 334x47 + 55x48 + 144x49 + 151x50 + 385x51 + 475x52 + 832x53 + 358x54 + 775x55 + 534x56 + 790x57 + 825x58 + 562x59 + 44x60 + 596x61 + 284x62 + 664x63 + 377x64 + 626x65 + 741x66 + 460x67 + 56x68 + 90x69 + 210x70 + 425x71 + 156x72 + 258x73 + 71x74 + 405x75 + 123x76 + 308x77 + 430x78 + 696x79 + 511x80 + 590x81 + 958x82 + 514x83 + 626x84 + 104x85 + 448x86 + 38x87 + 357x88 + 81x89 + 980x90 + 209x91 + 1000x92 + 929x93 + 654x94 + 785x95 + 6x96 + 806x97 + 512x98 + 6x99 + 64x100 + 238x101 + 831x102 + 866x103 + 343x104 + 975x105 + 534x106 + 73x107 + 119x108 + 264x109 + 643x110 + 767x111 + 127x112 + 965x113 + 331x114 + 980x115 + 9x116 + 542x117 + 799x118 + 625x119 + 138x120 + 29x121 + 420x122 + 520x123 + 793x124 + 490x125 + 339x126 + 157x127 + 56x128 + 823x129 + 678x130 + 583x131 + 156x132 + 507x133 + 766x134 + 476x135 + 717x136 + 232x137 + 845x138 + 856x139 + 189x140 + 59x141 + 759x142 + 293x143 + 728x144 + 631x145 + 607x146 + 816x147 + 1000x148 + 888x149 + 563x150 + 928x151 + 374x152 + 57x153 + 527x154 + 158x155 + 608x156 + 909x157 + 444x158 + 931x159 + 270x160 + 47x161 + 245x162 + 364x163 + 436x164 + 457x165 + 877x166 + 671x167 + 5x168 + 380x169 + 979x170 + 19x171 + 860x172 + 292x173 + 281x174 + 994x175 + 442x176 + 730x177 + 696x178 + 110x179 + 662x180 + 823x181 + 852x182 + 316x183 + 633x184 + 909x185 + 567x186 + 916x187 + 621x188 + 756x189 + 567x190 + 164x191 + 697x192 + 860x193 + 871x194 + 888x195 + 159x196 + 119x197 + 294x198 + 538x199 + 848x200 + 557x201 + 490x202 + 882x203 + 885x204 + 965x205 + 443x206 + 332x207 + 468x208 + 423x209 + 464x210 + 77x211 + 748x212 + 428x213 + 811x214 + 668x215 + 786x216 + 112x217 + 684x218 + 176x219 + 624x220 + 997x221 + 806x222 + 423x223 + 457x224 + 735x225 + 555x226 + 48x227 + 574x228 + 927x229 + 177x230 + 446x231 + 654x232 + 913x233 + 882x234 + 659x235 + 703x236 + 549x237 + 973x238 + 214x239 + 615x240 + 191x241 + 350x242 + 757x243 + 466x244 + 485x245 + 79x246 + 305x247 + 778x248 + 212x249 + 900x250 <= 30295 
constr3: + 267x1 + 796x2 + 263x3 + 852x4 + 804x5 + 239x6 + 501x7 + 893x8 + 903x9 + 22x10 + 181x11 + 395x12 + 860x13 + 718x14 + 546x15 + 53x16 + 190x17 + 403x18 + 501x19 + 265x20 + 840x21 + 272x22 + 624x23 + 6x24 + 85x25 + 20x26 + 930x27 + 793x28 + 483x29 + 293x30 + 106x31 + 218x32 + 70x33 + 967x34 + 236x35 + 549x36 + 564x37 + 802x38 + 397x39 + 65x40 + 4x41 + 981x42 + 695x43 + 889x44 + 190x45 + 796x46 + 372x47 + 715x48 + 346x49 + 515x50 + 132x51 + 716x52 + 704x53 + 368x54 + 644x55 + 393x56 + 651x57 + 34x58 + 549x59 + 772x60 + 340x61 + 237x62 + 488x63 + 603x64 + 224x65 + 737x66 + 906x67 + 968x68 + 386x69 + 133x70 + 148x71 + 505x72 + 503x73 + 352x74 + 488x75 + 254x76 + 340x77 + 2x78 + 964x79 + 804x80 + 513x81 + 205x82 + 167x83 + 989x84 + 42x85 + 637x86 + 628x87 + 4x88 + 289x89 + 129x90 + 738x91 + 386x92 + 550x93 + 927x94 + 512x95 + 946x96 + 522x97 + 729x98 + 921x99 + 926x100 + 775x101 + 691x102 + 107x103 + 262x104 + 567x105 + 407x106 + 184x107 + 907x108 + 327x109 + 31x110 + 786x111 + 792x112 + 275x113 + 505x114 + 407x115 + 676x116 + 799x117 + 520x118 + 352x119 + 777x120 + 185x121 + 831x122 + 585x123 + 909x124 + 720x125 + 357x126 + 449x127 + 153x128 + 179x129 + 544x130 + 304x131 + 717x132 + 577x133 + 361x134 + 546x135 + 856x136 + 861x137 + 163x138 + 174x139 + 513x140 + 582x141 + 172x142 + 685x143 + 551x144 + 320x145 + 120x146 + 795x147 + 849x148 + 261x149 + 281x150 + 352x151 + 278x152 + 250x153 + 879x154 + 324x155 + 699x156 + 570x157 + 879x158 + 260x159 + 598x160 + 747x161 + 293x162 + 80x163 + 494x164 + 58x165 + 625x166 + 193x167 + 207x168 + 79x169 + 844x170 + 459x171 + 54x172 + 185x173 + 72x174 + 966x175 + 889x176 + 529x177 + 265x178 + 508x179 + 668x180 + 134x181 + 846x182 + 315x183 + 13x184 + 660x185 + 982x186 + 721x187 + 829x188 + 4x189 + 667x190 + 593x191 + 987x192 + 738x193 + 528x194 + 416x195 + 889x196 + 825x197 + 19x198 + 999x199 + 99x200 + 647x201 + 185x202 + 342x203 + 763x204 + 560x205 + 508x206 + 925x207 + 246x208 + 813x209 + 829x210 + 98x211 + 309x212 + 233x213 + 666x214 + 922x215 + 116x216 + 855x217 + 366x218 + 849x219 + 995x220 + 38x221 + 796x222 + 552x223 + 30x224 + 696x225 + 546x226 + 482x227 + 853x228 + 902x229 + 974x230 + 837x231 + 555x232 + 20x233 + 826x234 + 432x235 + 960x236 + 548x237 + 543x238 + 474x239 + 766x240 + 579x241 + 747x242 + 957x243 + 964x244 + 255x245 + 618x246 + 237x247 + 196x248 + 540x249 + 695x250 <= 30997 
constr4: + 869x1 + 267x2 + 946x3 + 329x4 + 693x5 + 426x6 + 563x7 + 770x8 + 621x9 + 232x10 + 823x11 + 56x12 + 689x13 + 929x14 + 383x15 + 43x16 + 210x17 + 647x18 + 447x19 + 533x20 + 280x21 + 946x22 + 176x23 + 728x24 + 518x25 + 876x26 + 675x27 + 886x28 + 922x29 + 754x30 + 193x31 + 946x32 + 242x33 + 721x34 + 412x35 + 66x36 + 702x37 + 599x38 + 644x39 + 833x40 + 840x41 + 69x42 + 945x43 + 750x44 + 772x45 + 422x46 + 979x47 + 568x48 + 88x49 + 361x50 + 100x51 + 61x52 + 322x53 + 542x54 + 929x55 + 85x56 + 213x57 + 819x58 + 307x59 + 178x60 + 202x61 + 29x62 + 968x63 + 148x64 + 486x65 + 189x66 + 409x67 + 334x68 + 696x69 + 280x70 + 322x71 + 402x72 + 328x73 + 381x74 + 532x75 + 934x76 + 887x77 + 349x78 + 243x79 + 260x80 + 617x81 + 413x82 + 399x83 + 660x84 + 771x85 + 259x86 + 196x87 + 760x88 + 461x89 + 698x90 + 848x91 + 627x92 + 430x93 + 902x94 + 799x95 + 25x96 + 618x97 + 799x98 + 113x99 + 69x100 + 29x101 + 774x102 + 359x103 + 166x104 + 917x105 + 377x106 + 456x107 + 839x108 + 186x109 + 999x110 + 223x111 + 9x112 + 878x113 + 739x114 + 793x115 + 361x116 + 850x117 + 712x118 + 280x119 + 186x120 + 470x121 + 985x122 + 57x123 + 409x124 + 246x125 + 734x126 + 358x127 + 827x128 + 550x129 + 295x130 + 939x131 + 704x132 + 29x133 + 385x134 + 602x135 + 228x136 + 496x137 + 25x138 + 829x139 + 193x140 + 262x141 + 500x142 + 215x143 + 887x144 + 846x145 + 730x146 + 826x147 + 767x148 + 760x149 + 662x150 + 271x151 + 138x152 + 576x153 + 72x154 + 792x155 + 37x156 + 731x157 + 653x158 + 101x159 + 914x160 + 552x161 + 948x162 + 865x163 + 165x164 + 231x165 + 488x166 + 682x167 + 340x168 + 545x169 + 444x170 + 323x171 + 452x172 + 218x173 + 51x174 + 67x175 + 540x176 + 89x177 + 467x178 + 514x179 + 899x180 + 140x181 + 405x182 + 575x183 + 808x184 + 477x185 + 806x186 + 147x187 + 982x188 + 709x189 + 395x190 + 268x191 + 524x192 + 491x193 + 183x194 + 873x195 + 182x196 + 451x197 + 68x198 + 249x199 + 134x200 + 207x201 + 443x202 + 386x203 + 873x204 + 831x205 + 925x206 + 411x207 + 33x208 + 232x209 + 718x210 + 737x211 + 654x212 + 678x213 + 77x214 + 618x215 + 501x216 + 922x217 + 260x218 + 84x219 + 980x220 + 211x221 + 999x222 + 883x223 + 11x224 + 284x225 + 879x226 + 813x227 + 210x228 + 178x229 + 645x230 + 733x231 + 819x232 + 146x233 + 54x234 + 26x235 + 438x236 + 156x237 + 930x238 + 199x239 + 79x240 + 330x241 + 706x242 + 311x243 + 817x244 + 967x245 + 581x246 + 606x247 + 399x248 + 793x249 + 889x250 <= 30350 
constr5: + 161x1 + 715x2 + 522x3 + 26x4 + 472x5 + 926x6 + 624x7 + 608x8 + 969x9 + 544x10 + 482x11 + 31x12 + 143x13 + 1000x14 + 482x15 + 175x16 + 77x17 + 848x18 + 61x19 + 707x20 + 675x21 + 951x22 + 588x23 + 576x24 + 659x25 + 177x26 + 65x27 + 316x28 + 194x29 + 867x30 + 549x31 + 389x32 + 704x33 + 969x34 + 818x35 + 175x36 + 423x37 + 702x38 + 412x39 + 747x40 + 467x41 + 415x42 + 551x43 + 208x44 + 831x45 + 807x46 + 911x47 + 587x48 + 770x49 + 256x50 + 329x51 + 359x52 + 683x53 + 663x54 + 990x55 + 267x56 + 722x57 + 461x58 + 418x59 + 246x60 + 379x61 + 598x62 + 998x63 + 852x64 + 833x65 + 362x66 + 386x67 + 14x68 + 927x69 + 789x70 + 488x71 + 148x72 + 78x73 + 679x74 + 513x75 + 402x76 + 470x77 + 787x78 + 73x79 + 652x80 + 813x81 + 929x82 + 170x83 + 169x84 + 265x85 + 99x86 + 482x87 + 929x88 + 422x89 + 488x90 + 564x91 + 902x92 + 479x93 + 282x94 + 688x95 + 981x96 + 269x97 + 648x98 + 930x99 + 18x100 + 353x101 + 35x102 + 931x103 + 356x104 + 618x105 + 114x106 + 546x107 + 446x108 + 197x109 + 636x110 + 497x111 + 561x112 + 464x113 + 10x114 + 344x115 + 371x116 + 365x117 + 609x118 + 10x119 + 745x120 + 31x121 + 344x122 + 889x123 + 796x124 + 895x125 + 502x126 + 91x127 + 221x128 + 572x129 + 361x130 + 266x131 + 248x132 + 524x133 + 296x134 + 853x135 + 194x136 + 510x137 + 582x138 + 777x139 + 763x140 + 836x141 + 987x142 + 438x143 + 787x144 + 49x145 + 426x146 + 25x147 + 860x148 + 382x149 + 714x150 + 621x151 + 644x152 + 821x153 + 366x154 + 424x155 + 31x156 + 642x157 + 940x158 + 15x159 + 534x160 + 837x161 + 591x162 + 395x163 + 130x164 + 417x165 + 755x166 + 167x167 + 927x168 + 483x169 + 196x170 + 910x171 + 138x172 + 666x173 + 406x174 + 719x175 + 9x176 + 737x177 + 427x178 + 734x179 + 821x180 + 941x181 + 566x182 + 19x183 + 529x184 + 207x185 + 210x186 + 82x187 + 72x188 + 729x189 + 979x190 + 997x191 + 319x192 + 769x193 + 208x194 + 659x195 + 680x196 + 1000x197 + 70x198 + 207x199 + 330x200 + 568x201 + 620x202 + 298x203 + 714x204 + 424x205 + 326x206 + 823x207 + 884x208 + 463x209 + 507x210 + 408x211 + 334x212 + 586x213 + 21x214 + 476x215 + 744x216 + 374x217 + 317x218 + 189x219 + 973x220 + 84x221 + 170x222 + 68x223 + 489x224 + 608x225 + 638x226 + 52x227 + 505x228 + 929x229 + 527x230 + 647x231 + 388x232 + 638x233 + 302x234 + 939x235 + 228x236 + 230x237 + 883x238 + 331x239 + 811x240 + 772x241 + 251x242 + 94x243 + 69x244 + 548x245 + 335x246 + 528x247 + 914x248 + 881x249 + 141x250 <= 32889 
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