minimize 
objective: s
subject to 
s1: s + 0.501000f1 + 0.001000f2 >= 94407.124000 
s2: s + 0.001000f1 + 0.501000f2 >= 94407.124000 
f1: -f1 + 603x1 + 907x2 + 658x3 + 677x4 + 602x5 + 723x6 + 560x7 + 1075x8 + 384x9 + 361x10 + 734x11 + 663x12 + 493x13 + 789x14 + 849x15 + 689x16 + 804x17 + 955x18 + 887x19 + 941x20 + 635x21 + 805x22 + 775x23 + 508x24 + 1028x25 + 820x26 + 1167x27 + 787x28 + 924x29 + 709x30 + 621x31 + 799x32 + 443x33 + 416x34 + 681x35 + 694x36 + 1295x37 + 623x38 + 741x39 + 795x40 + 784x41 + 695x42 + 767x43 + 751x44 + 974x45 + 836x46 + 656x47 + 543x48 + 498x49 + 1149x50 + 815x51 + 726x52 + 664x53 + 588x54 + 730x55 + 844x56 + 753x57 + 807x58 + 739x59 + 461x60 + 844x61 + 358x62 + 582x63 + 953x64 + 599x65 + 1075x66 + 442x67 + 552x68 + 971x69 + 668x70 + 675x71 + 535x72 + 1060x73 + 748x74 + 547x75 + 612x76 + 708x77 + 1039x78 + 888x79 + 893x80 + 759x81 + 1050x82 + 555x83 + 967x84 + 514x85 + 653x86 + 961x87 + 766x88 + 776x89 + 496x90 + 801x91 + 516x92 + 942x93 + 519x94 + 893x95 + 638x96 + 622x97 + 939x98 + 875x99 + 444x100 + 752x101 + 949x102 + 834x103 + 602x104 + 647x105 + 718x106 + 597x107 + 962x108 + 706x109 + 710x110 + 951x111 + 603x112 + 639x113 + 560x114 + 798x115 + 974x116 + 690x117 + 886x118 + 723x119 + 1206x120 + 746x121 + 861x122 + 995x123 + 649x124 + 900x125 + 896x126 + 603x127 + 781x128 + 706x129 + 1173x130 + 663x131 + 859x132 + 849x133 + 516x134 + 995x135 + 724x136 + 943x137 + 933x138 + 659x139 + 751x140 + 559x141 + 791x142 + 1234x143 + 614x144 + 827x145 + 792x146 + 675x147 + 751x148 + 812x149 + 711x150 + 724x151 + 489x152 + 805x153 + 797x154 + 737x155 + 619x156 + 983x157 + 648x158 + 287x159 + 282x160 + 604x161 + 939x162 + 751x163 + 611x164 + 1021x165 + 872x166 + 957x167 + 966x168 + 823x169 + 906x170 + 1112x171 + 713x172 + 1009x173 + 887x174 + 776x175 + 650x176 + 797x177 + 793x178 + 917x179 + 576x180 + 729x181 + 771x182 + 684x183 + 842x184 + 605x185 + 965x186 + 739x187 + 503x188 + 471x189 + 802x190 + 513x191 + 835x192 + 657x193 + 403x194 + 685x195 + 932x196 + 737x197 + 441x198 + 819x199 + 757x200 + 808x201 + 564x202 + 419x203 + 1040x204 + 714x205 + 431x206 + 870x207 + 733x208 + 496x209 + 1146x210 + 800x211 + 832x212 + 822x213 + 401x214 + 799x215 + 854x216 + 430x217 + 926x218 + 922x219 + 737x220 + 522x221 + 590x222 + 803x223 + 573x224 + 654x225 + 755x226 + 981x227 + 716x228 + 633x229 + 801x230 + 811x231 + 458x232 + 1175x233 + 425x234 + 454x235 + 1176x236 + 1032x237 + 926x238 + 505x239 + 750x240 + 843x241 + 650x242 + 884x243 + 1119x244 + 902x245 + 733x246 + 586x247 + 881x248 + 814x249 + 915x250  = 0 
f2: -f2 + 588x1 + 907x2 + 906x3 + 844x4 + 787x5 + 771x6 + 419x7 + 893x8 + 685x9 + 781x10 + 893x11 + 812x12 + 776x13 + 995x14 + 797x15 + 635x16 + 401x17 + 965x18 + 695x19 + 751x20 + 516x21 + 560x22 + 714x23 + 1206x24 + 800x25 + 751x26 + 802x27 + 659x28 + 888x29 + 614x30 + 955x31 + 798x32 + 582x33 + 603x34 + 514x35 + 834x36 + 776x37 + 633x38 + 677x39 + 881x40 + 799x41 + 603x42 + 287x43 + 939x44 + 752x45 + 430x46 + 675x47 + 733x48 + 823x49 + 649x50 + 1050x51 + 403x52 + 425x53 + 751x54 + 496x55 + 690x56 + 750x57 + 547x58 + 654x59 + 442x60 + 1032x61 + 431x62 + 872x63 + 552x64 + 597x65 + 657x66 + 650x67 + 792x68 + 443x69 + 576x70 + 730x71 + 832x72 + 804x73 + 508x74 + 799x75 + 807x76 + 751x77 + 966x78 + 361x79 + 1021x80 + 902x81 + 887x82 + 729x83 + 933x84 + 803x85 + 458x86 + 974x87 + 854x88 + 733x89 + 726x90 + 943x91 + 543x92 + 522x93 + 757x94 + 1146x95 + 694x96 + 805x97 + 737x98 + 808x99 + 358x100 + 723x101 + 723x102 + 709x103 + 849x104 + 461x105 + 706x106 + 658x107 + 444x108 + 961x109 + 1173x110 + 734x111 + 822x112 + 1028x113 + 708x114 + 926x115 + 656x116 + 844x117 + 755x118 + 748x119 + 849x120 + 638x121 + 759x122 + 668x123 + 926x124 + 814x125 + 711x126 + 886x127 + 282x128 + 1039x129 + 663x130 + 416x131 + 746x132 + 835x133 + 795x134 + 784x135 + 896x136 + 724x137 + 951x138 + 884x139 + 724x140 + 599x141 + 454x142 + 1112x143 + 789x144 + 505x145 + 602x146 + 535x147 + 971x148 + 603x149 + 1009x150 + 689x151 + 441x152 + 836x153 + 604x154 + 573x155 + 819x156 + 981x157 + 870x158 + 716x159 + 1167x160 + 706x161 + 922x162 + 739x163 + 753x164 + 663x165 + 1175x166 + 843x167 + 793x168 + 815x169 + 496x170 + 664x171 + 513x172 + 612x173 + 498x174 + 949x175 + 622x176 + 647x177 + 621x178 + 1060x179 + 741x180 + 602x181 + 1149x182 + 827x183 + 555x184 + 924x185 + 611x186 + 560x187 + 384x188 + 737x189 + 915x190 + 516x191 + 801x192 + 639x193 + 797x194 + 619x195 + 962x196 + 820x197 + 801x198 + 710x199 + 493x200 + 503x201 + 957x202 + 605x203 + 1040x204 + 887x205 + 519x206 + 875x207 + 718x208 + 653x209 + 675x210 + 648x211 + 861x212 + 967x213 + 713x214 + 586x215 + 805x216 + 917x217 + 1075x218 + 859x219 + 559x220 + 811x221 + 900x222 + 983x223 + 974x224 + 941x225 + 766x226 + 953x227 + 842x228 + 1119x229 + 1176x230 + 995x231 + 471x232 + 939x233 + 932x234 + 775x235 + 681x236 + 623x237 + 739x238 + 737x239 + 1075x240 + 942x241 + 1234x242 + 767x243 + 1295x244 + 650x245 + 489x246 + 791x247 + 684x248 + 590x249 + 564x250  = 0 
constr1: + 392x1 + 241x2 + 822x3 + 743x4 + 853x5 + 756x6 + 620x7 + 841x8 + 35x9 + 54x10 + 109x11 + 759x12 + 944x13 + 898x14 + 72x15 + 476x16 + 929x17 + 938x18 + 630x19 + 999x20 + 145x21 + 664x22 + 701x23 + 832x24 + 491x25 + 303x26 + 88x27 + 590x28 + 249x29 + 798x30 + 648x31 + 599x32 + 160x33 + 354x34 + 746x35 + 309x36 + 922x37 + 337x38 + 878x39 + 841x40 + 218x41 + 983x42 + 635x43 + 961x44 + 749x45 + 137x46 + 612x47 + 786x48 + 510x49 + 19x50 + 457x51 + 212x52 + 22x53 + 91x54 + 62x55 + 536x56 + 150x57 + 393x58 + 140x59 + 395x60 + 589x61 + 766x62 + 906x63 + 744x64 + 512x65 + 40x66 + 314x67 + 599x68 + 757x69 + 271x70 + 132x71 + 968x72 + 743x73 + 634x74 + 443x75 + 911x76 + 951x77 + 327x78 + 90x79 + 244x80 + 559x81 + 229x82 + 341x83 + 306x84 + 350x85 + 313x86 + 71x87 + 860x88 + 571x89 + 571x90 + 575x91 + 78x92 + 730x93 + 847x94 + 546x95 + 34x96 + 424x97 + 547x98 + 400x99 + 398x100 + 840x101 + 332x102 + 174x103 + 430x104 + 929x105 + 912x106 + 127x107 + 846x108 + 742x109 + 954x110 + 154x111 + 572x112 + 11x113 + 935x114 + 402x115 + 624x116 + 145x117 + 36x118 + 113x119 + 843x120 + 113x121 + 172x122 + 154x123 + 288x124 + 784x125 + 770x126 + 657x127 + 870x128 + 255x129 + 60x130 + 907x131 + 537x132 + 416x133 + 386x134 + 909x135 + 564x136 + 481x137 + 353x138 + 78x139 + 592x140 + 617x141 + 59x142 + 101x143 + 386x144 + 492x145 + 371x146 + 329x147 + 950x148 + 958x149 + 282x150 + 378x151 + 117x152 + 897x153 + 235x154 + 131x155 + 648x156 + 399x157 + 583x158 + 973x159 + 11x160 + 127x161 + 393x162 + 771x163 + 289x164 + 344x165 + 847x166 + 656x167 + 834x168 + 95x169 + 429x170 + 184x171 + 340x172 + 449x173 + 162x174 + 105x175 + 357x176 + 311x177 + 703x178 + 1x179 + 813x180 + 413x181 + 788x182 + 476x183 + 443x184 + 658x185 + 666x186 + 260x187 + 527x188 + 62x189 + 118x190 + 112x191 + 810x192 + 77x193 + 531x194 + 120x195 + 669x196 + 782x197 + 381x198 + 311x199 + 526x200 + 618x201 + 780x202 + 830x203 + 99x204 + 109x205 + 639x206 + 224x207 + 285x208 + 239x209 + 501x210 + 633x211 + 180x212 + 208x213 + 683x214 + 198x215 + 405x216 + 126x217 + 303x218 + 556x219 + 500x220 + 870x221 + 759x222 + 568x223 + 746x224 + 836x225 + 162x226 + 187x227 + 901x228 + 731x229 + 202x230 + 954x231 + 290x232 + 123x233 + 446x234 + 662x235 + 549x236 + 311x237 + 882x238 + 161x239 + 795x240 + 730x241 + 35x242 + 404x243 + 68x244 + 109x245 + 805x246 + 376x247 + 946x248 + 714x249 + 156x250 <= 65908 
constr2: + 713x1 + 356x2 + 205x3 + 857x4 + 372x5 + 838x6 + 531x7 + 772x8 + 691x9 + 207x10 + 367x11 + 48x12 + 829x13 + 605x14 + 373x15 + 59x16 + 790x17 + 942x18 + 710x19 + 663x20 + 853x21 + 681x22 + 769x23 + 920x24 + 751x25 + 884x26 + 570x27 + 255x28 + 416x29 + 329x30 + 195x31 + 636x32 + 774x33 + 391x34 + 508x35 + 214x36 + 148x37 + 482x38 + 276x39 + 547x40 + 807x41 + 355x42 + 870x43 + 167x44 + 643x45 + 927x46 + 523x47 + 669x48 + 43x49 + 215x50 + 538x51 + 271x52 + 219x53 + 914x54 + 576x55 + 598x56 + 390x57 + 797x58 + 207x59 + 120x60 + 959x61 + 854x62 + 361x63 + 396x64 + 313x65 + 764x66 + 882x67 + 223x68 + 581x69 + 736x70 + 911x71 + 309x72 + 39x73 + 640x74 + 648x75 + 416x76 + 56x77 + 999x78 + 487x79 + 225x80 + 906x81 + 294x82 + 591x83 + 71x84 + 286x85 + 161x86 + 443x87 + 122x88 + 749x89 + 474x90 + 300x91 + 462x92 + 225x93 + 263x94 + 65x95 + 489x96 + 57x97 + 940x98 + 668x99 + 252x100 + 976x101 + 70x102 + 633x103 + 506x104 + 331x105 + 956x106 + 902x107 + 818x108 + 877x109 + 94x110 + 305x111 + 732x112 + 115x113 + 83x114 + 125x115 + 622x116 + 942x117 + 605x118 + 827x119 + 941x120 + 164x121 + 172x122 + 809x123 + 418x124 + 526x125 + 459x126 + 915x127 + 306x128 + 984x129 + 261x130 + 36x131 + 820x132 + 571x133 + 918x134 + 316x135 + 817x136 + 179x137 + 81x138 + 583x139 + 622x140 + 616x141 + 517x142 + 458x143 + 41x144 + 957x145 + 831x146 + 757x147 + 941x148 + 10x149 + 230x150 + 87x151 + 574x152 + 755x153 + 954x154 + 749x155 + 812x156 + 37x157 + 915x158 + 32x159 + 384x160 + 925x161 + 417x162 + 50x163 + 440x164 + 775x165 + 511x166 + 343x167 + 835x168 + 95x169 + 438x170 + 76x171 + 300x172 + 418x173 + 67x174 + 401x175 + 70x176 + 970x177 + 969x178 + 230x179 + 500x180 + 716x181 + 213x182 + 96x183 + 614x184 + 426x185 + 300x186 + 568x187 + 460x188 + 640x189 + 525x190 + 744x191 + 795x192 + 424x193 + 278x194 + 597x195 + 776x196 + 396x197 + 577x198 + 843x199 + 920x200 + 143x201 + 795x202 + 820x203 + 475x204 + 131x205 + 344x206 + 103x207 + 813x208 + 777x209 + 809x210 + 113x211 + 459x212 + 219x213 + 65x214 + 701x215 + 957x216 + 169x217 + 570x218 + 3x219 + 97x220 + 614x221 + 755x222 + 586x223 + 914x224 + 112x225 + 598x226 + 693x227 + 715x228 + 642x229 + 572x230 + 383x231 + 503x232 + 171x233 + 336x234 + 383x235 + 460x236 + 699x237 + 140x238 + 739x239 + 795x240 + 249x241 + 239x242 + 565x243 + 897x244 + 310x245 + 257x246 + 494x247 + 339x248 + 688x249 + 5x250 <= 61671 
constr3: + 701x1 + 252x2 + 29x3 + 915x4 + 130x5 + 337x6 + 346x7 + 826x8 + 834x9 + 749x10 + 503x11 + 186x12 + 176x13 + 166x14 + 992x15 + 196x16 + 953x17 + 988x18 + 676x19 + 736x20 + 521x21 + 819x22 + 723x23 + 967x24 + 959x25 + 828x26 + 513x27 + 841x28 + 543x29 + 152x30 + 949x31 + 902x32 + 372x33 + 459x34 + 774x35 + 662x36 + 554x37 + 392x38 + 418x39 + 280x40 + 269x41 + 488x42 + 382x43 + 483x44 + 189x45 + 178x46 + 821x47 + 398x48 + 652x49 + 723x50 + 386x51 + 552x52 + 69x53 + 755x54 + 661x55 + 984x56 + 261x57 + 755x58 + 365x59 + 219x60 + 455x61 + 584x62 + 873x63 + 271x64 + 145x65 + 391x66 + 127x67 + 186x68 + 729x69 + 655x70 + 370x71 + 218x72 + 965x73 + 280x74 + 765x75 + 228x76 + 765x77 + 902x78 + 696x79 + 92x80 + 762x81 + 915x82 + 925x83 + 711x84 + 924x85 + 248x86 + 521x87 + 98x88 + 533x89 + 2x90 + 604x91 + 888x92 + 687x93 + 909x94 + 272x95 + 935x96 + 878x97 + 874x98 + 530x99 + 465x100 + 373x101 + 776x102 + 658x103 + 2x104 + 690x105 + 364x106 + 530x107 + 228x108 + 906x109 + 153x110 + 952x111 + 828x112 + 3x113 + 31x114 + 884x115 + 963x116 + 172x117 + 627x118 + 490x119 + 789x120 + 789x121 + 602x122 + 413x123 + 50x124 + 830x125 + 237x126 + 56x127 + 878x128 + 922x129 + 548x130 + 260x131 + 489x132 + 552x133 + 691x134 + 265x135 + 694x136 + 173x137 + 29x138 + 93x139 + 613x140 + 27x141 + 107x142 + 846x143 + 23x144 + 592x145 + 44x146 + 696x147 + 78x148 + 855x149 + 43x150 + 974x151 + 705x152 + 543x153 + 794x154 + 977x155 + 224x156 + 359x157 + 40x158 + 362x159 + 20x160 + 357x161 + 955x162 + 904x163 + 571x164 + 441x165 + 998x166 + 24x167 + 759x168 + 172x169 + 467x170 + 480x171 + 525x172 + 888x173 + 765x174 + 858x175 + 30x176 + 775x177 + 676x178 + 865x179 + 142x180 + 356x181 + 240x182 + 838x183 + 125x184 + 803x185 + 794x186 + 624x187 + 713x188 + 87x189 + 383x190 + 477x191 + 376x192 + 63x193 + 922x194 + 348x195 + 808x196 + 936x197 + 660x198 + 295x199 + 61x200 + 249x201 + 916x202 + 249x203 + 126x204 + 897x205 + 255x206 + 619x207 + 599x208 + 762x209 + 551x210 + 199x211 + 492x212 + 243x213 + 323x214 + 633x215 + 267x216 + 607x217 + 259x218 + 681x219 + 71x220 + 479x221 + 921x222 + 147x223 + 436x224 + 648x225 + 479x226 + 321x227 + 542x228 + 973x229 + 922x230 + 589x231 + 169x232 + 155x233 + 522x234 + 337x235 + 198x236 + 343x237 + 528x238 + 754x239 + 419x240 + 96x241 + 572x242 + 809x243 + 16x244 + 892x245 + 292x246 + 600x247 + 746x248 + 492x249 + 661x250 <= 63763 
constr4: + 366x1 + 783x2 + 817x3 + 652x4 + 157x5 + 285x6 + 256x7 + 401x8 + 693x9 + 133x10 + 60x11 + 230x12 + 388x13 + 384x14 + 281x15 + 994x16 + 597x17 + 407x18 + 379x19 + 179x20 + 34x21 + 648x22 + 566x23 + 652x24 + 761x25 + 450x26 + 286x27 + 51x28 + 640x29 + 672x30 + 349x31 + 235x32 + 273x33 + 88x34 + 871x35 + 940x36 + 468x37 + 761x38 + 166x39 + 597x40 + 495x41 + 463x42 + 212x43 + 149x44 + 783x45 + 406x46 + 132x47 + 773x48 + 541x49 + 584x50 + 848x51 + 214x52 + 743x53 + 911x54 + 57x55 + 538x56 + 411x57 + 474x58 + 600x59 + 676x60 + 333x61 + 520x62 + 760x63 + 863x64 + 819x65 + 831x66 + 624x67 + 688x68 + 62x69 + 618x70 + 762x71 + 354x72 + 207x73 + 603x74 + 270x75 + 982x76 + 171x77 + 823x78 + 411x79 + 752x80 + 464x81 + 307x82 + 171x83 + 896x84 + 675x85 + 839x86 + 613x87 + 173x88 + 127x89 + 242x90 + 687x91 + 914x92 + 70x93 + 592x94 + 298x95 + 423x96 + 445x97 + 243x98 + 564x99 + 662x100 + 793x101 + 111x102 + 500x103 + 810x104 + 477x105 + 940x106 + 184x107 + 792x108 + 207x109 + 482x110 + 791x111 + 267x112 + 870x113 + 687x114 + 806x115 + 393x116 + 253x117 + 144x118 + 699x119 + 671x120 + 540x121 + 865x122 + 315x123 + 310x124 + 691x125 + 501x126 + 564x127 + 379x128 + 646x129 + 13x130 + 347x131 + 127x132 + 728x133 + 569x134 + 388x135 + 820x136 + 311x137 + 312x138 + 76x139 + 139x140 + 684x141 + 536x142 + 262x143 + 70x144 + 320x145 + 757x146 + 143x147 + 833x148 + 949x149 + 306x150 + 635x151 + 23x152 + 338x153 + 376x154 + 724x155 + 902x156 + 317x157 + 170x158 + 942x159 + 3x160 + 47x161 + 285x162 + 333x163 + 612x164 + 136x165 + 696x166 + 986x167 + 816x168 + 848x169 + 248x170 + 232x171 + 79x172 + 977x173 + 441x174 + 369x175 + 329x176 + 501x177 + 236x178 + 440x179 + 376x180 + 908x181 + 180x182 + 452x183 + 405x184 + 34x185 + 31x186 + 482x187 + 300x188 + 971x189 + 357x190 + 601x191 + 55x192 + 399x193 + 890x194 + 514x195 + 444x196 + 340x197 + 196x198 + 870x199 + 110x200 + 45x201 + 732x202 + 109x203 + 933x204 + 367x205 + 493x206 + 672x207 + 21x208 + 158x209 + 70x210 + 191x211 + 215x212 + 786x213 + 391x214 + 40x215 + 802x216 + 804x217 + 774x218 + 397x219 + 303x220 + 958x221 + 127x222 + 491x223 + 568x224 + 510x225 + 350x226 + 282x227 + 375x228 + 329x229 + 148x230 + 167x231 + 199x232 + 992x233 + 899x234 + 28x235 + 283x236 + 645x237 + 523x238 + 283x239 + 841x240 + 930x241 + 121x242 + 989x243 + 501x244 + 909x245 + 171x246 + 534x247 + 380x248 + 879x249 + 772x250 <= 59793 
constr5: + 7x1 + 598x2 + 620x3 + 574x4 + 838x5 + 130x6 + 206x7 + 857x8 + 954x9 + 853x10 + 389x11 + 486x12 + 711x13 + 919x14 + 11x15 + 880x16 + 642x17 + 174x18 + 480x19 + 107x20 + 79x21 + 218x22 + 903x23 + 990x24 + 512x25 + 729x26 + 323x27 + 424x28 + 765x29 + 194x30 + 16x31 + 627x32 + 935x33 + 443x34 + 769x35 + 308x36 + 499x37 + 802x38 + 718x39 + 415x40 + 128x41 + 805x42 + 26x43 + 587x44 + 455x45 + 304x46 + 237x47 + 945x48 + 989x49 + 722x50 + 271x51 + 92x52 + 682x53 + 551x54 + 880x55 + 856x56 + 215x57 + 211x58 + 400x59 + 755x60 + 594x61 + 76x62 + 226x63 + 196x64 + 90x65 + 988x66 + 215x67 + 318x68 + 834x69 + 794x70 + 621x71 + 467x72 + 406x73 + 270x74 + 981x75 + 937x76 + 335x77 + 295x78 + 949x79 + 175x80 + 686x81 + 174x82 + 650x83 + 613x84 + 298x85 + 654x86 + 235x87 + 212x88 + 291x89 + 18x90 + 303x91 + 987x92 + 227x93 + 534x94 + 693x95 + 309x96 + 216x97 + 913x98 + 878x99 + 659x100 + 618x101 + 32x102 + 595x103 + 830x104 + 861x105 + 490x106 + 645x107 + 489x108 + 894x109 + 899x110 + 969x111 + 801x112 + 782x113 + 601x114 + 593x115 + 252x116 + 513x117 + 657x118 + 746x119 + 211x120 + 35x121 + 936x122 + 864x123 + 752x124 + 703x125 + 625x126 + 489x127 + 454x128 + 360x129 + 682x130 + 788x131 + 515x132 + 780x133 + 381x134 + 352x135 + 63x136 + 941x137 + 720x138 + 597x139 + 554x140 + 366x141 + 291x142 + 691x143 + 495x144 + 629x145 + 629x146 + 957x147 + 260x148 + 669x149 + 390x150 + 292x151 + 284x152 + 744x153 + 228x154 + 867x155 + 507x156 + 448x157 + 645x158 + 487x159 + 792x160 + 179x161 + 311x162 + 162x163 + 431x164 + 8x165 + 105x166 + 100x167 + 166x168 + 629x169 + 767x170 + 522x171 + 269x172 + 668x173 + 584x174 + 698x175 + 442x176 + 882x177 + 665x178 + 12x179 + 474x180 + 726x181 + 87x182 + 409x183 + 304x184 + 858x185 + 477x186 + 136x187 + 603x188 + 875x189 + 754x190 + 589x191 + 994x192 + 865x193 + 599x194 + 793x195 + 543x196 + 142x197 + 403x198 + 544x199 + 652x200 + 518x201 + 224x202 + 221x203 + 897x204 + 411x205 + 291x206 + 374x207 + 34x208 + 806x209 + 669x210 + 376x211 + 328x212 + 173x213 + 378x214 + 969x215 + 118x216 + 352x217 + 284x218 + 984x219 + 217x220 + 555x221 + 815x222 + 125x223 + 940x224 + 449x225 + 900x226 + 888x227 + 810x228 + 477x229 + 645x230 + 419x231 + 9x232 + 968x233 + 468x234 + 143x235 + 294x236 + 657x237 + 322x238 + 600x239 + 405x240 + 201x241 + 848x242 + 312x243 + 846x244 + 114x245 + 600x246 + 573x247 + 855x248 + 508x249 + 570x250 <= 59747 
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