minimize 
objective: s
subject to 
s1: s + 0.501000f1 + 0.001000f2 >= 91854.956000 
s2: s + 0.001000f1 + 0.501000f2 >= 91854.956000 
f1: -f1 + 542x1 + 1208x2 + 989x3 + 1132x4 + 857x5 + 764x6 + 688x7 + 609x8 + 751x9 + 958x10 + 700x11 + 816x12 + 520x13 + 663x14 + 797x15 + 699x16 + 744x17 + 468x18 + 400x19 + 681x20 + 551x21 + 1077x22 + 748x23 + 724x24 + 890x25 + 708x26 + 739x27 + 1000x28 + 862x29 + 860x30 + 885x31 + 626x32 + 788x33 + 614x34 + 720x35 + 1123x36 + 647x37 + 1073x38 + 494x39 + 400x40 + 891x41 + 1020x42 + 508x43 + 389x44 + 582x45 + 659x46 + 515x47 + 510x48 + 940x49 + 794x50 + 950x51 + 414x52 + 817x53 + 1018x54 + 666x55 + 885x56 + 678x57 + 746x58 + 742x59 + 684x60 + 624x61 + 657x62 + 788x63 + 505x64 + 649x65 + 820x66 + 695x67 + 786x68 + 723x69 + 628x70 + 762x71 + 500x72 + 754x73 + 916x74 + 447x75 + 1104x76 + 1041x77 + 1142x78 + 684x79 + 410x80 + 533x81 + 760x82 + 347x83 + 732x84 + 626x85 + 527x86 + 1056x87 + 545x88 + 978x89 + 720x90 + 561x91 + 964x92 + 655x93 + 448x94 + 629x95 + 930x96 + 433x97 + 782x98 + 625x99 + 1076x100 + 1054x101 + 686x102 + 765x103 + 1034x104 + 537x105 + 602x106 + 757x107 + 830x108 + 654x109 + 717x110 + 629x111 + 1158x112 + 712x113 + 895x114 + 267x115 + 910x116 + 443x117 + 621x118 + 1037x119 + 595x120 + 777x121 + 945x122 + 794x123 + 1016x124 + 677x125 + 883x126 + 964x127 + 831x128 + 886x129 + 480x130 + 655x131 + 485x132 + 553x133 + 600x134 + 906x135 + 827x136 + 379x137 + 516x138 + 469x139 + 794x140 + 266x141 + 1062x142 + 747x143 + 792x144 + 673x145 + 974x146 + 805x147 + 1053x148 + 867x149 + 856x150 + 737x151 + 669x152 + 457x153 + 726x154 + 816x155 + 1023x156 + 832x157 + 920x158 + 975x159 + 757x160 + 757x161 + 701x162 + 1079x163 + 502x164 + 674x165 + 903x166 + 768x167 + 555x168 + 955x169 + 618x170 + 675x171 + 472x172 + 561x173 + 734x174 + 593x175 + 1151x176 + 976x177 + 729x178 + 616x179 + 860x180 + 597x181 + 941x182 + 743x183 + 422x184 + 345x185 + 992x186 + 777x187 + 1040x188 + 524x189 + 684x190 + 576x191 + 714x192 + 728x193 + 832x194 + 705x195 + 649x196 + 839x197 + 681x198 + 643x199 + 428x200 + 798x201 + 581x202 + 855x203 + 731x204 + 335x205 + 698x206 + 748x207 + 1008x208 + 965x209 + 625x210 + 862x211 + 1046x212 + 981x213 + 859x214 + 475x215 + 827x216 + 604x217 + 453x218 + 470x219 + 836x220 + 631x221 + 652x222 + 535x223 + 856x224 + 838x225 + 565x226 + 840x227 + 940x228 + 470x229 + 961x230 + 915x231 + 735x232 + 601x233 + 734x234 + 410x235 + 558x236 + 393x237 + 559x238 + 611x239 + 759x240 + 747x241 + 920x242 + 818x243 + 398x244 + 610x245 + 789x246 + 624x247 + 491x248 + 881x249 + 809x250  = 0 
f2: -f2 + 792x1 + 649x2 + 624x3 + 1046x4 + 964x5 + 920x6 + 379x7 + 389x8 + 698x9 + 701x10 + 975x11 + 616x12 + 595x13 + 958x14 + 678x15 + 895x16 + 624x17 + 684x18 + 886x19 + 618x20 + 1208x21 + 1008x22 + 593x23 + 857x24 + 754x25 + 1053x26 + 545x27 + 827x28 + 663x29 + 647x30 + 1020x31 + 720x32 + 267x33 + 335x34 + 400x35 + 950x36 + 533x37 + 820x38 + 890x39 + 1037x40 + 659x41 + 453x42 + 945x43 + 757x44 + 475x45 + 553x46 + 712x47 + 705x48 + 974x49 + 601x50 + 502x51 + 805x52 + 788x53 + 657x54 + 1054x55 + 746x56 + 862x57 + 910x58 + 916x59 + 610x60 + 1023x61 + 729x62 + 735x63 + 757x64 + 1076x65 + 1079x66 + 1040x67 + 655x68 + 816x69 + 626x70 + 734x71 + 551x72 + 410x73 + 1158x74 + 625x75 + 602x76 + 443x77 + 559x78 + 762x79 + 839x80 + 794x81 + 1073x82 + 720x83 + 629x84 + 855x85 + 940x86 + 393x87 + 728x88 + 723x89 + 1034x90 + 433x91 + 739x92 + 468x93 + 597x94 + 695x95 + 565x96 + 669x97 + 677x98 + 600x99 + 748x100 + 726x101 + 794x102 + 510x103 + 699x104 + 816x105 + 1062x106 + 760x107 + 862x108 + 976x109 + 1123x110 + 582x111 + 700x112 + 860x113 + 883x114 + 881x115 + 744x116 + 609x117 + 768x118 + 266x119 + 666x120 + 747x121 + 1104x122 + 794x123 + 527x124 + 681x125 + 885x126 + 611x127 + 751x128 + 743x129 + 1132x130 + 1151x131 + 786x132 + 859x133 + 830x134 + 1056x135 + 520x136 + 649x137 + 515x138 + 414x139 + 1077x140 + 688x141 + 681x142 + 604x143 + 747x144 + 788x145 + 535x146 + 930x147 + 542x148 + 480x149 + 920x150 + 491x151 + 782x152 + 818x153 + 798x154 + 955x155 + 470x156 + 717x157 + 734x158 + 447x159 + 757x160 + 470x161 + 643x162 + 457x163 + 469x164 + 652x165 + 860x166 + 714x167 + 742x168 + 809x169 + 1142x170 + 347x171 + 561x172 + 654x173 + 581x174 + 621x175 + 508x176 + 629x177 + 759x178 + 765x179 + 941x180 + 838x181 + 410x182 + 555x183 + 856x184 + 731x185 + 817x186 + 674x187 + 686x188 + 448x189 + 906x190 + 400x191 + 748x192 + 524x193 + 724x194 + 626x195 + 422x196 + 345x197 + 428x198 + 764x199 + 732x200 + 472x201 + 625x202 + 915x203 + 961x204 + 684x205 + 398x206 + 684x207 + 827x208 + 789x209 + 836x210 + 631x211 + 516x212 + 964x213 + 981x214 + 978x215 + 576x216 + 797x217 + 832x218 + 1016x219 + 505x220 + 737x221 + 832x222 + 561x223 + 558x224 + 885x225 + 1000x226 + 655x227 + 537x228 + 903x229 + 777x230 + 1018x231 + 891x232 + 989x233 + 494x234 + 708x235 + 614x236 + 840x237 + 500x238 + 867x239 + 965x240 + 628x241 + 940x242 + 831x243 + 673x244 + 485x245 + 675x246 + 777x247 + 1041x248 + 992x249 + 856x250  = 0 
constr1: + 825x1 + 63x2 + 397x3 + 626x4 + 739x5 + 229x6 + 296x7 + 511x8 + 191x9 + 542x10 + 841x11 + 684x12 + 191x13 + 289x14 + 180x15 + 845x16 + 508x17 + 269x18 + 716x19 + 57x20 + 767x21 + 974x22 + 93x23 + 509x24 + 644x25 + 965x26 + 645x27 + 933x28 + 73x29 + 773x30 + 714x31 + 249x32 + 338x33 + 597x34 + 235x35 + 562x36 + 371x37 + 761x38 + 278x39 + 210x40 + 411x41 + 799x42 + 445x43 + 861x44 + 147x45 + 363x46 + 320x47 + 186x48 + 939x49 + 290x50 + 25x51 + 480x52 + 375x53 + 176x54 + 26x55 + 945x56 + 891x57 + 944x58 + 71x59 + 215x60 + 661x61 + 71x62 + 860x63 + 986x64 + 732x65 + 784x66 + 37x67 + 422x68 + 617x69 + 757x70 + 560x71 + 276x72 + 317x73 + 555x74 + 492x75 + 159x76 + 284x77 + 923x78 + 198x79 + 820x80 + 540x81 + 832x82 + 543x83 + 255x84 + 538x85 + 981x86 + 591x87 + 360x88 + 885x89 + 99x90 + 177x91 + 256x92 + 89x93 + 411x94 + 404x95 + 596x96 + 28x97 + 727x98 + 341x99 + 230x100 + 471x101 + 617x102 + 295x103 + 926x104 + 740x105 + 570x106 + 773x107 + 829x108 + 842x109 + 313x110 + 662x111 + 940x112 + 66x113 + 584x114 + 591x115 + 430x116 + 319x117 + 950x118 + 69x119 + 803x120 + 800x121 + 388x122 + 81x123 + 944x124 + 518x125 + 448x126 + 866x127 + 719x128 + 173x129 + 932x130 + 250x131 + 827x132 + 762x133 + 829x134 + 353x135 + 968x136 + 201x137 + 772x138 + 347x139 + 164x140 + 132x141 + 429x142 + 904x143 + 633x144 + 419x145 + 168x146 + 751x147 + 30x148 + 319x149 + 963x150 + 619x151 + 377x152 + 733x153 + 172x154 + 9x155 + 141x156 + 180x157 + 784x158 + 647x159 + 124x160 + 797x161 + 606x162 + 596x163 + 188x164 + 861x165 + 897x166 + 416x167 + 105x168 + 676x169 + 952x170 + 763x171 + 366x172 + 771x173 + 414x174 + 533x175 + 811x176 + 192x177 + 73x178 + 337x179 + 822x180 + 442x181 + 380x182 + 745x183 + 315x184 + 4x185 + 979x186 + 608x187 + 458x188 + 842x189 + 874x190 + 794x191 + 634x192 + 989x193 + 125x194 + 708x195 + 569x196 + 742x197 + 341x198 + 883x199 + 865x200 + 61x201 + 376x202 + 838x203 + 147x204 + 215x205 + 966x206 + 268x207 + 747x208 + 737x209 + 795x210 + 228x211 + 783x212 + 200x213 + 417x214 + 135x215 + 208x216 + 156x217 + 41x218 + 94x219 + 172x220 + 345x221 + 958x222 + 699x223 + 202x224 + 292x225 + 728x226 + 177x227 + 203x228 + 454x229 + 769x230 + 194x231 + 601x232 + 243x233 + 938x234 + 885x235 + 194x236 + 223x237 + 868x238 + 477x239 + 73x240 + 254x241 + 390x242 + 496x243 + 865x244 + 176x245 + 538x246 + 821x247 + 472x248 + 119x249 + 686x250 <= 92989 
constr2: + 628x1 + 92x2 + 767x3 + 695x4 + 734x5 + 133x6 + 882x7 + 984x8 + 829x9 + 500x10 + 158x11 + 99x12 + 170x13 + 883x14 + 250x15 + 962x16 + 344x17 + 612x18 + 946x19 + 107x20 + 928x21 + 738x22 + 867x23 + 32x24 + 530x25 + 368x26 + 356x27 + 618x28 + 761x29 + 467x30 + 436x31 + 953x32 + 267x33 + 175x34 + 94x35 + 526x36 + 67x37 + 627x38 + 837x39 + 555x40 + 480x41 + 548x42 + 440x43 + 655x44 + 890x45 + 978x46 + 85x47 + 188x48 + 472x49 + 749x50 + 773x51 + 525x52 + 210x53 + 102x54 + 196x55 + 560x56 + 96x57 + 630x58 + 701x59 + 320x60 + 992x61 + 391x62 + 111x63 + 928x64 + 825x65 + 453x66 + 771x67 + 1000x68 + 817x69 + 170x70 + 289x71 + 504x72 + 958x73 + 772x74 + 566x75 + 309x76 + 431x77 + 337x78 + 518x79 + 686x80 + 577x81 + 996x82 + 458x83 + 766x84 + 266x85 + 983x86 + 929x87 + 352x88 + 254x89 + 911x90 + 654x91 + 876x92 + 251x93 + 310x94 + 613x95 + 588x96 + 116x97 + 284x98 + 845x99 + 766x100 + 912x101 + 667x102 + 909x103 + 791x104 + 833x105 + 429x106 + 136x107 + 436x108 + 996x109 + 966x110 + 598x111 + 281x112 + 253x113 + 154x114 + 32x115 + 438x116 + 606x117 + 765x118 + 762x119 + 134x120 + 731x121 + 829x122 + 646x123 + 5x124 + 936x125 + 96x126 + 557x127 + 140x128 + 510x129 + 445x130 + 29x131 + 159x132 + 216x133 + 213x134 + 578x135 + 450x136 + 688x137 + 262x138 + 644x139 + 565x140 + 184x141 + 299x142 + 509x143 + 101x144 + 874x145 + 438x146 + 815x147 + 375x148 + 912x149 + 97x150 + 528x151 + 242x152 + 737x153 + 647x154 + 702x155 + 812x156 + 616x157 + 582x158 + 1000x159 + 402x160 + 157x161 + 57x162 + 90x163 + 740x164 + 225x165 + 704x166 + 151x167 + 583x168 + 658x169 + 591x170 + 949x171 + 448x172 + 763x173 + 335x174 + 482x175 + 881x176 + 137x177 + 175x178 + 792x179 + 559x180 + 30x181 + 585x182 + 874x183 + 550x184 + 567x185 + 509x186 + 973x187 + 161x188 + 259x189 + 399x190 + 509x191 + 723x192 + 994x193 + 887x194 + 157x195 + 453x196 + 602x197 + 532x198 + 996x199 + 598x200 + 897x201 + 384x202 + 728x203 + 525x204 + 669x205 + 803x206 + 189x207 + 358x208 + 987x209 + 344x210 + 3x211 + 966x212 + 441x213 + 407x214 + 585x215 + 1000x216 + 764x217 + 208x218 + 435x219 + 835x220 + 2x221 + 138x222 + 165x223 + 66x224 + 277x225 + 887x226 + 717x227 + 1x228 + 717x229 + 353x230 + 922x231 + 745x232 + 643x233 + 954x234 + 23x235 + 155x236 + 237x237 + 461x238 + 511x239 + 180x240 + 918x241 + 30x242 + 614x243 + 494x244 + 97x245 + 698x246 + 260x247 + 144x248 + 961x249 + 414x250 <= 90399 
constr3: + 788x1 + 414x2 + 547x3 + 313x4 + 941x5 + 263x6 + 537x7 + 541x8 + 365x9 + 837x10 + 245x11 + 593x12 + 794x13 + 330x14 + 903x15 + 884x16 + 605x17 + 35x18 + 312x19 + 241x20 + 14x21 + 174x22 + 958x23 + 54x24 + 144x25 + 3x26 + 7x27 + 317x28 + 413x29 + 860x30 + 888x31 + 605x32 + 520x33 + 474x34 + 235x35 + 670x36 + 629x37 + 917x38 + 611x39 + 519x40 + 482x41 + 474x42 + 376x43 + 336x44 + 202x45 + 10x46 + 449x47 + 551x48 + 286x49 + 399x50 + 709x51 + 380x52 + 394x53 + 198x54 + 464x55 + 331x56 + 817x57 + 307x58 + 822x59 + 566x60 + 536x61 + 16x62 + 777x63 + 446x64 + 692x65 + 180x66 + 148x67 + 77x68 + 660x69 + 852x70 + 484x71 + 958x72 + 652x73 + 643x74 + 945x75 + 840x76 + 183x77 + 457x78 + 473x79 + 917x80 + 10x81 + 645x82 + 807x83 + 61x84 + 353x85 + 971x86 + 686x87 + 994x88 + 618x89 + 220x90 + 984x91 + 578x92 + 972x93 + 8x94 + 213x95 + 871x96 + 823x97 + 133x98 + 773x99 + 135x100 + 648x101 + 653x102 + 428x103 + 610x104 + 843x105 + 129x106 + 881x107 + 999x108 + 168x109 + 728x110 + 358x111 + 622x112 + 465x113 + 246x114 + 13x115 + 660x116 + 177x117 + 525x118 + 623x119 + 145x120 + 461x121 + 941x122 + 956x123 + 178x124 + 440x125 + 884x126 + 922x127 + 182x128 + 929x129 + 676x130 + 439x131 + 922x132 + 859x133 + 799x134 + 405x135 + 859x136 + 448x137 + 388x138 + 648x139 + 798x140 + 701x141 + 702x142 + 409x143 + 474x144 + 764x145 + 186x146 + 808x147 + 801x148 + 572x149 + 253x150 + 500x151 + 754x152 + 289x153 + 719x154 + 276x155 + 975x156 + 76x157 + 891x158 + 553x159 + 157x160 + 522x161 + 130x162 + 241x163 + 374x164 + 132x165 + 594x166 + 133x167 + 561x168 + 657x169 + 923x170 + 550x171 + 6x172 + 510x173 + 156x174 + 386x175 + 145x176 + 585x177 + 583x178 + 744x179 + 660x180 + 121x181 + 906x182 + 461x183 + 259x184 + 775x185 + 9x186 + 245x187 + 895x188 + 665x189 + 797x190 + 210x191 + 434x192 + 146x193 + 22x194 + 421x195 + 909x196 + 27x197 + 471x198 + 717x199 + 436x200 + 160x201 + 374x202 + 498x203 + 405x204 + 900x205 + 921x206 + 736x207 + 547x208 + 570x209 + 143x210 + 909x211 + 429x212 + 753x213 + 61x214 + 106x215 + 965x216 + 389x217 + 476x218 + 314x219 + 347x220 + 333x221 + 499x222 + 220x223 + 126x224 + 842x225 + 624x226 + 985x227 + 798x228 + 913x229 + 454x230 + 484x231 + 139x232 + 676x233 + 430x234 + 405x235 + 100x236 + 821x237 + 189x238 + 132x239 + 455x240 + 926x241 + 706x242 + 998x243 + 156x244 + 810x245 + 421x246 + 722x247 + 113x248 + 333x249 + 527x250 <= 96305 
constr4: + 788x1 + 1000x2 + 281x3 + 617x4 + 626x5 + 23x6 + 365x7 + 619x8 + 18x9 + 482x10 + 754x11 + 536x12 + 881x13 + 580x14 + 161x15 + 68x16 + 267x17 + 421x18 + 681x19 + 321x20 + 295x21 + 699x22 + 763x23 + 612x24 + 792x25 + 869x26 + 157x27 + 696x28 + 407x29 + 8x30 + 431x31 + 821x32 + 514x33 + 862x34 + 768x35 + 127x36 + 342x37 + 82x38 + 629x39 + 999x40 + 421x41 + 140x42 + 535x43 + 98x44 + 942x45 + 766x46 + 931x47 + 827x48 + 38x49 + 11x50 + 695x51 + 521x52 + 42x53 + 794x54 + 967x55 + 234x56 + 42x57 + 487x58 + 444x59 + 595x60 + 718x61 + 388x62 + 216x63 + 381x64 + 840x65 + 114x66 + 297x67 + 784x68 + 205x69 + 914x70 + 916x71 + 500x72 + 60x73 + 459x74 + 414x75 + 20x76 + 651x77 + 361x78 + 505x79 + 994x80 + 637x81 + 42x82 + 451x83 + 425x84 + 75x85 + 273x86 + 38x87 + 381x88 + 573x89 + 335x90 + 239x91 + 620x92 + 464x93 + 262x94 + 201x95 + 65x96 + 678x97 + 35x98 + 982x99 + 789x100 + 775x101 + 127x102 + 73x103 + 228x104 + 57x105 + 868x106 + 965x107 + 496x108 + 369x109 + 728x110 + 179x111 + 641x112 + 503x113 + 372x114 + 798x115 + 560x116 + 363x117 + 593x118 + 295x119 + 599x120 + 722x121 + 576x122 + 704x123 + 977x124 + 727x125 + 295x126 + 74x127 + 1x128 + 762x129 + 899x130 + 101x131 + 836x132 + 355x133 + 560x134 + 963x135 + 398x136 + 195x137 + 258x138 + 165x139 + 518x140 + 199x141 + 833x142 + 801x143 + 416x144 + 204x145 + 79x146 + 216x147 + 791x148 + 313x149 + 818x150 + 377x151 + 311x152 + 416x153 + 56x154 + 166x155 + 908x156 + 99x157 + 455x158 + 842x159 + 430x160 + 727x161 + 592x162 + 104x163 + 119x164 + 993x165 + 734x166 + 236x167 + 642x168 + 315x169 + 435x170 + 158x171 + 340x172 + 686x173 + 413x174 + 770x175 + 384x176 + 669x177 + 468x178 + 121x179 + 404x180 + 310x181 + 84x182 + 246x183 + 822x184 + 408x185 + 312x186 + 816x187 + 148x188 + 611x189 + 549x190 + 531x191 + 470x192 + 26x193 + 530x194 + 837x195 + 93x196 + 946x197 + 633x198 + 90x199 + 473x200 + 849x201 + 199x202 + 488x203 + 180x204 + 349x205 + 580x206 + 504x207 + 256x208 + 114x209 + 994x210 + 561x211 + 793x212 + 481x213 + 830x214 + 340x215 + 850x216 + 113x217 + 104x218 + 551x219 + 697x220 + 807x221 + 922x222 + 484x223 + 891x224 + 477x225 + 746x226 + 86x227 + 246x228 + 677x229 + 384x230 + 279x231 + 745x232 + 123x233 + 736x234 + 634x235 + 53x236 + 220x237 + 213x238 + 738x239 + 320x240 + 953x241 + 338x242 + 520x243 + 5x244 + 698x245 + 568x246 + 421x247 + 693x248 + 235x249 + 111x250 <= 92416 
constr5: + 970x1 + 98x2 + 579x3 + 414x4 + 399x5 + 328x6 + 84x7 + 76x8 + 92x9 + 925x10 + 962x11 + 319x12 + 493x13 + 189x14 + 417x15 + 229x16 + 481x17 + 179x18 + 415x19 + 911x20 + 568x21 + 330x22 + 251x23 + 486x24 + 656x25 + 996x26 + 858x27 + 375x28 + 86x29 + 205x30 + 781x31 + 903x32 + 990x33 + 102x34 + 365x35 + 271x36 + 649x37 + 273x38 + 490x39 + 592x40 + 329x41 + 615x42 + 638x43 + 908x44 + 926x45 + 443x46 + 142x47 + 576x48 + 663x49 + 909x50 + 322x51 + 923x52 + 232x53 + 271x54 + 393x55 + 261x56 + 478x57 + 529x58 + 278x59 + 473x60 + 332x61 + 139x62 + 297x63 + 641x64 + 4x65 + 85x66 + 247x67 + 621x68 + 453x69 + 329x70 + 95x71 + 105x72 + 143x73 + 524x74 + 697x75 + 866x76 + 39x77 + 943x78 + 383x79 + 383x80 + 755x81 + 520x82 + 297x83 + 39x84 + 198x85 + 320x86 + 19x87 + 999x88 + 937x89 + 19x90 + 269x91 + 945x92 + 566x93 + 602x94 + 702x95 + 492x96 + 36x97 + 353x98 + 273x99 + 525x100 + 402x101 + 815x102 + 11x103 + 906x104 + 421x105 + 746x106 + 962x107 + 849x108 + 656x109 + 319x110 + 166x111 + 355x112 + 318x113 + 939x114 + 981x115 + 619x116 + 97x117 + 531x118 + 407x119 + 860x120 + 73x121 + 339x122 + 167x123 + 894x124 + 107x125 + 41x126 + 733x127 + 879x128 + 488x129 + 224x130 + 675x131 + 642x132 + 241x133 + 685x134 + 847x135 + 25x136 + 124x137 + 394x138 + 673x139 + 178x140 + 288x141 + 140x142 + 10x143 + 939x144 + 288x145 + 645x146 + 196x147 + 149x148 + 322x149 + 289x150 + 799x151 + 979x152 + 533x153 + 145x154 + 578x155 + 784x156 + 197x157 + 74x158 + 460x159 + 738x160 + 526x161 + 572x162 + 334x163 + 753x164 + 402x165 + 362x166 + 9x167 + 238x168 + 819x169 + 364x170 + 183x171 + 460x172 + 672x173 + 70x174 + 467x175 + 23x176 + 369x177 + 671x178 + 576x179 + 176x180 + 881x181 + 986x182 + 699x183 + 4x184 + 38x185 + 341x186 + 599x187 + 672x188 + 762x189 + 251x190 + 149x191 + 446x192 + 391x193 + 819x194 + 705x195 + 236x196 + 541x197 + 365x198 + 635x199 + 993x200 + 611x201 + 640x202 + 723x203 + 431x204 + 696x205 + 13x206 + 585x207 + 8x208 + 336x209 + 298x210 + 936x211 + 137x212 + 309x213 + 342x214 + 105x215 + 488x216 + 843x217 + 920x218 + 367x219 + 509x220 + 722x221 + 758x222 + 95x223 + 658x224 + 162x225 + 406x226 + 660x227 + 291x228 + 1x229 + 920x230 + 588x231 + 555x232 + 444x233 + 686x234 + 172x235 + 957x236 + 7x237 + 505x238 + 141x239 + 502x240 + 574x241 + 892x242 + 740x243 + 531x244 + 759x245 + 781x246 + 819x247 + 798x248 + 46x249 + 120x250 <= 90239 
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