minimize 
objective: s
subject to 
s1: s + 0.501000f1 + 0.001000f2 >= 96528.576000 
s2: s + 0.001000f1 + 0.501000f2 >= 96528.576000 
f1: -f1 + 406x1 + 445x2 + 861x3 + 1000x4 + 826x5 + 721x6 + 504x7 + 515x8 + 868x9 + 837x10 + 726x11 + 905x12 + 349x13 + 724x14 + 1154x15 + 836x16 + 763x17 + 408x18 + 911x19 + 687x20 + 795x21 + 615x22 + 505x23 + 650x24 + 424x25 + 664x26 + 801x27 + 937x28 + 829x29 + 581x30 + 692x31 + 727x32 + 1041x33 + 852x34 + 641x35 + 841x36 + 847x37 + 552x38 + 584x39 + 667x40 + 990x41 + 885x42 + 874x43 + 806x44 + 1023x45 + 883x46 + 879x47 + 912x48 + 420x49 + 723x50 + 604x51 + 740x52 + 682x53 + 1084x54 + 503x55 + 740x56 + 969x57 + 863x58 + 1065x59 + 543x60 + 1070x61 + 880x62 + 691x63 + 782x64 + 702x65 + 770x66 + 675x67 + 875x68 + 874x69 + 672x70 + 626x71 + 728x72 + 851x73 + 458x74 + 920x75 + 495x76 + 758x77 + 872x78 + 760x79 + 909x80 + 874x81 + 474x82 + 736x83 + 896x84 + 859x85 + 1007x86 + 652x87 + 684x88 + 866x89 + 754x90 + 651x91 + 790x92 + 765x93 + 733x94 + 1127x95 + 728x96 + 806x97 + 986x98 + 1064x99 + 743x100 + 660x101 + 635x102 + 779x103 + 954x104 + 1054x105 + 625x106 + 616x107 + 1051x108 + 530x109 + 717x110 + 923x111 + 1109x112 + 876x113 + 924x114 + 650x115 + 1180x116 + 787x117 + 1115x118 + 684x119 + 629x120 + 951x121 + 768x122 + 856x123 + 307x124 + 523x125 + 726x126 + 544x127 + 820x128 + 651x129 + 638x130 + 750x131 + 400x132 + 946x133 + 835x134 + 483x135 + 916x136 + 756x137 + 1014x138 + 994x139 + 1087x140 + 881x141 + 688x142 + 692x143 + 642x144 + 635x145 + 648x146 + 480x147 + 1099x148 + 722x149 + 953x150 + 954x151 + 791x152 + 418x153 + 795x154 + 871x155 + 913x156 + 845x157 + 713x158 + 898x159 + 624x160 + 480x161 + 794x162 + 825x163 + 767x164 + 379x165 + 857x166 + 823x167 + 613x168 + 524x169 + 940x170 + 829x171 + 749x172 + 765x173 + 574x174 + 1212x175 + 595x176 + 737x177 + 885x178 + 715x179 + 456x180 + 1002x181 + 725x182 + 970x183 + 646x184 + 905x185 + 669x186 + 617x187 + 835x188 + 1162x189 + 1083x190 + 386x191 + 857x192 + 911x193 + 867x194 + 832x195 + 1030x196 + 865x197 + 634x198 + 942x199 + 859x200 + 398x201 + 577x202 + 821x203 + 782x204 + 937x205 + 868x206 + 627x207 + 562x208 + 762x209 + 497x210 + 635x211 + 656x212 + 1300x213 + 986x214 + 448x215 + 928x216 + 813x217 + 1105x218 + 1000x219 + 897x220 + 366x221 + 572x222 + 491x223 + 878x224 + 929x225 + 403x226 + 346x227 + 525x228 + 572x229 + 644x230 + 592x231 + 991x232 + 980x233 + 1044x234 + 926x235 + 868x236 + 803x237 + 644x238 + 746x239 + 854x240 + 937x241 + 996x242 + 928x243 + 980x244 + 648x245 + 783x246 + 417x247 + 730x248 + 642x249 + 971x250  = 0 
f2: -f2 + 790x1 + 768x2 + 1154x3 + 868x4 + 424x5 + 878x6 + 794x7 + 723x8 + 675x9 + 684x10 + 525x11 + 725x12 + 913x13 + 650x14 + 795x15 + 881x16 + 942x17 + 692x18 + 1054x19 + 346x20 + 642x21 + 458x22 + 782x23 + 737x24 + 722x25 + 852x26 + 859x27 + 635x28 + 544x29 + 497x30 + 861x31 + 1065x32 + 400x33 + 754x34 + 417x35 + 820x36 + 923x37 + 971x38 + 916x39 + 617x40 + 756x41 + 616x42 + 857x43 + 857x44 + 803x45 + 920x46 + 721x47 + 648x48 + 651x49 + 595x50 + 740x51 + 642x52 + 726x53 + 765x54 + 779x55 + 1002x56 + 868x57 + 871x58 + 970x59 + 688x60 + 672x61 + 765x62 + 480x63 + 648x64 + 530x65 + 863x66 + 1007x67 + 980x68 + 832x69 + 836x70 + 577x71 + 829x72 + 480x73 + 1000x74 + 896x75 + 783x76 + 684x77 + 874x78 + 954x79 + 854x80 + 650x81 + 1000x82 + 572x83 + 986x84 + 1051x85 + 991x86 + 491x87 + 847x88 + 581x89 + 1162x90 + 856x91 + 1083x92 + 874x93 + 897x94 + 651x95 + 726x96 + 448x97 + 646x98 + 928x99 + 420x100 + 730x101 + 629x102 + 806x103 + 1084x104 + 1030x105 + 691x106 + 905x107 + 687x108 + 523x109 + 634x110 + 929x111 + 503x112 + 1087x113 + 841x114 + 664x115 + 879x116 + 702x117 + 625x118 + 951x119 + 1044x120 + 994x121 + 635x122 + 937x123 + 713x124 + 758x125 + 750x126 + 613x127 + 953x128 + 763x129 + 624x130 + 626x131 + 912x132 + 770x133 + 584x134 + 946x135 + 898x136 + 760x137 + 386x138 + 954x139 + 835x140 + 515x141 + 682x142 + 851x143 + 980x144 + 1180x145 + 736x146 + 909x147 + 724x148 + 592x149 + 795x150 + 791x151 + 615x152 + 845x153 + 866x154 + 806x155 + 825x156 + 762x157 + 504x158 + 728x159 + 826x160 + 1115x161 + 505x162 + 937x163 + 1300x164 + 604x165 + 1070x166 + 801x167 + 552x168 + 406x169 + 366x170 + 885x171 + 1023x172 + 408x173 + 403x174 + 715x175 + 667x176 + 813x177 + 1212x178 + 1099x179 + 874x180 + 928x181 + 883x182 + 727x183 + 483x184 + 743x185 + 574x186 + 911x187 + 837x188 + 669x189 + 787x190 + 823x191 + 627x192 + 782x193 + 911x194 + 926x195 + 868x196 + 1041x197 + 572x198 + 905x199 + 456x200 + 635x201 + 474x202 + 821x203 + 876x204 + 835x205 + 644x206 + 996x207 + 379x208 + 1064x209 + 1109x210 + 728x211 + 986x212 + 543x213 + 767x214 + 924x215 + 885x216 + 875x217 + 652x218 + 562x219 + 859x220 + 717x221 + 524x222 + 872x223 + 307x224 + 398x225 + 749x226 + 937x227 + 746x228 + 641x229 + 990x230 + 865x231 + 940x232 + 733x233 + 692x234 + 1105x235 + 829x236 + 418x237 + 495x238 + 1014x239 + 867x240 + 445x241 + 1127x242 + 638x243 + 656x244 + 969x245 + 644x246 + 740x247 + 660x248 + 349x249 + 880x250  = 0 
constr1: + 978x1 + 421x2 + 30x3 + 511x4 + 249x5 + 736x6 + 697x7 + 191x8 + 629x9 + 509x10 + 897x11 + 690x12 + 965x13 + 694x14 + 315x15 + 170x16 + 120x17 + 479x18 + 239x19 + 916x20 + 442x21 + 937x22 + 492x23 + 924x24 + 527x25 + 238x26 + 723x27 + 484x28 + 754x29 + 426x30 + 949x31 + 123x32 + 3x33 + 652x34 + 716x35 + 774x36 + 714x37 + 599x38 + 460x39 + 992x40 + 454x41 + 948x42 + 205x43 + 833x44 + 397x45 + 188x46 + 207x47 + 936x48 + 962x49 + 88x50 + 5x51 + 793x52 + 928x53 + 703x54 + 846x55 + 285x56 + 729x57 + 442x58 + 255x59 + 796x60 + 421x61 + 506x62 + 824x63 + 564x64 + 4x65 + 973x66 + 433x67 + 455x68 + 363x69 + 35x70 + 163x71 + 278x72 + 911x73 + 788x74 + 822x75 + 584x76 + 570x77 + 613x78 + 751x79 + 225x80 + 176x81 + 823x82 + 710x83 + 3x84 + 545x85 + 319x86 + 929x87 + 390x88 + 238x89 + 211x90 + 427x91 + 312x92 + 474x93 + 834x94 + 130x95 + 995x96 + 542x97 + 768x98 + 676x99 + 265x100 + 459x101 + 428x102 + 735x103 + 505x104 + 229x105 + 11x106 + 595x107 + 822x108 + 789x109 + 9x110 + 361x111 + 253x112 + 476x113 + 76x114 + 825x115 + 171x116 + 215x117 + 751x118 + 453x119 + 952x120 + 589x121 + 919x122 + 71x123 + 974x124 + 329x125 + 184x126 + 611x127 + 505x128 + 481x129 + 205x130 + 821x131 + 508x132 + 187x133 + 866x134 + 601x135 + 640x136 + 179x137 + 850x138 + 181x139 + 324x140 + 814x141 + 120x142 + 415x143 + 674x144 + 180x145 + 23x146 + 630x147 + 280x148 + 616x149 + 673x150 + 90x151 + 194x152 + 623x153 + 191x154 + 971x155 + 321x156 + 626x157 + 197x158 + 580x159 + 852x160 + 60x161 + 700x162 + 892x163 + 385x164 + 883x165 + 837x166 + 984x167 + 627x168 + 671x169 + 857x170 + 418x171 + 689x172 + 860x173 + 786x174 + 856x175 + 890x176 + 608x177 + 623x178 + 357x179 + 211x180 + 580x181 + 387x182 + 777x183 + 781x184 + 483x185 + 507x186 + 24x187 + 783x188 + 388x189 + 450x190 + 75x191 + 79x192 + 520x193 + 525x194 + 25x195 + 384x196 + 410x197 + 229x198 + 300x199 + 387x200 + 154x201 + 136x202 + 28x203 + 341x204 + 65x205 + 319x206 + 588x207 + 277x208 + 226x209 + 390x210 + 583x211 + 363x212 + 397x213 + 902x214 + 249x215 + 120x216 + 922x217 + 827x218 + 5x219 + 80x220 + 864x221 + 221x222 + 634x223 + 664x224 + 708x225 + 663x226 + 5x227 + 887x228 + 250x229 + 865x230 + 765x231 + 815x232 + 612x233 + 807x234 + 842x235 + 601x236 + 786x237 + 662x238 + 547x239 + 722x240 + 32x241 + 851x242 + 530x243 + 568x244 + 809x245 + 90x246 + 201x247 + 827x248 + 228x249 + 431x250 <= 32308 
constr2: + 175x1 + 308x2 + 273x3 + 685x4 + 888x5 + 387x6 + 666x7 + 519x8 + 293x9 + 725x10 + 550x11 + 559x12 + 611x13 + 782x14 + 826x15 + 475x16 + 98x17 + 379x18 + 497x19 + 249x20 + 246x21 + 666x22 + 228x23 + 141x24 + 165x25 + 803x26 + 179x27 + 625x28 + 644x29 + 4x30 + 272x31 + 782x32 + 921x33 + 798x34 + 128x35 + 77x36 + 959x37 + 129x38 + 882x39 + 917x40 + 899x41 + 96x42 + 716x43 + 475x44 + 233x45 + 245x46 + 985x47 + 19x48 + 134x49 + 691x50 + 490x51 + 385x52 + 437x53 + 206x54 + 111x55 + 510x56 + 369x57 + 771x58 + 197x59 + 835x60 + 165x61 + 752x62 + 830x63 + 40x64 + 181x65 + 322x66 + 858x67 + 578x68 + 107x69 + 401x70 + 775x71 + 286x72 + 770x73 + 244x74 + 290x75 + 193x76 + 931x77 + 492x78 + 963x79 + 740x80 + 353x81 + 458x82 + 138x83 + 625x84 + 325x85 + 888x86 + 164x87 + 150x88 + 833x89 + 761x90 + 668x91 + 700x92 + 550x93 + 592x94 + 418x95 + 119x96 + 237x97 + 578x98 + 766x99 + 563x100 + 966x101 + 955x102 + 825x103 + 516x104 + 882x105 + 393x106 + 144x107 + 379x108 + 321x109 + 707x110 + 328x111 + 487x112 + 771x113 + 240x114 + 616x115 + 801x116 + 248x117 + 136x118 + 546x119 + 910x120 + 119x121 + 780x122 + 648x123 + 956x124 + 807x125 + 228x126 + 439x127 + 908x128 + 767x129 + 525x130 + 132x131 + 785x132 + 950x133 + 655x134 + 641x135 + 181x136 + 147x137 + 264x138 + 55x139 + 303x140 + 267x141 + 419x142 + 705x143 + 796x144 + 500x145 + 630x146 + 309x147 + 747x148 + 932x149 + 22x150 + 10x151 + 94x152 + 721x153 + 796x154 + 936x155 + 642x156 + 728x157 + 317x158 + 810x159 + 822x160 + 389x161 + 619x162 + 981x163 + 764x164 + 493x165 + 245x166 + 422x167 + 546x168 + 109x169 + 607x170 + 78x171 + 77x172 + 952x173 + 106x174 + 149x175 + 122x176 + 356x177 + 715x178 + 112x179 + 437x180 + 819x181 + 963x182 + 739x183 + 694x184 + 769x185 + 577x186 + 308x187 + 871x188 + 120x189 + 90x190 + 117x191 + 663x192 + 117x193 + 580x194 + 544x195 + 92x196 + 345x197 + 118x198 + 729x199 + 330x200 + 480x201 + 440x202 + 709x203 + 815x204 + 114x205 + 58x206 + 237x207 + 914x208 + 859x209 + 846x210 + 593x211 + 384x212 + 435x213 + 326x214 + 669x215 + 389x216 + 557x217 + 620x218 + 749x219 + 595x220 + 345x221 + 195x222 + 768x223 + 453x224 + 137x225 + 625x226 + 30x227 + 200x228 + 508x229 + 545x230 + 481x231 + 942x232 + 908x233 + 738x234 + 957x235 + 3x236 + 736x237 + 746x238 + 441x239 + 4x240 + 857x241 + 873x242 + 369x243 + 403x244 + 558x245 + 518x246 + 633x247 + 548x248 + 550x249 + 451x250 <= 31356 
constr3: + 911x1 + 51x2 + 353x3 + 4x4 + 468x5 + 463x6 + 904x7 + 502x8 + 503x9 + 262x10 + 292x11 + 917x12 + 269x13 + 821x14 + 916x15 + 794x16 + 601x17 + 83x18 + 932x19 + 151x20 + 743x21 + 952x22 + 402x23 + 723x24 + 403x25 + 199x26 + 526x27 + 304x28 + 277x29 + 842x30 + 541x31 + 582x32 + 985x33 + 201x34 + 485x35 + 196x36 + 913x37 + 640x38 + 422x39 + 922x40 + 618x41 + 812x42 + 973x43 + 912x44 + 119x45 + 140x46 + 624x47 + 796x48 + 72x49 + 159x50 + 282x51 + 399x52 + 320x53 + 322x54 + 196x55 + 829x56 + 138x57 + 39x58 + 768x59 + 175x60 + 250x61 + 21x62 + 206x63 + 729x64 + 44x65 + 689x66 + 642x67 + 179x68 + 125x69 + 809x70 + 668x71 + 864x72 + 779x73 + 939x74 + 270x75 + 912x76 + 966x77 + 792x78 + 836x79 + 583x80 + 323x81 + 483x82 + 445x83 + 634x84 + 349x85 + 751x86 + 932x87 + 742x88 + 315x89 + 140x90 + 198x91 + 151x92 + 840x93 + 672x94 + 785x95 + 225x96 + 550x97 + 941x98 + 801x99 + 904x100 + 712x101 + 695x102 + 371x103 + 440x104 + 690x105 + 428x106 + 998x107 + 181x108 + 330x109 + 456x110 + 949x111 + 401x112 + 411x113 + 773x114 + 814x115 + 544x116 + 69x117 + 838x118 + 256x119 + 116x120 + 615x121 + 966x122 + 55x123 + 311x124 + 280x125 + 963x126 + 215x127 + 404x128 + 617x129 + 973x130 + 162x131 + 261x132 + 315x133 + 77x134 + 794x135 + 851x136 + 240x137 + 422x138 + 590x139 + 920x140 + 995x141 + 556x142 + 670x143 + 748x144 + 502x145 + 880x146 + 165x147 + 985x148 + 752x149 + 999x150 + 121x151 + 856x152 + 60x153 + 110x154 + 36x155 + 977x156 + 905x157 + 503x158 + 968x159 + 227x160 + 467x161 + 160x162 + 917x163 + 304x164 + 301x165 + 704x166 + 579x167 + 775x168 + 123x169 + 889x170 + 238x171 + 31x172 + 241x173 + 957x174 + 541x175 + 438x176 + 646x177 + 937x178 + 497x179 + 677x180 + 399x181 + 555x182 + 319x183 + 186x184 + 860x185 + 451x186 + 524x187 + 331x188 + 475x189 + 715x190 + 659x191 + 367x192 + 742x193 + 703x194 + 105x195 + 491x196 + 838x197 + 2x198 + 668x199 + 213x200 + 757x201 + 462x202 + 518x203 + 282x204 + 149x205 + 267x206 + 179x207 + 72x208 + 771x209 + 979x210 + 731x211 + 812x212 + 40x213 + 337x214 + 409x215 + 650x216 + 798x217 + 766x218 + 361x219 + 495x220 + 86x221 + 160x222 + 674x223 + 814x224 + 426x225 + 696x226 + 295x227 + 212x228 + 822x229 + 443x230 + 309x231 + 949x232 + 365x233 + 293x234 + 765x235 + 611x236 + 757x237 + 605x238 + 271x239 + 267x240 + 219x241 + 627x242 + 779x243 + 982x244 + 437x245 + 386x246 + 328x247 + 272x248 + 842x249 + 422x250 <= 34001 
constr4: + 495x1 + 928x2 + 5x3 + 500x4 + 770x5 + 431x6 + 607x7 + 418x8 + 224x9 + 119x10 + 381x11 + 996x12 + 256x13 + 389x14 + 272x15 + 660x16 + 720x17 + 88x18 + 344x19 + 541x20 + 893x21 + 268x22 + 668x23 + 497x24 + 310x25 + 396x26 + 837x27 + 164x28 + 244x29 + 946x30 + 265x31 + 413x32 + 338x33 + 839x34 + 250x35 + 175x36 + 268x37 + 769x38 + 418x39 + 81x40 + 394x41 + 408x42 + 181x43 + 514x44 + 962x45 + 815x46 + 846x47 + 947x48 + 832x49 + 699x50 + 885x51 + 802x52 + 132x53 + 749x54 + 174x55 + 794x56 + 191x57 + 840x58 + 521x59 + 269x60 + 470x61 + 739x62 + 921x63 + 445x64 + 67x65 + 620x66 + 102x67 + 909x68 + 366x69 + 504x70 + 81x71 + 435x72 + 872x73 + 613x74 + 19x75 + 691x76 + 474x77 + 508x78 + 989x79 + 450x80 + 743x81 + 656x82 + 334x83 + 48x84 + 183x85 + 33x86 + 407x87 + 883x88 + 887x89 + 317x90 + 111x91 + 363x92 + 761x93 + 259x94 + 198x95 + 538x96 + 983x97 + 336x98 + 282x99 + 272x100 + 944x101 + 157x102 + 523x103 + 768x104 + 415x105 + 815x106 + 559x107 + 485x108 + 343x109 + 678x110 + 557x111 + 755x112 + 15x113 + 329x114 + 35x115 + 437x116 + 917x117 + 982x118 + 495x119 + 147x120 + 492x121 + 755x122 + 743x123 + 848x124 + 350x125 + 907x126 + 535x127 + 756x128 + 833x129 + 890x130 + 294x131 + 711x132 + 865x133 + 704x134 + 304x135 + 401x136 + 993x137 + 862x138 + 177x139 + 970x140 + 481x141 + 915x142 + 575x143 + 941x144 + 879x145 + 155x146 + 884x147 + 475x148 + 798x149 + 148x150 + 967x151 + 305x152 + 385x153 + 689x154 + 104x155 + 2x156 + 596x157 + 235x158 + 78x159 + 428x160 + 870x161 + 723x162 + 658x163 + 626x164 + 961x165 + 809x166 + 687x167 + 612x168 + 318x169 + 978x170 + 872x171 + 401x172 + 929x173 + 35x174 + 233x175 + 120x176 + 312x177 + 881x178 + 329x179 + 81x180 + 420x181 + 77x182 + 517x183 + 40x184 + 611x185 + 264x186 + 668x187 + 523x188 + 684x189 + 323x190 + 298x191 + 680x192 + 560x193 + 883x194 + 214x195 + 457x196 + 585x197 + 823x198 + 802x199 + 251x200 + 309x201 + 155x202 + 126x203 + 610x204 + 551x205 + 544x206 + 124x207 + 132x208 + 802x209 + 553x210 + 834x211 + 592x212 + 964x213 + 695x214 + 10x215 + 293x216 + 964x217 + 392x218 + 458x219 + 914x220 + 693x221 + 98x222 + 906x223 + 602x224 + 111x225 + 722x226 + 585x227 + 828x228 + 216x229 + 323x230 + 247x231 + 893x232 + 630x233 + 760x234 + 970x235 + 613x236 + 569x237 + 632x238 + 8x239 + 849x240 + 507x241 + 828x242 + 415x243 + 150x244 + 208x245 + 691x246 + 246x247 + 273x248 + 980x249 + 56x250 <= 31702 
constr5: + 520x1 + 768x2 + 207x3 + 790x4 + 500x5 + 456x6 + 359x7 + 428x8 + 895x9 + 373x10 + 764x11 + 876x12 + 899x13 + 278x14 + 958x15 + 479x16 + 307x17 + 108x18 + 638x19 + 177x20 + 653x21 + 476x22 + 140x23 + 701x24 + 660x25 + 544x26 + 557x27 + 930x28 + 435x29 + 667x30 + 273x31 + 865x32 + 98x33 + 174x34 + 950x35 + 50x36 + 177x37 + 295x38 + 943x39 + 850x40 + 853x41 + 123x42 + 514x43 + 389x44 + 229x45 + 816x46 + 429x47 + 788x48 + 92x49 + 731x50 + 679x51 + 70x52 + 653x53 + 482x54 + 86x55 + 110x56 + 576x57 + 306x58 + 212x59 + 712x60 + 23x61 + 263x62 + 249x63 + 571x64 + 848x65 + 517x66 + 567x67 + 646x68 + 688x69 + 505x70 + 800x71 + 268x72 + 397x73 + 256x74 + 456x75 + 949x76 + 152x77 + 667x78 + 651x79 + 234x80 + 188x81 + 1000x82 + 309x83 + 695x84 + 675x85 + 16x86 + 972x87 + 342x88 + 945x89 + 855x90 + 422x91 + 336x92 + 536x93 + 936x94 + 858x95 + 171x96 + 873x97 + 429x98 + 689x99 + 459x100 + 835x101 + 672x102 + 905x103 + 176x104 + 590x105 + 604x106 + 325x107 + 276x108 + 796x109 + 208x110 + 302x111 + 209x112 + 429x113 + 593x114 + 176x115 + 957x116 + 287x117 + 589x118 + 830x119 + 190x120 + 872x121 + 992x122 + 556x123 + 627x124 + 253x125 + 607x126 + 758x127 + 664x128 + 198x129 + 638x130 + 444x131 + 344x132 + 720x133 + 931x134 + 810x135 + 665x136 + 416x137 + 934x138 + 585x139 + 297x140 + 665x141 + 832x142 + 248x143 + 394x144 + 565x145 + 823x146 + 425x147 + 431x148 + 827x149 + 427x150 + 572x151 + 37x152 + 989x153 + 451x154 + 172x155 + 688x156 + 62x157 + 677x158 + 948x159 + 483x160 + 303x161 + 576x162 + 992x163 + 901x164 + 983x165 + 433x166 + 251x167 + 412x168 + 549x169 + 952x170 + 732x171 + 988x172 + 494x173 + 785x174 + 160x175 + 365x176 + 804x177 + 474x178 + 927x179 + 206x180 + 541x181 + 144x182 + 222x183 + 859x184 + 543x185 + 601x186 + 704x187 + 760x188 + 389x189 + 168x190 + 612x191 + 579x192 + 356x193 + 842x194 + 221x195 + 707x196 + 642x197 + 420x198 + 309x199 + 459x200 + 883x201 + 993x202 + 759x203 + 462x204 + 163x205 + 796x206 + 430x207 + 520x208 + 276x209 + 963x210 + 354x211 + 577x212 + 446x213 + 302x214 + 917x215 + 529x216 + 543x217 + 514x218 + 471x219 + 898x220 + 728x221 + 585x222 + 278x223 + 32x224 + 516x225 + 670x226 + 52x227 + 778x228 + 479x229 + 610x230 + 710x231 + 206x232 + 235x233 + 560x234 + 920x235 + 110x236 + 90x237 + 913x238 + 27x239 + 389x240 + 99x241 + 104x242 + 106x243 + 352x244 + 629x245 + 83x246 + 744x247 + 206x248 + 381x249 + 894x250 <= 31408 
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