minimize 
objective: s
subject to 
s1: s + 0.501000f1 + 0.001000f2 >= 92942.288000 
s2: s + 0.001000f1 + 0.501000f2 >= 92942.288000 
f1: -f1 + 731x1 + 713x2 + 577x3 + 931x4 + 377x5 + 677x6 + 541x7 + 822x8 + 709x9 + 602x10 + 555x11 + 630x12 + 444x13 + 939x14 + 606x15 + 404x16 + 817x17 + 449x18 + 528x19 + 878x20 + 810x21 + 722x22 + 279x23 + 692x24 + 842x25 + 1000x26 + 888x27 + 1089x28 + 734x29 + 1121x30 + 476x31 + 354x32 + 594x33 + 977x34 + 624x35 + 1110x36 + 905x37 + 555x38 + 917x39 + 767x40 + 753x41 + 791x42 + 943x43 + 809x44 + 592x45 + 323x46 + 1103x47 + 848x48 + 879x49 + 629x50 + 964x51 + 603x52 + 474x53 + 609x54 + 545x55 + 428x56 + 741x57 + 553x58 + 683x59 + 634x60 + 484x61 + 601x62 + 507x63 + 827x64 + 758x65 + 427x66 + 667x67 + 707x68 + 639x69 + 757x70 + 1038x71 + 533x72 + 1116x73 + 809x74 + 389x75 + 784x76 + 922x77 + 570x78 + 811x79 + 913x80 + 780x81 + 674x82 + 636x83 + 763x84 + 637x85 + 1181x86 + 905x87 + 827x88 + 1013x89 + 519x90 + 548x91 + 983x92 + 268x93 + 888x94 + 894x95 + 624x96 + 387x97 + 636x98 + 629x99 + 422x100 + 831x101 + 437x102 + 650x103 + 676x104 + 677x105 + 433x106 + 756x107 + 1074x108 + 1078x109 + 1029x110 + 527x111 + 684x112 + 1024x113 + 442x114 + 818x115 + 753x116 + 731x117 + 719x118 + 748x119 + 978x120 + 882x121 + 572x122 + 720x123 + 694x124 + 961x125 + 898x126 + 803x127 + 915x128 + 708x129 + 609x130 + 533x131 + 1005x132 + 338x133 + 616x134 + 585x135 + 994x136 + 1188x137 + 627x138 + 528x139 + 608x140 + 733x141 + 799x142 + 671x143 + 554x144 + 855x145 + 1189x146 + 844x147 + 526x148 + 895x149 + 600x150 + 508x151 + 621x152 + 973x153 + 750x154 + 955x155 + 387x156 + 642x157 + 480x158 + 404x159 + 891x160 + 1057x161 + 908x162 + 778x163 + 737x164 + 687x165 + 610x166 + 917x167 + 839x168 + 1000x169 + 599x170 + 642x171 + 712x172 + 590x173 + 840x174 + 1048x175 + 996x176 + 954x177 + 983x178 + 676x179 + 418x180 + 786x181 + 532x182 + 561x183 + 965x184 + 738x185 + 613x186 + 1089x187 + 752x188 + 477x189 + 772x190 + 592x191 + 781x192 + 932x193 + 757x194 + 1039x195 + 559x196 + 716x197 + 755x198 + 484x199 + 650x200 + 506x201 + 792x202 + 1070x203 + 700x204 + 657x205 + 825x206 + 978x207 + 484x208 + 740x209 + 1041x210 + 468x211 + 798x212 + 972x213 + 830x214 + 1077x215 + 503x216 + 584x217 + 771x218 + 795x219 + 539x220 + 969x221 + 811x222 + 1040x223 + 960x224 + 466x225 + 584x226 + 1007x227 + 730x228 + 948x229 + 799x230 + 890x231 + 882x232 + 1056x233 + 645x234 + 869x235 + 562x236 + 953x237 + 777x238 + 716x239 + 1098x240 + 992x241 + 505x242 + 649x243 + 981x244 + 1114x245 + 639x246 + 706x247 + 843x248 + 458x249 + 935x250  = 0 
f2: -f2 + 650x1 + 657x2 + 476x3 + 753x4 + 590x5 + 1040x6 + 750x7 + 772x8 + 786x9 + 1070x10 + 630x11 + 1038x12 + 468x13 + 1000x14 + 922x15 + 418x16 + 1000x17 + 737x18 + 1077x19 + 480x20 + 437x21 + 649x22 + 694x23 + 422x24 + 428x25 + 757x26 + 466x27 + 602x28 + 839x29 + 827x30 + 1013x31 + 477x32 + 827x33 + 977x34 + 888x35 + 763x36 + 505x37 + 642x38 + 528x39 + 624x40 + 1057x41 + 700x42 + 890x43 + 709x44 + 554x45 + 716x46 + 279x47 + 753x48 + 969x49 + 449x50 + 755x51 + 730x52 + 825x53 + 562x54 + 1048x55 + 905x56 + 1039x57 + 650x58 + 843x59 + 676x60 + 738x61 + 719x62 + 268x63 + 559x64 + 781x65 + 572x66 + 767x67 + 994x68 + 869x69 + 810x70 + 855x71 + 503x72 + 939x73 + 1029x74 + 599x75 + 905x76 + 978x77 + 818x78 + 526x79 + 733x80 + 600x81 + 609x82 + 712x83 + 474x84 + 895x85 + 539x86 + 809x87 + 609x88 + 1110x89 + 629x90 + 848x91 + 707x92 + 404x93 + 752x94 + 708x95 + 594x96 + 1103x97 + 784x98 + 722x99 + 484x100 + 674x101 + 811x102 + 584x103 + 548x104 + 741x105 + 387x106 + 799x107 + 882x108 + 684x109 + 606x110 + 433x111 + 961x112 + 778x113 + 592x114 + 528x115 + 740x116 + 1189x117 + 795x118 + 1089x119 + 541x120 + 692x121 + 1089x122 + 734x123 + 1116x124 + 894x125 + 1007x126 + 908x127 + 377x128 + 955x129 + 519x130 + 964x131 + 484x132 + 506x133 + 913x134 + 716x135 + 1074x136 + 545x137 + 965x138 + 338x139 + 533x140 + 603x141 + 584x142 + 882x143 + 627x144 + 811x145 + 1056x146 + 442x147 + 756x148 + 932x149 + 1181x150 + 642x151 + 917x152 + 706x153 + 809x154 + 677x155 + 404x156 + 639x157 + 888x158 + 780x159 + 791x160 + 953x161 + 639x162 + 1098x163 + 757x164 + 636x165 + 354x166 + 323x167 + 798x168 + 731x169 + 508x170 + 978x171 + 1024x172 + 771x173 + 610x174 + 532x175 + 777x176 + 713x177 + 1078x178 + 484x179 + 1188x180 + 878x181 + 458x182 + 996x183 + 748x184 + 621x185 + 608x186 + 636x187 + 842x188 + 983x189 + 671x190 + 792x191 + 972x192 + 645x193 + 553x194 + 954x195 + 624x196 + 427x197 + 803x198 + 555x199 + 555x200 + 444x201 + 943x202 + 948x203 + 960x204 + 561x205 + 577x206 + 570x207 + 1041x208 + 935x209 + 799x210 + 592x211 + 983x212 + 601x213 + 830x214 + 634x215 + 844x216 + 891x217 + 585x218 + 1114x219 + 931x220 + 917x221 + 533x222 + 1121x223 + 840x224 + 507x225 + 687x226 + 629x227 + 667x228 + 637x229 + 731x230 + 683x231 + 831x232 + 616x233 + 527x234 + 915x235 + 387x236 + 817x237 + 720x238 + 1005x239 + 879x240 + 822x241 + 992x242 + 981x243 + 613x244 + 389x245 + 898x246 + 973x247 + 677x248 + 676x249 + 758x250  = 0 
constr1: + 785x1 + 451x2 + 667x3 + 454x4 + 49x5 + 252x6 + 297x7 + 867x8 + 682x9 + 384x10 + 892x11 + 382x12 + 810x13 + 19x14 + 870x15 + 784x16 + 493x17 + 818x18 + 18x19 + 828x20 + 896x21 + 472x22 + 756x23 + 409x24 + 82x25 + 760x26 + 97x27 + 443x28 + 510x29 + 638x30 + 374x31 + 301x32 + 938x33 + 68x34 + 538x35 + 400x36 + 372x37 + 29x38 + 180x39 + 409x40 + 602x41 + 92x42 + 763x43 + 916x44 + 663x45 + 706x46 + 383x47 + 467x48 + 597x49 + 826x50 + 307x51 + 213x52 + 254x53 + 69x54 + 208x55 + 910x56 + 497x57 + 285x58 + 913x59 + 611x60 + 925x61 + 267x62 + 185x63 + 227x64 + 359x65 + 624x66 + 348x67 + 765x68 + 244x69 + 260x70 + 288x71 + 372x72 + 70x73 + 536x74 + 698x75 + 635x76 + 287x77 + 876x78 + 665x79 + 929x80 + 655x81 + 40x82 + 532x83 + 763x84 + 21x85 + 844x86 + 651x87 + 333x88 + 968x89 + 687x90 + 302x91 + 519x92 + 211x93 + 424x94 + 608x95 + 71x96 + 667x97 + 527x98 + 482x99 + 251x100 + 537x101 + 321x102 + 679x103 + 556x104 + 621x105 + 750x106 + 379x107 + 738x108 + 841x109 + 354x110 + 203x111 + 58x112 + 162x113 + 766x114 + 476x115 + 288x116 + 757x117 + 877x118 + 579x119 + 157x120 + 222x121 + 654x122 + 657x123 + 927x124 + 600x125 + 557x126 + 419x127 + 252x128 + 700x129 + 585x130 + 354x131 + 309x132 + 498x133 + 68x134 + 520x135 + 586x136 + 481x137 + 772x138 + 213x139 + 242x140 + 863x141 + 517x142 + 133x143 + 263x144 + 767x145 + 778x146 + 419x147 + 108x148 + 862x149 + 872x150 + 602x151 + 918x152 + 676x153 + 506x154 + 936x155 + 804x156 + 628x157 + 435x158 + 578x159 + 7x160 + 451x161 + 470x162 + 342x163 + 128x164 + 912x165 + 445x166 + 163x167 + 445x168 + 256x169 + 739x170 + 641x171 + 66x172 + 190x173 + 755x174 + 704x175 + 383x176 + 806x177 + 486x178 + 370x179 + 750x180 + 271x181 + 477x182 + 512x183 + 817x184 + 970x185 + 963x186 + 829x187 + 558x188 + 206x189 + 376x190 + 157x191 + 170x192 + 367x193 + 557x194 + 389x195 + 343x196 + 867x197 + 412x198 + 304x199 + 246x200 + 314x201 + 724x202 + 133x203 + 410x204 + 737x205 + 13x206 + 578x207 + 779x208 + 374x209 + 232x210 + 903x211 + 254x212 + 761x213 + 964x214 + 443x215 + 110x216 + 432x217 + 681x218 + 519x219 + 875x220 + 15x221 + 181x222 + 109x223 + 237x224 + 353x225 + 928x226 + 167x227 + 863x228 + 826x229 + 712x230 + 519x231 + 156x232 + 713x233 + 197x234 + 123x235 + 915x236 + 718x237 + 19x238 + 765x239 + 474x240 + 184x241 + 993x242 + 556x243 + 101x244 + 180x245 + 85x246 + 181x247 + 411x248 + 309x249 + 251x250 <= 94426 
constr2: + 51x1 + 353x2 + 523x3 + 126x4 + 227x5 + 542x6 + 541x7 + 340x8 + 200x9 + 806x10 + 856x11 + 609x12 + 186x13 + 555x14 + 133x15 + 954x16 + 600x17 + 629x18 + 866x19 + 347x20 + 8x21 + 239x22 + 212x23 + 486x24 + 322x25 + 84x26 + 659x27 + 635x28 + 436x29 + 384x30 + 706x31 + 371x32 + 771x33 + 966x34 + 660x35 + 874x36 + 342x37 + 749x38 + 766x39 + 17x40 + 491x41 + 930x42 + 896x43 + 328x44 + 879x45 + 140x46 + 857x47 + 932x48 + 23x49 + 483x50 + 278x51 + 941x52 + 200x53 + 639x54 + 225x55 + 228x56 + 287x57 + 584x58 + 713x59 + 759x60 + 416x61 + 713x62 + 406x63 + 644x64 + 247x65 + 211x66 + 105x67 + 472x68 + 593x69 + 403x70 + 198x71 + 238x72 + 176x73 + 612x74 + 41x75 + 263x76 + 513x77 + 635x78 + 210x79 + 908x80 + 750x81 + 69x82 + 297x83 + 228x84 + 19x85 + 977x86 + 712x87 + 126x88 + 33x89 + 189x90 + 564x91 + 342x92 + 117x93 + 299x94 + 921x95 + 345x96 + 311x97 + 392x98 + 65x99 + 776x100 + 58x101 + 800x102 + 731x103 + 532x104 + 574x105 + 396x106 + 92x107 + 573x108 + 15x109 + 783x110 + 39x111 + 547x112 + 237x113 + 979x114 + 196x115 + 249x116 + 48x117 + 487x118 + 978x119 + 94x120 + 426x121 + 421x122 + 460x123 + 506x124 + 51x125 + 598x126 + 126x127 + 672x128 + 811x129 + 925x130 + 341x131 + 401x132 + 218x133 + 268x134 + 847x135 + 659x136 + 327x137 + 706x138 + 744x139 + 339x140 + 179x141 + 55x142 + 168x143 + 585x144 + 187x145 + 990x146 + 70x147 + 660x148 + 201x149 + 360x150 + 302x151 + 114x152 + 112x153 + 608x154 + 778x155 + 825x156 + 58x157 + 634x158 + 562x159 + 594x160 + 610x161 + 107x162 + 860x163 + 347x164 + 489x165 + 632x166 + 394x167 + 290x168 + 393x169 + 78x170 + 750x171 + 633x172 + 499x173 + 957x174 + 166x175 + 293x176 + 930x177 + 684x178 + 144x179 + 573x180 + 92x181 + 284x182 + 709x183 + 939x184 + 293x185 + 28x186 + 181x187 + 564x188 + 754x189 + 624x190 + 288x191 + 991x192 + 894x193 + 881x194 + 606x195 + 608x196 + 919x197 + 978x198 + 267x199 + 330x200 + 982x201 + 1x202 + 989x203 + 911x204 + 337x205 + 953x206 + 273x207 + 320x208 + 505x209 + 367x210 + 465x211 + 91x212 + 739x213 + 515x214 + 198x215 + 928x216 + 951x217 + 307x218 + 998x219 + 442x220 + 315x221 + 583x222 + 29x223 + 974x224 + 398x225 + 838x226 + 460x227 + 862x228 + 259x229 + 428x230 + 570x231 + 59x232 + 852x233 + 1x234 + 469x235 + 156x236 + 755x237 + 841x238 + 8x239 + 82x240 + 272x241 + 382x242 + 209x243 + 703x244 + 324x245 + 501x246 + 442x247 + 282x248 + 624x249 + 715x250 <= 89840 
constr3: + 304x1 + 127x2 + 599x3 + 136x4 + 27x5 + 586x6 + 793x7 + 135x8 + 775x9 + 335x10 + 160x11 + 421x12 + 411x13 + 370x14 + 912x15 + 85x16 + 655x17 + 472x18 + 183x19 + 562x20 + 731x21 + 330x22 + 764x23 + 261x24 + 882x25 + 656x26 + 260x27 + 127x28 + 419x29 + 358x30 + 571x31 + 59x32 + 987x33 + 535x34 + 363x35 + 785x36 + 692x37 + 525x38 + 975x39 + 906x40 + 780x41 + 60x42 + 492x43 + 759x44 + 910x45 + 874x46 + 524x47 + 441x48 + 385x49 + 848x50 + 395x51 + 727x52 + 387x53 + 133x54 + 78x55 + 746x56 + 893x57 + 64x58 + 951x59 + 545x60 + 92x61 + 386x62 + 330x63 + 484x64 + 738x65 + 365x66 + 541x67 + 649x68 + 33x69 + 199x70 + 250x71 + 560x72 + 931x73 + 749x74 + 5x75 + 736x76 + 395x77 + 656x78 + 492x79 + 374x80 + 404x81 + 912x82 + 513x83 + 897x84 + 180x85 + 972x86 + 946x87 + 55x88 + 959x89 + 678x90 + 803x91 + 37x92 + 771x93 + 263x94 + 809x95 + 218x96 + 583x97 + 318x98 + 230x99 + 426x100 + 922x101 + 432x102 + 252x103 + 618x104 + 438x105 + 327x106 + 42x107 + 454x108 + 666x109 + 123x110 + 368x111 + 100x112 + 753x113 + 857x114 + 403x115 + 390x116 + 36x117 + 270x118 + 111x119 + 371x120 + 456x121 + 763x122 + 544x123 + 484x124 + 160x125 + 774x126 + 55x127 + 829x128 + 809x129 + 76x130 + 62x131 + 594x132 + 416x133 + 481x134 + 603x135 + 230x136 + 308x137 + 700x138 + 484x139 + 34x140 + 867x141 + 435x142 + 391x143 + 234x144 + 966x145 + 83x146 + 535x147 + 80x148 + 373x149 + 812x150 + 774x151 + 117x152 + 257x153 + 558x154 + 206x155 + 548x156 + 611x157 + 526x158 + 501x159 + 749x160 + 200x161 + 63x162 + 277x163 + 418x164 + 914x165 + 889x166 + 847x167 + 21x168 + 45x169 + 979x170 + 283x171 + 452x172 + 559x173 + 185x174 + 258x175 + 330x176 + 77x177 + 268x178 + 614x179 + 389x180 + 878x181 + 437x182 + 590x183 + 815x184 + 265x185 + 816x186 + 428x187 + 446x188 + 893x189 + 791x190 + 107x191 + 114x192 + 36x193 + 142x194 + 882x195 + 947x196 + 1000x197 + 329x198 + 986x199 + 479x200 + 186x201 + 253x202 + 695x203 + 628x204 + 181x205 + 788x206 + 352x207 + 338x208 + 149x209 + 999x210 + 255x211 + 526x212 + 191x213 + 113x214 + 137x215 + 687x216 + 344x217 + 496x218 + 619x219 + 178x220 + 349x221 + 898x222 + 449x223 + 460x224 + 630x225 + 921x226 + 261x227 + 779x228 + 834x229 + 832x230 + 938x231 + 28x232 + 993x233 + 354x234 + 351x235 + 874x236 + 284x237 + 485x238 + 747x239 + 380x240 + 974x241 + 905x242 + 843x243 + 716x244 + 64x245 + 705x246 + 213x247 + 359x248 + 926x249 + 534x250 <= 87512 
constr4: + 860x1 + 642x2 + 433x3 + 498x4 + 542x5 + 676x6 + 510x7 + 88x8 + 499x9 + 755x10 + 365x11 + 985x12 + 681x13 + 304x14 + 728x15 + 210x16 + 255x17 + 996x18 + 232x19 + 932x20 + 221x21 + 587x22 + 160x23 + 84x24 + 7x25 + 814x26 + 6x27 + 683x28 + 552x29 + 453x30 + 910x31 + 667x32 + 599x33 + 999x34 + 196x35 + 293x36 + 786x37 + 466x38 + 406x39 + 27x40 + 997x41 + 457x42 + 478x43 + 241x44 + 425x45 + 137x46 + 896x47 + 586x48 + 822x49 + 595x50 + 897x51 + 516x52 + 751x53 + 439x54 + 922x55 + 428x56 + 472x57 + 205x58 + 72x59 + 376x60 + 601x61 + 548x62 + 84x63 + 119x64 + 535x65 + 895x66 + 529x67 + 465x68 + 191x69 + 699x70 + 857x71 + 822x72 + 722x73 + 545x74 + 390x75 + 384x76 + 80x77 + 276x78 + 402x79 + 624x80 + 550x81 + 82x82 + 519x83 + 922x84 + 725x85 + 635x86 + 652x87 + 832x88 + 616x89 + 907x90 + 637x91 + 200x92 + 556x93 + 375x94 + 767x95 + 805x96 + 629x97 + 314x98 + 654x99 + 103x100 + 341x101 + 438x102 + 728x103 + 218x104 + 187x105 + 730x106 + 830x107 + 607x108 + 766x109 + 111x110 + 134x111 + 613x112 + 847x113 + 632x114 + 602x115 + 485x116 + 912x117 + 540x118 + 838x119 + 633x120 + 551x121 + 438x122 + 628x123 + 907x124 + 177x125 + 16x126 + 553x127 + 918x128 + 736x129 + 394x130 + 660x131 + 21x132 + 491x133 + 516x134 + 827x135 + 141x136 + 31x137 + 341x138 + 620x139 + 60x140 + 346x141 + 106x142 + 692x143 + 183x144 + 946x145 + 646x146 + 585x147 + 270x148 + 591x149 + 757x150 + 448x151 + 814x152 + 910x153 + 7x154 + 607x155 + 586x156 + 433x157 + 317x158 + 121x159 + 832x160 + 232x161 + 29x162 + 571x163 + 69x164 + 409x165 + 605x166 + 586x167 + 633x168 + 487x169 + 466x170 + 593x171 + 697x172 + 428x173 + 567x174 + 67x175 + 152x176 + 974x177 + 212x178 + 846x179 + 139x180 + 483x181 + 28x182 + 306x183 + 935x184 + 757x185 + 813x186 + 837x187 + 283x188 + 36x189 + 734x190 + 935x191 + 733x192 + 694x193 + 267x194 + 348x195 + 590x196 + 72x197 + 985x198 + 917x199 + 78x200 + 610x201 + 880x202 + 677x203 + 965x204 + 829x205 + 332x206 + 197x207 + 911x208 + 116x209 + 106x210 + 623x211 + 686x212 + 587x213 + 866x214 + 484x215 + 276x216 + 210x217 + 442x218 + 213x219 + 80x220 + 673x221 + 797x222 + 242x223 + 524x224 + 450x225 + 846x226 + 813x227 + 424x228 + 199x229 + 935x230 + 52x231 + 810x232 + 121x233 + 280x234 + 968x235 + 41x236 + 108x237 + 81x238 + 105x239 + 268x240 + 147x241 + 791x242 + 398x243 + 533x244 + 576x245 + 391x246 + 70x247 + 926x248 + 752x249 + 699x250 <= 95798 
constr5: + 852x1 + 664x2 + 528x3 + 540x4 + 521x5 + 887x6 + 839x7 + 107x8 + 124x9 + 141x10 + 10x11 + 77x12 + 889x13 + 611x14 + 342x15 + 667x16 + 679x17 + 818x18 + 175x19 + 15x20 + 430x21 + 881x22 + 91x23 + 356x24 + 938x25 + 218x26 + 577x27 + 65x28 + 369x29 + 843x30 + 536x31 + 427x32 + 460x33 + 557x34 + 975x35 + 421x36 + 704x37 + 736x38 + 257x39 + 289x40 + 242x41 + 217x42 + 566x43 + 197x44 + 253x45 + 89x46 + 568x47 + 661x48 + 980x49 + 885x50 + 106x51 + 218x52 + 990x53 + 509x54 + 329x55 + 622x56 + 708x57 + 622x58 + 959x59 + 573x60 + 61x61 + 615x62 + 356x63 + 275x64 + 36x65 + 957x66 + 797x67 + 216x68 + 927x69 + 789x70 + 512x71 + 836x72 + 127x73 + 525x74 + 981x75 + 251x76 + 31x77 + 601x78 + 917x79 + 480x80 + 277x81 + 831x82 + 7x83 + 26x84 + 210x85 + 298x86 + 687x87 + 632x88 + 938x89 + 143x90 + 766x91 + 540x92 + 634x93 + 266x94 + 424x95 + 385x96 + 638x97 + 222x98 + 560x99 + 420x100 + 334x101 + 328x102 + 220x103 + 676x104 + 276x105 + 720x106 + 105x107 + 977x108 + 406x109 + 549x110 + 493x111 + 975x112 + 548x113 + 790x114 + 119x115 + 80x116 + 425x117 + 112x118 + 31x119 + 267x120 + 195x121 + 132x122 + 205x123 + 927x124 + 385x125 + 164x126 + 707x127 + 477x128 + 695x129 + 730x130 + 482x131 + 657x132 + 452x133 + 263x134 + 30x135 + 176x136 + 486x137 + 548x138 + 969x139 + 863x140 + 19x141 + 963x142 + 129x143 + 271x144 + 839x145 + 683x146 + 97x147 + 451x148 + 892x149 + 447x150 + 256x151 + 382x152 + 46x153 + 188x154 + 596x155 + 357x156 + 298x157 + 845x158 + 437x159 + 16x160 + 874x161 + 639x162 + 890x163 + 608x164 + 338x165 + 443x166 + 316x167 + 448x168 + 936x169 + 536x170 + 485x171 + 596x172 + 966x173 + 116x174 + 223x175 + 402x176 + 271x177 + 911x178 + 709x179 + 268x180 + 627x181 + 967x182 + 754x183 + 113x184 + 899x185 + 233x186 + 907x187 + 975x188 + 813x189 + 476x190 + 342x191 + 441x192 + 981x193 + 662x194 + 224x195 + 617x196 + 895x197 + 884x198 + 720x199 + 812x200 + 32x201 + 763x202 + 677x203 + 616x204 + 262x205 + 608x206 + 369x207 + 680x208 + 803x209 + 728x210 + 603x211 + 482x212 + 798x213 + 271x214 + 413x215 + 733x216 + 540x217 + 505x218 + 987x219 + 356x220 + 57x221 + 395x222 + 415x223 + 633x224 + 593x225 + 63x226 + 876x227 + 314x228 + 789x229 + 234x230 + 913x231 + 566x232 + 558x233 + 559x234 + 682x235 + 564x236 + 148x237 + 512x238 + 190x239 + 624x240 + 164x241 + 639x242 + 843x243 + 477x244 + 260x245 + 361x246 + 154x247 + 793x248 + 983x249 + 726x250 <= 92823 
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