minimize 
objective: s
subject to 
s1: s + 0.501000f1 + 0.001000f2 >= 92082.362000 
s2: s + 0.001000f1 + 0.501000f2 >= 92082.362000 
f1: -f1 + 766x1 + 1008x2 + 518x3 + 850x4 + 476x5 + 756x6 + 622x7 + 766x8 + 931x9 + 838x10 + 851x11 + 571x12 + 833x13 + 854x14 + 289x15 + 400x16 + 744x17 + 689x18 + 847x19 + 660x20 + 884x21 + 1019x22 + 761x23 + 521x24 + 902x25 + 466x26 + 621x27 + 977x28 + 853x29 + 696x30 + 632x31 + 657x32 + 791x33 + 430x34 + 994x35 + 719x36 + 862x37 + 507x38 + 689x39 + 703x40 + 756x41 + 667x42 + 841x43 + 781x44 + 872x45 + 867x46 + 938x47 + 550x48 + 1034x49 + 607x50 + 892x51 + 362x52 + 952x53 + 809x54 + 847x55 + 967x56 + 883x57 + 493x58 + 581x59 + 449x60 + 622x61 + 842x62 + 632x63 + 594x64 + 793x65 + 703x66 + 884x67 + 421x68 + 861x69 + 583x70 + 785x71 + 799x72 + 893x73 + 449x74 + 961x75 + 923x76 + 485x77 + 793x78 + 761x79 + 577x80 + 869x81 + 511x82 + 753x83 + 743x84 + 704x85 + 652x86 + 1050x87 + 537x88 + 802x89 + 524x90 + 400x91 + 629x92 + 903x93 + 1014x94 + 930x95 + 538x96 + 513x97 + 552x98 + 564x99 + 918x100 + 305x101 + 667x102 + 780x103 + 622x104 + 876x105 + 390x106 + 642x107 + 873x108 + 920x109 + 580x110 + 742x111 + 697x112 + 767x113 + 837x114 + 631x115 + 931x116 + 939x117 + 274x118 + 605x119 + 793x120 + 408x121 + 522x122 + 627x123 + 891x124 + 492x125 + 517x126 + 454x127 + 842x128 + 1010x129 + 893x130 + 935x131 + 484x132 + 927x133 + 901x134 + 750x135 + 1151x136 + 902x137 + 652x138 + 1085x139 + 632x140 + 747x141 + 916x142 + 597x143 + 995x144 + 798x145 + 707x146 + 853x147 + 760x148 + 736x149 + 809x150 + 524x151 + 399x152 + 665x153 + 875x154 + 361x155 + 765x156 + 697x157 + 643x158 + 973x159 + 451x160 + 576x161 + 1157x162 + 912x163 + 544x164 + 487x165 + 947x166 + 660x167 + 795x168 + 693x169 + 714x170 + 523x171 + 702x172 + 865x173 + 865x174 + 666x175 + 941x176 + 781x177 + 680x178 + 826x179 + 791x180 + 642x181 + 829x182 + 487x183 + 474x184 + 534x185 + 460x186 + 735x187 + 599x188 + 730x189 + 486x190 + 781x191 + 502x192 + 636x193 + 582x194 + 988x195 + 762x196 + 453x197 + 530x198 + 984x199 + 839x200 + 904x201 + 683x202 + 943x203 + 1089x204 + 1086x205 + 1010x206 + 1007x207 + 757x208 + 715x209 + 736x210 + 811x211 + 687x212 + 1034x213 + 779x214 + 618x215 + 597x216 + 922x217 + 943x218 + 660x219 + 889x220 + 824x221 + 838x222 + 449x223 + 820x224 + 502x225 + 783x226 + 915x227 + 622x228 + 820x229 + 611x230 + 1050x231 + 1070x232 + 779x233 + 470x234 + 915x235 + 605x236 + 761x237 + 501x238 + 939x239 + 433x240 + 465x241 + 913x242 + 1049x243 + 551x244 + 894x245 + 830x246 + 887x247 + 857x248 + 546x249 + 919x250  = 0 
f2: -f2 + 967x1 + 719x2 + 652x3 + 484x4 + 454x5 + 511x6 + 538x7 + 400x8 + 927x9 + 714x10 + 865x11 + 842x12 + 517x13 + 916x14 + 913x15 + 799x16 + 851x17 + 550x18 + 704x19 + 552x20 + 652x21 + 931x22 + 820x23 + 743x24 + 289x25 + 537x26 + 421x27 + 891x28 + 892x29 + 902x30 + 486x31 + 766x32 + 408x33 + 631x34 + 621x35 + 762x36 + 779x37 + 809x38 + 811x39 + 904x40 + 883x41 + 824x42 + 761x43 + 460x44 + 884x45 + 857x46 + 742x47 + 1089x48 + 390x49 + 889x50 + 875x51 + 629x52 + 564x53 + 581x54 + 703x55 + 474x56 + 760x57 + 753x58 + 571x59 + 847x60 + 451x61 + 551x62 + 865x63 + 922x64 + 1049x65 + 802x66 + 893x67 + 756x68 + 632x69 + 947x70 + 597x71 + 735x72 + 984x73 + 305x74 + 618x75 + 923x76 + 930x77 + 680x78 + 853x79 + 599x80 + 876x81 + 756x82 + 697x83 + 660x84 + 884x85 + 915x86 + 744x87 + 507x88 + 607x89 + 798x90 + 783x91 + 793x92 + 611x93 + 829x94 + 524x95 + 577x96 + 530x97 + 580x98 + 622x99 + 943x100 + 903x101 + 361x102 + 689x103 + 1050x104 + 736x105 + 433x106 + 399x107 + 1007x108 + 1086x109 + 943x110 + 1157x111 + 576x112 + 449x113 + 1019x114 + 449x115 + 642x116 + 523x117 + 765x118 + 842x119 + 1085x120 + 544x121 + 524x122 + 697x123 + 730x124 + 693x125 + 793x126 + 493x127 + 995x128 + 513x129 + 931x130 + 902x131 + 767x132 + 850x133 + 833x134 + 780x135 + 839x136 + 791x137 + 837x138 + 430x139 + 502x140 + 501x141 + 935x142 + 605x143 + 915x144 + 781x145 + 791x146 + 887x147 + 667x148 + 830x149 + 622x150 + 502x151 + 605x152 + 485x153 + 894x154 + 689x155 + 657x156 + 747x157 + 487x158 + 862x159 + 683x160 + 873x161 + 847x162 + 470x163 + 901x164 + 521x165 + 643x166 + 820x167 + 973x168 + 1008x169 + 826x170 + 274x171 + 707x172 + 492x173 + 918x174 + 793x175 + 809x176 + 362x177 + 781x178 + 703x179 + 736x180 + 854x181 + 1070x182 + 1050x183 + 912x184 + 861x185 + 636x186 + 938x187 + 400x188 + 952x189 + 1034x190 + 632x191 + 546x192 + 660x193 + 766x194 + 761x195 + 632x196 + 583x197 + 622x198 + 660x199 + 939x200 + 1010x201 + 893x202 + 1014x203 + 994x204 + 465x205 + 667x206 + 522x207 + 750x208 + 853x209 + 1010x210 + 939x211 + 785x212 + 795x213 + 1034x214 + 761x215 + 779x216 + 841x217 + 594x218 + 977x219 + 961x220 + 702x221 + 476x222 + 597x223 + 867x224 + 919x225 + 838x226 + 696x227 + 487x228 + 642x229 + 869x230 + 781x231 + 449x232 + 941x233 + 757x234 + 665x235 + 1151x236 + 627x237 + 920x238 + 622x239 + 687x240 + 518x241 + 988x242 + 453x243 + 838x244 + 466x245 + 582x246 + 872x247 + 534x248 + 715x249 + 666x250  = 0 
constr1: + 870x1 + 329x2 + 421x3 + 148x4 + 569x5 + 711x6 + 684x7 + 380x8 + 569x9 + 879x10 + 522x11 + 651x12 + 72x13 + 21x14 + 331x15 + 491x16 + 738x17 + 188x18 + 282x19 + 329x20 + 257x21 + 24x22 + 214x23 + 132x24 + 78x25 + 436x26 + 905x27 + 405x28 + 792x29 + 12x30 + 468x31 + 381x32 + 389x33 + 72x34 + 293x35 + 657x36 + 585x37 + 461x38 + 836x39 + 599x40 + 745x41 + 484x42 + 769x43 + 662x44 + 967x45 + 279x46 + 142x47 + 392x48 + 196x49 + 487x50 + 404x51 + 167x52 + 903x53 + 248x54 + 79x55 + 472x56 + 513x57 + 808x58 + 401x59 + 978x60 + 893x61 + 986x62 + 32x63 + 590x64 + 768x65 + 765x66 + 911x67 + 77x68 + 308x69 + 900x70 + 133x71 + 42x72 + 588x73 + 708x74 + 616x75 + 309x76 + 712x77 + 952x78 + 896x79 + 714x80 + 614x81 + 741x82 + 124x83 + 614x84 + 5x85 + 116x86 + 686x87 + 792x88 + 490x89 + 124x90 + 429x91 + 223x92 + 247x93 + 331x94 + 782x95 + 609x96 + 591x97 + 113x98 + 43x99 + 533x100 + 987x101 + 460x102 + 199x103 + 309x104 + 42x105 + 241x106 + 263x107 + 502x108 + 746x109 + 975x110 + 857x111 + 132x112 + 266x113 + 660x114 + 186x115 + 174x116 + 235x117 + 413x118 + 441x119 + 413x120 + 186x121 + 695x122 + 14x123 + 884x124 + 176x125 + 951x126 + 848x127 + 750x128 + 588x129 + 66x130 + 337x131 + 747x132 + 789x133 + 204x134 + 459x135 + 441x136 + 50x137 + 249x138 + 559x139 + 819x140 + 966x141 + 990x142 + 250x143 + 59x144 + 29x145 + 973x146 + 678x147 + 552x148 + 489x149 + 787x150 + 714x151 + 934x152 + 153x153 + 386x154 + 826x155 + 296x156 + 382x157 + 382x158 + 621x159 + 534x160 + 253x161 + 433x162 + 625x163 + 335x164 + 340x165 + 902x166 + 295x167 + 758x168 + 470x169 + 526x170 + 230x171 + 124x172 + 420x173 + 196x174 + 329x175 + 122x176 + 786x177 + 496x178 + 569x179 + 739x180 + 886x181 + 822x182 + 208x183 + 860x184 + 711x185 + 846x186 + 883x187 + 155x188 + 793x189 + 97x190 + 453x191 + 689x192 + 155x193 + 734x194 + 780x195 + 200x196 + 949x197 + 952x198 + 125x199 + 18x200 + 155x201 + 574x202 + 654x203 + 408x204 + 916x205 + 568x206 + 616x207 + 918x208 + 791x209 + 525x210 + 241x211 + 856x212 + 698x213 + 270x214 + 52x215 + 437x216 + 555x217 + 737x218 + 384x219 + 518x220 + 27x221 + 734x222 + 497x223 + 454x224 + 702x225 + 345x226 + 392x227 + 910x228 + 387x229 + 692x230 + 164x231 + 960x232 + 804x233 + 986x234 + 318x235 + 791x236 + 645x237 + 412x238 + 126x239 + 793x240 + 373x241 + 213x242 + 192x243 + 614x244 + 423x245 + 283x246 + 708x247 + 428x248 + 382x249 + 44x250 <= 86054 
constr2: + 851x1 + 103x2 + 846x3 + 522x4 + 2x5 + 13x6 + 442x7 + 931x8 + 808x9 + 855x10 + 31x11 + 406x12 + 892x13 + 368x14 + 739x15 + 276x16 + 934x17 + 297x18 + 410x19 + 145x20 + 531x21 + 517x22 + 262x23 + 37x24 + 643x25 + 385x26 + 439x27 + 616x28 + 962x29 + 751x30 + 194x31 + 416x32 + 409x33 + 391x34 + 267x35 + 858x36 + 835x37 + 422x38 + 490x39 + 378x40 + 303x41 + 82x42 + 368x43 + 683x44 + 41x45 + 859x46 + 695x47 + 693x48 + 488x49 + 609x50 + 235x51 + 91x52 + 86x53 + 46x54 + 195x55 + 816x56 + 9x57 + 339x58 + 358x59 + 61x60 + 532x61 + 185x62 + 238x63 + 517x64 + 653x65 + 406x66 + 726x67 + 867x68 + 878x69 + 341x70 + 836x71 + 480x72 + 315x73 + 730x74 + 149x75 + 670x76 + 487x77 + 578x78 + 587x79 + 284x80 + 573x81 + 69x82 + 799x83 + 329x84 + 55x85 + 257x86 + 551x87 + 199x88 + 488x89 + 150x90 + 574x91 + 885x92 + 963x93 + 140x94 + 791x95 + 507x96 + 761x97 + 461x98 + 984x99 + 252x100 + 619x101 + 258x102 + 911x103 + 110x104 + 868x105 + 487x106 + 550x107 + 281x108 + 12x109 + 598x110 + 246x111 + 497x112 + 28x113 + 852x114 + 501x115 + 179x116 + 398x117 + 846x118 + 207x119 + 90x120 + 153x121 + 522x122 + 55x123 + 1000x124 + 197x125 + 278x126 + 978x127 + 948x128 + 307x129 + 594x130 + 81x131 + 790x132 + 490x133 + 77x134 + 739x135 + 363x136 + 618x137 + 73x138 + 724x139 + 193x140 + 953x141 + 637x142 + 632x143 + 235x144 + 399x145 + 94x146 + 718x147 + 339x148 + 626x149 + 390x150 + 333x151 + 240x152 + 474x153 + 656x154 + 904x155 + 621x156 + 731x157 + 609x158 + 58x159 + 854x160 + 36x161 + 111x162 + 727x163 + 328x164 + 314x165 + 583x166 + 169x167 + 720x168 + 852x169 + 168x170 + 334x171 + 161x172 + 198x173 + 297x174 + 298x175 + 323x176 + 397x177 + 500x178 + 33x179 + 575x180 + 269x181 + 879x182 + 761x183 + 394x184 + 92x185 + 15x186 + 273x187 + 573x188 + 77x189 + 556x190 + 644x191 + 393x192 + 628x193 + 811x194 + 917x195 + 20x196 + 861x197 + 670x198 + 712x199 + 653x200 + 564x201 + 20x202 + 484x203 + 775x204 + 651x205 + 521x206 + 155x207 + 576x208 + 133x209 + 500x210 + 310x211 + 959x212 + 174x213 + 651x214 + 842x215 + 520x216 + 119x217 + 327x218 + 523x219 + 215x220 + 67x221 + 655x222 + 946x223 + 959x224 + 627x225 + 526x226 + 80x227 + 88x228 + 754x229 + 652x230 + 401x231 + 322x232 + 912x233 + 70x234 + 792x235 + 468x236 + 768x237 + 205x238 + 708x239 + 963x240 + 889x241 + 792x242 + 86x243 + 869x244 + 436x245 + 689x246 + 360x247 + 201x248 + 227x249 + 48x250 <= 90090 
constr3: + 309x1 + 341x2 + 582x3 + 738x4 + 152x5 + 527x6 + 255x7 + 75x8 + 980x9 + 301x10 + 534x11 + 458x12 + 560x13 + 126x14 + 400x15 + 311x16 + 212x17 + 505x18 + 221x19 + 133x20 + 715x21 + 446x22 + 985x23 + 332x24 + 214x25 + 153x26 + 721x27 + 464x28 + 104x29 + 527x30 + 974x31 + 617x32 + 715x33 + 871x34 + 419x35 + 271x36 + 150x37 + 184x38 + 406x39 + 748x40 + 180x41 + 726x42 + 50x43 + 208x44 + 27x45 + 602x46 + 47x47 + 458x48 + 530x49 + 476x50 + 6x51 + 765x52 + 304x53 + 290x54 + 447x55 + 677x56 + 932x57 + 478x58 + 567x59 + 796x60 + 793x61 + 185x62 + 635x63 + 607x64 + 334x65 + 506x66 + 334x67 + 96x68 + 775x69 + 877x70 + 146x71 + 266x72 + 982x73 + 396x74 + 409x75 + 735x76 + 727x77 + 55x78 + 897x79 + 690x80 + 143x81 + 283x82 + 337x83 + 676x84 + 819x85 + 308x86 + 719x87 + 583x88 + 128x89 + 515x90 + 861x91 + 452x92 + 607x93 + 919x94 + 808x95 + 406x96 + 284x97 + 163x98 + 975x99 + 827x100 + 483x101 + 860x102 + 531x103 + 63x104 + 898x105 + 511x106 + 875x107 + 583x108 + 645x109 + 4x110 + 526x111 + 190x112 + 229x113 + 445x114 + 669x115 + 145x116 + 582x117 + 397x118 + 239x119 + 796x120 + 987x121 + 914x122 + 363x123 + 26x124 + 546x125 + 505x126 + 603x127 + 357x128 + 335x129 + 196x130 + 141x131 + 482x132 + 994x133 + 901x134 + 921x135 + 121x136 + 321x137 + 400x138 + 938x139 + 464x140 + 796x141 + 714x142 + 581x143 + 694x144 + 379x145 + 539x146 + 916x147 + 694x148 + 175x149 + 357x150 + 752x151 + 842x152 + 571x153 + 378x154 + 752x155 + 348x156 + 874x157 + 696x158 + 204x159 + 283x160 + 366x161 + 477x162 + 625x163 + 243x164 + 525x165 + 440x166 + 211x167 + 746x168 + 986x169 + 214x170 + 236x171 + 25x172 + 156x173 + 424x174 + 783x175 + 953x176 + 297x177 + 572x178 + 211x179 + 938x180 + 985x181 + 571x182 + 377x183 + 731x184 + 594x185 + 508x186 + 165x187 + 883x188 + 584x189 + 219x190 + 869x191 + 866x192 + 905x193 + 541x194 + 602x195 + 463x196 + 554x197 + 431x198 + 674x199 + 488x200 + 813x201 + 929x202 + 634x203 + 548x204 + 37x205 + 350x206 + 924x207 + 273x208 + 799x209 + 73x210 + 613x211 + 429x212 + 353x213 + 559x214 + 235x215 + 325x216 + 647x217 + 728x218 + 426x219 + 263x220 + 234x221 + 779x222 + 692x223 + 33x224 + 361x225 + 516x226 + 778x227 + 662x228 + 595x229 + 799x230 + 349x231 + 452x232 + 834x233 + 186x234 + 915x235 + 16x236 + 175x237 + 685x238 + 867x239 + 204x240 + 885x241 + 465x242 + 864x243 + 422x244 + 424x245 + 354x246 + 822x247 + 737x248 + 971x249 + 52x250 <= 92091 
constr4: + 525x1 + 600x2 + 193x3 + 792x4 + 387x5 + 639x6 + 234x7 + 162x8 + 264x9 + 896x10 + 35x11 + 85x12 + 188x13 + 237x14 + 139x15 + 320x16 + 527x17 + 289x18 + 606x19 + 475x20 + 779x21 + 117x22 + 64x23 + 29x24 + 717x25 + 827x26 + 520x27 + 944x28 + 180x29 + 407x30 + 849x31 + 6x32 + 598x33 + 10x34 + 574x35 + 248x36 + 5x37 + 397x38 + 262x39 + 595x40 + 701x41 + 637x42 + 778x43 + 698x44 + 995x45 + 227x46 + 390x47 + 10x48 + 669x49 + 177x50 + 286x51 + 624x52 + 676x53 + 404x54 + 589x55 + 467x56 + 546x57 + 189x58 + 172x59 + 809x60 + 468x61 + 135x62 + 975x63 + 932x64 + 463x65 + 966x66 + 936x67 + 297x68 + 691x69 + 340x70 + 352x71 + 828x72 + 824x73 + 138x74 + 690x75 + 253x76 + 403x77 + 873x78 + 886x79 + 361x80 + 247x81 + 751x82 + 174x83 + 426x84 + 525x85 + 41x86 + 692x87 + 36x88 + 26x89 + 212x90 + 678x91 + 813x92 + 786x93 + 162x94 + 231x95 + 786x96 + 729x97 + 476x98 + 701x99 + 162x100 + 820x101 + 892x102 + 330x103 + 532x104 + 386x105 + 505x106 + 220x107 + 519x108 + 917x109 + 599x110 + 227x111 + 190x112 + 662x113 + 556x114 + 551x115 + 928x116 + 532x117 + 260x118 + 398x119 + 505x120 + 476x121 + 688x122 + 494x123 + 859x124 + 318x125 + 104x126 + 31x127 + 330x128 + 283x129 + 86x130 + 78x131 + 715x132 + 360x133 + 630x134 + 650x135 + 571x136 + 346x137 + 912x138 + 832x139 + 839x140 + 864x141 + 516x142 + 717x143 + 271x144 + 754x145 + 440x146 + 15x147 + 826x148 + 195x149 + 748x150 + 595x151 + 136x152 + 728x153 + 712x154 + 164x155 + 267x156 + 302x157 + 802x158 + 801x159 + 891x160 + 990x161 + 714x162 + 291x163 + 708x164 + 408x165 + 818x166 + 938x167 + 609x168 + 641x169 + 143x170 + 846x171 + 741x172 + 700x173 + 425x174 + 60x175 + 950x176 + 874x177 + 859x178 + 719x179 + 696x180 + 138x181 + 649x182 + 642x183 + 227x184 + 823x185 + 453x186 + 712x187 + 237x188 + 109x189 + 784x190 + 291x191 + 294x192 + 153x193 + 585x194 + 117x195 + 541x196 + 348x197 + 480x198 + 984x199 + 806x200 + 181x201 + 751x202 + 62x203 + 865x204 + 474x205 + 582x206 + 592x207 + 762x208 + 582x209 + 36x210 + 63x211 + 227x212 + 576x213 + 29x214 + 533x215 + 569x216 + 312x217 + 382x218 + 482x219 + 849x220 + 232x221 + 266x222 + 190x223 + 89x224 + 820x225 + 459x226 + 650x227 + 959x228 + 994x229 + 23x230 + 981x231 + 587x232 + 857x233 + 896x234 + 599x235 + 963x236 + 58x237 + 931x238 + 121x239 + 43x240 + 415x241 + 804x242 + 535x243 + 753x244 + 622x245 + 406x246 + 659x247 + 450x248 + 187x249 + 349x250 <= 96824 
constr5: + 77x1 + 816x2 + 363x3 + 558x4 + 845x5 + 536x6 + 489x7 + 771x8 + 988x9 + 212x10 + 775x11 + 34x12 + 688x13 + 713x14 + 891x15 + 150x16 + 370x17 + 899x18 + 700x19 + 17x20 + 29x21 + 352x22 + 558x23 + 891x24 + 680x25 + 433x26 + 602x27 + 336x28 + 563x29 + 812x30 + 215x31 + 460x32 + 36x33 + 778x34 + 438x35 + 985x36 + 471x37 + 474x38 + 761x39 + 411x40 + 888x41 + 587x42 + 330x43 + 968x44 + 144x45 + 43x46 + 716x47 + 89x48 + 585x49 + 369x50 + 146x51 + 895x52 + 363x53 + 363x54 + 10x55 + 503x56 + 771x57 + 343x58 + 304x59 + 868x60 + 63x61 + 458x62 + 705x63 + 71x64 + 914x65 + 810x66 + 999x67 + 112x68 + 248x69 + 388x70 + 758x71 + 602x72 + 280x73 + 886x74 + 121x75 + 280x76 + 101x77 + 707x78 + 455x79 + 778x80 + 44x81 + 680x82 + 218x83 + 518x84 + 548x85 + 50x86 + 142x87 + 318x88 + 64x89 + 68x90 + 685x91 + 110x92 + 331x93 + 169x94 + 938x95 + 203x96 + 32x97 + 287x98 + 140x99 + 963x100 + 383x101 + 566x102 + 111x103 + 104x104 + 831x105 + 836x106 + 194x107 + 914x108 + 247x109 + 400x110 + 595x111 + 256x112 + 795x113 + 488x114 + 259x115 + 860x116 + 328x117 + 861x118 + 874x119 + 929x120 + 566x121 + 72x122 + 193x123 + 415x124 + 976x125 + 187x126 + 609x127 + 41x128 + 165x129 + 448x130 + 223x131 + 235x132 + 157x133 + 616x134 + 796x135 + 574x136 + 659x137 + 332x138 + 863x139 + 559x140 + 109x141 + 604x142 + 738x143 + 155x144 + 109x145 + 922x146 + 878x147 + 644x148 + 750x149 + 27x150 + 774x151 + 984x152 + 510x153 + 219x154 + 540x155 + 806x156 + 678x157 + 535x158 + 526x159 + 664x160 + 547x161 + 7x162 + 103x163 + 368x164 + 690x165 + 626x166 + 438x167 + 491x168 + 805x169 + 976x170 + 471x171 + 111x172 + 521x173 + 886x174 + 132x175 + 932x176 + 412x177 + 971x178 + 713x179 + 795x180 + 471x181 + 30x182 + 523x183 + 562x184 + 48x185 + 773x186 + 166x187 + 52x188 + 956x189 + 252x190 + 610x191 + 441x192 + 96x193 + 538x194 + 132x195 + 545x196 + 637x197 + 4x198 + 771x199 + 928x200 + 301x201 + 462x202 + 90x203 + 976x204 + 152x205 + 293x206 + 903x207 + 938x208 + 117x209 + 334x210 + 598x211 + 220x212 + 683x213 + 205x214 + 911x215 + 263x216 + 19x217 + 166x218 + 776x219 + 896x220 + 99x221 + 932x222 + 427x223 + 635x224 + 188x225 + 555x226 + 462x227 + 158x228 + 495x229 + 477x230 + 181x231 + 316x232 + 562x233 + 727x234 + 824x235 + 237x236 + 213x237 + 963x238 + 61x239 + 582x240 + 795x241 + 874x242 + 163x243 + 796x244 + 185x245 + 136x246 + 148x247 + 352x248 + 720x249 + 534x250 <= 93183 
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