minimize 
objective: s
subject to 
s1: s + 0.501000f1 + 0.001000f2 >= 95581.804000 
s2: s + 0.001000f1 + 0.501000f2 >= 95581.804000 
f1: -f1 + 760x1 + 792x2 + 952x3 + 679x4 + 487x5 + 529x6 + 835x7 + 764x8 + 696x9 + 535x10 + 887x11 + 746x12 + 643x13 + 830x14 + 1117x15 + 409x16 + 538x17 + 797x18 + 582x19 + 1011x20 + 600x21 + 929x22 + 678x23 + 959x24 + 586x25 + 512x26 + 945x27 + 849x28 + 946x29 + 869x30 + 768x31 + 784x32 + 757x33 + 607x34 + 744x35 + 555x36 + 563x37 + 897x38 + 878x39 + 758x40 + 1067x41 + 936x42 + 359x43 + 490x44 + 558x45 + 790x46 + 852x47 + 887x48 + 636x49 + 497x50 + 726x51 + 1011x52 + 795x53 + 1075x54 + 559x55 + 805x56 + 748x57 + 562x58 + 500x59 + 290x60 + 745x61 + 826x62 + 796x63 + 910x64 + 598x65 + 775x66 + 430x67 + 601x68 + 1056x69 + 752x70 + 906x71 + 461x72 + 592x73 + 823x74 + 922x75 + 557x76 + 752x77 + 899x78 + 847x79 + 1053x80 + 564x81 + 887x82 + 1014x83 + 284x84 + 557x85 + 924x86 + 742x87 + 712x88 + 797x89 + 872x90 + 1041x91 + 1117x92 + 777x93 + 950x94 + 685x95 + 1063x96 + 533x97 + 833x98 + 649x99 + 694x100 + 769x101 + 731x102 + 414x103 + 587x104 + 822x105 + 851x106 + 863x107 + 444x108 + 1060x109 + 1083x110 + 780x111 + 542x112 + 805x113 + 890x114 + 1058x115 + 650x116 + 929x117 + 793x118 + 855x119 + 665x120 + 961x121 + 1028x122 + 410x123 + 500x124 + 907x125 + 732x126 + 1151x127 + 782x128 + 937x129 + 646x130 + 773x131 + 740x132 + 623x133 + 744x134 + 974x135 + 521x136 + 705x137 + 1040x138 + 1229x139 + 795x140 + 423x141 + 473x142 + 650x143 + 722x144 + 617x145 + 761x146 + 422x147 + 583x148 + 738x149 + 758x150 + 571x151 + 794x152 + 741x153 + 755x154 + 472x155 + 847x156 + 952x157 + 735x158 + 944x159 + 1012x160 + 780x161 + 700x162 + 1124x163 + 511x164 + 725x165 + 830x166 + 1085x167 + 523x168 + 662x169 + 708x170 + 856x171 + 397x172 + 710x173 + 814x174 + 896x175 + 733x176 + 867x177 + 528x178 + 741x179 + 558x180 + 818x181 + 808x182 + 482x183 + 884x184 + 1109x185 + 997x186 + 762x187 + 1148x188 + 761x189 + 784x190 + 1102x191 + 621x192 + 803x193 + 800x194 + 553x195 + 922x196 + 903x197 + 1136x198 + 978x199 + 985x200 + 712x201 + 262x202 + 590x203 + 716x204 + 713x205 + 658x206 + 503x207 + 868x208 + 980x209 + 933x210 + 1131x211 + 458x212 + 823x213 + 991x214 + 714x215 + 614x216 + 685x217 + 990x218 + 961x219 + 642x220 + 278x221 + 974x222 + 810x223 + 1059x224 + 676x225 + 1141x226 + 685x227 + 604x228 + 687x229 + 935x230 + 809x231 + 528x232 + 945x233 + 1235x234 + 624x235 + 803x236 + 510x237 + 566x238 + 824x239 + 695x240 + 1320x241 + 808x242 + 512x243 + 470x244 + 537x245 + 506x246 + 895x247 + 782x248 + 726x249 + 739x250  = 0 
f2: -f2 + 461x1 + 897x2 + 586x3 + 895x4 + 497x5 + 823x6 + 558x7 + 780x8 + 910x9 + 887x10 + 650x11 + 617x12 + 803x13 + 796x14 + 792x15 + 665x16 + 553x17 + 1011x18 + 740x19 + 512x20 + 458x21 + 775x22 + 676x23 + 997x24 + 1058x25 + 808x26 + 278x27 + 795x28 + 950x29 + 1151x30 + 868x31 + 694x32 + 797x33 + 587x34 + 959x35 + 761x36 + 696x37 + 1117x38 + 929x39 + 397x40 + 764x41 + 566x42 + 512x43 + 533x44 + 1040x45 + 790x46 + 978x47 + 805x48 + 773x49 + 510x50 + 624x51 + 896x52 + 937x53 + 769x54 + 538x55 + 742x56 + 784x57 + 614x58 + 444x59 + 814x60 + 936x61 + 284x62 + 869x63 + 830x64 + 907x65 + 800x66 + 506x67 + 761x68 + 835x69 + 487x70 + 794x71 + 777x72 + 1136x73 + 805x74 + 961x75 + 557x76 + 797x77 + 642x78 + 872x79 + 782x80 + 528x81 + 847x82 + 744x83 + 537x84 + 952x85 + 1083x86 + 592x87 + 784x88 + 490x89 + 563x90 + 511x91 + 795x92 + 878x93 + 924x94 + 710x95 + 678x96 + 571x97 + 1053x98 + 705x99 + 903x100 + 1102x101 + 414x102 + 929x103 + 739x104 + 410x105 + 755x106 + 685x107 + 590x108 + 685x109 + 472x110 + 423x111 + 818x112 + 359x113 + 687x114 + 899x115 + 562x116 + 1141x117 + 523x118 + 621x119 + 722x120 + 559x121 + 598x122 + 500x123 + 1085x124 + 1235x125 + 646x126 + 991x127 + 685x128 + 1148x129 + 884x130 + 1011x131 + 1063x132 + 262x133 + 422x134 + 649x135 + 762x136 + 726x137 + 409x138 + 851x139 + 985x140 + 945x141 + 744x142 + 290x143 + 961x144 + 607x145 + 822x146 + 700x147 + 470x148 + 780x149 + 731x150 + 752x151 + 752x152 + 500x153 + 745x154 + 1067x155 + 732x156 + 623x157 + 1131x158 + 695x159 + 863x160 + 555x161 + 974x162 + 760x163 + 600x164 + 810x165 + 725x166 + 803x167 + 583x168 + 922x169 + 935x170 + 856x171 + 1320x172 + 658x173 + 990x174 + 601x175 + 1012x176 + 564x177 + 713x178 + 430x179 + 643x180 + 1059x181 + 1014x182 + 849x183 + 662x184 + 974x185 + 529x186 + 650x187 + 738x188 + 636x189 + 746x190 + 679x191 + 528x192 + 906x193 + 557x194 + 808x195 + 741x196 + 604x197 + 952x198 + 826x199 + 558x200 + 1075x201 + 503x202 + 748x203 + 1060x204 + 1028x205 + 887x206 + 867x207 + 1041x208 + 890x209 + 847x210 + 716x211 + 855x212 + 809x213 + 473x214 + 521x215 + 712x216 + 980x217 + 735x218 + 542x219 + 824x220 + 708x221 + 712x222 + 823x223 + 726x224 + 733x225 + 830x226 + 1124x227 + 1117x228 + 758x229 + 482x230 + 946x231 + 757x232 + 758x233 + 944x234 + 922x235 + 833x236 + 1229x237 + 793x238 + 887x239 + 535x240 + 582x241 + 714x242 + 1056x243 + 945x244 + 852x245 + 933x246 + 1109x247 + 768x248 + 782x249 + 741x250  = 0 
constr1: + 925x1 + 247x2 + 432x3 + 267x4 + 795x5 + 176x6 + 544x7 + 166x8 + 959x9 + 988x10 + 189x11 + 422x12 + 111x13 + 227x14 + 840x15 + 531x16 + 49x17 + 958x18 + 926x19 + 467x20 + 833x21 + 502x22 + 668x23 + 458x24 + 666x25 + 780x26 + 400x27 + 850x28 + 405x29 + 711x30 + 135x31 + 938x32 + 371x33 + 456x34 + 811x35 + 897x36 + 883x37 + 373x38 + 874x39 + 416x40 + 506x41 + 824x42 + 885x43 + 290x44 + 70x45 + 990x46 + 805x47 + 611x48 + 937x49 + 367x50 + 398x51 + 377x52 + 639x53 + 41x54 + 273x55 + 926x56 + 158x57 + 851x58 + 299x59 + 73x60 + 841x61 + 339x62 + 616x63 + 152x64 + 379x65 + 407x66 + 582x67 + 974x68 + 972x69 + 836x70 + 33x71 + 916x72 + 829x73 + 513x74 + 674x75 + 762x76 + 428x77 + 177x78 + 111x79 + 659x80 + 423x81 + 811x82 + 889x83 + 898x84 + 673x85 + 458x86 + 585x87 + 191x88 + 478x89 + 203x90 + 88x91 + 136x92 + 798x93 + 51x94 + 281x95 + 712x96 + 653x97 + 245x98 + 776x99 + 953x100 + 749x101 + 101x102 + 455x103 + 409x104 + 400x105 + 278x106 + 37x107 + 711x108 + 776x109 + 460x110 + 701x111 + 122x112 + 787x113 + 169x114 + 600x115 + 126x116 + 471x117 + 832x118 + 475x119 + 910x120 + 522x121 + 412x122 + 30x123 + 864x124 + 175x125 + 143x126 + 202x127 + 60x128 + 48x129 + 50x130 + 993x131 + 35x132 + 671x133 + 23x134 + 915x135 + 464x136 + 379x137 + 281x138 + 412x139 + 984x140 + 11x141 + 63x142 + 471x143 + 737x144 + 532x145 + 955x146 + 994x147 + 828x148 + 947x149 + 29x150 + 927x151 + 330x152 + 713x153 + 454x154 + 350x155 + 360x156 + 866x157 + 230x158 + 796x159 + 996x160 + 181x161 + 534x162 + 25x163 + 627x164 + 802x165 + 12x166 + 605x167 + 8x168 + 381x169 + 80x170 + 809x171 + 405x172 + 101x173 + 457x174 + 894x175 + 599x176 + 851x177 + 615x178 + 494x179 + 588x180 + 315x181 + 695x182 + 37x183 + 60x184 + 324x185 + 473x186 + 998x187 + 937x188 + 680x189 + 178x190 + 125x191 + 215x192 + 52x193 + 881x194 + 233x195 + 650x196 + 277x197 + 722x198 + 829x199 + 330x200 + 175x201 + 637x202 + 963x203 + 7x204 + 621x205 + 668x206 + 88x207 + 701x208 + 87x209 + 767x210 + 95x211 + 127x212 + 864x213 + 800x214 + 85x215 + 532x216 + 923x217 + 13x218 + 264x219 + 882x220 + 425x221 + 170x222 + 367x223 + 933x224 + 420x225 + 139x226 + 935x227 + 695x228 + 537x229 + 131x230 + 772x231 + 541x232 + 288x233 + 846x234 + 874x235 + 333x236 + 916x237 + 807x238 + 823x239 + 554x240 + 346x241 + 657x242 + 978x243 + 444x244 + 185x245 + 326x246 + 928x247 + 72x248 + 694x249 + 322x250 <= 98957 
constr2: + 41x1 + 490x2 + 644x3 + 827x4 + 881x5 + 817x6 + 765x7 + 197x8 + 555x9 + 436x10 + 661x11 + 527x12 + 502x13 + 6x14 + 259x15 + 807x16 + 156x17 + 266x18 + 873x19 + 889x20 + 82x21 + 450x22 + 290x23 + 552x24 + 827x25 + 371x26 + 723x27 + 502x28 + 380x29 + 194x30 + 859x31 + 755x32 + 798x33 + 979x34 + 299x35 + 519x36 + 749x37 + 494x38 + 156x39 + 265x40 + 60x41 + 280x42 + 972x43 + 156x44 + 693x45 + 475x46 + 615x47 + 93x48 + 274x49 + 310x50 + 333x51 + 613x52 + 29x53 + 2x54 + 335x55 + 183x56 + 112x57 + 506x58 + 338x59 + 81x60 + 716x61 + 768x62 + 184x63 + 163x64 + 418x65 + 168x66 + 194x67 + 241x68 + 901x69 + 46x70 + 558x71 + 385x72 + 826x73 + 431x74 + 472x75 + 844x76 + 781x77 + 121x78 + 291x79 + 717x80 + 883x81 + 458x82 + 36x83 + 483x84 + 463x85 + 9x86 + 995x87 + 158x88 + 854x89 + 991x90 + 266x91 + 356x92 + 97x93 + 76x94 + 777x95 + 977x96 + 583x97 + 585x98 + 328x99 + 705x100 + 919x101 + 258x102 + 386x103 + 830x104 + 406x105 + 272x106 + 674x107 + 152x108 + 813x109 + 184x110 + 967x111 + 7x112 + 57x113 + 62x114 + 47x115 + 322x116 + 936x117 + 584x118 + 790x119 + 670x120 + 846x121 + 418x122 + 699x123 + 919x124 + 692x125 + 605x126 + 343x127 + 758x128 + 451x129 + 639x130 + 829x131 + 78x132 + 92x133 + 337x134 + 337x135 + 871x136 + 905x137 + 67x138 + 681x139 + 935x140 + 7x141 + 241x142 + 372x143 + 61x144 + 114x145 + 818x146 + 557x147 + 644x148 + 935x149 + 101x150 + 518x151 + 911x152 + 737x153 + 259x154 + 886x155 + 513x156 + 531x157 + 643x158 + 793x159 + 674x160 + 272x161 + 616x162 + 650x163 + 985x164 + 572x165 + 59x166 + 778x167 + 925x168 + 209x169 + 33x170 + 957x171 + 898x172 + 746x173 + 522x174 + 905x175 + 813x176 + 928x177 + 607x178 + 815x179 + 110x180 + 350x181 + 434x182 + 958x183 + 681x184 + 189x185 + 867x186 + 506x187 + 875x188 + 47x189 + 742x190 + 320x191 + 429x192 + 308x193 + 686x194 + 870x195 + 434x196 + 215x197 + 160x198 + 357x199 + 944x200 + 759x201 + 656x202 + 327x203 + 737x204 + 813x205 + 597x206 + 479x207 + 272x208 + 921x209 + 652x210 + 196x211 + 147x212 + 467x213 + 717x214 + 787x215 + 619x216 + 883x217 + 8x218 + 760x219 + 661x220 + 376x221 + 182x222 + 19x223 + 334x224 + 609x225 + 664x226 + 394x227 + 192x228 + 45x229 + 408x230 + 627x231 + 952x232 + 547x233 + 914x234 + 438x235 + 604x236 + 162x237 + 761x238 + 445x239 + 749x240 + 302x241 + 825x242 + 436x243 + 97x244 + 512x245 + 120x246 + 271x247 + 134x248 + 587x249 + 260x250 <= 92395 
constr3: + 936x1 + 996x2 + 514x3 + 479x4 + 67x5 + 884x6 + 172x7 + 799x8 + 893x9 + 907x10 + 918x11 + 455x12 + 948x13 + 26x14 + 998x15 + 938x16 + 978x17 + 589x18 + 633x19 + 988x20 + 504x21 + 695x22 + 810x23 + 709x24 + 273x25 + 343x26 + 724x27 + 549x28 + 118x29 + 38x30 + 886x31 + 88x32 + 886x33 + 468x34 + 538x35 + 454x36 + 26x37 + 486x38 + 228x39 + 693x40 + 825x41 + 841x42 + 475x43 + 977x44 + 713x45 + 971x46 + 97x47 + 233x48 + 393x49 + 854x50 + 739x51 + 898x52 + 72x53 + 436x54 + 144x55 + 240x56 + 398x57 + 114x58 + 378x59 + 728x60 + 140x61 + 325x62 + 198x63 + 944x64 + 285x65 + 645x66 + 772x67 + 769x68 + 761x69 + 436x70 + 134x71 + 346x72 + 766x73 + 237x74 + 624x75 + 445x76 + 205x77 + 454x78 + 92x79 + 750x80 + 222x81 + 316x82 + 955x83 + 168x84 + 332x85 + 913x86 + 372x87 + 262x88 + 607x89 + 470x90 + 133x91 + 482x92 + 252x93 + 697x94 + 82x95 + 736x96 + 957x97 + 598x98 + 441x99 + 969x100 + 440x101 + 118x102 + 73x103 + 551x104 + 105x105 + 240x106 + 919x107 + 195x108 + 64x109 + 522x110 + 775x111 + 56x112 + 1000x113 + 302x114 + 275x115 + 734x116 + 973x117 + 109x118 + 325x119 + 303x120 + 691x121 + 197x122 + 228x123 + 922x124 + 303x125 + 651x126 + 522x127 + 689x128 + 990x129 + 375x130 + 72x131 + 612x132 + 808x133 + 578x134 + 527x135 + 498x136 + 36x137 + 737x138 + 518x139 + 579x140 + 576x141 + 47x142 + 322x143 + 959x144 + 831x145 + 349x146 + 992x147 + 548x148 + 329x149 + 600x150 + 524x151 + 755x152 + 938x153 + 55x154 + 745x155 + 408x156 + 483x157 + 738x158 + 189x159 + 892x160 + 433x161 + 1x162 + 802x163 + 579x164 + 24x165 + 690x166 + 590x167 + 84x168 + 477x169 + 361x170 + 117x171 + 501x172 + 375x173 + 798x174 + 364x175 + 899x176 + 779x177 + 968x178 + 549x179 + 114x180 + 386x181 + 555x182 + 945x183 + 945x184 + 900x185 + 11x186 + 530x187 + 852x188 + 634x189 + 638x190 + 444x191 + 135x192 + 133x193 + 476x194 + 767x195 + 230x196 + 360x197 + 686x198 + 582x199 + 69x200 + 614x201 + 952x202 + 558x203 + 648x204 + 507x205 + 598x206 + 758x207 + 715x208 + 173x209 + 416x210 + 616x211 + 720x212 + 471x213 + 38x214 + 252x215 + 139x216 + 162x217 + 546x218 + 39x219 + 485x220 + 10x221 + 392x222 + 335x223 + 843x224 + 434x225 + 775x226 + 479x227 + 781x228 + 736x229 + 389x230 + 513x231 + 917x232 + 126x233 + 324x234 + 143x235 + 726x236 + 134x237 + 936x238 + 511x239 + 953x240 + 907x241 + 388x242 + 474x243 + 438x244 + 328x245 + 631x246 + 564x247 + 464x248 + 266x249 + 810x250 <= 92576 
constr4: + 781x1 + 955x2 + 561x3 + 141x4 + 246x5 + 496x6 + 359x7 + 307x8 + 495x9 + 817x10 + 167x11 + 302x12 + 714x13 + 855x14 + 395x15 + 611x16 + 60x17 + 173x18 + 582x19 + 995x20 + 114x21 + 831x22 + 161x23 + 253x24 + 323x25 + 863x26 + 31x27 + 947x28 + 210x29 + 319x30 + 33x31 + 344x32 + 696x33 + 494x34 + 857x35 + 645x36 + 964x37 + 676x38 + 839x39 + 174x40 + 507x41 + 100x42 + 174x43 + 169x44 + 765x45 + 148x46 + 245x47 + 496x48 + 573x49 + 557x50 + 661x51 + 539x52 + 407x53 + 276x54 + 413x55 + 407x56 + 744x57 + 597x58 + 488x59 + 133x60 + 591x61 + 739x62 + 202x63 + 979x64 + 46x65 + 953x66 + 381x67 + 995x68 + 478x69 + 422x70 + 167x71 + 718x72 + 654x73 + 180x74 + 735x75 + 831x76 + 466x77 + 605x78 + 100x79 + 159x80 + 764x81 + 754x82 + 341x83 + 964x84 + 852x85 + 979x86 + 774x87 + 746x88 + 528x89 + 789x90 + 376x91 + 605x92 + 954x93 + 736x94 + 822x95 + 460x96 + 964x97 + 252x98 + 247x99 + 310x100 + 205x101 + 160x102 + 519x103 + 673x104 + 313x105 + 857x106 + 316x107 + 896x108 + 226x109 + 434x110 + 546x111 + 497x112 + 448x113 + 641x114 + 318x115 + 407x116 + 659x117 + 132x118 + 811x119 + 596x120 + 507x121 + 279x122 + 663x123 + 837x124 + 44x125 + 365x126 + 715x127 + 820x128 + 948x129 + 535x130 + 965x131 + 742x132 + 72x133 + 152x134 + 318x135 + 193x136 + 379x137 + 780x138 + 315x139 + 700x140 + 892x141 + 845x142 + 181x143 + 748x144 + 802x145 + 789x146 + 919x147 + 963x148 + 169x149 + 769x150 + 876x151 + 631x152 + 714x153 + 594x154 + 948x155 + 796x156 + 349x157 + 290x158 + 794x159 + 273x160 + 854x161 + 329x162 + 448x163 + 404x164 + 448x165 + 198x166 + 78x167 + 773x168 + 412x169 + 357x170 + 301x171 + 843x172 + 289x173 + 116x174 + 926x175 + 802x176 + 361x177 + 524x178 + 178x179 + 296x180 + 776x181 + 992x182 + 568x183 + 706x184 + 468x185 + 255x186 + 1x187 + 946x188 + 564x189 + 945x190 + 220x191 + 917x192 + 896x193 + 155x194 + 313x195 + 670x196 + 908x197 + 940x198 + 789x199 + 557x200 + 797x201 + 684x202 + 11x203 + 190x204 + 520x205 + 904x206 + 182x207 + 194x208 + 254x209 + 791x210 + 990x211 + 30x212 + 544x213 + 977x214 + 809x215 + 22x216 + 218x217 + 933x218 + 989x219 + 551x220 + 361x221 + 136x222 + 935x223 + 959x224 + 117x225 + 221x226 + 270x227 + 950x228 + 309x229 + 320x230 + 301x231 + 338x232 + 278x233 + 544x234 + 43x235 + 100x236 + 593x237 + 632x238 + 971x239 + 572x240 + 736x241 + 293x242 + 955x243 + 821x244 + 816x245 + 438x246 + 837x247 + 425x248 + 235x249 + 757x250 <= 96199 
constr5: + 652x1 + 175x2 + 966x3 + 822x4 + 689x5 + 333x6 + 955x7 + 647x8 + 246x9 + 289x10 + 398x11 + 332x12 + 472x13 + 594x14 + 184x15 + 778x16 + 37x17 + 798x18 + 469x19 + 313x20 + 808x21 + 689x22 + 700x23 + 321x24 + 37x25 + 618x26 + 980x27 + 909x28 + 156x29 + 965x30 + 502x31 + 560x32 + 110x33 + 142x34 + 666x35 + 498x36 + 553x37 + 283x38 + 692x39 + 328x40 + 460x41 + 903x42 + 460x43 + 479x44 + 90x45 + 327x46 + 119x47 + 352x48 + 783x49 + 69x50 + 575x51 + 497x52 + 131x53 + 358x54 + 531x55 + 496x56 + 402x57 + 379x58 + 206x59 + 783x60 + 904x61 + 490x62 + 33x63 + 150x64 + 621x65 + 452x66 + 353x67 + 579x68 + 222x69 + 403x70 + 207x71 + 979x72 + 509x73 + 522x74 + 770x75 + 686x76 + 806x77 + 578x78 + 748x79 + 420x80 + 57x81 + 862x82 + 759x83 + 674x84 + 270x85 + 287x86 + 631x87 + 12x88 + 933x89 + 797x90 + 397x91 + 328x92 + 106x93 + 242x94 + 247x95 + 854x96 + 521x97 + 159x98 + 201x99 + 970x100 + 237x101 + 628x102 + 914x103 + 894x104 + 553x105 + 184x106 + 399x107 + 480x108 + 427x109 + 253x110 + 593x111 + 119x112 + 116x113 + 241x114 + 870x115 + 661x116 + 729x117 + 461x118 + 432x119 + 116x120 + 559x121 + 766x122 + 752x123 + 833x124 + 609x125 + 557x126 + 65x127 + 913x128 + 218x129 + 104x130 + 36x131 + 470x132 + 137x133 + 757x134 + 495x135 + 41x136 + 519x137 + 714x138 + 605x139 + 213x140 + 379x141 + 726x142 + 901x143 + 256x144 + 984x145 + 590x146 + 403x147 + 937x148 + 540x149 + 336x150 + 327x151 + 800x152 + 280x153 + 807x154 + 351x155 + 177x156 + 486x157 + 11x158 + 365x159 + 6x160 + 423x161 + 447x162 + 793x163 + 472x164 + 608x165 + 295x166 + 125x167 + 436x168 + 177x169 + 488x170 + 292x171 + 294x172 + 611x173 + 703x174 + 720x175 + 151x176 + 829x177 + 309x178 + 502x179 + 574x180 + 582x181 + 695x182 + 42x183 + 33x184 + 632x185 + 385x186 + 850x187 + 136x188 + 265x189 + 812x190 + 61x191 + 326x192 + 689x193 + 828x194 + 288x195 + 959x196 + 563x197 + 147x198 + 245x199 + 232x200 + 364x201 + 131x202 + 938x203 + 562x204 + 462x205 + 894x206 + 826x207 + 101x208 + 586x209 + 350x210 + 423x211 + 5x212 + 264x213 + 796x214 + 731x215 + 990x216 + 990x217 + 586x218 + 90x219 + 543x220 + 626x221 + 568x222 + 328x223 + 504x224 + 104x225 + 743x226 + 985x227 + 44x228 + 602x229 + 383x230 + 557x231 + 397x232 + 995x233 + 121x234 + 441x235 + 146x236 + 722x237 + 340x238 + 260x239 + 610x240 + 264x241 + 681x242 + 70x243 + 718x244 + 145x245 + 294x246 + 881x247 + 360x248 + 571x249 + 211x250 <= 94103 
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