minimize 
objective: s
subject to 
s1: s + 0.501000f1 + 0.001000f2 >= 96096.354000 
s2: s + 0.001000f1 + 0.501000f2 >= 96096.354000 
f1: -f1 + 885x1 + 797x2 + 975x3 + 504x4 + 705x5 + 894x6 + 705x7 + 796x8 + 562x9 + 773x10 + 594x11 + 867x12 + 552x13 + 979x14 + 499x15 + 893x16 + 582x17 + 847x18 + 465x19 + 873x20 + 739x21 + 571x22 + 1056x23 + 614x24 + 822x25 + 686x26 + 855x27 + 675x28 + 792x29 + 480x30 + 895x31 + 1017x32 + 1000x33 + 1100x34 + 702x35 + 615x36 + 908x37 + 839x38 + 491x39 + 550x40 + 716x41 + 1030x42 + 432x43 + 893x44 + 421x45 + 816x46 + 987x47 + 760x48 + 688x49 + 527x50 + 912x51 + 725x52 + 802x53 + 314x54 + 1007x55 + 526x56 + 717x57 + 1212x58 + 976x59 + 312x60 + 1040x61 + 1051x62 + 640x63 + 729x64 + 726x65 + 1049x66 + 721x67 + 958x68 + 892x69 + 967x70 + 523x71 + 962x72 + 740x73 + 822x74 + 1025x75 + 630x76 + 695x77 + 768x78 + 770x79 + 747x80 + 775x81 + 831x82 + 664x83 + 975x84 + 883x85 + 985x86 + 818x87 + 738x88 + 787x89 + 718x90 + 977x91 + 490x92 + 646x93 + 944x94 + 925x95 + 546x96 + 874x97 + 601x98 + 784x99 + 873x100 + 529x101 + 991x102 + 701x103 + 530x104 + 627x105 + 704x106 + 963x107 + 1199x108 + 987x109 + 569x110 + 876x111 + 332x112 + 824x113 + 711x114 + 723x115 + 380x116 + 405x117 + 578x118 + 821x119 + 910x120 + 812x121 + 684x122 + 586x123 + 763x124 + 902x125 + 460x126 + 749x127 + 405x128 + 979x129 + 645x130 + 920x131 + 1102x132 + 947x133 + 610x134 + 892x135 + 475x136 + 763x137 + 1194x138 + 406x139 + 391x140 + 488x141 + 730x142 + 769x143 + 1029x144 + 864x145 + 668x146 + 428x147 + 941x148 + 1077x149 + 691x150 + 704x151 + 1092x152 + 687x153 + 601x154 + 643x155 + 634x156 + 600x157 + 692x158 + 986x159 + 831x160 + 943x161 + 797x162 + 671x163 + 1287x164 + 834x165 + 986x166 + 809x167 + 305x168 + 573x169 + 665x170 + 864x171 + 939x172 + 1008x173 + 859x174 + 642x175 + 468x176 + 571x177 + 529x178 + 1025x179 + 1240x180 + 721x181 + 1308x182 + 796x183 + 910x184 + 498x185 + 1067x186 + 1140x187 + 864x188 + 864x189 + 748x190 + 745x191 + 593x192 + 897x193 + 356x194 + 317x195 + 490x196 + 901x197 + 551x198 + 595x199 + 696x200 + 973x201 + 1040x202 + 592x203 + 897x204 + 882x205 + 790x206 + 901x207 + 751x208 + 968x209 + 779x210 + 912x211 + 941x212 + 683x213 + 995x214 + 498x215 + 857x216 + 822x217 + 893x218 + 490x219 + 782x220 + 700x221 + 432x222 + 804x223 + 544x224 + 1167x225 + 867x226 + 540x227 + 500x228 + 807x229 + 882x230 + 940x231 + 700x232 + 613x233 + 670x234 + 846x235 + 845x236 + 808x237 + 602x238 + 773x239 + 772x240 + 507x241 + 1073x242 + 1134x243 + 448x244 + 838x245 + 919x246 + 686x247 + 770x248 + 708x249 + 598x250  = 0 
f2: -f2 + 769x1 + 802x2 + 465x3 + 804x4 + 523x5 + 760x6 + 544x7 + 530x8 + 664x9 + 711x10 + 773x11 + 792x12 + 893x13 + 643x14 + 421x15 + 499x16 + 432x17 + 838x18 + 824x19 + 490x20 + 908x21 + 986x22 + 818x23 + 1212x24 + 867x25 + 721x26 + 686x27 + 717x28 + 1051x29 + 1073x30 + 962x31 + 963x32 + 498x33 + 944x34 + 317x35 + 770x36 + 529x37 + 940x38 + 809x39 + 391x40 + 1017x41 + 490x42 + 739x43 + 883x44 + 738x45 + 1308x46 + 646x47 + 686x48 + 448x49 + 428x50 + 640x51 + 507x52 + 807x53 + 600x54 + 901x55 + 610x56 + 1000x57 + 991x58 + 1240x59 + 683x60 + 1100x61 + 405x62 + 614x63 + 671x64 + 529x65 + 630x66 + 668x67 + 910x68 + 775x69 + 751x70 + 1030x71 + 973x72 + 601x73 + 675x74 + 504x75 + 721x76 + 893x77 + 527x78 + 894x79 + 784x80 + 740x81 + 822x82 + 943x83 + 573x84 + 602x85 + 705x86 + 787x87 + 627x88 + 822x89 + 822x90 + 687x91 + 864x92 + 782x93 + 696x94 + 726x95 + 571x96 + 985x97 + 665x98 + 1167x99 + 645x100 + 772x101 + 601x102 + 592x103 + 967x104 + 864x105 + 356x106 + 691x107 + 550x108 + 902x109 + 920x110 + 986x111 + 796x112 + 468x113 + 500x114 + 939x115 + 1102x116 + 498x117 + 708x118 + 847x119 + 540x120 + 855x121 + 586x122 + 729x123 + 490x124 + 688x125 + 808x126 + 968x127 + 562x128 + 571x129 + 839x130 + 919x131 + 314x132 + 797x133 + 593x134 + 897x135 + 892x136 + 790x137 + 312x138 + 702x139 + 1049x140 + 975x141 + 763x142 + 305x143 + 897x144 + 406x145 + 460x146 + 1040x147 + 976x148 + 552x149 + 718x150 + 864x151 + 745x152 + 901x153 + 925x154 + 705x155 + 975x156 + 1067x157 + 730x158 + 704x159 + 594x160 + 615x161 + 432x162 + 910x163 + 941x164 + 723x165 + 912x166 + 332x167 + 595x168 + 941x169 + 488x170 + 546x171 + 1025x172 + 846x173 + 857x174 + 1077x175 + 876x176 + 747x177 + 716x178 + 725x179 + 977x180 + 598x181 + 1029x182 + 405x183 + 882x184 + 768x185 + 812x186 + 1287x187 + 773x188 + 634x189 + 947x190 + 882x191 + 885x192 + 779x193 + 912x194 + 582x195 + 551x196 + 701x197 + 475x198 + 867x199 + 480x200 + 893x201 + 821x202 + 845x203 + 796x204 + 979x205 + 874x206 + 770x207 + 749x208 + 859x209 + 958x210 + 1140x211 + 1056x212 + 613x213 + 831x214 + 684x215 + 569x216 + 831x217 + 834x218 + 578x219 + 979x220 + 692x221 + 864x222 + 873x223 + 1199x224 + 1194x225 + 700x226 + 987x227 + 380x228 + 873x229 + 491x230 + 526x231 + 995x232 + 895x233 + 642x234 + 695x235 + 1092x236 + 763x237 + 670x238 + 987x239 + 892x240 + 700x241 + 1007x242 + 748x243 + 797x244 + 1008x245 + 1134x246 + 1025x247 + 1040x248 + 816x249 + 704x250  = 0 
constr1: + 87x1 + 280x2 + 331x3 + 404x4 + 42x5 + 358x6 + 465x7 + 843x8 + 7x9 + 545x10 + 672x11 + 82x12 + 784x13 + 400x14 + 126x15 + 212x16 + 88x17 + 658x18 + 390x19 + 411x20 + 501x21 + 949x22 + 703x23 + 277x24 + 682x25 + 955x26 + 789x27 + 85x28 + 74x29 + 112x30 + 978x31 + 135x32 + 901x33 + 603x34 + 554x35 + 377x36 + 930x37 + 187x38 + 777x39 + 58x40 + 697x41 + 301x42 + 534x43 + 405x44 + 670x45 + 159x46 + 605x47 + 82x48 + 316x49 + 335x50 + 990x51 + 226x52 + 656x53 + 945x54 + 792x55 + 607x56 + 281x57 + 931x58 + 651x59 + 533x60 + 753x61 + 617x62 + 544x63 + 794x64 + 254x65 + 280x66 + 610x67 + 631x68 + 958x69 + 531x70 + 298x71 + 53x72 + 828x73 + 463x74 + 115x75 + 247x76 + 636x77 + 520x78 + 570x79 + 402x80 + 128x81 + 593x82 + 44x83 + 773x84 + 506x85 + 668x86 + 429x87 + 832x88 + 558x89 + 6x90 + 501x91 + 814x92 + 749x93 + 311x94 + 154x95 + 180x96 + 59x97 + 981x98 + 939x99 + 621x100 + 963x101 + 551x102 + 42x103 + 131x104 + 736x105 + 977x106 + 192x107 + 135x108 + 156x109 + 435x110 + 277x111 + 603x112 + 700x113 + 919x114 + 471x115 + 228x116 + 194x117 + 903x118 + 919x119 + 17x120 + 961x121 + 323x122 + 746x123 + 98x124 + 918x125 + 620x126 + 501x127 + 866x128 + 683x129 + 11x130 + 710x131 + 12x132 + 628x133 + 959x134 + 139x135 + 421x136 + 215x137 + 881x138 + 571x139 + 341x140 + 236x141 + 871x142 + 399x143 + 173x144 + 56x145 + 971x146 + 759x147 + 280x148 + 169x149 + 754x150 + 980x151 + 658x152 + 161x153 + 892x154 + 58x155 + 761x156 + 419x157 + 55x158 + 698x159 + 790x160 + 880x161 + 378x162 + 657x163 + 979x164 + 399x165 + 715x166 + 363x167 + 946x168 + 47x169 + 456x170 + 22x171 + 578x172 + 492x173 + 118x174 + 182x175 + 265x176 + 211x177 + 36x178 + 588x179 + 288x180 + 182x181 + 109x182 + 214x183 + 770x184 + 215x185 + 424x186 + 605x187 + 386x188 + 557x189 + 680x190 + 434x191 + 16x192 + 928x193 + 955x194 + 478x195 + 138x196 + 333x197 + 99x198 + 372x199 + 555x200 + 400x201 + 846x202 + 648x203 + 605x204 + 310x205 + 479x206 + 828x207 + 86x208 + 174x209 + 873x210 + 439x211 + 660x212 + 827x213 + 104x214 + 564x215 + 265x216 + 938x217 + 798x218 + 588x219 + 70x220 + 100x221 + 39x222 + 580x223 + 431x224 + 492x225 + 84x226 + 132x227 + 82x228 + 326x229 + 943x230 + 237x231 + 687x232 + 900x233 + 131x234 + 977x235 + 87x236 + 680x237 + 810x238 + 576x239 + 205x240 + 800x241 + 876x242 + 518x243 + 709x244 + 765x245 + 963x246 + 695x247 + 416x248 + 299x249 + 528x250 <= 64099 
constr2: + 487x1 + 452x2 + 13x3 + 171x4 + 543x5 + 118x6 + 962x7 + 858x8 + 583x9 + 368x10 + 730x11 + 280x12 + 723x13 + 992x14 + 358x15 + 428x16 + 244x17 + 780x18 + 371x19 + 850x20 + 790x21 + 741x22 + 421x23 + 782x24 + 771x25 + 522x26 + 389x27 + 978x28 + 53x29 + 398x30 + 852x31 + 552x32 + 788x33 + 489x34 + 766x35 + 487x36 + 892x37 + 872x38 + 45x39 + 255x40 + 956x41 + 644x42 + 819x43 + 283x44 + 422x45 + 772x46 + 478x47 + 721x48 + 571x49 + 906x50 + 321x51 + 307x52 + 746x53 + 926x54 + 223x55 + 571x56 + 13x57 + 734x58 + 727x59 + 545x60 + 115x61 + 16x62 + 686x63 + 917x64 + 619x65 + 910x66 + 864x67 + 412x68 + 597x69 + 815x70 + 693x71 + 570x72 + 313x73 + 453x74 + 435x75 + 636x76 + 517x77 + 251x78 + 496x79 + 931x80 + 751x81 + 762x82 + 53x83 + 456x84 + 623x85 + 225x86 + 906x87 + 931x88 + 155x89 + 641x90 + 476x91 + 778x92 + 176x93 + 250x94 + 943x95 + 498x96 + 403x97 + 552x98 + 827x99 + 248x100 + 156x101 + 147x102 + 473x103 + 381x104 + 677x105 + 145x106 + 803x107 + 219x108 + 854x109 + 885x110 + 437x111 + 810x112 + 450x113 + 861x114 + 998x115 + 25x116 + 733x117 + 388x118 + 757x119 + 902x120 + 916x121 + 725x122 + 156x123 + 132x124 + 284x125 + 955x126 + 982x127 + 505x128 + 886x129 + 600x130 + 768x131 + 987x132 + 927x133 + 636x134 + 161x135 + 798x136 + 858x137 + 490x138 + 738x139 + 831x140 + 219x141 + 162x142 + 764x143 + 717x144 + 186x145 + 57x146 + 717x147 + 269x148 + 788x149 + 665x150 + 808x151 + 899x152 + 962x153 + 41x154 + 112x155 + 825x156 + 422x157 + 482x158 + 907x159 + 911x160 + 58x161 + 887x162 + 927x163 + 310x164 + 975x165 + 779x166 + 742x167 + 237x168 + 215x169 + 367x170 + 881x171 + 265x172 + 26x173 + 298x174 + 222x175 + 85x176 + 728x177 + 624x178 + 129x179 + 61x180 + 436x181 + 335x182 + 532x183 + 411x184 + 580x185 + 293x186 + 815x187 + 918x188 + 744x189 + 913x190 + 799x191 + 839x192 + 464x193 + 588x194 + 135x195 + 353x196 + 765x197 + 334x198 + 943x199 + 492x200 + 659x201 + 72x202 + 767x203 + 232x204 + 396x205 + 542x206 + 994x207 + 650x208 + 629x209 + 481x210 + 979x211 + 33x212 + 957x213 + 406x214 + 145x215 + 462x216 + 73x217 + 833x218 + 330x219 + 6x220 + 33x221 + 128x222 + 713x223 + 175x224 + 201x225 + 831x226 + 816x227 + 940x228 + 695x229 + 95x230 + 237x231 + 121x232 + 120x233 + 246x234 + 756x235 + 366x236 + 849x237 + 869x238 + 473x239 + 988x240 + 759x241 + 660x242 + 138x243 + 737x244 + 334x245 + 151x246 + 838x247 + 683x248 + 995x249 + 893x250 <= 63819 
constr3: + 342x1 + 142x2 + 334x3 + 574x4 + 582x5 + 242x6 + 875x7 + 459x8 + 571x9 + 672x10 + 26x11 + 961x12 + 938x13 + 404x14 + 464x15 + 870x16 + 785x17 + 203x18 + 964x19 + 159x20 + 236x21 + 468x22 + 191x23 + 651x24 + 653x25 + 201x26 + 318x27 + 989x28 + 952x29 + 875x30 + 617x31 + 380x32 + 631x33 + 39x34 + 306x35 + 170x36 + 451x37 + 651x38 + 845x39 + 343x40 + 165x41 + 63x42 + 906x43 + 757x44 + 560x45 + 804x46 + 988x47 + 840x48 + 944x49 + 238x50 + 783x51 + 859x52 + 208x53 + 81x54 + 628x55 + 404x56 + 676x57 + 325x58 + 188x59 + 355x60 + 795x61 + 938x62 + 326x63 + 686x64 + 387x65 + 802x66 + 778x67 + 189x68 + 26x69 + 34x70 + 730x71 + 716x72 + 537x73 + 382x74 + 164x75 + 116x76 + 943x77 + 848x78 + 353x79 + 360x80 + 895x81 + 439x82 + 770x83 + 353x84 + 633x85 + 447x86 + 184x87 + 698x88 + 626x89 + 173x90 + 960x91 + 362x92 + 379x93 + 912x94 + 657x95 + 907x96 + 346x97 + 311x98 + 239x99 + 301x100 + 332x101 + 982x102 + 227x103 + 361x104 + 718x105 + 542x106 + 577x107 + 695x108 + 310x109 + 911x110 + 679x111 + 720x112 + 237x113 + 326x114 + 798x115 + 322x116 + 745x117 + 303x118 + 515x119 + 365x120 + 84x121 + 914x122 + 948x123 + 288x124 + 447x125 + 238x126 + 306x127 + 835x128 + 813x129 + 423x130 + 176x131 + 499x132 + 575x133 + 143x134 + 720x135 + 1000x136 + 4x137 + 430x138 + 456x139 + 935x140 + 69x141 + 729x142 + 79x143 + 910x144 + 906x145 + 92x146 + 43x147 + 532x148 + 655x149 + 744x150 + 735x151 + 477x152 + 827x153 + 388x154 + 997x155 + 270x156 + 231x157 + 179x158 + 264x159 + 590x160 + 514x161 + 201x162 + 454x163 + 791x164 + 541x165 + 526x166 + 48x167 + 983x168 + 955x169 + 607x170 + 954x171 + 594x172 + 436x173 + 863x174 + 585x175 + 20x176 + 798x177 + 441x178 + 753x179 + 768x180 + 890x181 + 459x182 + 410x183 + 202x184 + 432x185 + 178x186 + 798x187 + 156x188 + 539x189 + 360x190 + 371x191 + 299x192 + 283x193 + 686x194 + 241x195 + 201x196 + 197x197 + 498x198 + 972x199 + 831x200 + 395x201 + 680x202 + 527x203 + 681x204 + 579x205 + 1000x206 + 917x207 + 608x208 + 305x209 + 748x210 + 783x211 + 829x212 + 93x213 + 495x214 + 261x215 + 412x216 + 202x217 + 844x218 + 341x219 + 882x220 + 60x221 + 996x222 + 229x223 + 188x224 + 375x225 + 661x226 + 777x227 + 609x228 + 856x229 + 556x230 + 475x231 + 537x232 + 876x233 + 697x234 + 471x235 + 524x236 + 243x237 + 653x238 + 786x239 + 635x240 + 852x241 + 437x242 + 758x243 + 69x244 + 13x245 + 492x246 + 999x247 + 146x248 + 473x249 + 691x250 <= 62220 
constr4: + 46x1 + 260x2 + 617x3 + 126x4 + 409x5 + 840x6 + 944x7 + 302x8 + 839x9 + 44x10 + 99x11 + 660x12 + 652x13 + 134x14 + 268x15 + 530x16 + 663x17 + 716x18 + 379x19 + 757x20 + 880x21 + 771x22 + 32x23 + 962x24 + 377x25 + 580x26 + 806x27 + 55x28 + 822x29 + 505x30 + 234x31 + 762x32 + 885x33 + 451x34 + 695x35 + 523x36 + 509x37 + 361x38 + 338x39 + 808x40 + 895x41 + 352x42 + 460x43 + 381x44 + 285x45 + 534x46 + 212x47 + 536x48 + 884x49 + 790x50 + 48x51 + 862x52 + 355x53 + 49x54 + 432x55 + 384x56 + 442x57 + 89x58 + 650x59 + 260x60 + 146x61 + 701x62 + 563x63 + 820x64 + 271x65 + 180x66 + 779x67 + 639x68 + 726x69 + 523x70 + 502x71 + 57x72 + 495x73 + 508x74 + 418x75 + 155x76 + 674x77 + 69x78 + 564x79 + 587x80 + 849x81 + 860x82 + 977x83 + 275x84 + 73x85 + 620x86 + 406x87 + 617x88 + 561x89 + 154x90 + 247x91 + 506x92 + 654x93 + 348x94 + 384x95 + 494x96 + 437x97 + 999x98 + 166x99 + 657x100 + 903x101 + 397x102 + 891x103 + 792x104 + 770x105 + 832x106 + 348x107 + 7x108 + 75x109 + 178x110 + 148x111 + 546x112 + 854x113 + 361x114 + 661x115 + 42x116 + 210x117 + 404x118 + 417x119 + 844x120 + 469x121 + 823x122 + 253x123 + 137x124 + 787x125 + 190x126 + 145x127 + 704x128 + 974x129 + 683x130 + 784x131 + 260x132 + 621x133 + 56x134 + 443x135 + 709x136 + 133x137 + 404x138 + 28x139 + 599x140 + 953x141 + 678x142 + 499x143 + 389x144 + 17x145 + 875x146 + 995x147 + 13x148 + 221x149 + 464x150 + 947x151 + 201x152 + 798x153 + 367x154 + 796x155 + 993x156 + 801x157 + 42x158 + 78x159 + 18x160 + 67x161 + 929x162 + 265x163 + 157x164 + 907x165 + 948x166 + 948x167 + 616x168 + 666x169 + 151x170 + 96x171 + 485x172 + 980x173 + 153x174 + 779x175 + 741x176 + 589x177 + 747x178 + 45x179 + 995x180 + 770x181 + 97x182 + 794x183 + 168x184 + 541x185 + 747x186 + 868x187 + 946x188 + 86x189 + 793x190 + 663x191 + 581x192 + 491x193 + 889x194 + 641x195 + 789x196 + 526x197 + 56x198 + 448x199 + 433x200 + 505x201 + 530x202 + 202x203 + 320x204 + 107x205 + 26x206 + 627x207 + 336x208 + 639x209 + 705x210 + 809x211 + 596x212 + 730x213 + 743x214 + 776x215 + 642x216 + 281x217 + 75x218 + 165x219 + 365x220 + 316x221 + 403x222 + 467x223 + 487x224 + 382x225 + 938x226 + 576x227 + 397x228 + 760x229 + 205x230 + 301x231 + 729x232 + 913x233 + 149x234 + 320x235 + 720x236 + 494x237 + 794x238 + 235x239 + 96x240 + 601x241 + 700x242 + 920x243 + 384x244 + 948x245 + 377x246 + 259x247 + 861x248 + 427x249 + 222x250 <= 64590 
constr5: + 767x1 + 168x2 + 418x3 + 686x4 + 700x5 + 915x6 + 294x7 + 816x8 + 301x9 + 387x10 + 840x11 + 11x12 + 679x13 + 950x14 + 636x15 + 789x16 + 601x17 + 533x18 + 402x19 + 954x20 + 615x21 + 655x22 + 224x23 + 331x24 + 396x25 + 998x26 + 744x27 + 224x28 + 314x29 + 62x30 + 368x31 + 108x32 + 401x33 + 682x34 + 68x35 + 971x36 + 34x37 + 293x38 + 12x39 + 164x40 + 817x41 + 137x42 + 966x43 + 215x44 + 820x45 + 738x46 + 394x47 + 446x48 + 199x49 + 544x50 + 295x51 + 155x52 + 132x53 + 599x54 + 681x55 + 526x56 + 228x57 + 519x58 + 512x59 + 619x60 + 374x61 + 339x62 + 527x63 + 166x64 + 922x65 + 811x66 + 890x67 + 502x68 + 797x69 + 409x70 + 662x71 + 619x72 + 986x73 + 844x74 + 965x75 + 328x76 + 286x77 + 358x78 + 712x79 + 999x80 + 832x81 + 223x82 + 956x83 + 335x84 + 155x85 + 678x86 + 537x87 + 623x88 + 428x89 + 387x90 + 158x91 + 472x92 + 50x93 + 326x94 + 692x95 + 28x96 + 434x97 + 85x98 + 564x99 + 897x100 + 853x101 + 1000x102 + 338x103 + 516x104 + 160x105 + 214x106 + 839x107 + 246x108 + 250x109 + 244x110 + 449x111 + 280x112 + 908x113 + 25x114 + 354x115 + 639x116 + 355x117 + 595x118 + 288x119 + 62x120 + 269x121 + 776x122 + 354x123 + 126x124 + 86x125 + 501x126 + 38x127 + 247x128 + 416x129 + 814x130 + 579x131 + 436x132 + 220x133 + 434x134 + 170x135 + 632x136 + 763x137 + 429x138 + 4x139 + 458x140 + 419x141 + 227x142 + 26x143 + 866x144 + 907x145 + 120x146 + 335x147 + 642x148 + 629x149 + 456x150 + 463x151 + 492x152 + 631x153 + 951x154 + 492x155 + 214x156 + 841x157 + 49x158 + 933x159 + 886x160 + 884x161 + 96x162 + 373x163 + 917x164 + 136x165 + 552x166 + 781x167 + 254x168 + 594x169 + 66x170 + 522x171 + 44x172 + 647x173 + 74x174 + 829x175 + 309x176 + 916x177 + 298x178 + 629x179 + 209x180 + 25x181 + 996x182 + 12x183 + 536x184 + 930x185 + 960x186 + 772x187 + 263x188 + 436x189 + 786x190 + 545x191 + 985x192 + 696x193 + 577x194 + 732x195 + 807x196 + 761x197 + 56x198 + 291x199 + 110x200 + 454x201 + 645x202 + 34x203 + 443x204 + 15x205 + 187x206 + 40x207 + 367x208 + 24x209 + 64x210 + 842x211 + 99x212 + 583x213 + 654x214 + 761x215 + 563x216 + 885x217 + 867x218 + 579x219 + 626x220 + 375x221 + 464x222 + 74x223 + 793x224 + 242x225 + 690x226 + 87x227 + 391x228 + 713x229 + 819x230 + 853x231 + 441x232 + 750x233 + 6x234 + 597x235 + 687x236 + 291x237 + 900x238 + 341x239 + 547x240 + 230x241 + 243x242 + 232x243 + 664x244 + 262x245 + 272x246 + 421x247 + 148x248 + 825x249 + 288x250 <= 62855 
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