minimize 
objective: s
subject to 
s1: s + 0.501000f1 + 0.001000f2 >= 94155.120000 
s2: s + 0.001000f1 + 0.501000f2 >= 94155.120000 
f1: -f1 + 747x1 + 780x2 + 712x3 + 656x4 + 1074x5 + 623x6 + 1079x7 + 514x8 + 831x9 + 529x10 + 895x11 + 936x12 + 968x13 + 702x14 + 481x15 + 998x16 + 592x17 + 876x18 + 921x19 + 872x20 + 1068x21 + 419x22 + 1066x23 + 730x24 + 765x25 + 1127x26 + 427x27 + 891x28 + 970x29 + 752x30 + 887x31 + 946x32 + 673x33 + 711x34 + 959x35 + 675x36 + 683x37 + 787x38 + 919x39 + 708x40 + 659x41 + 602x42 + 714x43 + 1068x44 + 505x45 + 504x46 + 651x47 + 822x48 + 919x49 + 666x50 + 972x51 + 522x52 + 496x53 + 1004x54 + 646x55 + 1267x56 + 512x57 + 1030x58 + 564x59 + 829x60 + 902x61 + 618x62 + 715x63 + 527x64 + 502x65 + 1018x66 + 1035x67 + 773x68 + 601x69 + 1082x70 + 973x71 + 440x72 + 778x73 + 810x74 + 791x75 + 659x76 + 710x77 + 615x78 + 593x79 + 497x80 + 526x81 + 704x82 + 648x83 + 987x84 + 902x85 + 967x86 + 553x87 + 704x88 + 951x89 + 775x90 + 715x91 + 363x92 + 431x93 + 1028x94 + 823x95 + 750x96 + 492x97 + 535x98 + 788x99 + 1117x100 + 847x101 + 991x102 + 902x103 + 593x104 + 578x105 + 764x106 + 957x107 + 551x108 + 494x109 + 712x110 + 842x111 + 748x112 + 684x113 + 942x114 + 672x115 + 531x116 + 842x117 + 885x118 + 777x119 + 652x120 + 704x121 + 576x122 + 808x123 + 708x124 + 621x125 + 1032x126 + 703x127 + 876x128 + 896x129 + 784x130 + 936x131 + 539x132 + 618x133 + 540x134 + 624x135 + 828x136 + 700x137 + 577x138 + 651x139 + 414x140 + 820x141 + 832x142 + 456x143 + 837x144 + 340x145 + 622x146 + 620x147 + 1089x148 + 800x149 + 310x150 + 507x151 + 803x152 + 835x153 + 695x154 + 485x155 + 745x156 + 656x157 + 705x158 + 830x159 + 429x160 + 808x161 + 959x162 + 1014x163 + 746x164 + 698x165 + 836x166 + 1042x167 + 661x168 + 680x169 + 1086x170 + 1006x171 + 802x172 + 796x173 + 860x174 + 518x175 + 598x176 + 806x177 + 821x178 + 953x179 + 410x180 + 635x181 + 831x182 + 949x183 + 948x184 + 502x185 + 1033x186 + 950x187 + 634x188 + 585x189 + 889x190 + 980x191 + 709x192 + 799x193 + 1116x194 + 1151x195 + 592x196 + 955x197 + 1161x198 + 604x199 + 620x200 + 580x201 + 860x202 + 780x203 + 916x204 + 560x205 + 1154x206 + 779x207 + 1163x208 + 518x209 + 605x210 + 866x211 + 423x212 + 827x213 + 697x214 + 390x215 + 545x216 + 963x217 + 763x218 + 600x219 + 908x220 + 543x221 + 572x222 + 954x223 + 774x224 + 1083x225 + 191x226 + 802x227 + 501x228 + 804x229 + 609x230 + 837x231 + 811x232 + 434x233 + 816x234 + 713x235 + 629x236 + 486x237 + 977x238 + 416x239 + 744x240 + 910x241 + 603x242 + 700x243 + 657x244 + 802x245 + 973x246 + 507x247 + 773x248 + 496x249 + 989x250  = 0 
f2: -f2 + 842x1 + 895x2 + 764x3 + 1042x4 + 1161x5 + 416x6 + 615x7 + 609x8 + 572x9 + 485x10 + 973x11 + 700x12 + 624x13 + 936x14 + 949x15 + 553x16 + 1154x17 + 835x18 + 921x19 + 959x20 + 545x21 + 796x22 + 657x23 + 673x24 + 514x25 + 829x26 + 593x27 + 648x28 + 821x29 + 629x30 + 970x31 + 527x32 + 808x33 + 1151x34 + 340x35 + 891x36 + 804x37 + 987x38 + 600x39 + 837x40 + 1082x41 + 714x42 + 799x43 + 505x44 + 703x45 + 887x46 + 972x47 + 902x48 + 788x49 + 830x50 + 989x51 + 634x52 + 823x53 + 620x54 + 497x55 + 1035x56 + 1032x57 + 1117x58 + 1028x59 + 730x60 + 529x61 + 828x62 + 775x63 + 837x64 + 512x65 + 778x66 + 866x67 + 885x68 + 535x69 + 951x70 + 820x71 + 747x72 + 810x73 + 816x74 + 836x75 + 860x76 + 702x77 + 592x78 + 808x79 + 1066x80 + 902x81 + 715x82 + 791x83 + 680x84 + 860x85 + 802x86 + 695x87 + 712x88 + 659x89 + 414x90 + 494x91 + 936x92 + 1018x93 + 310x94 + 967x95 + 802x96 + 603x97 + 876x98 + 481x99 + 950x100 + 780x101 + 580x102 + 973x103 + 486x104 + 564x105 + 916x106 + 507x107 + 708x108 + 705x109 + 526x110 + 709x111 + 593x112 + 708x113 + 779x114 + 578x115 + 748x116 + 585x117 + 659x118 + 1116x119 + 745x120 + 889x121 + 963x122 + 831x123 + 427x124 + 872x125 + 704x126 + 666x127 + 942x128 + 496x129 + 504x130 + 806x131 + 592x132 + 618x133 + 765x134 + 744x135 + 1014x136 + 832x137 + 363x138 + 531x139 + 623x140 + 1068x141 + 811x142 + 543x143 + 957x144 + 518x145 + 750x146 + 1006x147 + 842x148 + 605x149 + 910x150 + 908x151 + 656x152 + 953x153 + 1033x154 + 191x155 + 1267x156 + 948x157 + 635x158 + 440x159 + 773x160 + 560x161 + 919x162 + 968x163 + 1068x164 + 1083x165 + 602x166 + 410x167 + 977x168 + 522x169 + 827x170 + 1089x171 + 902x172 + 1086x173 + 1079x174 + 831x175 + 847x176 + 896x177 + 429x178 + 1004x179 + 876x180 + 713x181 + 661x182 + 1074x183 + 763x184 + 620x185 + 496x186 + 919x187 + 539x188 + 601x189 + 1163x190 + 502x191 + 651x192 + 672x193 + 622x194 + 551x195 + 501x196 + 774x197 + 518x198 + 507x199 + 697x200 + 604x201 + 652x202 + 698x203 + 998x204 + 492x205 + 946x206 + 456x207 + 431x208 + 991x209 + 712x210 + 959x211 + 423x212 + 576x213 + 704x214 + 577x215 + 954x216 + 980x217 + 773x218 + 803x219 + 710x220 + 621x221 + 390x222 + 434x223 + 1030x224 + 684x225 + 784x226 + 711x227 + 700x228 + 746x229 + 752x230 + 540x231 + 502x232 + 800x233 + 646x234 + 1127x235 + 651x236 + 656x237 + 955x238 + 618x239 + 598x240 + 683x241 + 704x242 + 419x243 + 777x244 + 675x245 + 787x246 + 715x247 + 822x248 + 780x249 + 802x250  = 0 
constr1: + 431x1 + 494x2 + 176x3 + 839x4 + 760x5 + 289x6 + 100x7 + 161x8 + 33x9 + 281x10 + 400x11 + 837x12 + 254x13 + 79x14 + 741x15 + 253x16 + 660x17 + 505x18 + 325x19 + 229x20 + 479x21 + 103x22 + 617x23 + 179x24 + 961x25 + 823x26 + 798x27 + 256x28 + 994x29 + 433x30 + 190x31 + 509x32 + 571x33 + 249x34 + 910x35 + 486x36 + 249x37 + 366x38 + 907x39 + 593x40 + 186x41 + 798x42 + 556x43 + 812x44 + 193x45 + 110x46 + 903x47 + 263x48 + 10x49 + 346x50 + 499x51 + 871x52 + 709x53 + 665x54 + 369x55 + 926x56 + 795x57 + 943x58 + 130x59 + 468x60 + 795x61 + 624x62 + 831x63 + 607x64 + 473x65 + 847x66 + 107x67 + 657x68 + 731x69 + 555x70 + 866x71 + 758x72 + 932x73 + 653x74 + 534x75 + 579x76 + 309x77 + 682x78 + 878x79 + 902x80 + 151x81 + 524x82 + 565x83 + 585x84 + 945x85 + 310x86 + 164x87 + 388x88 + 163x89 + 268x90 + 160x91 + 645x92 + 879x93 + 311x94 + 730x95 + 537x96 + 690x97 + 314x98 + 497x99 + 752x100 + 791x101 + 591x102 + 999x103 + 515x104 + 918x105 + 358x106 + 303x107 + 133x108 + 952x109 + 843x110 + 602x111 + 746x112 + 938x113 + 685x114 + 844x115 + 298x116 + 579x117 + 511x118 + 122x119 + 61x120 + 630x121 + 319x122 + 601x123 + 996x124 + 23x125 + 200x126 + 301x127 + 828x128 + 846x129 + 152x130 + 687x131 + 530x132 + 701x133 + 145x134 + 60x135 + 461x136 + 634x137 + 513x138 + 709x139 + 127x140 + 162x141 + 881x142 + 971x143 + 506x144 + 301x145 + 30x146 + 767x147 + 835x148 + 762x149 + 138x150 + 628x151 + 183x152 + 607x153 + 704x154 + 971x155 + 784x156 + 762x157 + 89x158 + 458x159 + 447x160 + 405x161 + 954x162 + 933x163 + 807x164 + 188x165 + 827x166 + 296x167 + 710x168 + 406x169 + 734x170 + 786x171 + 507x172 + 669x173 + 180x174 + 682x175 + 710x176 + 469x177 + 8x178 + 110x179 + 539x180 + 264x181 + 999x182 + 96x183 + 437x184 + 572x185 + 815x186 + 744x187 + 938x188 + 554x189 + 484x190 + 377x191 + 875x192 + 366x193 + 97x194 + 371x195 + 64x196 + 669x197 + 643x198 + 523x199 + 814x200 + 866x201 + 653x202 + 373x203 + 577x204 + 887x205 + 828x206 + 158x207 + 791x208 + 749x209 + 385x210 + 601x211 + 955x212 + 146x213 + 536x214 + 440x215 + 12x216 + 542x217 + 596x218 + 967x219 + 905x220 + 540x221 + 287x222 + 496x223 + 335x224 + 338x225 + 971x226 + 481x227 + 837x228 + 711x229 + 234x230 + 750x231 + 68x232 + 951x233 + 990x234 + 262x235 + 536x236 + 457x237 + 545x238 + 86x239 + 460x240 + 747x241 + 714x242 + 313x243 + 914x244 + 323x245 + 124x246 + 299x247 + 543x248 + 909x249 + 471x250 <= 62048 
constr2: + 482x1 + 981x2 + 765x3 + 220x4 + 552x5 + 245x6 + 348x7 + 736x8 + 765x9 + 948x10 + 709x11 + 646x12 + 561x13 + 872x14 + 29x15 + 155x16 + 426x17 + 977x18 + 394x19 + 714x20 + 743x21 + 910x22 + 91x23 + 630x24 + 756x25 + 387x26 + 209x27 + 1000x28 + 601x29 + 264x30 + 56x31 + 608x32 + 904x33 + 808x34 + 868x35 + 940x36 + 139x37 + 943x38 + 29x39 + 202x40 + 914x41 + 161x42 + 713x43 + 711x44 + 14x45 + 667x46 + 572x47 + 75x48 + 136x49 + 395x50 + 920x51 + 179x52 + 127x53 + 271x54 + 173x55 + 516x56 + 228x57 + 598x58 + 239x59 + 128x60 + 189x61 + 273x62 + 163x63 + 755x64 + 452x65 + 456x66 + 776x67 + 251x68 + 126x69 + 325x70 + 989x71 + 619x72 + 251x73 + 705x74 + 72x75 + 180x76 + 377x77 + 192x78 + 712x79 + 560x80 + 583x81 + 719x82 + 999x83 + 590x84 + 411x85 + 639x86 + 82x87 + 676x88 + 771x89 + 913x90 + 812x91 + 737x92 + 140x93 + 593x94 + 150x95 + 391x96 + 949x97 + 677x98 + 384x99 + 441x100 + 633x101 + 526x102 + 781x103 + 112x104 + 487x105 + 749x106 + 137x107 + 590x108 + 946x109 + 904x110 + 745x111 + 48x112 + 175x113 + 180x114 + 478x115 + 236x116 + 875x117 + 440x118 + 666x119 + 46x120 + 297x121 + 899x122 + 615x123 + 746x124 + 221x125 + 886x126 + 692x127 + 521x128 + 386x129 + 184x130 + 565x131 + 565x132 + 100x133 + 492x134 + 85x135 + 964x136 + 197x137 + 723x138 + 236x139 + 245x140 + 568x141 + 138x142 + 328x143 + 507x144 + 721x145 + 506x146 + 486x147 + 12x148 + 47x149 + 210x150 + 902x151 + 785x152 + 886x153 + 852x154 + 617x155 + 380x156 + 824x157 + 930x158 + 658x159 + 772x160 + 389x161 + 184x162 + 166x163 + 824x164 + 447x165 + 583x166 + 867x167 + 909x168 + 199x169 + 93x170 + 674x171 + 288x172 + 109x173 + 646x174 + 709x175 + 59x176 + 427x177 + 153x178 + 359x179 + 584x180 + 311x181 + 363x182 + 822x183 + 974x184 + 18x185 + 868x186 + 993x187 + 703x188 + 820x189 + 684x190 + 210x191 + 758x192 + 516x193 + 916x194 + 243x195 + 650x196 + 450x197 + 805x198 + 762x199 + 140x200 + 403x201 + 818x202 + 730x203 + 936x204 + 216x205 + 60x206 + 727x207 + 278x208 + 206x209 + 145x210 + 407x211 + 222x212 + 530x213 + 732x214 + 353x215 + 381x216 + 573x217 + 4x218 + 360x219 + 314x220 + 403x221 + 917x222 + 868x223 + 16x224 + 497x225 + 118x226 + 365x227 + 618x228 + 364x229 + 512x230 + 223x231 + 769x232 + 195x233 + 818x234 + 429x235 + 245x236 + 856x237 + 357x238 + 350x239 + 428x240 + 369x241 + 931x242 + 152x243 + 270x244 + 890x245 + 726x246 + 247x247 + 230x248 + 903x249 + 114x250 <= 60587 
constr3: + 529x1 + 414x2 + 424x3 + 996x4 + 846x5 + 662x6 + 522x7 + 219x8 + 877x9 + 219x10 + 960x11 + 867x12 + 541x13 + 697x14 + 559x15 + 385x16 + 610x17 + 721x18 + 11x19 + 421x20 + 708x21 + 641x22 + 567x23 + 521x24 + 794x25 + 526x26 + 196x27 + 477x28 + 804x29 + 43x30 + 883x31 + 396x32 + 355x33 + 71x34 + 489x35 + 258x36 + 938x37 + 505x38 + 493x39 + 428x40 + 273x41 + 547x42 + 154x43 + 14x44 + 894x45 + 184x46 + 277x47 + 492x48 + 595x49 + 54x50 + 207x51 + 928x52 + 373x53 + 42x54 + 752x55 + 310x56 + 274x57 + 637x58 + 224x59 + 849x60 + 361x61 + 691x62 + 190x63 + 532x64 + 928x65 + 862x66 + 149x67 + 401x68 + 174x69 + 525x70 + 794x71 + 242x72 + 781x73 + 743x74 + 838x75 + 361x76 + 566x77 + 302x78 + 236x79 + 840x80 + 697x81 + 196x82 + 674x83 + 648x84 + 956x85 + 78x86 + 32x87 + 827x88 + 167x89 + 852x90 + 762x91 + 833x92 + 42x93 + 444x94 + 494x95 + 26x96 + 518x97 + 938x98 + 581x99 + 769x100 + 532x101 + 425x102 + 682x103 + 411x104 + 873x105 + 47x106 + 148x107 + 59x108 + 173x109 + 594x110 + 20x111 + 206x112 + 862x113 + 748x114 + 317x115 + 510x116 + 215x117 + 712x118 + 199x119 + 215x120 + 769x121 + 634x122 + 522x123 + 779x124 + 325x125 + 720x126 + 603x127 + 663x128 + 279x129 + 812x130 + 113x131 + 946x132 + 556x133 + 957x134 + 181x135 + 241x136 + 365x137 + 521x138 + 372x139 + 892x140 + 291x141 + 884x142 + 284x143 + 455x144 + 681x145 + 901x146 + 192x147 + 912x148 + 176x149 + 413x150 + 812x151 + 404x152 + 718x153 + 111x154 + 671x155 + 208x156 + 956x157 + 447x158 + 20x159 + 313x160 + 474x161 + 587x162 + 833x163 + 379x164 + 748x165 + 546x166 + 922x167 + 50x168 + 258x169 + 823x170 + 557x171 + 579x172 + 600x173 + 437x174 + 524x175 + 161x176 + 394x177 + 904x178 + 578x179 + 887x180 + 358x181 + 95x182 + 503x183 + 640x184 + 303x185 + 772x186 + 531x187 + 808x188 + 174x189 + 528x190 + 931x191 + 633x192 + 784x193 + 727x194 + 444x195 + 454x196 + 181x197 + 360x198 + 74x199 + 944x200 + 894x201 + 201x202 + 368x203 + 778x204 + 669x205 + 796x206 + 6x207 + 293x208 + 354x209 + 668x210 + 212x211 + 403x212 + 81x213 + 182x214 + 282x215 + 189x216 + 461x217 + 161x218 + 179x219 + 667x220 + 251x221 + 307x222 + 518x223 + 527x224 + 231x225 + 289x226 + 179x227 + 185x228 + 352x229 + 541x230 + 645x231 + 881x232 + 499x233 + 566x234 + 460x235 + 776x236 + 937x237 + 409x238 + 368x239 + 763x240 + 791x241 + 930x242 + 750x243 + 828x244 + 89x245 + 305x246 + 923x247 + 97x248 + 471x249 + 716x250 <= 63318 
constr4: + 545x1 + 567x2 + 519x3 + 515x4 + 685x5 + 555x6 + 147x7 + 467x8 + 774x9 + 875x10 + 718x11 + 939x12 + 252x13 + 427x14 + 234x15 + 57x16 + 582x17 + 647x18 + 703x19 + 210x20 + 327x21 + 515x22 + 190x23 + 187x24 + 34x25 + 727x26 + 223x27 + 794x28 + 614x29 + 941x30 + 507x31 + 608x32 + 737x33 + 739x34 + 119x35 + 611x36 + 788x37 + 775x38 + 558x39 + 149x40 + 851x41 + 294x42 + 260x43 + 191x44 + 377x45 + 923x46 + 874x47 + 84x48 + 102x49 + 649x50 + 541x51 + 110x52 + 416x53 + 623x54 + 389x55 + 713x56 + 978x57 + 575x58 + 703x59 + 793x60 + 529x61 + 765x62 + 377x63 + 237x64 + 551x65 + 432x66 + 746x67 + 153x68 + 838x69 + 570x70 + 46x71 + 381x72 + 868x73 + 848x74 + 106x75 + 39x76 + 479x77 + 649x78 + 45x79 + 377x80 + 32x81 + 295x82 + 489x83 + 147x84 + 319x85 + 488x86 + 332x87 + 400x88 + 723x89 + 881x90 + 154x91 + 48x92 + 118x93 + 151x94 + 103x95 + 817x96 + 387x97 + 198x98 + 413x99 + 901x100 + 752x101 + 742x102 + 83x103 + 969x104 + 946x105 + 993x106 + 176x107 + 523x108 + 411x109 + 981x110 + 570x111 + 234x112 + 645x113 + 522x114 + 875x115 + 987x116 + 939x117 + 403x118 + 844x119 + 840x120 + 572x121 + 566x122 + 817x123 + 192x124 + 72x125 + 819x126 + 475x127 + 44x128 + 694x129 + 820x130 + 459x131 + 727x132 + 348x133 + 312x134 + 772x135 + 755x136 + 644x137 + 184x138 + 870x139 + 868x140 + 159x141 + 751x142 + 443x143 + 910x144 + 956x145 + 570x146 + 43x147 + 478x148 + 469x149 + 355x150 + 78x151 + 586x152 + 342x153 + 461x154 + 20x155 + 735x156 + 133x157 + 944x158 + 686x159 + 575x160 + 592x161 + 459x162 + 3x163 + 919x164 + 497x165 + 227x166 + 387x167 + 770x168 + 731x169 + 22x170 + 676x171 + 409x172 + 299x173 + 246x174 + 823x175 + 997x176 + 261x177 + 982x178 + 584x179 + 578x180 + 228x181 + 478x182 + 424x183 + 220x184 + 288x185 + 632x186 + 875x187 + 607x188 + 941x189 + 159x190 + 864x191 + 560x192 + 712x193 + 346x194 + 645x195 + 110x196 + 968x197 + 349x198 + 135x199 + 151x200 + 486x201 + 642x202 + 562x203 + 593x204 + 766x205 + 675x206 + 38x207 + 512x208 + 761x209 + 911x210 + 948x211 + 129x212 + 897x213 + 669x214 + 907x215 + 592x216 + 714x217 + 285x218 + 278x219 + 79x220 + 728x221 + 16x222 + 538x223 + 721x224 + 126x225 + 19x226 + 377x227 + 115x228 + 352x229 + 535x230 + 856x231 + 456x232 + 398x233 + 254x234 + 816x235 + 54x236 + 320x237 + 701x238 + 583x239 + 37x240 + 168x241 + 509x242 + 830x243 + 618x244 + 515x245 + 208x246 + 183x247 + 277x248 + 293x249 + 164x250 <= 64321 
constr5: + 710x1 + 376x2 + 530x3 + 376x4 + 885x5 + 400x6 + 631x7 + 82x8 + 554x9 + 284x10 + 183x11 + 27x12 + 347x13 + 832x14 + 202x15 + 588x16 + 788x17 + 913x18 + 981x19 + 425x20 + 26x21 + 785x22 + 586x23 + 359x24 + 420x25 + 869x26 + 920x27 + 204x28 + 205x29 + 7x30 + 770x31 + 137x32 + 955x33 + 780x34 + 673x35 + 312x36 + 165x37 + 523x38 + 330x39 + 774x40 + 502x41 + 90x42 + 334x43 + 608x44 + 589x45 + 73x46 + 700x47 + 846x48 + 329x49 + 219x50 + 823x51 + 280x52 + 565x53 + 225x54 + 415x55 + 955x56 + 232x57 + 165x58 + 280x59 + 250x60 + 641x61 + 999x62 + 726x63 + 317x64 + 437x65 + 2x66 + 284x67 + 331x68 + 257x69 + 485x70 + 39x71 + 248x72 + 15x73 + 833x74 + 742x75 + 509x76 + 145x77 + 270x78 + 182x79 + 250x80 + 119x81 + 788x82 + 224x83 + 445x84 + 408x85 + 170x86 + 114x87 + 544x88 + 675x89 + 785x90 + 734x91 + 420x92 + 123x93 + 935x94 + 69x95 + 496x96 + 197x97 + 108x98 + 402x99 + 864x100 + 762x101 + 780x102 + 6x103 + 494x104 + 51x105 + 41x106 + 744x107 + 195x108 + 440x109 + 903x110 + 561x111 + 346x112 + 78x113 + 652x114 + 392x115 + 921x116 + 541x117 + 894x118 + 371x119 + 798x120 + 438x121 + 75x122 + 865x123 + 435x124 + 309x125 + 223x126 + 305x127 + 515x128 + 498x129 + 328x130 + 635x131 + 16x132 + 352x133 + 994x134 + 592x135 + 563x136 + 491x137 + 106x138 + 706x139 + 33x140 + 897x141 + 307x142 + 396x143 + 501x144 + 816x145 + 11x146 + 264x147 + 219x148 + 554x149 + 755x150 + 219x151 + 214x152 + 128x153 + 81x154 + 57x155 + 151x156 + 229x157 + 823x158 + 48x159 + 805x160 + 526x161 + 831x162 + 319x163 + 938x164 + 466x165 + 261x166 + 571x167 + 396x168 + 438x169 + 428x170 + 262x171 + 207x172 + 318x173 + 836x174 + 662x175 + 212x176 + 91x177 + 697x178 + 343x179 + 59x180 + 40x181 + 131x182 + 408x183 + 416x184 + 579x185 + 181x186 + 191x187 + 470x188 + 915x189 + 710x190 + 332x191 + 390x192 + 919x193 + 650x194 + 823x195 + 687x196 + 457x197 + 967x198 + 833x199 + 532x200 + 917x201 + 967x202 + 75x203 + 806x204 + 37x205 + 320x206 + 914x207 + 566x208 + 192x209 + 13x210 + 93x211 + 674x212 + 270x213 + 948x214 + 732x215 + 83x216 + 5x217 + 757x218 + 177x219 + 971x220 + 9x221 + 646x222 + 533x223 + 423x224 + 541x225 + 519x226 + 241x227 + 366x228 + 141x229 + 46x230 + 145x231 + 96x232 + 408x233 + 922x234 + 1x235 + 662x236 + 231x237 + 985x238 + 653x239 + 12x240 + 22x241 + 361x242 + 10x243 + 199x244 + 981x245 + 151x246 + 166x247 + 23x248 + 150x249 + 290x250 <= 58162 
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