minimize 
objective: s
subject to 
s1: s + 0.501000f1 + 0.001000f2 >= 92865.482000 
s2: s + 0.001000f1 + 0.501000f2 >= 92865.482000 
f1: -f1 + 903x1 + 626x2 + 683x3 + 820x4 + 865x5 + 812x6 + 785x7 + 751x8 + 1028x9 + 617x10 + 784x11 + 737x12 + 1060x13 + 934x14 + 586x15 + 553x16 + 954x17 + 826x18 + 776x19 + 814x20 + 865x21 + 455x22 + 381x23 + 596x24 + 366x25 + 910x26 + 926x27 + 793x28 + 956x29 + 1055x30 + 679x31 + 825x32 + 478x33 + 835x34 + 591x35 + 892x36 + 726x37 + 846x38 + 802x39 + 932x40 + 894x41 + 1001x42 + 919x43 + 759x44 + 668x45 + 885x46 + 380x47 + 664x48 + 504x49 + 611x50 + 1091x51 + 439x52 + 495x53 + 504x54 + 1034x55 + 967x56 + 929x57 + 653x58 + 519x59 + 785x60 + 511x61 + 882x62 + 897x63 + 348x64 + 607x65 + 744x66 + 404x67 + 898x68 + 821x69 + 704x70 + 549x71 + 522x72 + 831x73 + 895x74 + 959x75 + 631x76 + 805x77 + 955x78 + 676x79 + 661x80 + 813x81 + 380x82 + 817x83 + 829x84 + 889x85 + 601x86 + 700x87 + 695x88 + 1046x89 + 954x90 + 675x91 + 846x92 + 697x93 + 190x94 + 1043x95 + 1080x96 + 313x97 + 530x98 + 508x99 + 869x100 + 468x101 + 633x102 + 825x103 + 618x104 + 598x105 + 575x106 + 870x107 + 572x108 + 1091x109 + 537x110 + 860x111 + 969x112 + 525x113 + 848x114 + 661x115 + 1051x116 + 770x117 + 784x118 + 708x119 + 925x120 + 656x121 + 971x122 + 587x123 + 691x124 + 648x125 + 550x126 + 749x127 + 1010x128 + 1088x129 + 1012x130 + 464x131 + 1013x132 + 878x133 + 499x134 + 900x135 + 742x136 + 990x137 + 648x138 + 764x139 + 512x140 + 699x141 + 1022x142 + 800x143 + 921x144 + 598x145 + 843x146 + 1117x147 + 739x148 + 599x149 + 1055x150 + 672x151 + 689x152 + 503x153 + 690x154 + 653x155 + 1166x156 + 1004x157 + 994x158 + 827x159 + 589x160 + 410x161 + 394x162 + 486x163 + 725x164 + 515x165 + 570x166 + 686x167 + 977x168 + 619x169 + 520x170 + 818x171 + 819x172 + 1184x173 + 673x174 + 577x175 + 632x176 + 784x177 + 776x178 + 392x179 + 951x180 + 928x181 + 629x182 + 659x183 + 711x184 + 571x185 + 488x186 + 888x187 + 708x188 + 511x189 + 1197x190 + 511x191 + 688x192 + 624x193 + 670x194 + 832x195 + 972x196 + 953x197 + 701x198 + 711x199 + 727x200 + 764x201 + 729x202 + 518x203 + 504x204 + 670x205 + 492x206 + 782x207 + 962x208 + 783x209 + 864x210 + 623x211 + 641x212 + 745x213 + 807x214 + 780x215 + 897x216 + 656x217 + 711x218 + 581x219 + 629x220 + 734x221 + 501x222 + 890x223 + 1131x224 + 902x225 + 837x226 + 479x227 + 945x228 + 879x229 + 501x230 + 842x231 + 501x232 + 708x233 + 494x234 + 997x235 + 935x236 + 707x237 + 432x238 + 818x239 + 843x240 + 410x241 + 761x242 + 1061x243 + 982x244 + 696x245 + 515x246 + 452x247 + 899x248 + 340x249 + 735x250  = 0 
f2: -f2 + 690x1 + 843x2 + 501x3 + 846x4 + 751x5 + 784x6 + 530x7 + 511x8 + 959x9 + 744x10 + 1010x11 + 825x12 + 783x13 + 925x14 + 624x15 + 626x16 + 865x17 + 967x18 + 846x19 + 617x20 + 990x21 + 831x22 + 701x23 + 1012x24 + 656x25 + 664x26 + 570x27 + 629x28 + 1060x29 + 549x30 + 954x31 + 601x32 + 366x33 + 190x34 + 525x35 + 691x36 + 495x37 + 455x38 + 848x39 + 962x40 + 842x41 + 688x42 + 1001x43 + 770x44 + 953x45 + 697x46 + 515x47 + 676x48 + 661x49 + 641x50 + 1013x51 + 929x52 + 392x53 + 785x54 + 504x55 + 919x56 + 515x57 + 695x58 + 895x59 + 380x60 + 969x61 + 689x62 + 897x63 + 711x64 + 394x65 + 1043x66 + 865x67 + 825x68 + 464x69 + 589x70 + 708x71 + 675x72 + 729x73 + 921x74 + 707x75 + 439x76 + 708x77 + 504x78 + 511x79 + 380x80 + 727x81 + 653x82 + 520x83 + 888x84 + 742x85 + 812x86 + 932x87 + 599x88 + 837x89 + 492x90 + 902x91 + 708x92 + 683x93 + 577x94 + 673x95 + 1184x96 + 486x97 + 900x98 + 764x99 + 776x100 + 1091x101 + 629x102 + 598x103 + 934x104 + 826x105 + 882x106 + 1034x107 + 945x108 + 835x109 + 537x110 + 704x111 + 972x112 + 518x113 + 504x114 + 776x115 + 494x116 + 784x117 + 656x118 + 522x119 + 955x120 + 994x121 + 829x122 + 410x123 + 818x124 + 632x125 + 780x126 + 889x127 + 764x128 + 832x129 + 519x130 + 668x131 + 581x132 + 648x133 + 598x134 + 670x135 + 898x136 + 785x137 + 784x138 + 410x139 + 1055x140 + 878x141 + 899x142 + 793x143 + 818x144 + 1022x145 + 890x146 + 1088x147 + 711x148 + 452x149 + 870x150 + 903x151 + 479x152 + 618x153 + 725x154 + 879x155 + 619x156 + 670x157 + 313x158 + 926x159 + 817x160 + 892x161 + 468x162 + 711x163 + 805x164 + 631x165 + 759x166 + 340x167 + 1091x168 + 512x169 + 864x170 + 586x171 + 782x172 + 571x173 + 623x174 + 1055x175 + 511x176 + 508x177 + 997x178 + 659x179 + 503x180 + 633x181 + 607x182 + 572x183 + 661x184 + 819x185 + 550x186 + 885x187 + 956x188 + 404x189 + 672x190 + 814x191 + 501x192 + 860x193 + 807x194 + 348x195 + 699x196 + 820x197 + 587x198 + 813x199 + 951x200 + 726x201 + 596x202 + 432x203 + 591x204 + 499x205 + 971x206 + 928x207 + 821x208 + 761x209 + 700x210 + 935x211 + 381x212 + 735x213 + 553x214 + 1051x215 + 802x216 + 648x217 + 679x218 + 910x219 + 800x220 + 749x221 + 954x222 + 894x223 + 696x224 + 686x225 + 1131x226 + 977x227 + 897x228 + 734x229 + 1061x230 + 653x231 + 611x232 + 1117x233 + 478x234 + 1004x235 + 575x236 + 1166x237 + 1080x238 + 1046x239 + 739x240 + 737x241 + 1028x242 + 1197x243 + 827x244 + 501x245 + 745x246 + 488x247 + 869x248 + 843x249 + 982x250  = 0 
constr1: + 634x1 + 566x2 + 865x3 + 321x4 + 208x5 + 886x6 + 410x7 + 972x8 + 728x9 + 992x10 + 945x11 + 760x12 + 670x13 + 646x14 + 79x15 + 152x16 + 249x17 + 330x18 + 72x19 + 295x20 + 31x21 + 812x22 + 46x23 + 534x24 + 469x25 + 341x26 + 742x27 + 420x28 + 657x29 + 286x30 + 325x31 + 907x32 + 189x33 + 152x34 + 849x35 + 911x36 + 890x37 + 41x38 + 416x39 + 806x40 + 128x41 + 484x42 + 170x43 + 406x44 + 816x45 + 615x46 + 942x47 + 593x48 + 462x49 + 721x50 + 141x51 + 722x52 + 871x53 + 506x54 + 793x55 + 38x56 + 863x57 + 641x58 + 692x59 + 634x60 + 568x61 + 556x62 + 112x63 + 342x64 + 698x65 + 130x66 + 827x67 + 997x68 + 902x69 + 921x70 + 15x71 + 154x72 + 722x73 + 423x74 + 962x75 + 642x76 + 818x77 + 185x78 + 843x79 + 173x80 + 146x81 + 621x82 + 624x83 + 466x84 + 726x85 + 449x86 + 696x87 + 501x88 + 774x89 + 352x90 + 893x91 + 506x92 + 316x93 + 712x94 + 333x95 + 367x96 + 948x97 + 950x98 + 301x99 + 308x100 + 574x101 + 612x102 + 901x103 + 442x104 + 21x105 + 993x106 + 162x107 + 733x108 + 637x109 + 773x110 + 718x111 + 674x112 + 47x113 + 831x114 + 272x115 + 974x116 + 996x117 + 119x118 + 276x119 + 876x120 + 827x121 + 394x122 + 817x123 + 173x124 + 548x125 + 178x126 + 133x127 + 678x128 + 481x129 + 763x130 + 576x131 + 475x132 + 840x133 + 452x134 + 956x135 + 454x136 + 994x137 + 617x138 + 408x139 + 686x140 + 608x141 + 507x142 + 688x143 + 472x144 + 899x145 + 317x146 + 405x147 + 903x148 + 385x149 + 549x150 + 468x151 + 475x152 + 566x153 + 88x154 + 736x155 + 283x156 + 681x157 + 91x158 + 838x159 + 98x160 + 690x161 + 352x162 + 917x163 + 179x164 + 477x165 + 399x166 + 170x167 + 797x168 + 296x169 + 817x170 + 606x171 + 254x172 + 300x173 + 835x174 + 519x175 + 839x176 + 126x177 + 912x178 + 536x179 + 884x180 + 204x181 + 788x182 + 87x183 + 968x184 + 223x185 + 224x186 + 650x187 + 154x188 + 42x189 + 209x190 + 354x191 + 275x192 + 495x193 + 903x194 + 155x195 + 771x196 + 796x197 + 126x198 + 649x199 + 439x200 + 736x201 + 583x202 + 387x203 + 860x204 + 193x205 + 525x206 + 789x207 + 336x208 + 306x209 + 688x210 + 743x211 + 293x212 + 533x213 + 434x214 + 296x215 + 621x216 + 253x217 + 690x218 + 128x219 + 621x220 + 193x221 + 773x222 + 1000x223 + 986x224 + 199x225 + 70x226 + 82x227 + 348x228 + 182x229 + 626x230 + 145x231 + 941x232 + 114x233 + 773x234 + 647x235 + 976x236 + 767x237 + 593x238 + 25x239 + 651x240 + 541x241 + 580x242 + 836x243 + 179x244 + 830x245 + 104x246 + 668x247 + 826x248 + 32x249 + 80x250 <= 93918 
constr2: + 540x1 + 739x2 + 525x3 + 837x4 + 371x5 + 253x6 + 65x7 + 155x8 + 559x9 + 489x10 + 61x11 + 584x12 + 629x13 + 114x14 + 723x15 + 62x16 + 368x17 + 950x18 + 28x19 + 147x20 + 127x21 + 321x22 + 797x23 + 45x24 + 924x25 + 532x26 + 593x27 + 295x28 + 948x29 + 506x30 + 636x31 + 822x32 + 154x33 + 385x34 + 962x35 + 450x36 + 858x37 + 427x38 + 609x39 + 885x40 + 663x41 + 472x42 + 731x43 + 270x44 + 45x45 + 29x46 + 330x47 + 923x48 + 732x49 + 784x50 + 74x51 + 145x52 + 593x53 + 955x54 + 176x55 + 156x56 + 365x57 + 597x58 + 669x59 + 53x60 + 194x61 + 264x62 + 945x63 + 478x64 + 402x65 + 493x66 + 615x67 + 935x68 + 198x69 + 743x70 + 789x71 + 767x72 + 839x73 + 354x74 + 713x75 + 58x76 + 967x77 + 667x78 + 611x79 + 829x80 + 750x81 + 501x82 + 485x83 + 267x84 + 132x85 + 759x86 + 339x87 + 661x88 + 178x89 + 487x90 + 500x91 + 548x92 + 823x93 + 844x94 + 436x95 + 527x96 + 636x97 + 47x98 + 127x99 + 467x100 + 967x101 + 768x102 + 374x103 + 326x104 + 39x105 + 705x106 + 815x107 + 235x108 + 325x109 + 84x110 + 327x111 + 859x112 + 782x113 + 59x114 + 47x115 + 416x116 + 137x117 + 11x118 + 615x119 + 393x120 + 707x121 + 360x122 + 422x123 + 413x124 + 964x125 + 400x126 + 974x127 + 433x128 + 991x129 + 984x130 + 264x131 + 679x132 + 69x133 + 567x134 + 179x135 + 5x136 + 535x137 + 276x138 + 740x139 + 474x140 + 678x141 + 832x142 + 445x143 + 398x144 + 507x145 + 300x146 + 205x147 + 953x148 + 630x149 + 561x150 + 468x151 + 24x152 + 848x153 + 258x154 + 435x155 + 968x156 + 143x157 + 651x158 + 398x159 + 731x160 + 693x161 + 582x162 + 618x163 + 427x164 + 647x165 + 770x166 + 389x167 + 706x168 + 615x169 + 163x170 + 480x171 + 742x172 + 521x173 + 728x174 + 677x175 + 366x176 + 391x177 + 943x178 + 465x179 + 694x180 + 268x181 + 520x182 + 409x183 + 66x184 + 281x185 + 332x186 + 132x187 + 452x188 + 289x189 + 509x190 + 293x191 + 798x192 + 677x193 + 235x194 + 374x195 + 719x196 + 175x197 + 203x198 + 771x199 + 14x200 + 583x201 + 806x202 + 460x203 + 624x204 + 752x205 + 82x206 + 712x207 + 58x208 + 913x209 + 124x210 + 458x211 + 142x212 + 179x213 + 497x214 + 622x215 + 566x216 + 6x217 + 151x218 + 929x219 + 98x220 + 802x221 + 918x222 + 682x223 + 314x224 + 734x225 + 286x226 + 843x227 + 554x228 + 131x229 + 721x230 + 997x231 + 745x232 + 599x233 + 133x234 + 623x235 + 928x236 + 969x237 + 472x238 + 213x239 + 539x240 + 872x241 + 323x242 + 177x243 + 258x244 + 355x245 + 594x246 + 572x247 + 949x248 + 270x249 + 393x250 <= 99440 
constr3: + 793x1 + 762x2 + 324x3 + 664x4 + 190x5 + 336x6 + 38x7 + 640x8 + 467x9 + 731x10 + 193x11 + 396x12 + 958x13 + 849x14 + 739x15 + 117x16 + 574x17 + 385x18 + 789x19 + 459x20 + 890x21 + 757x22 + 491x23 + 957x24 + 460x25 + 759x26 + 932x27 + 66x28 + 293x29 + 372x30 + 514x31 + 794x32 + 128x33 + 346x34 + 991x35 + 282x36 + 119x37 + 641x38 + 28x39 + 954x40 + 207x41 + 619x42 + 593x43 + 534x44 + 842x45 + 315x46 + 276x47 + 159x48 + 664x49 + 687x50 + 251x51 + 728x52 + 861x53 + 702x54 + 272x55 + 816x56 + 897x57 + 928x58 + 719x59 + 564x60 + 883x61 + 873x62 + 321x63 + 600x64 + 947x65 + 524x66 + 503x67 + 225x68 + 131x69 + 223x70 + 742x71 + 245x72 + 235x73 + 59x74 + 341x75 + 277x76 + 607x77 + 488x78 + 872x79 + 472x80 + 746x81 + 635x82 + 202x83 + 392x84 + 807x85 + 112x86 + 453x87 + 361x88 + 340x89 + 117x90 + 41x91 + 285x92 + 789x93 + 373x94 + 751x95 + 850x96 + 890x97 + 680x98 + 299x99 + 559x100 + 536x101 + 491x102 + 819x103 + 376x104 + 185x105 + 235x106 + 236x107 + 672x108 + 460x109 + 329x110 + 53x111 + 656x112 + 19x113 + 485x114 + 538x115 + 825x116 + 174x117 + 611x118 + 97x119 + 502x120 + 203x121 + 159x122 + 698x123 + 511x124 + 275x125 + 432x126 + 978x127 + 342x128 + 251x129 + 870x130 + 428x131 + 738x132 + 688x133 + 980x134 + 517x135 + 77x136 + 952x137 + 468x138 + 613x139 + 390x140 + 489x141 + 158x142 + 572x143 + 247x144 + 251x145 + 166x146 + 690x147 + 188x148 + 292x149 + 880x150 + 957x151 + 320x152 + 95x153 + 165x154 + 330x155 + 233x156 + 253x157 + 899x158 + 562x159 + 45x160 + 432x161 + 199x162 + 546x163 + 163x164 + 122x165 + 587x166 + 81x167 + 547x168 + 928x169 + 126x170 + 648x171 + 817x172 + 126x173 + 957x174 + 332x175 + 644x176 + 402x177 + 117x178 + 467x179 + 730x180 + 136x181 + 726x182 + 241x183 + 832x184 + 657x185 + 456x186 + 880x187 + 530x188 + 979x189 + 822x190 + 289x191 + 863x192 + 792x193 + 907x194 + 309x195 + 91x196 + 254x197 + 31x198 + 914x199 + 618x200 + 2x201 + 16x202 + 823x203 + 423x204 + 524x205 + 232x206 + 766x207 + 489x208 + 232x209 + 219x210 + 213x211 + 409x212 + 794x213 + 86x214 + 76x215 + 684x216 + 560x217 + 631x218 + 132x219 + 500x220 + 126x221 + 232x222 + 165x223 + 332x224 + 955x225 + 817x226 + 748x227 + 24x228 + 612x229 + 160x230 + 406x231 + 289x232 + 324x233 + 690x234 + 456x235 + 466x236 + 105x237 + 151x238 + 154x239 + 748x240 + 230x241 + 631x242 + 344x243 + 42x244 + 771x245 + 951x246 + 351x247 + 229x248 + 972x249 + 427x250 <= 94929 
constr4: + 252x1 + 371x2 + 968x3 + 611x4 + 415x5 + 996x6 + 705x7 + 954x8 + 437x9 + 545x10 + 81x11 + 376x12 + 173x13 + 804x14 + 515x15 + 186x16 + 425x17 + 602x18 + 41x19 + 791x20 + 689x21 + 916x22 + 397x23 + 709x24 + 212x25 + 868x26 + 220x27 + 45x28 + 573x29 + 336x30 + 478x31 + 774x32 + 501x33 + 497x34 + 718x35 + 59x36 + 821x37 + 609x38 + 301x39 + 636x40 + 80x41 + 310x42 + 733x43 + 414x44 + 379x45 + 873x46 + 614x47 + 171x48 + 868x49 + 230x50 + 363x51 + 495x52 + 212x53 + 602x54 + 754x55 + 775x56 + 941x57 + 926x58 + 486x59 + 691x60 + 138x61 + 694x62 + 614x63 + 478x64 + 777x65 + 520x66 + 762x67 + 722x68 + 241x69 + 326x70 + 602x71 + 341x72 + 701x73 + 115x74 + 229x75 + 577x76 + 53x77 + 317x78 + 809x79 + 71x80 + 863x81 + 303x82 + 40x83 + 882x84 + 625x85 + 788x86 + 85x87 + 772x88 + 795x89 + 900x90 + 106x91 + 249x92 + 199x93 + 638x94 + 546x95 + 894x96 + 201x97 + 634x98 + 478x99 + 312x100 + 556x101 + 476x102 + 225x103 + 796x104 + 243x105 + 687x106 + 722x107 + 258x108 + 419x109 + 136x110 + 85x111 + 969x112 + 57x113 + 358x114 + 344x115 + 369x116 + 144x117 + 723x118 + 14x119 + 403x120 + 167x121 + 13x122 + 582x123 + 898x124 + 468x125 + 938x126 + 115x127 + 926x128 + 947x129 + 21x130 + 104x131 + 413x132 + 318x133 + 922x134 + 570x135 + 145x136 + 314x137 + 443x138 + 763x139 + 416x140 + 446x141 + 866x142 + 208x143 + 286x144 + 923x145 + 691x146 + 482x147 + 867x148 + 426x149 + 423x150 + 717x151 + 948x152 + 808x153 + 178x154 + 820x155 + 843x156 + 403x157 + 431x158 + 479x159 + 55x160 + 322x161 + 17x162 + 281x163 + 265x164 + 286x165 + 138x166 + 52x167 + 644x168 + 43x169 + 23x170 + 378x171 + 970x172 + 309x173 + 882x174 + 731x175 + 863x176 + 828x177 + 982x178 + 600x179 + 784x180 + 638x181 + 744x182 + 922x183 + 407x184 + 63x185 + 227x186 + 890x187 + 253x188 + 433x189 + 32x190 + 583x191 + 943x192 + 219x193 + 184x194 + 890x195 + 445x196 + 500x197 + 362x198 + 713x199 + 429x200 + 454x201 + 987x202 + 686x203 + 411x204 + 697x205 + 401x206 + 222x207 + 421x208 + 964x209 + 134x210 + 241x211 + 24x212 + 156x213 + 149x214 + 141x215 + 589x216 + 867x217 + 215x218 + 265x219 + 865x220 + 200x221 + 955x222 + 923x223 + 368x224 + 665x225 + 768x226 + 137x227 + 487x228 + 441x229 + 978x230 + 536x231 + 53x232 + 697x233 + 350x234 + 279x235 + 416x236 + 737x237 + 174x238 + 337x239 + 791x240 + 652x241 + 740x242 + 813x243 + 59x244 + 565x245 + 103x246 + 134x247 + 484x248 + 516x249 + 119x250 <= 92951 
constr5: + 676x1 + 961x2 + 461x3 + 433x4 + 159x5 + 857x6 + 736x7 + 217x8 + 385x9 + 350x10 + 529x11 + 338x12 + 641x13 + 88x14 + 854x15 + 903x16 + 656x17 + 91x18 + 801x19 + 251x20 + 202x21 + 350x22 + 265x23 + 682x24 + 103x25 + 407x26 + 658x27 + 14x28 + 585x29 + 818x30 + 542x31 + 181x32 + 60x33 + 366x34 + 185x35 + 971x36 + 135x37 + 983x38 + 917x39 + 188x40 + 309x41 + 569x42 + 835x43 + 382x44 + 147x45 + 210x46 + 165x47 + 864x48 + 183x49 + 813x50 + 932x51 + 349x52 + 174x53 + 902x54 + 245x55 + 784x56 + 410x57 + 745x58 + 682x59 + 581x60 + 182x61 + 866x62 + 82x63 + 948x64 + 946x65 + 643x66 + 713x67 + 981x68 + 365x69 + 280x70 + 934x71 + 401x72 + 238x73 + 482x74 + 895x75 + 895x76 + 713x77 + 637x78 + 669x79 + 754x80 + 26x81 + 75x82 + 455x83 + 212x84 + 27x85 + 61x86 + 944x87 + 907x88 + 718x89 + 94x90 + 840x91 + 342x92 + 602x93 + 215x94 + 828x95 + 151x96 + 767x97 + 784x98 + 941x99 + 501x100 + 352x101 + 259x102 + 713x103 + 161x104 + 547x105 + 184x106 + 229x107 + 893x108 + 458x109 + 345x110 + 822x111 + 908x112 + 615x113 + 493x114 + 786x115 + 637x116 + 610x117 + 771x118 + 458x119 + 230x120 + 323x121 + 860x122 + 788x123 + 992x124 + 231x125 + 424x126 + 250x127 + 614x128 + 490x129 + 493x130 + 573x131 + 94x132 + 521x133 + 370x134 + 216x135 + 516x136 + 221x137 + 325x138 + 933x139 + 449x140 + 959x141 + 710x142 + 880x143 + 871x144 + 455x145 + 930x146 + 990x147 + 18x148 + 691x149 + 984x150 + 379x151 + 902x152 + 361x153 + 933x154 + 598x155 + 820x156 + 603x157 + 455x158 + 854x159 + 138x160 + 389x161 + 329x162 + 498x163 + 749x164 + 752x165 + 227x166 + 666x167 + 952x168 + 780x169 + 639x170 + 751x171 + 298x172 + 248x173 + 812x174 + 828x175 + 930x176 + 122x177 + 340x178 + 9x179 + 874x180 + 262x181 + 980x182 + 28x183 + 285x184 + 271x185 + 823x186 + 223x187 + 937x188 + 710x189 + 202x190 + 640x191 + 498x192 + 110x193 + 102x194 + 483x195 + 516x196 + 612x197 + 847x198 + 784x199 + 472x200 + 583x201 + 344x202 + 844x203 + 465x204 + 276x205 + 595x206 + 681x207 + 118x208 + 799x209 + 922x210 + 901x211 + 86x212 + 466x213 + 743x214 + 524x215 + 483x216 + 565x217 + 524x218 + 958x219 + 815x220 + 234x221 + 730x222 + 102x223 + 679x224 + 838x225 + 171x226 + 408x227 + 571x228 + 358x229 + 415x230 + 784x231 + 49x232 + 64x233 + 974x234 + 715x235 + 637x236 + 685x237 + 707x238 + 183x239 + 906x240 + 439x241 + 195x242 + 905x243 + 589x244 + 671x245 + 425x246 + 947x247 + 342x248 + 829x249 + 578x250 <= 91813 
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