minimize 
objective: s
subject to 
s1: s + 0.501000f1 + 0.001000f2 >= 93103.932000 
s2: s + 0.001000f1 + 0.501000f2 >= 93103.932000 
f1: -f1 + 748x1 + 565x2 + 1021x3 + 953x4 + 321x5 + 615x6 + 882x7 + 633x8 + 728x9 + 885x10 + 835x11 + 706x12 + 563x13 + 934x14 + 595x15 + 744x16 + 498x17 + 748x18 + 731x19 + 882x20 + 685x21 + 661x22 + 439x23 + 678x24 + 656x25 + 905x26 + 819x27 + 1156x28 + 478x29 + 754x30 + 855x31 + 793x32 + 458x33 + 1101x34 + 448x35 + 702x36 + 682x37 + 717x38 + 481x39 + 688x40 + 934x41 + 494x42 + 820x43 + 542x44 + 1029x45 + 600x46 + 1179x47 + 754x48 + 1157x49 + 752x50 + 973x51 + 989x52 + 703x53 + 870x54 + 754x55 + 542x56 + 880x57 + 801x58 + 909x59 + 779x60 + 570x61 + 956x62 + 541x63 + 752x64 + 726x65 + 325x66 + 808x67 + 991x68 + 603x69 + 484x70 + 489x71 + 876x72 + 440x73 + 864x74 + 677x75 + 857x76 + 842x77 + 628x78 + 959x79 + 844x80 + 1270x81 + 614x82 + 325x83 + 565x84 + 959x85 + 786x86 + 672x87 + 391x88 + 1165x89 + 680x90 + 685x91 + 736x92 + 398x93 + 733x94 + 705x95 + 937x96 + 834x97 + 789x98 + 613x99 + 1037x100 + 579x101 + 882x102 + 775x103 + 692x104 + 695x105 + 1079x106 + 904x107 + 1046x108 + 910x109 + 888x110 + 484x111 + 506x112 + 897x113 + 888x114 + 1067x115 + 1065x116 + 505x117 + 923x118 + 843x119 + 699x120 + 986x121 + 964x122 + 736x123 + 859x124 + 794x125 + 884x126 + 639x127 + 778x128 + 740x129 + 780x130 + 448x131 + 790x132 + 463x133 + 679x134 + 878x135 + 905x136 + 922x137 + 778x138 + 953x139 + 936x140 + 783x141 + 1131x142 + 682x143 + 905x144 + 873x145 + 753x146 + 586x147 + 965x148 + 571x149 + 644x150 + 1029x151 + 309x152 + 600x153 + 533x154 + 467x155 + 887x156 + 509x157 + 776x158 + 963x159 + 515x160 + 947x161 + 827x162 + 794x163 + 534x164 + 291x165 + 599x166 + 790x167 + 922x168 + 705x169 + 737x170 + 913x171 + 838x172 + 690x173 + 892x174 + 713x175 + 849x176 + 612x177 + 792x178 + 894x179 + 593x180 + 499x181 + 646x182 + 860x183 + 837x184 + 633x185 + 545x186 + 750x187 + 813x188 + 480x189 + 520x190 + 756x191 + 623x192 + 572x193 + 797x194 + 621x195 + 490x196 + 402x197 + 897x198 + 769x199 + 768x200 + 572x201 + 495x202 + 546x203 + 513x204 + 947x205 + 1020x206 + 708x207 + 975x208 + 543x209 + 948x210 + 1045x211 + 718x212 + 745x213 + 467x214 + 894x215 + 490x216 + 927x217 + 1123x218 + 563x219 + 492x220 + 891x221 + 645x222 + 588x223 + 623x224 + 567x225 + 841x226 + 583x227 + 545x228 + 667x229 + 610x230 + 521x231 + 719x232 + 707x233 + 737x234 + 1201x235 + 631x236 + 355x237 + 575x238 + 773x239 + 607x240 + 541x241 + 700x242 + 748x243 + 758x244 + 845x245 + 1215x246 + 1004x247 + 666x248 + 837x249 + 775x250  = 0 
f2: -f2 + 880x1 + 703x2 + 756x3 + 905x4 + 717x5 + 776x6 + 959x7 + 495x8 + 680x9 + 748x10 + 790x11 + 1131x12 + 690x13 + 402x14 + 953x15 + 440x16 + 947x17 + 758x18 + 754x19 + 934x20 + 1157x21 + 922x22 + 891x23 + 291x24 + 1156x25 + 614x26 + 570x27 + 728x28 + 708x29 + 844x30 + 533x31 + 439x32 + 506x33 + 855x34 + 593x35 + 600x36 + 705x37 + 841x38 + 631x39 + 1270x40 + 737x41 + 793x42 + 588x43 + 775x44 + 492x45 + 679x46 + 794x47 + 754x48 + 448x49 + 579x50 + 565x51 + 448x52 + 878x53 + 692x54 + 975x55 + 695x56 + 1004x57 + 913x58 + 494x59 + 922x60 + 633x61 + 623x62 + 718x63 + 819x64 + 1020x65 + 876x66 + 959x67 + 740x68 + 467x69 + 1215x70 + 567x71 + 748x72 + 948x73 + 667x74 + 873x75 + 894x76 + 882x77 + 744x78 + 644x79 + 769x80 + 827x81 + 813x82 + 834x83 + 545x84 + 842x85 + 705x86 + 905x87 + 963x88 + 1165x89 + 936x90 + 888x91 + 1079x92 + 837x93 + 719x94 + 745x95 + 478x96 + 882x97 + 700x98 + 778x99 + 621x100 + 888x101 + 490x102 + 575x103 + 509x104 + 699x105 + 838x106 + 750x107 + 513x108 + 904x109 + 752x110 + 685x111 + 534x112 + 498x113 + 884x114 + 794x115 + 1067x116 + 953x117 + 790x118 + 545x119 + 937x120 + 965x121 + 391x122 + 541x123 + 748x124 + 480x125 + 754x126 + 583x127 + 923x128 + 986x129 + 682x130 + 894x131 + 623x132 + 778x133 + 927x134 + 1179x135 + 484x136 + 325x137 + 586x138 + 572x139 + 857x140 + 542x141 + 783x142 + 484x143 + 731x144 + 463x145 + 1021x146 + 934x147 + 837x148 + 843x149 + 542x150 + 789x151 + 713x152 + 458x153 + 859x154 + 499x155 + 835x156 + 1029x157 + 910x158 + 786x159 + 737x160 + 639x161 + 706x162 + 600x163 + 505x164 + 546x165 + 820x166 + 541x167 + 752x168 + 870x169 + 864x170 + 989x171 + 666x172 + 1123x173 + 885x174 + 521x175 + 563x176 + 515x177 + 325x178 + 678x179 + 563x180 + 892x181 + 887x182 + 682x183 + 685x184 + 1201x185 + 481x186 + 1045x187 + 543x188 + 646x189 + 398x190 + 849x191 + 612x192 + 572x193 + 599x194 + 860x195 + 309x196 + 905x197 + 808x198 + 726x199 + 733x200 + 355x201 + 780x202 + 768x203 + 565x204 + 672x205 + 801x206 + 792x207 + 595x208 + 633x209 + 1029x210 + 603x211 + 845x212 + 661x213 + 628x214 + 321x215 + 882x216 + 1101x217 + 613x218 + 736x219 + 779x220 + 897x221 + 991x222 + 702x223 + 1065x224 + 677x225 + 973x226 + 909x227 + 571x228 + 489x229 + 947x230 + 897x231 + 615x232 + 610x233 + 736x234 + 467x235 + 490x236 + 1037x237 + 1046x238 + 520x239 + 707x240 + 753x241 + 964x242 + 656x243 + 956x244 + 688x245 + 775x246 + 797x247 + 607x248 + 645x249 + 773x250  = 0 
constr1: + 360x1 + 539x2 + 755x3 + 101x4 + 882x5 + 766x6 + 636x7 + 11x8 + 736x9 + 922x10 + 210x11 + 42x12 + 143x13 + 305x14 + 26x15 + 924x16 + 128x17 + 837x18 + 863x19 + 849x20 + 109x21 + 912x22 + 146x23 + 789x24 + 759x25 + 100x26 + 879x27 + 84x28 + 666x29 + 8x30 + 912x31 + 541x32 + 558x33 + 920x34 + 523x35 + 744x36 + 405x37 + 402x38 + 595x39 + 688x40 + 579x41 + 623x42 + 823x43 + 935x44 + 562x45 + 328x46 + 13x47 + 165x48 + 241x49 + 957x50 + 901x51 + 142x52 + 416x53 + 804x54 + 318x55 + 863x56 + 85x57 + 775x58 + 906x59 + 551x60 + 876x61 + 171x62 + 601x63 + 61x64 + 985x65 + 224x66 + 918x67 + 126x68 + 294x69 + 555x70 + 339x71 + 531x72 + 19x73 + 237x74 + 694x75 + 901x76 + 104x77 + 995x78 + 121x79 + 705x80 + 716x81 + 459x82 + 147x83 + 402x84 + 436x85 + 938x86 + 201x87 + 193x88 + 43x89 + 382x90 + 898x91 + 582x92 + 485x93 + 405x94 + 493x95 + 996x96 + 386x97 + 546x98 + 492x99 + 982x100 + 627x101 + 371x102 + 710x103 + 988x104 + 414x105 + 21x106 + 438x107 + 708x108 + 977x109 + 434x110 + 621x111 + 313x112 + 873x113 + 872x114 + 320x115 + 237x116 + 936x117 + 234x118 + 305x119 + 142x120 + 953x121 + 995x122 + 183x123 + 898x124 + 164x125 + 766x126 + 222x127 + 338x128 + 424x129 + 616x130 + 829x131 + 489x132 + 628x133 + 313x134 + 963x135 + 330x136 + 580x137 + 165x138 + 863x139 + 331x140 + 389x141 + 325x142 + 969x143 + 44x144 + 487x145 + 660x146 + 332x147 + 461x148 + 293x149 + 931x150 + 328x151 + 891x152 + 591x153 + 157x154 + 890x155 + 498x156 + 194x157 + 560x158 + 228x159 + 744x160 + 684x161 + 328x162 + 242x163 + 102x164 + 59x165 + 628x166 + 930x167 + 421x168 + 255x169 + 262x170 + 345x171 + 490x172 + 691x173 + 668x174 + 429x175 + 850x176 + 487x177 + 687x178 + 127x179 + 868x180 + 419x181 + 287x182 + 541x183 + 754x184 + 724x185 + 811x186 + 338x187 + 54x188 + 463x189 + 178x190 + 669x191 + 925x192 + 510x193 + 516x194 + 306x195 + 485x196 + 750x197 + 350x198 + 859x199 + 254x200 + 165x201 + 72x202 + 988x203 + 346x204 + 4x205 + 711x206 + 450x207 + 740x208 + 793x209 + 217x210 + 450x211 + 226x212 + 834x213 + 108x214 + 401x215 + 867x216 + 969x217 + 767x218 + 183x219 + 983x220 + 858x221 + 260x222 + 515x223 + 490x224 + 630x225 + 410x226 + 93x227 + 743x228 + 374x229 + 293x230 + 646x231 + 644x232 + 423x233 + 59x234 + 161x235 + 570x236 + 288x237 + 485x238 + 591x239 + 618x240 + 244x241 + 682x242 + 467x243 + 46x244 + 593x245 + 756x246 + 706x247 + 261x248 + 237x249 + 839x250 <= 63063 
constr2: + 223x1 + 827x2 + 190x3 + 244x4 + 558x5 + 779x6 + 467x7 + 222x8 + 323x9 + 638x10 + 136x11 + 340x12 + 530x13 + 493x14 + 611x15 + 71x16 + 289x17 + 653x18 + 273x19 + 170x20 + 557x21 + 727x22 + 693x23 + 163x24 + 345x25 + 45x26 + 214x27 + 331x28 + 835x29 + 744x30 + 475x31 + 478x32 + 711x33 + 81x34 + 830x35 + 753x36 + 705x37 + 519x38 + 617x39 + 304x40 + 796x41 + 210x42 + 548x43 + 994x44 + 709x45 + 289x46 + 162x47 + 531x48 + 277x49 + 520x50 + 783x51 + 681x52 + 864x53 + 848x54 + 379x55 + 154x56 + 720x57 + 644x58 + 204x59 + 610x60 + 537x61 + 663x62 + 589x63 + 438x64 + 780x65 + 560x66 + 113x67 + 608x68 + 363x69 + 449x70 + 822x71 + 89x72 + 160x73 + 531x74 + 681x75 + 297x76 + 548x77 + 394x78 + 446x79 + 606x80 + 8x81 + 488x82 + 909x83 + 598x84 + 902x85 + 771x86 + 940x87 + 485x88 + 142x89 + 702x90 + 199x91 + 845x92 + 24x93 + 672x94 + 24x95 + 777x96 + 564x97 + 351x98 + 359x99 + 25x100 + 532x101 + 571x102 + 777x103 + 316x104 + 37x105 + 699x106 + 984x107 + 999x108 + 896x109 + 721x110 + 806x111 + 936x112 + 548x113 + 933x114 + 802x115 + 248x116 + 175x117 + 362x118 + 407x119 + 973x120 + 545x121 + 754x122 + 327x123 + 748x124 + 728x125 + 699x126 + 380x127 + 439x128 + 985x129 + 655x130 + 248x131 + 211x132 + 684x133 + 77x134 + 690x135 + 255x136 + 444x137 + 153x138 + 32x139 + 308x140 + 1x141 + 141x142 + 331x143 + 464x144 + 207x145 + 413x146 + 206x147 + 417x148 + 820x149 + 979x150 + 93x151 + 345x152 + 418x153 + 448x154 + 309x155 + 487x156 + 944x157 + 862x158 + 696x159 + 904x160 + 745x161 + 86x162 + 358x163 + 296x164 + 618x165 + 493x166 + 442x167 + 483x168 + 342x169 + 518x170 + 226x171 + 122x172 + 280x173 + 326x174 + 316x175 + 974x176 + 315x177 + 833x178 + 690x179 + 111x180 + 371x181 + 248x182 + 748x183 + 98x184 + 33x185 + 313x186 + 993x187 + 685x188 + 210x189 + 82x190 + 292x191 + 723x192 + 102x193 + 606x194 + 782x195 + 862x196 + 376x197 + 77x198 + 424x199 + 951x200 + 777x201 + 992x202 + 325x203 + 23x204 + 315x205 + 676x206 + 802x207 + 556x208 + 286x209 + 978x210 + 485x211 + 955x212 + 301x213 + 57x214 + 871x215 + 568x216 + 678x217 + 59x218 + 818x219 + 423x220 + 693x221 + 776x222 + 929x223 + 521x224 + 326x225 + 590x226 + 50x227 + 645x228 + 628x229 + 347x230 + 237x231 + 148x232 + 350x233 + 729x234 + 682x235 + 820x236 + 91x237 + 855x238 + 804x239 + 368x240 + 785x241 + 279x242 + 880x243 + 868x244 + 482x245 + 556x246 + 700x247 + 163x248 + 730x249 + 208x250 <= 62335 
constr3: + 357x1 + 90x2 + 221x3 + 495x4 + 120x5 + 632x6 + 122x7 + 771x8 + 319x9 + 521x10 + 658x11 + 942x12 + 477x13 + 511x14 + 183x15 + 393x16 + 763x17 + 246x18 + 147x19 + 164x20 + 405x21 + 586x22 + 518x23 + 312x24 + 99x25 + 140x26 + 183x27 + 842x28 + 380x29 + 860x30 + 741x31 + 564x32 + 923x33 + 374x34 + 291x35 + 724x36 + 375x37 + 693x38 + 806x39 + 82x40 + 620x41 + 632x42 + 679x43 + 699x44 + 212x45 + 528x46 + 806x47 + 311x48 + 108x49 + 29x50 + 645x51 + 539x52 + 839x53 + 508x54 + 601x55 + 845x56 + 547x57 + 441x58 + 423x59 + 779x60 + 565x61 + 244x62 + 651x63 + 715x64 + 197x65 + 230x66 + 16x67 + 578x68 + 146x69 + 777x70 + 615x71 + 812x72 + 869x73 + 617x74 + 384x75 + 790x76 + 757x77 + 846x78 + 138x79 + 533x80 + 350x81 + 748x82 + 395x83 + 477x84 + 25x85 + 729x86 + 950x87 + 162x88 + 738x89 + 340x90 + 48x91 + 558x92 + 972x93 + 790x94 + 929x95 + 15x96 + 373x97 + 859x98 + 932x99 + 55x100 + 857x101 + 125x102 + 309x103 + 865x104 + 208x105 + 437x106 + 326x107 + 391x108 + 696x109 + 449x110 + 321x111 + 965x112 + 161x113 + 629x114 + 2x115 + 603x116 + 211x117 + 17x118 + 668x119 + 437x120 + 912x121 + 670x122 + 761x123 + 827x124 + 857x125 + 393x126 + 447x127 + 952x128 + 370x129 + 204x130 + 182x131 + 708x132 + 581x133 + 336x134 + 338x135 + 153x136 + 351x137 + 491x138 + 128x139 + 694x140 + 725x141 + 681x142 + 955x143 + 909x144 + 14x145 + 101x146 + 613x147 + 165x148 + 526x149 + 805x150 + 781x151 + 479x152 + 646x153 + 399x154 + 107x155 + 858x156 + 356x157 + 845x158 + 300x159 + 646x160 + 908x161 + 186x162 + 679x163 + 873x164 + 805x165 + 370x166 + 372x167 + 219x168 + 666x169 + 388x170 + 952x171 + 979x172 + 189x173 + 479x174 + 562x175 + 374x176 + 339x177 + 38x178 + 442x179 + 587x180 + 512x181 + 348x182 + 839x183 + 568x184 + 706x185 + 542x186 + 398x187 + 403x188 + 22x189 + 763x190 + 738x191 + 457x192 + 435x193 + 932x194 + 478x195 + 438x196 + 592x197 + 780x198 + 468x199 + 241x200 + 623x201 + 247x202 + 564x203 + 541x204 + 311x205 + 907x206 + 420x207 + 232x208 + 602x209 + 359x210 + 82x211 + 685x212 + 595x213 + 727x214 + 243x215 + 848x216 + 198x217 + 555x218 + 89x219 + 533x220 + 982x221 + 354x222 + 231x223 + 72x224 + 432x225 + 315x226 + 405x227 + 307x228 + 192x229 + 478x230 + 441x231 + 330x232 + 887x233 + 396x234 + 36x235 + 694x236 + 194x237 + 852x238 + 193x239 + 827x240 + 298x241 + 889x242 + 125x243 + 755x244 + 543x245 + 149x246 + 384x247 + 632x248 + 649x249 + 639x250 <= 63934 
constr4: + 557x1 + 536x2 + 649x3 + 921x4 + 840x5 + 496x6 + 543x7 + 46x8 + 883x9 + 983x10 + 752x11 + 577x12 + 238x13 + 336x14 + 886x15 + 93x16 + 257x17 + 820x18 + 638x19 + 711x20 + 953x21 + 716x22 + 850x23 + 860x24 + 255x25 + 135x26 + 102x27 + 36x28 + 589x29 + 404x30 + 147x31 + 403x32 + 440x33 + 663x34 + 334x35 + 795x36 + 700x37 + 381x38 + 551x39 + 979x40 + 67x41 + 102x42 + 305x43 + 102x44 + 980x45 + 838x46 + 469x47 + 989x48 + 300x49 + 258x50 + 141x51 + 635x52 + 662x53 + 931x54 + 569x55 + 587x56 + 722x57 + 172x58 + 83x59 + 777x60 + 215x61 + 124x62 + 164x63 + 427x64 + 56x65 + 539x66 + 516x67 + 358x68 + 552x69 + 908x70 + 107x71 + 625x72 + 22x73 + 712x74 + 817x75 + 907x76 + 840x77 + 725x78 + 821x79 + 771x80 + 632x81 + 88x82 + 568x83 + 660x84 + 743x85 + 328x86 + 168x87 + 5x88 + 620x89 + 767x90 + 220x91 + 858x92 + 971x93 + 912x94 + 123x95 + 533x96 + 14x97 + 738x98 + 803x99 + 635x100 + 477x101 + 350x102 + 611x103 + 510x104 + 141x105 + 42x106 + 936x107 + 350x108 + 739x109 + 900x110 + 600x111 + 744x112 + 773x113 + 78x114 + 648x115 + 522x116 + 229x117 + 949x118 + 438x119 + 468x120 + 405x121 + 32x122 + 591x123 + 734x124 + 882x125 + 56x126 + 687x127 + 697x128 + 281x129 + 525x130 + 739x131 + 840x132 + 226x133 + 283x134 + 246x135 + 116x136 + 712x137 + 623x138 + 246x139 + 521x140 + 268x141 + 268x142 + 12x143 + 90x144 + 836x145 + 756x146 + 510x147 + 989x148 + 663x149 + 904x150 + 421x151 + 510x152 + 127x153 + 302x154 + 982x155 + 125x156 + 411x157 + 150x158 + 146x159 + 848x160 + 650x161 + 619x162 + 340x163 + 991x164 + 832x165 + 354x166 + 214x167 + 730x168 + 77x169 + 829x170 + 195x171 + 3x172 + 299x173 + 877x174 + 354x175 + 875x176 + 597x177 + 33x178 + 448x179 + 557x180 + 566x181 + 377x182 + 476x183 + 245x184 + 727x185 + 602x186 + 575x187 + 16x188 + 303x189 + 392x190 + 730x191 + 953x192 + 272x193 + 661x194 + 182x195 + 831x196 + 534x197 + 52x198 + 33x199 + 824x200 + 943x201 + 565x202 + 702x203 + 644x204 + 145x205 + 542x206 + 635x207 + 346x208 + 583x209 + 46x210 + 463x211 + 987x212 + 129x213 + 162x214 + 282x215 + 969x216 + 439x217 + 876x218 + 723x219 + 117x220 + 741x221 + 751x222 + 528x223 + 700x224 + 428x225 + 283x226 + 848x227 + 904x228 + 316x229 + 169x230 + 241x231 + 750x232 + 139x233 + 350x234 + 553x235 + 324x236 + 861x237 + 920x238 + 717x239 + 559x240 + 522x241 + 387x242 + 652x243 + 302x244 + 57x245 + 49x246 + 769x247 + 552x248 + 159x249 + 59x250 <= 62947 
constr5: + 353x1 + 487x2 + 461x3 + 809x4 + 807x5 + 145x6 + 175x7 + 51x8 + 749x9 + 301x10 + 752x11 + 780x12 + 829x13 + 692x14 + 814x15 + 177x16 + 859x17 + 106x18 + 424x19 + 955x20 + 621x21 + 535x22 + 573x23 + 699x24 + 917x25 + 713x26 + 623x27 + 814x28 + 833x29 + 758x30 + 397x31 + 543x32 + 421x33 + 980x34 + 876x35 + 343x36 + 422x37 + 927x38 + 419x39 + 549x40 + 486x41 + 894x42 + 314x43 + 14x44 + 87x45 + 517x46 + 409x47 + 780x48 + 120x49 + 496x50 + 111x51 + 38x52 + 449x53 + 557x54 + 41x55 + 724x56 + 15x57 + 78x58 + 216x59 + 456x60 + 454x61 + 474x62 + 855x63 + 803x64 + 394x65 + 306x66 + 593x67 + 965x68 + 436x69 + 82x70 + 253x71 + 923x72 + 918x73 + 990x74 + 71x75 + 751x76 + 862x77 + 161x78 + 111x79 + 249x80 + 570x81 + 164x82 + 89x83 + 191x84 + 824x85 + 251x86 + 351x87 + 101x88 + 371x89 + 520x90 + 112x91 + 29x92 + 741x93 + 117x94 + 591x95 + 615x96 + 840x97 + 130x98 + 501x99 + 517x100 + 354x101 + 579x102 + 461x103 + 830x104 + 748x105 + 623x106 + 193x107 + 535x108 + 698x109 + 480x110 + 656x111 + 696x112 + 161x113 + 14x114 + 148x115 + 469x116 + 979x117 + 171x118 + 302x119 + 743x120 + 994x121 + 229x122 + 537x123 + 142x124 + 349x125 + 974x126 + 743x127 + 960x128 + 630x129 + 668x130 + 62x131 + 39x132 + 64x133 + 16x134 + 625x135 + 901x136 + 290x137 + 607x138 + 263x139 + 807x140 + 829x141 + 730x142 + 580x143 + 210x144 + 917x145 + 270x146 + 730x147 + 288x148 + 761x149 + 499x150 + 421x151 + 769x152 + 195x153 + 879x154 + 130x155 + 995x156 + 856x157 + 270x158 + 478x159 + 32x160 + 941x161 + 152x162 + 926x163 + 90x164 + 678x165 + 698x166 + 522x167 + 512x168 + 621x169 + 775x170 + 673x171 + 830x172 + 941x173 + 567x174 + 380x175 + 622x176 + 701x177 + 476x178 + 154x179 + 657x180 + 780x181 + 125x182 + 271x183 + 276x184 + 895x185 + 460x186 + 875x187 + 451x188 + 292x189 + 862x190 + 924x191 + 535x192 + 788x193 + 366x194 + 316x195 + 359x196 + 763x197 + 560x198 + 961x199 + 480x200 + 200x201 + 511x202 + 767x203 + 996x204 + 947x205 + 351x206 + 118x207 + 973x208 + 914x209 + 656x210 + 852x211 + 711x212 + 794x213 + 799x214 + 673x215 + 335x216 + 782x217 + 749x218 + 173x219 + 662x220 + 913x221 + 76x222 + 241x223 + 612x224 + 725x225 + 646x226 + 640x227 + 661x228 + 575x229 + 476x230 + 13x231 + 132x232 + 17x233 + 751x234 + 2x235 + 986x236 + 142x237 + 73x238 + 52x239 + 814x240 + 796x241 + 154x242 + 672x243 + 643x244 + 787x245 + 746x246 + 948x247 + 763x248 + 152x249 + 842x250 <= 63692 
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