minimize 
objective: s
subject to 
s1: s + 0.501000f1 + 0.001000f2 >= 93541.174000 
s2: s + 0.001000f1 + 0.501000f2 >= 93541.174000 
f1: -f1 + 727x1 + 711x2 + 911x3 + 679x4 + 955x5 + 801x6 + 651x7 + 544x8 + 1006x9 + 751x10 + 1167x11 + 622x12 + 798x13 + 840x14 + 659x15 + 936x16 + 440x17 + 755x18 + 911x19 + 866x20 + 760x21 + 1132x22 + 691x23 + 629x24 + 864x25 + 576x26 + 709x27 + 563x28 + 365x29 + 563x30 + 608x31 + 681x32 + 1138x33 + 534x34 + 902x35 + 870x36 + 988x37 + 546x38 + 872x39 + 885x40 + 938x41 + 1006x42 + 525x43 + 617x44 + 857x45 + 1020x46 + 704x47 + 684x48 + 1102x49 + 550x50 + 728x51 + 872x52 + 820x53 + 457x54 + 670x55 + 988x56 + 864x57 + 818x58 + 652x59 + 633x60 + 858x61 + 697x62 + 442x63 + 557x64 + 696x65 + 639x66 + 789x67 + 606x68 + 1034x69 + 875x70 + 866x71 + 701x72 + 584x73 + 904x74 + 930x75 + 459x76 + 880x77 + 1045x78 + 446x79 + 846x80 + 1038x81 + 461x82 + 793x83 + 700x84 + 597x85 + 619x86 + 478x87 + 808x88 + 816x89 + 734x90 + 1027x91 + 609x92 + 770x93 + 657x94 + 925x95 + 708x96 + 431x97 + 982x98 + 780x99 + 163x100 + 559x101 + 818x102 + 875x103 + 619x104 + 604x105 + 988x106 + 343x107 + 607x108 + 512x109 + 825x110 + 938x111 + 731x112 + 1337x113 + 589x114 + 985x115 + 548x116 + 447x117 + 410x118 + 819x119 + 496x120 + 817x121 + 577x122 + 593x123 + 797x124 + 385x125 + 868x126 + 788x127 + 965x128 + 729x129 + 456x130 + 736x131 + 953x132 + 949x133 + 687x134 + 745x135 + 1050x136 + 684x137 + 562x138 + 548x139 + 854x140 + 935x141 + 768x142 + 958x143 + 1036x144 + 839x145 + 610x146 + 899x147 + 495x148 + 775x149 + 702x150 + 571x151 + 1107x152 + 437x153 + 733x154 + 728x155 + 625x156 + 1043x157 + 680x158 + 928x159 + 876x160 + 678x161 + 521x162 + 917x163 + 944x164 + 590x165 + 877x166 + 796x167 + 581x168 + 704x169 + 386x170 + 824x171 + 552x172 + 862x173 + 579x174 + 907x175 + 1088x176 + 792x177 + 444x178 + 644x179 + 581x180 + 586x181 + 733x182 + 433x183 + 651x184 + 1170x185 + 897x186 + 908x187 + 488x188 + 889x189 + 881x190 + 549x191 + 1156x192 + 847x193 + 435x194 + 556x195 + 716x196 + 908x197 + 778x198 + 691x199 + 699x200 + 901x201 + 679x202 + 586x203 + 729x204 + 1099x205 + 893x206 + 823x207 + 827x208 + 1104x209 + 637x210 + 710x211 + 403x212 + 542x213 + 978x214 + 891x215 + 968x216 + 837x217 + 979x218 + 526x219 + 670x220 + 637x221 + 765x222 + 792x223 + 702x224 + 982x225 + 604x226 + 901x227 + 979x228 + 610x229 + 493x230 + 981x231 + 665x232 + 581x233 + 753x234 + 468x235 + 607x236 + 526x237 + 734x238 + 681x239 + 848x240 + 463x241 + 762x242 + 731x243 + 891x244 + 962x245 + 576x246 + 376x247 + 720x248 + 997x249 + 931x250  = 0 
f2: -f2 + 917x1 + 978x2 + 938x3 + 386x4 + 581x5 + 899x6 + 446x7 + 704x8 + 798x9 + 697x10 + 704x11 + 629x12 + 652x13 + 579x14 + 944x15 + 731x16 + 839x17 + 820x18 + 493x19 + 1088x20 + 684x21 + 681x22 + 997x23 + 571x24 + 702x25 + 679x26 + 468x27 + 817x28 + 1027x29 + 1034x30 + 825x31 + 163x32 + 604x33 + 979x34 + 904x35 + 608x36 + 911x37 + 546x38 + 431x39 + 552x40 + 728x41 + 699x42 + 376x43 + 607x44 + 1104x45 + 982x46 + 548x47 + 891x48 + 665x49 + 762x50 + 881x51 + 619x52 + 549x53 + 953x54 + 1038x55 + 729x56 + 793x57 + 796x58 + 720x59 + 988x60 + 584x61 + 410x62 + 866x63 + 731x64 + 751x65 + 550x66 + 745x67 + 935x68 + 581x69 + 958x70 + 770x71 + 437x72 + 733x73 + 526x74 + 911x75 + 846x76 + 928x77 + 985x78 + 442x79 + 760x80 + 864x81 + 819x82 + 512x83 + 797x84 + 778x85 + 644x86 + 848x87 + 872x88 + 847x89 + 593x90 + 734x91 + 670x92 + 789x93 + 801x94 + 788x95 + 792x96 + 908x97 + 680x98 + 902x99 + 444x100 + 858x101 + 728x102 + 691x103 + 597x104 + 478x105 + 893x106 + 459x107 + 687x108 + 700x109 + 657x110 + 792x111 + 885x112 + 818x113 + 576x114 + 968x115 + 586x116 + 727x117 + 1337x118 + 681x119 + 559x120 + 876x121 + 824x122 + 525x123 + 875x124 + 711x125 + 862x126 + 908x127 + 495x128 + 625x129 + 1006x130 + 604x131 + 775x132 + 659x133 + 982x134 + 521x135 + 526x136 + 872x137 + 1132x138 + 670x139 + 651x140 + 617x141 + 365x142 + 901x143 + 1138x144 + 1167x145 + 1102x146 + 827x147 + 780x148 + 988x149 + 633x150 + 710x151 + 637x152 + 736x153 + 488x154 + 701x155 + 962x156 + 1043x157 + 936x158 + 1170x159 + 949x160 + 457x161 + 691x162 + 734x163 + 403x164 + 589x165 + 639x166 + 823x167 + 709x168 + 868x169 + 542x170 + 1045x171 + 534x172 + 808x173 + 979x174 + 965x175 + 556x176 + 696x177 + 753x178 + 581x179 + 840x180 + 496x181 + 854x182 + 877x183 + 702x184 + 880x185 + 955x186 + 938x187 + 981x188 + 435x189 + 729x190 + 544x191 + 679x192 + 684x193 + 765x194 + 619x195 + 563x196 + 651x197 + 456x198 + 610x199 + 610x200 + 768x201 + 590x202 + 870x203 + 864x204 + 678x205 + 837x206 + 586x207 + 576x208 + 609x209 + 901x210 + 548x211 + 1099x212 + 606x213 + 1107x214 + 557x215 + 622x216 + 889x217 + 563x218 + 461x219 + 930x220 + 816x221 + 577x222 + 931x223 + 818x224 + 440x225 + 1020x226 + 925x227 + 1036x228 + 716x229 + 637x230 + 463x231 + 857x232 + 1156x233 + 385x234 + 891x235 + 733x236 + 875x237 + 907x238 + 433x239 + 1050x240 + 755x241 + 562x242 + 988x243 + 607x244 + 1006x245 + 447x246 + 708x247 + 343x248 + 897x249 + 866x250  = 0 
constr1: + 489x1 + 474x2 + 322x3 + 856x4 + 476x5 + 21x6 + 354x7 + 851x8 + 444x9 + 716x10 + 85x11 + 404x12 + 875x13 + 3x14 + 762x15 + 281x16 + 622x17 + 513x18 + 786x19 + 490x20 + 80x21 + 947x22 + 414x23 + 24x24 + 762x25 + 96x26 + 648x27 + 655x28 + 690x29 + 667x30 + 523x31 + 249x32 + 521x33 + 773x34 + 609x35 + 512x36 + 890x37 + 680x38 + 505x39 + 857x40 + 220x41 + 530x42 + 766x43 + 545x44 + 551x45 + 294x46 + 342x47 + 82x48 + 239x49 + 546x50 + 632x51 + 427x52 + 554x53 + 384x54 + 675x55 + 369x56 + 793x57 + 997x58 + 159x59 + 776x60 + 89x61 + 612x62 + 276x63 + 88x64 + 607x65 + 225x66 + 965x67 + 895x68 + 934x69 + 701x70 + 419x71 + 147x72 + 801x73 + 37x74 + 1x75 + 804x76 + 719x77 + 682x78 + 156x79 + 52x80 + 834x81 + 991x82 + 55x83 + 15x84 + 782x85 + 132x86 + 192x87 + 329x88 + 274x89 + 269x90 + 756x91 + 906x92 + 776x93 + 857x94 + 347x95 + 923x96 + 941x97 + 469x98 + 892x99 + 78x100 + 104x101 + 854x102 + 936x103 + 127x104 + 859x105 + 519x106 + 151x107 + 229x108 + 491x109 + 94x110 + 34x111 + 862x112 + 135x113 + 879x114 + 613x115 + 390x116 + 603x117 + 854x118 + 899x119 + 647x120 + 491x121 + 734x122 + 776x123 + 310x124 + 359x125 + 916x126 + 584x127 + 610x128 + 17x129 + 697x130 + 8x131 + 492x132 + 815x133 + 537x134 + 160x135 + 645x136 + 601x137 + 110x138 + 990x139 + 530x140 + 738x141 + 92x142 + 146x143 + 161x144 + 408x145 + 564x146 + 284x147 + 281x148 + 314x149 + 920x150 + 302x151 + 43x152 + 877x153 + 538x154 + 897x155 + 76x156 + 133x157 + 235x158 + 633x159 + 822x160 + 867x161 + 420x162 + 576x163 + 697x164 + 12x165 + 551x166 + 924x167 + 525x168 + 76x169 + 964x170 + 176x171 + 245x172 + 718x173 + 475x174 + 83x175 + 36x176 + 755x177 + 181x178 + 619x179 + 311x180 + 899x181 + 97x182 + 632x183 + 982x184 + 863x185 + 839x186 + 985x187 + 650x188 + 851x189 + 127x190 + 872x191 + 366x192 + 669x193 + 632x194 + 276x195 + 310x196 + 487x197 + 864x198 + 90x199 + 105x200 + 940x201 + 247x202 + 940x203 + 966x204 + 676x205 + 139x206 + 773x207 + 87x208 + 585x209 + 881x210 + 586x211 + 625x212 + 566x213 + 321x214 + 849x215 + 136x216 + 490x217 + 118x218 + 479x219 + 379x220 + 489x221 + 377x222 + 707x223 + 867x224 + 597x225 + 179x226 + 597x227 + 843x228 + 791x229 + 381x230 + 20x231 + 926x232 + 81x233 + 984x234 + 234x235 + 948x236 + 15x237 + 915x238 + 105x239 + 891x240 + 913x241 + 906x242 + 34x243 + 798x244 + 442x245 + 695x246 + 714x247 + 919x248 + 102x249 + 336x250 <= 61438 
constr2: + 50x1 + 186x2 + 686x3 + 557x4 + 977x5 + 539x6 + 667x7 + 280x8 + 590x9 + 683x10 + 913x11 + 39x12 + 693x13 + 45x14 + 63x15 + 732x16 + 788x17 + 137x18 + 567x19 + 442x20 + 304x21 + 7x22 + 594x23 + 3x24 + 391x25 + 814x26 + 676x27 + 398x28 + 292x29 + 808x30 + 926x31 + 355x32 + 196x33 + 79x34 + 516x35 + 487x36 + 204x37 + 797x38 + 818x39 + 799x40 + 519x41 + 813x42 + 91x43 + 709x44 + 528x45 + 763x46 + 579x47 + 691x48 + 324x49 + 724x50 + 706x51 + 691x52 + 22x53 + 781x54 + 960x55 + 643x56 + 360x57 + 949x58 + 494x59 + 578x60 + 317x61 + 803x62 + 331x63 + 923x64 + 240x65 + 102x66 + 98x67 + 508x68 + 738x69 + 159x70 + 389x71 + 246x72 + 78x73 + 839x74 + 163x75 + 779x76 + 805x77 + 799x78 + 992x79 + 610x80 + 82x81 + 932x82 + 201x83 + 362x84 + 395x85 + 448x86 + 53x87 + 264x88 + 900x89 + 504x90 + 827x91 + 17x92 + 660x93 + 735x94 + 254x95 + 519x96 + 580x97 + 134x98 + 425x99 + 244x100 + 84x101 + 1000x102 + 835x103 + 128x104 + 405x105 + 47x106 + 961x107 + 971x108 + 588x109 + 306x110 + 655x111 + 65x112 + 348x113 + 890x114 + 533x115 + 385x116 + 160x117 + 903x118 + 930x119 + 484x120 + 347x121 + 93x122 + 378x123 + 358x124 + 393x125 + 662x126 + 726x127 + 679x128 + 322x129 + 623x130 + 1000x131 + 391x132 + 835x133 + 578x134 + 276x135 + 403x136 + 874x137 + 919x138 + 599x139 + 611x140 + 493x141 + 243x142 + 583x143 + 15x144 + 738x145 + 60x146 + 462x147 + 221x148 + 230x149 + 226x150 + 470x151 + 141x152 + 45x153 + 134x154 + 595x155 + 311x156 + 444x157 + 519x158 + 140x159 + 90x160 + 200x161 + 745x162 + 304x163 + 484x164 + 365x165 + 261x166 + 657x167 + 488x168 + 191x169 + 271x170 + 626x171 + 331x172 + 688x173 + 522x174 + 777x175 + 645x176 + 110x177 + 100x178 + 418x179 + 177x180 + 907x181 + 377x182 + 449x183 + 996x184 + 666x185 + 769x186 + 671x187 + 197x188 + 685x189 + 890x190 + 247x191 + 897x192 + 120x193 + 940x194 + 24x195 + 828x196 + 67x197 + 63x198 + 514x199 + 255x200 + 66x201 + 109x202 + 340x203 + 68x204 + 357x205 + 399x206 + 971x207 + 595x208 + 951x209 + 233x210 + 884x211 + 395x212 + 976x213 + 661x214 + 164x215 + 728x216 + 354x217 + 176x218 + 237x219 + 104x220 + 380x221 + 471x222 + 624x223 + 468x224 + 384x225 + 145x226 + 361x227 + 870x228 + 117x229 + 113x230 + 277x231 + 727x232 + 308x233 + 474x234 + 476x235 + 598x236 + 236x237 + 10x238 + 888x239 + 657x240 + 381x241 + 875x242 + 242x243 + 556x244 + 773x245 + 796x246 + 111x247 + 10x248 + 884x249 + 258x250 <= 62935 
constr3: + 344x1 + 156x2 + 178x3 + 903x4 + 602x5 + 236x6 + 876x7 + 425x8 + 179x9 + 272x10 + 520x11 + 832x12 + 166x13 + 215x14 + 674x15 + 275x16 + 170x17 + 486x18 + 612x19 + 733x20 + 91x21 + 461x22 + 833x23 + 939x24 + 768x25 + 613x26 + 936x27 + 471x28 + 610x29 + 740x30 + 17x31 + 257x32 + 254x33 + 458x34 + 522x35 + 55x36 + 174x37 + 475x38 + 799x39 + 208x40 + 196x41 + 868x42 + 460x43 + 901x44 + 363x45 + 530x46 + 459x47 + 130x48 + 51x49 + 302x50 + 932x51 + 176x52 + 851x53 + 488x54 + 784x55 + 315x56 + 805x57 + 447x58 + 836x59 + 179x60 + 896x61 + 461x62 + 446x63 + 35x64 + 537x65 + 986x66 + 321x67 + 555x68 + 192x69 + 336x70 + 609x71 + 719x72 + 946x73 + 256x74 + 294x75 + 348x76 + 546x77 + 319x78 + 809x79 + 15x80 + 183x81 + 123x82 + 760x83 + 628x84 + 84x85 + 604x86 + 514x87 + 311x88 + 418x89 + 683x90 + 297x91 + 885x92 + 574x93 + 716x94 + 667x95 + 536x96 + 91x97 + 948x98 + 816x99 + 93x100 + 830x101 + 920x102 + 129x103 + 862x104 + 140x105 + 115x106 + 837x107 + 287x108 + 148x109 + 678x110 + 564x111 + 10x112 + 901x113 + 838x114 + 992x115 + 665x116 + 54x117 + 168x118 + 614x119 + 455x120 + 447x121 + 763x122 + 945x123 + 134x124 + 475x125 + 938x126 + 905x127 + 615x128 + 459x129 + 910x130 + 630x131 + 596x132 + 602x133 + 77x134 + 792x135 + 93x136 + 138x137 + 182x138 + 291x139 + 765x140 + 634x141 + 912x142 + 99x143 + 746x144 + 189x145 + 695x146 + 283x147 + 495x148 + 217x149 + 980x150 + 54x151 + 131x152 + 541x153 + 23x154 + 858x155 + 174x156 + 392x157 + 302x158 + 224x159 + 143x160 + 65x161 + 802x162 + 149x163 + 855x164 + 211x165 + 631x166 + 798x167 + 420x168 + 181x169 + 88x170 + 614x171 + 229x172 + 963x173 + 69x174 + 399x175 + 105x176 + 679x177 + 300x178 + 442x179 + 30x180 + 61x181 + 889x182 + 568x183 + 203x184 + 762x185 + 854x186 + 341x187 + 421x188 + 451x189 + 960x190 + 991x191 + 314x192 + 981x193 + 144x194 + 371x195 + 600x196 + 161x197 + 381x198 + 954x199 + 98x200 + 923x201 + 522x202 + 918x203 + 760x204 + 55x205 + 635x206 + 984x207 + 821x208 + 115x209 + 856x210 + 501x211 + 582x212 + 339x213 + 414x214 + 268x215 + 854x216 + 288x217 + 776x218 + 849x219 + 923x220 + 206x221 + 809x222 + 647x223 + 102x224 + 624x225 + 583x226 + 592x227 + 725x228 + 684x229 + 335x230 + 141x231 + 705x232 + 830x233 + 67x234 + 772x235 + 143x236 + 934x237 + 613x238 + 445x239 + 112x240 + 122x241 + 152x242 + 411x243 + 327x244 + 298x245 + 51x246 + 36x247 + 822x248 + 710x249 + 134x250 <= 61563 
constr4: + 58x1 + 158x2 + 713x3 + 714x4 + 433x5 + 185x6 + 255x7 + 954x8 + 671x9 + 971x10 + 840x11 + 915x12 + 28x13 + 110x14 + 914x15 + 305x16 + 613x17 + 694x18 + 127x19 + 663x20 + 406x21 + 77x22 + 635x23 + 300x24 + 165x25 + 492x26 + 888x27 + 370x28 + 780x29 + 930x30 + 707x31 + 690x32 + 493x33 + 749x34 + 365x35 + 106x36 + 116x37 + 337x38 + 34x39 + 403x40 + 470x41 + 316x42 + 770x43 + 251x44 + 596x45 + 654x46 + 833x47 + 493x48 + 710x49 + 977x50 + 95x51 + 658x52 + 72x53 + 829x54 + 231x55 + 222x56 + 518x57 + 896x58 + 665x59 + 507x60 + 39x61 + 928x62 + 78x63 + 823x64 + 803x65 + 265x66 + 431x67 + 45x68 + 196x69 + 694x70 + 669x71 + 845x72 + 606x73 + 24x74 + 496x75 + 851x76 + 767x77 + 408x78 + 583x79 + 104x80 + 518x81 + 476x82 + 137x83 + 11x84 + 724x85 + 188x86 + 368x87 + 925x88 + 155x89 + 195x90 + 521x91 + 496x92 + 593x93 + 732x94 + 893x95 + 279x96 + 939x97 + 210x98 + 232x99 + 450x100 + 418x101 + 885x102 + 746x103 + 56x104 + 759x105 + 351x106 + 321x107 + 531x108 + 302x109 + 427x110 + 483x111 + 482x112 + 628x113 + 849x114 + 118x115 + 82x116 + 321x117 + 514x118 + 910x119 + 202x120 + 245x121 + 716x122 + 618x123 + 282x124 + 338x125 + 509x126 + 974x127 + 337x128 + 293x129 + 623x130 + 102x131 + 353x132 + 885x133 + 697x134 + 712x135 + 76x136 + 888x137 + 696x138 + 799x139 + 291x140 + 392x141 + 456x142 + 255x143 + 3x144 + 537x145 + 821x146 + 148x147 + 343x148 + 648x149 + 553x150 + 426x151 + 572x152 + 235x153 + 91x154 + 202x155 + 383x156 + 459x157 + 580x158 + 706x159 + 471x160 + 306x161 + 154x162 + 698x163 + 667x164 + 61x165 + 368x166 + 414x167 + 674x168 + 393x169 + 460x170 + 336x171 + 708x172 + 54x173 + 463x174 + 18x175 + 308x176 + 252x177 + 195x178 + 892x179 + 147x180 + 312x181 + 271x182 + 346x183 + 819x184 + 781x185 + 562x186 + 771x187 + 969x188 + 35x189 + 25x190 + 713x191 + 953x192 + 554x193 + 521x194 + 692x195 + 182x196 + 771x197 + 363x198 + 942x199 + 880x200 + 187x201 + 419x202 + 589x203 + 773x204 + 663x205 + 568x206 + 363x207 + 764x208 + 294x209 + 841x210 + 566x211 + 724x212 + 818x213 + 860x214 + 807x215 + 992x216 + 284x217 + 903x218 + 907x219 + 855x220 + 507x221 + 75x222 + 715x223 + 549x224 + 892x225 + 980x226 + 76x227 + 340x228 + 663x229 + 298x230 + 710x231 + 528x232 + 389x233 + 653x234 + 231x235 + 126x236 + 419x237 + 650x238 + 444x239 + 539x240 + 86x241 + 936x242 + 634x243 + 956x244 + 29x245 + 898x246 + 345x247 + 401x248 + 584x249 + 731x250 <= 57776 
constr5: + 152x1 + 206x2 + 755x3 + 621x4 + 172x5 + 467x6 + 104x7 + 724x8 + 469x9 + 744x10 + 83x11 + 158x12 + 714x13 + 710x14 + 847x15 + 544x16 + 677x17 + 619x18 + 421x19 + 8x20 + 208x21 + 598x22 + 408x23 + 94x24 + 44x25 + 205x26 + 373x27 + 908x28 + 377x29 + 999x30 + 903x31 + 397x32 + 957x33 + 289x34 + 444x35 + 247x36 + 925x37 + 737x38 + 465x39 + 745x40 + 901x41 + 516x42 + 967x43 + 92x44 + 128x45 + 608x46 + 99x47 + 905x48 + 983x49 + 50x50 + 711x51 + 94x52 + 802x53 + 910x54 + 722x55 + 217x56 + 720x57 + 825x58 + 456x59 + 952x60 + 239x61 + 262x62 + 594x63 + 303x64 + 906x65 + 474x66 + 340x67 + 200x68 + 143x69 + 105x70 + 329x71 + 976x72 + 676x73 + 469x74 + 312x75 + 237x76 + 373x77 + 402x78 + 435x79 + 826x80 + 479x81 + 852x82 + 51x83 + 631x84 + 369x85 + 716x86 + 902x87 + 633x88 + 648x89 + 877x90 + 628x91 + 22x92 + 256x93 + 945x94 + 853x95 + 533x96 + 954x97 + 555x98 + 371x99 + 391x100 + 609x101 + 674x102 + 336x103 + 232x104 + 51x105 + 707x106 + 957x107 + 156x108 + 976x109 + 29x110 + 544x111 + 290x112 + 996x113 + 249x114 + 467x115 + 938x116 + 149x117 + 360x118 + 796x119 + 71x120 + 812x121 + 282x122 + 746x123 + 163x124 + 491x125 + 608x126 + 193x127 + 597x128 + 811x129 + 490x130 + 426x131 + 476x132 + 484x133 + 30x134 + 236x135 + 153x136 + 969x137 + 502x138 + 473x139 + 150x140 + 466x141 + 439x142 + 760x143 + 106x144 + 823x145 + 169x146 + 14x147 + 240x148 + 685x149 + 969x150 + 829x151 + 82x152 + 115x153 + 433x154 + 857x155 + 401x156 + 778x157 + 363x158 + 541x159 + 138x160 + 574x161 + 640x162 + 192x163 + 552x164 + 767x165 + 844x166 + 966x167 + 740x168 + 295x169 + 61x170 + 457x171 + 198x172 + 282x173 + 137x174 + 69x175 + 976x176 + 400x177 + 939x178 + 245x179 + 40x180 + 362x181 + 457x182 + 608x183 + 114x184 + 686x185 + 584x186 + 576x187 + 503x188 + 555x189 + 874x190 + 401x191 + 385x192 + 331x193 + 301x194 + 621x195 + 458x196 + 460x197 + 36x198 + 807x199 + 816x200 + 421x201 + 458x202 + 470x203 + 321x204 + 98x205 + 411x206 + 566x207 + 663x208 + 927x209 + 521x210 + 206x211 + 514x212 + 636x213 + 519x214 + 388x215 + 904x216 + 573x217 + 928x218 + 713x219 + 446x220 + 334x221 + 285x222 + 693x223 + 396x224 + 321x225 + 169x226 + 625x227 + 547x228 + 169x229 + 77x230 + 150x231 + 870x232 + 819x233 + 4x234 + 641x235 + 753x236 + 191x237 + 332x238 + 227x239 + 285x240 + 755x241 + 113x242 + 979x243 + 119x244 + 34x245 + 170x246 + 235x247 + 620x248 + 279x249 + 57x250 <= 62918 
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