minimize 
objective: s
subject to 
s1: s + 0.501000f1 + 0.001000f2 >= 90813.808000 
s2: s + 0.001000f1 + 0.501000f2 >= 90813.808000 
f1: -f1 + 866x1 + 319x2 + 563x3 + 1003x4 + 601x5 + 638x6 + 870x7 + 1033x8 + 782x9 + 708x10 + 612x11 + 631x12 + 837x13 + 671x14 + 552x15 + 753x16 + 1097x17 + 885x18 + 387x19 + 757x20 + 827x21 + 667x22 + 525x23 + 508x24 + 910x25 + 940x26 + 939x27 + 626x28 + 1035x29 + 757x30 + 718x31 + 883x32 + 1155x33 + 774x34 + 509x35 + 846x36 + 809x37 + 561x38 + 636x39 + 832x40 + 840x41 + 720x42 + 638x43 + 512x44 + 638x45 + 651x46 + 720x47 + 662x48 + 745x49 + 632x50 + 968x51 + 738x52 + 918x53 + 541x54 + 864x55 + 195x56 + 553x57 + 757x58 + 626x59 + 719x60 + 768x61 + 536x62 + 995x63 + 856x64 + 906x65 + 696x66 + 850x67 + 584x68 + 744x69 + 1130x70 + 482x71 + 1005x72 + 348x73 + 701x74 + 1077x75 + 718x76 + 799x77 + 570x78 + 574x79 + 565x80 + 597x81 + 361x82 + 778x83 + 682x84 + 358x85 + 600x86 + 1066x87 + 693x88 + 476x89 + 962x90 + 748x91 + 559x92 + 725x93 + 711x94 + 795x95 + 417x96 + 674x97 + 300x98 + 650x99 + 880x100 + 698x101 + 508x102 + 982x103 + 737x104 + 920x105 + 599x106 + 428x107 + 594x108 + 297x109 + 762x110 + 424x111 + 757x112 + 999x113 + 939x114 + 647x115 + 814x116 + 772x117 + 488x118 + 878x119 + 632x120 + 1034x121 + 709x122 + 552x123 + 669x124 + 1039x125 + 789x126 + 959x127 + 905x128 + 1009x129 + 755x130 + 559x131 + 424x132 + 748x133 + 860x134 + 800x135 + 1146x136 + 418x137 + 789x138 + 721x139 + 757x140 + 1107x141 + 878x142 + 850x143 + 816x144 + 724x145 + 1011x146 + 742x147 + 541x148 + 766x149 + 739x150 + 536x151 + 697x152 + 494x153 + 839x154 + 417x155 + 644x156 + 756x157 + 511x158 + 913x159 + 678x160 + 698x161 + 407x162 + 815x163 + 823x164 + 743x165 + 945x166 + 1055x167 + 472x168 + 947x169 + 386x170 + 1011x171 + 1121x172 + 886x173 + 1055x174 + 842x175 + 691x176 + 389x177 + 522x178 + 790x179 + 886x180 + 500x181 + 1018x182 + 650x183 + 663x184 + 640x185 + 909x186 + 602x187 + 590x188 + 747x189 + 465x190 + 714x191 + 615x192 + 806x193 + 829x194 + 946x195 + 965x196 + 633x197 + 912x198 + 966x199 + 525x200 + 793x201 + 728x202 + 717x203 + 681x204 + 821x205 + 892x206 + 452x207 + 561x208 + 393x209 + 524x210 + 823x211 + 658x212 + 680x213 + 814x214 + 1091x215 + 668x216 + 650x217 + 315x218 + 943x219 + 830x220 + 586x221 + 615x222 + 1039x223 + 655x224 + 645x225 + 759x226 + 890x227 + 805x228 + 1010x229 + 635x230 + 491x231 + 855x232 + 634x233 + 534x234 + 1076x235 + 276x236 + 536x237 + 644x238 + 761x239 + 893x240 + 743x241 + 410x242 + 553x243 + 797x244 + 714x245 + 734x246 + 734x247 + 773x248 + 745x249 + 378x250  = 0 
f2: -f2 + 999x1 + 905x2 + 745x3 + 757x4 + 744x5 + 615x6 + 823x7 + 768x8 + 790x9 + 634x10 + 789x11 + 1039x12 + 647x13 + 757x14 + 762x15 + 753x16 + 511x17 + 669x18 + 830x19 + 719x20 + 755x21 + 1010x22 + 651x23 + 541x24 + 717x25 + 728x26 + 823x27 + 508x28 + 943x29 + 893x30 + 982x31 + 866x32 + 276x33 + 358x34 + 708x35 + 945x36 + 773x37 + 1003x38 + 612x39 + 1011x40 + 631x41 + 553x42 + 962x43 + 906x44 + 662x45 + 959x46 + 658x47 + 797x48 + 424x49 + 297x50 + 632x51 + 766x52 + 821x53 + 745x54 + 883x55 + 410x56 + 742x57 + 428x58 + 1107x59 + 1076x60 + 378x61 + 640x62 + 756x63 + 417x64 + 799x65 + 491x66 + 536x67 + 552x68 + 525x69 + 720x70 + 718x71 + 386x72 + 407x73 + 638x74 + 878x75 + 940x76 + 1033x77 + 570x78 + 650x79 + 680x80 + 1035x81 + 778x82 + 739x83 + 599x84 + 748x85 + 761x86 + 920x87 + 1055x88 + 850x89 + 814x90 + 635x91 + 667x92 + 714x93 + 644x94 + 1005x95 + 701x96 + 561x97 + 512x98 + 720x99 + 1077x100 + 855x101 + 885x102 + 626x103 + 795x104 + 452x105 + 965x106 + 759x107 + 536x108 + 870x109 + 696x110 + 1066x111 + 737x112 + 522x113 + 724x114 + 424x115 + 757x116 + 650x117 + 772x118 + 389x119 + 800x120 + 757x121 + 553x122 + 615x123 + 860x124 + 626x125 + 524x126 + 636x127 + 738x128 + 995x129 + 837x130 + 1121x131 + 681x132 + 743x133 + 417x134 + 886x135 + 693x136 + 842x137 + 561x138 + 418x139 + 476x140 + 774x141 + 361x142 + 793x143 + 892x144 + 678x145 + 698x146 + 1018x147 + 348x148 + 711x149 + 880x150 + 691x151 + 541x152 + 757x153 + 850x154 + 633x155 + 714x156 + 864x157 + 195x158 + 816x159 + 663x160 + 638x161 + 638x162 + 814x163 + 721x164 + 947x165 + 789x166 + 832x167 + 632x168 + 674x169 + 601x170 + 697x171 + 671x172 + 1039x173 + 827x174 + 1034x175 + 300x176 + 846x177 + 319x178 + 912x179 + 939x180 + 815x181 + 552x182 + 600x183 + 584x184 + 508x185 + 586x186 + 968x187 + 734x188 + 743x189 + 509x190 + 534x191 + 939x192 + 734x193 + 856x194 + 909x195 + 840x196 + 913x197 + 918x198 + 809x199 + 1097x200 + 644x201 + 747x202 + 698x203 + 1155x204 + 910x205 + 946x206 + 805x207 + 1009x208 + 387x209 + 709x210 + 602x211 + 650x212 + 806x213 + 500x214 + 1130x215 + 315x216 + 488x217 + 494x218 + 1146x219 + 668x220 + 590x221 + 559x222 + 594x223 + 559x224 + 682x225 + 563x226 + 536x227 + 878x228 + 465x229 + 829x230 + 718x231 + 748x232 + 574x233 + 1055x234 + 472x235 + 655x236 + 966x237 + 1091x238 + 565x239 + 482x240 + 886x241 + 839x242 + 725x243 + 597x244 + 525x245 + 1011x246 + 393x247 + 645x248 + 890x249 + 782x250  = 0 
constr1: + 838x1 + 758x2 + 86x3 + 768x4 + 17x5 + 125x6 + 677x7 + 183x8 + 478x9 + 410x10 + 803x11 + 33x12 + 159x13 + 265x14 + 214x15 + 300x16 + 33x17 + 258x18 + 529x19 + 307x20 + 443x21 + 553x22 + 844x23 + 368x24 + 390x25 + 932x26 + 429x27 + 720x28 + 503x29 + 640x30 + 484x31 + 585x32 + 287x33 + 170x34 + 880x35 + 502x36 + 837x37 + 111x38 + 203x39 + 701x40 + 889x41 + 987x42 + 207x43 + 509x44 + 272x45 + 770x46 + 581x47 + 329x48 + 798x49 + 993x50 + 866x51 + 179x52 + 671x53 + 442x54 + 632x55 + 17x56 + 276x57 + 298x58 + 830x59 + 938x60 + 446x61 + 371x62 + 200x63 + 213x64 + 61x65 + 17x66 + 813x67 + 350x68 + 374x69 + 598x70 + 851x71 + 296x72 + 327x73 + 372x74 + 619x75 + 641x76 + 307x77 + 630x78 + 757x79 + 586x80 + 843x81 + 310x82 + 321x83 + 425x84 + 707x85 + 397x86 + 251x87 + 717x88 + 585x89 + 717x90 + 117x91 + 799x92 + 796x93 + 726x94 + 593x95 + 529x96 + 88x97 + 3x98 + 469x99 + 808x100 + 196x101 + 643x102 + 566x103 + 177x104 + 873x105 + 967x106 + 225x107 + 958x108 + 424x109 + 887x110 + 580x111 + 62x112 + 979x113 + 115x114 + 416x115 + 646x116 + 272x117 + 482x118 + 315x119 + 585x120 + 357x121 + 637x122 + 184x123 + 553x124 + 712x125 + 138x126 + 94x127 + 819x128 + 986x129 + 536x130 + 769x131 + 117x132 + 711x133 + 854x134 + 403x135 + 376x136 + 294x137 + 874x138 + 168x139 + 195x140 + 553x141 + 363x142 + 76x143 + 877x144 + 396x145 + 782x146 + 630x147 + 185x148 + 462x149 + 313x150 + 322x151 + 335x152 + 90x153 + 746x154 + 960x155 + 192x156 + 427x157 + 821x158 + 15x159 + 734x160 + 57x161 + 120x162 + 359x163 + 956x164 + 398x165 + 87x166 + 298x167 + 283x168 + 47x169 + 63x170 + 392x171 + 833x172 + 228x173 + 667x174 + 845x175 + 440x176 + 511x177 + 785x178 + 779x179 + 594x180 + 141x181 + 58x182 + 415x183 + 271x184 + 198x185 + 596x186 + 174x187 + 682x188 + 244x189 + 776x190 + 316x191 + 279x192 + 598x193 + 499x194 + 385x195 + 750x196 + 42x197 + 54x198 + 67x199 + 652x200 + 508x201 + 436x202 + 337x203 + 327x204 + 522x205 + 959x206 + 669x207 + 590x208 + 428x209 + 66x210 + 640x211 + 170x212 + 12x213 + 901x214 + 82x215 + 56x216 + 554x217 + 211x218 + 209x219 + 202x220 + 540x221 + 555x222 + 70x223 + 288x224 + 520x225 + 49x226 + 254x227 + 898x228 + 499x229 + 715x230 + 406x231 + 59x232 + 813x233 + 602x234 + 708x235 + 342x236 + 346x237 + 183x238 + 446x239 + 456x240 + 706x241 + 666x242 + 251x243 + 185x244 + 852x245 + 346x246 + 996x247 + 482x248 + 485x249 + 710x250 <= 29562 
constr2: + 379x1 + 290x2 + 788x3 + 882x4 + 731x5 + 445x6 + 96x7 + 381x8 + 71x9 + 612x10 + 48x11 + 193x12 + 858x13 + 667x14 + 386x15 + 6x16 + 684x17 + 796x18 + 635x19 + 840x20 + 39x21 + 188x22 + 141x23 + 524x24 + 570x25 + 168x26 + 57x27 + 725x28 + 743x29 + 223x30 + 602x31 + 5x32 + 13x33 + 21x34 + 360x35 + 155x36 + 670x37 + 810x38 + 40x39 + 439x40 + 190x41 + 15x42 + 53x43 + 830x44 + 272x45 + 901x46 + 927x47 + 183x48 + 569x49 + 259x50 + 142x51 + 666x52 + 730x53 + 878x54 + 325x55 + 844x56 + 591x57 + 128x58 + 631x59 + 51x60 + 656x61 + 220x62 + 171x63 + 298x64 + 803x65 + 375x66 + 63x67 + 173x68 + 415x69 + 223x70 + 543x71 + 10x72 + 583x73 + 537x74 + 666x75 + 388x76 + 27x77 + 308x78 + 378x79 + 462x80 + 614x81 + 775x82 + 168x83 + 658x84 + 903x85 + 396x86 + 616x87 + 288x88 + 882x89 + 697x90 + 210x91 + 429x92 + 491x93 + 107x94 + 269x95 + 202x96 + 261x97 + 778x98 + 746x99 + 872x100 + 343x101 + 251x102 + 60x103 + 549x104 + 90x105 + 305x106 + 98x107 + 568x108 + 883x109 + 904x110 + 608x111 + 436x112 + 491x113 + 287x114 + 857x115 + 95x116 + 672x117 + 940x118 + 574x119 + 160x120 + 290x121 + 981x122 + 683x123 + 59x124 + 822x125 + 611x126 + 719x127 + 845x128 + 451x129 + 229x130 + 616x131 + 414x132 + 70x133 + 958x134 + 792x135 + 281x136 + 30x137 + 631x138 + 682x139 + 533x140 + 231x141 + 130x142 + 467x143 + 537x144 + 888x145 + 924x146 + 482x147 + 483x148 + 316x149 + 440x150 + 38x151 + 606x152 + 681x153 + 963x154 + 834x155 + 61x156 + 858x157 + 724x158 + 857x159 + 426x160 + 989x161 + 449x162 + 242x163 + 341x164 + 308x165 + 904x166 + 146x167 + 734x168 + 581x169 + 939x170 + 348x171 + 129x172 + 865x173 + 225x174 + 11x175 + 965x176 + 813x177 + 156x178 + 370x179 + 475x180 + 282x181 + 855x182 + 752x183 + 840x184 + 702x185 + 740x186 + 734x187 + 10x188 + 511x189 + 167x190 + 996x191 + 450x192 + 739x193 + 964x194 + 14x195 + 726x196 + 705x197 + 450x198 + 43x199 + 811x200 + 630x201 + 69x202 + 848x203 + 661x204 + 511x205 + 693x206 + 807x207 + 527x208 + 290x209 + 873x210 + 514x211 + 722x212 + 188x213 + 641x214 + 277x215 + 919x216 + 88x217 + 590x218 + 119x219 + 170x220 + 325x221 + 458x222 + 423x223 + 492x224 + 885x225 + 488x226 + 455x227 + 24x228 + 845x229 + 915x230 + 842x231 + 953x232 + 688x233 + 669x234 + 597x235 + 353x236 + 834x237 + 766x238 + 863x239 + 336x240 + 126x241 + 73x242 + 961x243 + 790x244 + 280x245 + 286x246 + 308x247 + 666x248 + 288x249 + 138x250 <= 30027 
constr3: + 403x1 + 242x2 + 133x3 + 999x4 + 866x5 + 433x6 + 974x7 + 286x8 + 83x9 + 811x10 + 932x11 + 324x12 + 636x13 + 217x14 + 7x15 + 173x16 + 489x17 + 224x18 + 275x19 + 263x20 + 419x21 + 659x22 + 909x23 + 60x24 + 54x25 + 621x26 + 320x27 + 152x28 + 101x29 + 36x30 + 702x31 + 16x32 + 278x33 + 333x34 + 712x35 + 797x36 + 629x37 + 722x38 + 284x39 + 164x40 + 562x41 + 492x42 + 2x43 + 78x44 + 995x45 + 689x46 + 765x47 + 318x48 + 24x49 + 325x50 + 754x51 + 926x52 + 113x53 + 281x54 + 323x55 + 761x56 + 832x57 + 108x58 + 921x59 + 671x60 + 222x61 + 820x62 + 579x63 + 531x64 + 206x65 + 268x66 + 913x67 + 196x68 + 804x69 + 267x70 + 424x71 + 773x72 + 493x73 + 144x74 + 20x75 + 254x76 + 28x77 + 559x78 + 807x79 + 232x80 + 200x81 + 899x82 + 196x83 + 202x84 + 239x85 + 546x86 + 67x87 + 13x88 + 489x89 + 554x90 + 914x91 + 423x92 + 212x93 + 510x94 + 760x95 + 114x96 + 948x97 + 775x98 + 458x99 + 339x100 + 151x101 + 834x102 + 642x103 + 930x104 + 586x105 + 254x106 + 259x107 + 405x108 + 655x109 + 339x110 + 765x111 + 731x112 + 561x113 + 930x114 + 393x115 + 625x116 + 149x117 + 287x118 + 964x119 + 135x120 + 905x121 + 15x122 + 956x123 + 737x124 + 897x125 + 529x126 + 837x127 + 630x128 + 527x129 + 791x130 + 977x131 + 689x132 + 847x133 + 786x134 + 337x135 + 689x136 + 123x137 + 679x138 + 758x139 + 633x140 + 140x141 + 132x142 + 654x143 + 30x144 + 611x145 + 841x146 + 672x147 + 285x148 + 308x149 + 159x150 + 759x151 + 849x152 + 920x153 + 521x154 + 7x155 + 726x156 + 517x157 + 894x158 + 89x159 + 647x160 + 231x161 + 763x162 + 335x163 + 192x164 + 410x165 + 73x166 + 830x167 + 203x168 + 575x169 + 626x170 + 934x171 + 827x172 + 163x173 + 170x174 + 484x175 + 747x176 + 887x177 + 568x178 + 506x179 + 820x180 + 58x181 + 178x182 + 652x183 + 42x184 + 175x185 + 315x186 + 635x187 + 52x188 + 422x189 + 516x190 + 485x191 + 365x192 + 76x193 + 347x194 + 235x195 + 646x196 + 10x197 + 775x198 + 969x199 + 560x200 + 214x201 + 671x202 + 203x203 + 195x204 + 749x205 + 742x206 + 949x207 + 665x208 + 188x209 + 256x210 + 135x211 + 120x212 + 393x213 + 721x214 + 299x215 + 769x216 + 37x217 + 914x218 + 943x219 + 164x220 + 846x221 + 132x222 + 913x223 + 152x224 + 646x225 + 408x226 + 758x227 + 332x228 + 230x229 + 565x230 + 449x231 + 552x232 + 41x233 + 671x234 + 893x235 + 193x236 + 104x237 + 264x238 + 433x239 + 503x240 + 810x241 + 792x242 + 871x243 + 159x244 + 184x245 + 756x246 + 43x247 + 720x248 + 442x249 + 512x250 <= 32082 
constr4: + 772x1 + 445x2 + 13x3 + 430x4 + 813x5 + 394x6 + 686x7 + 456x8 + 290x9 + 891x10 + 220x11 + 452x12 + 602x13 + 442x14 + 888x15 + 1x16 + 270x17 + 2x18 + 746x19 + 250x20 + 306x21 + 745x22 + 239x23 + 854x24 + 34x25 + 771x26 + 392x27 + 49x28 + 475x29 + 769x30 + 867x31 + 661x32 + 791x33 + 371x34 + 982x35 + 414x36 + 663x37 + 483x38 + 127x39 + 841x40 + 262x41 + 550x42 + 597x43 + 963x44 + 458x45 + 225x46 + 180x47 + 145x48 + 210x49 + 927x50 + 564x51 + 219x52 + 813x53 + 749x54 + 80x55 + 184x56 + 97x57 + 971x58 + 341x59 + 601x60 + 512x61 + 809x62 + 993x63 + 725x64 + 504x65 + 869x66 + 7x67 + 311x68 + 137x69 + 639x70 + 260x71 + 98x72 + 446x73 + 241x74 + 564x75 + 137x76 + 656x77 + 112x78 + 194x79 + 535x80 + 510x81 + 893x82 + 859x83 + 450x84 + 821x85 + 336x86 + 248x87 + 382x88 + 448x89 + 865x90 + 229x91 + 43x92 + 862x93 + 614x94 + 853x95 + 783x96 + 278x97 + 931x98 + 378x99 + 482x100 + 308x101 + 318x102 + 629x103 + 92x104 + 297x105 + 919x106 + 379x107 + 902x108 + 805x109 + 425x110 + 34x111 + 811x112 + 988x113 + 153x114 + 199x115 + 246x116 + 890x117 + 729x118 + 448x119 + 673x120 + 534x121 + 52x122 + 816x123 + 401x124 + 847x125 + 655x126 + 558x127 + 379x128 + 74x129 + 541x130 + 13x131 + 709x132 + 224x133 + 816x134 + 794x135 + 869x136 + 560x137 + 526x138 + 768x139 + 915x140 + 96x141 + 321x142 + 52x143 + 494x144 + 747x145 + 654x146 + 391x147 + 175x148 + 322x149 + 761x150 + 864x151 + 391x152 + 931x153 + 53x154 + 30x155 + 730x156 + 691x157 + 14x158 + 470x159 + 778x160 + 979x161 + 370x162 + 537x163 + 114x164 + 908x165 + 964x166 + 635x167 + 55x168 + 874x169 + 695x170 + 860x171 + 95x172 + 858x173 + 267x174 + 152x175 + 982x176 + 324x177 + 26x178 + 877x179 + 837x180 + 400x181 + 335x182 + 1000x183 + 986x184 + 576x185 + 76x186 + 430x187 + 815x188 + 129x189 + 305x190 + 268x191 + 282x192 + 674x193 + 547x194 + 742x195 + 240x196 + 896x197 + 971x198 + 512x199 + 457x200 + 472x201 + 978x202 + 415x203 + 393x204 + 699x205 + 565x206 + 486x207 + 557x208 + 542x209 + 358x210 + 496x211 + 329x212 + 73x213 + 125x214 + 144x215 + 89x216 + 764x217 + 785x218 + 746x219 + 238x220 + 874x221 + 216x222 + 648x223 + 149x224 + 894x225 + 352x226 + 284x227 + 967x228 + 629x229 + 812x230 + 873x231 + 995x232 + 177x233 + 382x234 + 897x235 + 492x236 + 433x237 + 289x238 + 829x239 + 146x240 + 122x241 + 193x242 + 791x243 + 241x244 + 343x245 + 713x246 + 904x247 + 909x248 + 80x249 + 299x250 <= 31340 
constr5: + 84x1 + 878x2 + 980x3 + 981x4 + 691x5 + 989x6 + 488x7 + 615x8 + 308x9 + 463x10 + 93x11 + 6x12 + 670x13 + 566x14 + 906x15 + 282x16 + 288x17 + 381x18 + 485x19 + 105x20 + 230x21 + 959x22 + 624x23 + 200x24 + 605x25 + 685x26 + 816x27 + 415x28 + 957x29 + 859x30 + 513x31 + 79x32 + 625x33 + 712x34 + 995x35 + 715x36 + 352x37 + 151x38 + 979x39 + 439x40 + 490x41 + 25x42 + 498x43 + 547x44 + 730x45 + 719x46 + 783x47 + 847x48 + 455x49 + 945x50 + 805x51 + 637x52 + 97x53 + 320x54 + 634x55 + 655x56 + 843x57 + 676x58 + 268x59 + 46x60 + 925x61 + 822x62 + 516x63 + 510x64 + 271x65 + 963x66 + 688x67 + 706x68 + 78x69 + 565x70 + 699x71 + 364x72 + 479x73 + 171x74 + 756x75 + 9x76 + 924x77 + 874x78 + 263x79 + 326x80 + 450x81 + 210x82 + 806x83 + 285x84 + 767x85 + 154x86 + 757x87 + 719x88 + 660x89 + 127x90 + 697x91 + 672x92 + 767x93 + 48x94 + 231x95 + 803x96 + 773x97 + 209x98 + 444x99 + 90x100 + 19x101 + 809x102 + 232x103 + 573x104 + 930x105 + 540x106 + 138x107 + 997x108 + 980x109 + 729x110 + 186x111 + 824x112 + 713x113 + 690x114 + 849x115 + 636x116 + 120x117 + 925x118 + 362x119 + 527x120 + 784x121 + 838x122 + 733x123 + 661x124 + 90x125 + 504x126 + 128x127 + 167x128 + 957x129 + 40x130 + 133x131 + 364x132 + 551x133 + 161x134 + 730x135 + 458x136 + 340x137 + 862x138 + 259x139 + 409x140 + 385x141 + 450x142 + 888x143 + 492x144 + 454x145 + 55x146 + 711x147 + 631x148 + 494x149 + 193x150 + 80x151 + 496x152 + 478x153 + 928x154 + 514x155 + 510x156 + 191x157 + 256x158 + 409x159 + 626x160 + 948x161 + 66x162 + 669x163 + 920x164 + 972x165 + 535x166 + 73x167 + 156x168 + 509x169 + 344x170 + 921x171 + 573x172 + 244x173 + 606x174 + 738x175 + 387x176 + 719x177 + 155x178 + 510x179 + 273x180 + 447x181 + 758x182 + 39x183 + 481x184 + 847x185 + 999x186 + 431x187 + 306x188 + 822x189 + 607x190 + 73x191 + 339x192 + 717x193 + 981x194 + 915x195 + 437x196 + 800x197 + 545x198 + 870x199 + 242x200 + 612x201 + 281x202 + 731x203 + 104x204 + 653x205 + 934x206 + 830x207 + 76x208 + 165x209 + 228x210 + 16x211 + 223x212 + 692x213 + 747x214 + 399x215 + 314x216 + 67x217 + 969x218 + 149x219 + 498x220 + 887x221 + 957x222 + 848x223 + 746x224 + 534x225 + 730x226 + 311x227 + 491x228 + 243x229 + 672x230 + 296x231 + 573x232 + 58x233 + 219x234 + 250x235 + 746x236 + 163x237 + 32x238 + 526x239 + 872x240 + 679x241 + 459x242 + 181x243 + 203x244 + 164x245 + 530x246 + 48x247 + 572x248 + 617x249 + 80x250 <= 29959 
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