minimize 
objective: s
subject to 
s1: s + 0.501000f1 + 0.001000f2 >= 91731.464000 
s2: s + 0.001000f1 + 0.501000f2 >= 91731.464000 
f1: -f1 + 406x1 + 1088x2 + 1076x3 + 701x4 + 991x5 + 515x6 + 677x7 + 623x8 + 851x9 + 498x10 + 513x11 + 945x12 + 848x13 + 432x14 + 1063x15 + 552x16 + 687x17 + 697x18 + 503x19 + 920x20 + 675x21 + 701x22 + 735x23 + 1083x24 + 836x25 + 891x26 + 419x27 + 783x28 + 532x29 + 538x30 + 629x31 + 933x32 + 670x33 + 753x34 + 781x35 + 796x36 + 630x37 + 615x38 + 556x39 + 769x40 + 651x41 + 1095x42 + 725x43 + 857x44 + 812x45 + 996x46 + 699x47 + 720x48 + 798x49 + 1042x50 + 843x51 + 864x52 + 864x53 + 497x54 + 597x55 + 562x56 + 1109x57 + 268x58 + 491x59 + 857x60 + 408x61 + 403x62 + 740x63 + 961x64 + 671x65 + 672x66 + 1073x67 + 502x68 + 914x69 + 808x70 + 808x71 + 755x72 + 1050x73 + 463x74 + 776x75 + 1057x76 + 625x77 + 699x78 + 809x79 + 364x80 + 646x81 + 648x82 + 770x83 + 355x84 + 623x85 + 693x86 + 1028x87 + 976x88 + 1121x89 + 586x90 + 882x91 + 653x92 + 711x93 + 682x94 + 1105x95 + 528x96 + 820x97 + 539x98 + 399x99 + 414x100 + 793x101 + 718x102 + 762x103 + 797x104 + 584x105 + 704x106 + 689x107 + 977x108 + 898x109 + 417x110 + 501x111 + 522x112 + 785x113 + 860x114 + 1030x115 + 504x116 + 854x117 + 544x118 + 781x119 + 918x120 + 897x121 + 837x122 + 859x123 + 728x124 + 727x125 + 808x126 + 1091x127 + 1003x128 + 1128x129 + 814x130 + 639x131 + 614x132 + 866x133 + 295x134 + 738x135 + 1162x136 + 889x137 + 1074x138 + 683x139 + 367x140 + 958x141 + 898x142 + 719x143 + 703x144 + 809x145 + 547x146 + 540x147 + 591x148 + 792x149 + 836x150 + 666x151 + 604x152 + 608x153 + 559x154 + 863x155 + 390x156 + 567x157 + 326x158 + 1046x159 + 844x160 + 639x161 + 781x162 + 460x163 + 1079x164 + 805x165 + 609x166 + 467x167 + 1003x168 + 998x169 + 609x170 + 955x171 + 1025x172 + 573x173 + 747x174 + 713x175 + 585x176 + 953x177 + 859x178 + 819x179 + 468x180 + 405x181 + 668x182 + 791x183 + 1158x184 + 368x185 + 749x186 + 696x187 + 728x188 + 646x189 + 692x190 + 644x191 + 862x192 + 896x193 + 982x194 + 567x195 + 880x196 + 886x197 + 656x198 + 721x199 + 730x200 + 436x201 + 308x202 + 487x203 + 408x204 + 830x205 + 514x206 + 284x207 + 468x208 + 817x209 + 360x210 + 535x211 + 813x212 + 485x213 + 700x214 + 714x215 + 757x216 + 748x217 + 768x218 + 518x219 + 871x220 + 1200x221 + 743x222 + 602x223 + 1040x224 + 466x225 + 1055x226 + 817x227 + 881x228 + 708x229 + 773x230 + 922x231 + 1039x232 + 826x233 + 663x234 + 758x235 + 804x236 + 568x237 + 783x238 + 947x239 + 402x240 + 702x241 + 949x242 + 766x243 + 582x244 + 518x245 + 616x246 + 776x247 + 668x248 + 820x249 + 927x250  = 0 
f2: -f2 + 467x1 + 792x2 + 485x3 + 735x4 + 683x5 + 646x6 + 826x7 + 567x8 + 614x9 + 1046x10 + 535x11 + 844x12 + 687x13 + 781x14 + 615x15 + 616x16 + 514x17 + 689x18 + 504x19 + 405x20 + 487x21 + 927x22 + 738x23 + 820x24 + 623x25 + 727x26 + 880x27 + 836x28 + 540x29 + 730x30 + 991x31 + 403x32 + 390x33 + 817x34 + 653x35 + 854x36 + 663x37 + 958x38 + 1025x39 + 670x40 + 518x41 + 776x42 + 666x43 + 639x44 + 881x45 + 781x46 + 848x47 + 308x48 + 408x49 + 1091x50 + 644x51 + 544x52 + 591x53 + 1095x54 + 719x55 + 1030x56 + 820x57 + 701x58 + 1074x59 + 630x60 + 798x61 + 1028x62 + 836x63 + 830x64 + 513x65 + 501x66 + 573x67 + 837x68 + 721x69 + 776x70 + 668x71 + 295x72 + 623x73 + 785x74 + 701x75 + 922x76 + 460x77 + 812x78 + 699x79 + 783x80 + 755x81 + 656x82 + 889x83 + 552x84 + 796x85 + 502x86 + 945x87 + 625x88 + 783x89 + 757x90 + 749x91 + 515x92 + 817x93 + 1083x94 + 399x95 + 871x96 + 918x97 + 648x98 + 949x99 + 857x100 + 808x101 + 692x102 + 708x103 + 432x104 + 862x105 + 961x106 + 586x107 + 585x108 + 284x109 + 747x110 + 582x111 + 982x112 + 367x113 + 933x114 + 711x115 + 758x116 + 766x117 + 1063x118 + 672x119 + 1109x120 + 568x121 + 953x122 + 920x123 + 857x124 + 1003x125 + 843x126 + 538x127 + 793x128 + 768x129 + 700x130 + 498x131 + 1088x132 + 503x133 + 1055x134 + 1057x135 + 268x136 + 675x137 + 567x138 + 604x139 + 864x140 + 539x141 + 814x142 + 996x143 + 639x144 + 762x145 + 466x146 + 651x147 + 813x148 + 859x149 + 364x150 + 805x151 + 976x152 + 668x153 + 898x154 + 1073x155 + 556x156 + 436x157 + 1042x158 + 728x159 + 532x160 + 368x161 + 1050x162 + 414x163 + 497x164 + 1076x165 + 851x166 + 518x167 + 608x168 + 699x169 + 693x170 + 914x171 + 725x172 + 791x173 + 491x174 + 864x175 + 406x176 + 808x177 + 677x178 + 773x179 + 528x180 + 797x181 + 998x182 + 463x183 + 713x184 + 769x185 + 559x186 + 609x187 + 646x188 + 955x189 + 704x190 + 748x191 + 1121x192 + 809x193 + 468x194 + 562x195 + 609x196 + 720x197 + 714x198 + 1128x199 + 408x200 + 1039x201 + 882x202 + 718x203 + 896x204 + 743x205 + 1162x206 + 1200x207 + 547x208 + 584x209 + 703x210 + 602x211 + 697x212 + 522x213 + 696x214 + 468x215 + 753x216 + 671x217 + 886x218 + 629x219 + 402x220 + 866x221 + 1105x222 + 859x223 + 1003x224 + 804x225 + 819x226 + 781x227 + 355x228 + 1040x229 + 740x230 + 898x231 + 1158x232 + 1079x233 + 419x234 + 728x235 + 360x236 + 770x237 + 809x238 + 891x239 + 326x240 + 682x241 + 860x242 + 597x243 + 417x244 + 977x245 + 863x246 + 808x247 + 947x248 + 702x249 + 897x250  = 0 
constr1: + 59x1 + 414x2 + 623x3 + 912x4 + 736x5 + 256x6 + 60x7 + 786x8 + 354x9 + 256x10 + 396x11 + 597x12 + 475x13 + 615x14 + 138x15 + 953x16 + 556x17 + 152x18 + 735x19 + 83x20 + 126x21 + 211x22 + 366x23 + 86x24 + 775x25 + 259x26 + 297x27 + 626x28 + 292x29 + 415x30 + 623x31 + 815x32 + 874x33 + 120x34 + 994x35 + 526x36 + 282x37 + 568x38 + 219x39 + 276x40 + 640x41 + 653x42 + 181x43 + 214x44 + 819x45 + 753x46 + 754x47 + 603x48 + 491x49 + 554x50 + 49x51 + 853x52 + 724x53 + 393x54 + 754x55 + 261x56 + 748x57 + 91x58 + 783x59 + 466x60 + 270x61 + 145x62 + 107x63 + 736x64 + 693x65 + 784x66 + 1000x67 + 273x68 + 681x69 + 456x70 + 811x71 + 126x72 + 578x73 + 542x74 + 14x75 + 698x76 + 749x77 + 497x78 + 681x79 + 955x80 + 17x81 + 454x82 + 8x83 + 512x84 + 913x85 + 450x86 + 372x87 + 417x88 + 352x89 + 659x90 + 257x91 + 649x92 + 919x93 + 398x94 + 499x95 + 301x96 + 846x97 + 646x98 + 728x99 + 162x100 + 235x101 + 42x102 + 164x103 + 432x104 + 550x105 + 916x106 + 879x107 + 842x108 + 65x109 + 705x110 + 583x111 + 713x112 + 385x113 + 868x114 + 910x115 + 980x116 + 262x117 + 625x118 + 562x119 + 672x120 + 507x121 + 811x122 + 296x123 + 568x124 + 380x125 + 998x126 + 326x127 + 547x128 + 267x129 + 802x130 + 378x131 + 96x132 + 241x133 + 612x134 + 566x135 + 268x136 + 317x137 + 549x138 + 945x139 + 869x140 + 255x141 + 167x142 + 621x143 + 790x144 + 681x145 + 132x146 + 627x147 + 842x148 + 27x149 + 253x150 + 630x151 + 589x152 + 740x153 + 19x154 + 354x155 + 670x156 + 256x157 + 936x158 + 611x159 + 725x160 + 660x161 + 60x162 + 262x163 + 268x164 + 683x165 + 855x166 + 338x167 + 447x168 + 870x169 + 234x170 + 186x171 + 524x172 + 494x173 + 612x174 + 985x175 + 74x176 + 66x177 + 830x178 + 677x179 + 201x180 + 152x181 + 374x182 + 375x183 + 701x184 + 580x185 + 467x186 + 769x187 + 67x188 + 297x189 + 142x190 + 181x191 + 360x192 + 107x193 + 548x194 + 877x195 + 997x196 + 696x197 + 396x198 + 830x199 + 227x200 + 347x201 + 619x202 + 300x203 + 678x204 + 647x205 + 401x206 + 61x207 + 427x208 + 468x209 + 633x210 + 461x211 + 826x212 + 500x213 + 196x214 + 165x215 + 291x216 + 698x217 + 427x218 + 756x219 + 928x220 + 248x221 + 943x222 + 49x223 + 422x224 + 990x225 + 177x226 + 526x227 + 964x228 + 409x229 + 257x230 + 124x231 + 143x232 + 650x233 + 64x234 + 790x235 + 332x236 + 34x237 + 60x238 + 800x239 + 924x240 + 726x241 + 463x242 + 260x243 + 308x244 + 696x245 + 790x246 + 97x247 + 308x248 + 304x249 + 419x250 <= 65290 
constr2: + 678x1 + 366x2 + 997x3 + 177x4 + 816x5 + 315x6 + 7x7 + 711x8 + 871x9 + 603x10 + 943x11 + 760x12 + 456x13 + 798x14 + 375x15 + 827x16 + 321x17 + 771x18 + 901x19 + 195x20 + 837x21 + 460x22 + 221x23 + 597x24 + 626x25 + 795x26 + 888x27 + 704x28 + 778x29 + 489x30 + 600x31 + 638x32 + 611x33 + 515x34 + 991x35 + 485x36 + 216x37 + 452x38 + 827x39 + 173x40 + 700x41 + 161x42 + 450x43 + 535x44 + 906x45 + 991x46 + 374x47 + 610x48 + 111x49 + 485x50 + 439x51 + 925x52 + 659x53 + 417x54 + 347x55 + 276x56 + 802x57 + 508x58 + 191x59 + 516x60 + 149x61 + 125x62 + 51x63 + 341x64 + 87x65 + 535x66 + 120x67 + 490x68 + 801x69 + 387x70 + 273x71 + 818x72 + 246x73 + 403x74 + 218x75 + 269x76 + 572x77 + 108x78 + 795x79 + 70x80 + 711x81 + 769x82 + 60x83 + 155x84 + 638x85 + 504x86 + 583x87 + 686x88 + 867x89 + 774x90 + 238x91 + 290x92 + 756x93 + 753x94 + 170x95 + 885x96 + 202x97 + 602x98 + 639x99 + 568x100 + 597x101 + 160x102 + 960x103 + 880x104 + 916x105 + 651x106 + 919x107 + 777x108 + 846x109 + 541x110 + 353x111 + 784x112 + 187x113 + 201x114 + 427x115 + 718x116 + 40x117 + 665x118 + 151x119 + 485x120 + 813x121 + 465x122 + 494x123 + 379x124 + 846x125 + 822x126 + 732x127 + 191x128 + 988x129 + 925x130 + 84x131 + 6x132 + 410x133 + 691x134 + 488x135 + 276x136 + 592x137 + 792x138 + 968x139 + 253x140 + 136x141 + 259x142 + 885x143 + 248x144 + 305x145 + 388x146 + 645x147 + 518x148 + 983x149 + 564x150 + 638x151 + 854x152 + 568x153 + 950x154 + 326x155 + 278x156 + 989x157 + 659x158 + 873x159 + 330x160 + 877x161 + 974x162 + 736x163 + 861x164 + 298x165 + 316x166 + 890x167 + 385x168 + 16x169 + 674x170 + 293x171 + 423x172 + 634x173 + 413x174 + 57x175 + 645x176 + 163x177 + 667x178 + 865x179 + 67x180 + 301x181 + 210x182 + 217x183 + 132x184 + 995x185 + 92x186 + 151x187 + 485x188 + 1000x189 + 936x190 + 90x191 + 135x192 + 469x193 + 487x194 + 779x195 + 29x196 + 939x197 + 484x198 + 254x199 + 733x200 + 869x201 + 714x202 + 263x203 + 624x204 + 315x205 + 267x206 + 429x207 + 384x208 + 863x209 + 636x210 + 144x211 + 876x212 + 144x213 + 722x214 + 659x215 + 573x216 + 592x217 + 787x218 + 592x219 + 870x220 + 550x221 + 509x222 + 702x223 + 822x224 + 300x225 + 927x226 + 676x227 + 942x228 + 726x229 + 522x230 + 563x231 + 377x232 + 999x233 + 286x234 + 221x235 + 959x236 + 477x237 + 965x238 + 384x239 + 793x240 + 374x241 + 393x242 + 817x243 + 602x244 + 217x245 + 636x246 + 625x247 + 194x248 + 790x249 + 427x250 <= 58316 
constr3: + 513x1 + 712x2 + 872x3 + 189x4 + 882x5 + 330x6 + 198x7 + 872x8 + 108x9 + 512x10 + 661x11 + 509x12 + 526x13 + 757x14 + 640x15 + 732x16 + 964x17 + 998x18 + 839x19 + 903x20 + 7x21 + 547x22 + 608x23 + 787x24 + 293x25 + 677x26 + 834x27 + 833x28 + 834x29 + 455x30 + 274x31 + 16x32 + 237x33 + 885x34 + 698x35 + 654x36 + 897x37 + 685x38 + 845x39 + 627x40 + 680x41 + 281x42 + 508x43 + 717x44 + 120x45 + 648x46 + 366x47 + 105x48 + 603x49 + 232x50 + 313x51 + 447x52 + 568x53 + 452x54 + 92x55 + 554x56 + 708x57 + 46x58 + 48x59 + 794x60 + 70x61 + 4x62 + 170x63 + 19x64 + 109x65 + 162x66 + 499x67 + 659x68 + 435x69 + 467x70 + 682x71 + 404x72 + 774x73 + 263x74 + 646x75 + 141x76 + 115x77 + 476x78 + 966x79 + 369x80 + 250x81 + 509x82 + 605x83 + 709x84 + 304x85 + 940x86 + 703x87 + 131x88 + 912x89 + 151x90 + 221x91 + 97x92 + 103x93 + 757x94 + 353x95 + 23x96 + 570x97 + 877x98 + 513x99 + 738x100 + 888x101 + 731x102 + 971x103 + 939x104 + 687x105 + 306x106 + 933x107 + 15x108 + 432x109 + 560x110 + 993x111 + 14x112 + 866x113 + 462x114 + 835x115 + 963x116 + 704x117 + 634x118 + 628x119 + 31x120 + 874x121 + 523x122 + 707x123 + 324x124 + 797x125 + 986x126 + 678x127 + 674x128 + 634x129 + 265x130 + 364x131 + 132x132 + 144x133 + 669x134 + 49x135 + 824x136 + 593x137 + 83x138 + 446x139 + 506x140 + 485x141 + 661x142 + 71x143 + 78x144 + 594x145 + 618x146 + 739x147 + 111x148 + 519x149 + 135x150 + 585x151 + 84x152 + 979x153 + 511x154 + 7x155 + 460x156 + 584x157 + 940x158 + 307x159 + 405x160 + 735x161 + 75x162 + 974x163 + 177x164 + 587x165 + 290x166 + 324x167 + 131x168 + 550x169 + 394x170 + 956x171 + 949x172 + 420x173 + 282x174 + 664x175 + 386x176 + 386x177 + 561x178 + 44x179 + 995x180 + 301x181 + 786x182 + 135x183 + 907x184 + 186x185 + 597x186 + 620x187 + 425x188 + 161x189 + 379x190 + 237x191 + 665x192 + 184x193 + 726x194 + 645x195 + 449x196 + 634x197 + 41x198 + 507x199 + 252x200 + 725x201 + 861x202 + 149x203 + 313x204 + 716x205 + 136x206 + 539x207 + 547x208 + 914x209 + 468x210 + 167x211 + 389x212 + 794x213 + 140x214 + 678x215 + 668x216 + 407x217 + 317x218 + 728x219 + 538x220 + 950x221 + 733x222 + 7x223 + 988x224 + 710x225 + 455x226 + 370x227 + 923x228 + 659x229 + 579x230 + 383x231 + 131x232 + 470x233 + 7x234 + 706x235 + 39x236 + 278x237 + 910x238 + 537x239 + 719x240 + 658x241 + 410x242 + 980x243 + 935x244 + 78x245 + 259x246 + 149x247 + 319x248 + 898x249 + 870x250 <= 61360 
constr4: + 937x1 + 145x2 + 605x3 + 437x4 + 392x5 + 868x6 + 532x7 + 701x8 + 31x9 + 836x10 + 444x11 + 302x12 + 395x13 + 901x14 + 856x15 + 142x16 + 43x17 + 758x18 + 219x19 + 450x20 + 392x21 + 79x22 + 232x23 + 912x24 + 948x25 + 527x26 + 113x27 + 382x28 + 10x29 + 432x30 + 978x31 + 646x32 + 977x33 + 249x34 + 459x35 + 239x36 + 880x37 + 770x38 + 208x39 + 979x40 + 209x41 + 526x42 + 849x43 + 195x44 + 942x45 + 523x46 + 121x47 + 3x48 + 269x49 + 40x50 + 224x51 + 381x52 + 99x53 + 404x54 + 888x55 + 23x56 + 722x57 + 225x58 + 560x59 + 628x60 + 99x61 + 131x62 + 602x63 + 379x64 + 49x65 + 660x66 + 229x67 + 586x68 + 692x69 + 290x70 + 818x71 + 545x72 + 297x73 + 920x74 + 264x75 + 583x76 + 163x77 + 400x78 + 79x79 + 437x80 + 106x81 + 641x82 + 525x83 + 693x84 + 222x85 + 422x86 + 954x87 + 569x88 + 314x89 + 16x90 + 773x91 + 419x92 + 113x93 + 257x94 + 147x95 + 81x96 + 98x97 + 897x98 + 947x99 + 717x100 + 619x101 + 676x102 + 875x103 + 237x104 + 240x105 + 98x106 + 513x107 + 16x108 + 209x109 + 317x110 + 553x111 + 356x112 + 453x113 + 617x114 + 10x115 + 449x116 + 80x117 + 958x118 + 912x119 + 22x120 + 613x121 + 900x122 + 47x123 + 749x124 + 348x125 + 555x126 + 21x127 + 751x128 + 740x129 + 481x130 + 357x131 + 824x132 + 742x133 + 96x134 + 291x135 + 89x136 + 565x137 + 214x138 + 363x139 + 392x140 + 288x141 + 978x142 + 769x143 + 241x144 + 643x145 + 23x146 + 583x147 + 129x148 + 49x149 + 59x150 + 105x151 + 279x152 + 411x153 + 717x154 + 696x155 + 721x156 + 461x157 + 225x158 + 32x159 + 351x160 + 334x161 + 539x162 + 523x163 + 675x164 + 500x165 + 478x166 + 147x167 + 164x168 + 169x169 + 258x170 + 208x171 + 254x172 + 968x173 + 543x174 + 118x175 + 834x176 + 62x177 + 524x178 + 468x179 + 629x180 + 170x181 + 462x182 + 812x183 + 802x184 + 547x185 + 379x186 + 351x187 + 319x188 + 932x189 + 386x190 + 388x191 + 105x192 + 448x193 + 273x194 + 293x195 + 222x196 + 230x197 + 901x198 + 153x199 + 559x200 + 995x201 + 294x202 + 151x203 + 26x204 + 947x205 + 859x206 + 391x207 + 841x208 + 998x209 + 856x210 + 905x211 + 653x212 + 770x213 + 359x214 + 251x215 + 553x216 + 533x217 + 797x218 + 427x219 + 407x220 + 136x221 + 847x222 + 769x223 + 731x224 + 395x225 + 953x226 + 298x227 + 994x228 + 323x229 + 365x230 + 725x231 + 328x232 + 196x233 + 924x234 + 383x235 + 548x236 + 974x237 + 463x238 + 854x239 + 533x240 + 18x241 + 58x242 + 149x243 + 90x244 + 842x245 + 630x246 + 268x247 + 987x248 + 626x249 + 795x250 <= 58663 
constr5: + 716x1 + 449x2 + 373x3 + 64x4 + 931x5 + 468x6 + 941x7 + 743x8 + 609x9 + 379x10 + 17x11 + 849x12 + 496x13 + 157x14 + 499x15 + 87x16 + 490x17 + 976x18 + 704x19 + 274x20 + 437x21 + 570x22 + 906x23 + 21x24 + 200x25 + 387x26 + 281x27 + 725x28 + 113x29 + 902x30 + 386x31 + 995x32 + 242x33 + 97x34 + 915x35 + 822x36 + 247x37 + 562x38 + 660x39 + 881x40 + 601x41 + 590x42 + 909x43 + 104x44 + 433x45 + 105x46 + 928x47 + 67x48 + 4x49 + 832x50 + 837x51 + 15x52 + 602x53 + 422x54 + 824x55 + 239x56 + 84x57 + 969x58 + 332x59 + 702x60 + 729x61 + 474x62 + 668x63 + 450x64 + 608x65 + 695x66 + 558x67 + 736x68 + 970x69 + 153x70 + 71x71 + 314x72 + 288x73 + 989x74 + 581x75 + 953x76 + 927x77 + 195x78 + 454x79 + 507x80 + 283x81 + 985x82 + 180x83 + 588x84 + 745x85 + 158x86 + 630x87 + 845x88 + 819x89 + 893x90 + 726x91 + 158x92 + 122x93 + 224x94 + 37x95 + 194x96 + 797x97 + 305x98 + 567x99 + 559x100 + 52x101 + 368x102 + 822x103 + 451x104 + 692x105 + 758x106 + 247x107 + 373x108 + 873x109 + 732x110 + 583x111 + 793x112 + 197x113 + 83x114 + 708x115 + 234x116 + 819x117 + 529x118 + 564x119 + 78x120 + 234x121 + 9x122 + 775x123 + 403x124 + 643x125 + 233x126 + 204x127 + 292x128 + 410x129 + 624x130 + 932x131 + 554x132 + 981x133 + 118x134 + 441x135 + 59x136 + 525x137 + 482x138 + 157x139 + 83x140 + 8x141 + 34x142 + 466x143 + 205x144 + 147x145 + 405x146 + 733x147 + 169x148 + 616x149 + 305x150 + 442x151 + 467x152 + 692x153 + 404x154 + 895x155 + 264x156 + 717x157 + 59x158 + 761x159 + 167x160 + 39x161 + 53x162 + 215x163 + 658x164 + 852x165 + 333x166 + 568x167 + 34x168 + 189x169 + 449x170 + 53x171 + 708x172 + 907x173 + 670x174 + 903x175 + 614x176 + 148x177 + 169x178 + 992x179 + 584x180 + 535x181 + 108x182 + 497x183 + 971x184 + 399x185 + 30x186 + 159x187 + 2x188 + 536x189 + 351x190 + 412x191 + 372x192 + 963x193 + 622x194 + 399x195 + 782x196 + 65x197 + 491x198 + 492x199 + 793x200 + 538x201 + 580x202 + 409x203 + 919x204 + 219x205 + 297x206 + 806x207 + 949x208 + 441x209 + 758x210 + 555x211 + 879x212 + 209x213 + 812x214 + 71x215 + 71x216 + 92x217 + 542x218 + 973x219 + 628x220 + 668x221 + 237x222 + 45x223 + 282x224 + 383x225 + 532x226 + 804x227 + 350x228 + 94x229 + 626x230 + 147x231 + 183x232 + 652x233 + 193x234 + 265x235 + 60x236 + 128x237 + 121x238 + 200x239 + 32x240 + 258x241 + 187x242 + 920x243 + 735x244 + 182x245 + 535x246 + 158x247 + 142x248 + 890x249 + 462x250 <= 63971 
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