minimize 
objective: s
subject to 
s1: s + 0.501000f1 + 0.001000f2 >= 92661.670000 
s2: s + 0.001000f1 + 0.501000f2 >= 92661.670000 
f1: -f1 + 565x1 + 601x2 + 954x3 + 1027x4 + 955x5 + 653x6 + 492x7 + 737x8 + 772x9 + 625x10 + 547x11 + 774x12 + 778x13 + 381x14 + 373x15 + 580x16 + 491x17 + 986x18 + 704x19 + 833x20 + 786x21 + 834x22 + 863x23 + 599x24 + 465x25 + 718x26 + 594x27 + 806x28 + 710x29 + 839x30 + 1082x31 + 612x32 + 613x33 + 748x34 + 1006x35 + 765x36 + 506x37 + 746x38 + 741x39 + 578x40 + 654x41 + 622x42 + 697x43 + 436x44 + 794x45 + 778x46 + 1142x47 + 1139x48 + 500x49 + 587x50 + 754x51 + 504x52 + 423x53 + 385x54 + 409x55 + 907x56 + 900x57 + 940x58 + 888x59 + 735x60 + 558x61 + 649x62 + 885x63 + 1092x64 + 593x65 + 933x66 + 480x67 + 416x68 + 809x69 + 537x70 + 672x71 + 844x72 + 762x73 + 467x74 + 796x75 + 756x76 + 722x77 + 608x78 + 913x79 + 1001x80 + 919x81 + 1137x82 + 1032x83 + 895x84 + 351x85 + 979x86 + 493x87 + 557x88 + 648x89 + 585x90 + 607x91 + 824x92 + 647x93 + 702x94 + 976x95 + 736x96 + 784x97 + 822x98 + 425x99 + 575x100 + 535x101 + 758x102 + 353x103 + 1046x104 + 988x105 + 874x106 + 1033x107 + 919x108 + 602x109 + 1115x110 + 981x111 + 805x112 + 686x113 + 869x114 + 612x115 + 1000x116 + 646x117 + 584x118 + 530x119 + 807x120 + 798x121 + 591x122 + 519x123 + 556x124 + 1053x125 + 1025x126 + 771x127 + 1015x128 + 845x129 + 1053x130 + 1010x131 + 721x132 + 812x133 + 494x134 + 951x135 + 766x136 + 480x137 + 894x138 + 815x139 + 717x140 + 691x141 + 1049x142 + 620x143 + 1049x144 + 478x145 + 866x146 + 716x147 + 606x148 + 511x149 + 802x150 + 668x151 + 850x152 + 758x153 + 757x154 + 828x155 + 500x156 + 790x157 + 877x158 + 1001x159 + 700x160 + 785x161 + 787x162 + 990x163 + 869x164 + 502x165 + 764x166 + 927x167 + 749x168 + 888x169 + 995x170 + 457x171 + 932x172 + 615x173 + 513x174 + 763x175 + 862x176 + 953x177 + 719x178 + 957x179 + 610x180 + 529x181 + 909x182 + 358x183 + 649x184 + 742x185 + 1066x186 + 630x187 + 686x188 + 501x189 + 805x190 + 707x191 + 670x192 + 852x193 + 566x194 + 862x195 + 844x196 + 406x197 + 1019x198 + 872x199 + 796x200 + 884x201 + 706x202 + 601x203 + 471x204 + 862x205 + 533x206 + 999x207 + 449x208 + 885x209 + 717x210 + 924x211 + 836x212 + 703x213 + 590x214 + 611x215 + 1193x216 + 771x217 + 661x218 + 850x219 + 731x220 + 829x221 + 441x222 + 711x223 + 455x224 + 917x225 + 506x226 + 520x227 + 684x228 + 508x229 + 1015x230 + 695x231 + 635x232 + 1163x233 + 442x234 + 504x235 + 872x236 + 705x237 + 619x238 + 827x239 + 523x240 + 950x241 + 412x242 + 734x243 + 862x244 + 669x245 + 508x246 + 316x247 + 1013x248 + 939x249 + 962x250  = 0 
f2: -f2 + 805x1 + 672x2 + 707x3 + 822x4 + 834x5 + 608x6 + 939x7 + 1049x8 + 520x9 + 491x10 + 1142x11 + 500x12 + 606x13 + 492x14 + 827x15 + 953x16 + 1006x17 + 888x18 + 986x19 + 622x20 + 358x21 + 771x22 + 547x23 + 556x24 + 940x25 + 625x26 + 798x27 + 661x28 + 950x29 + 612x30 + 565x31 + 737x32 + 533x33 + 909x34 + 465x35 + 734x36 + 353x37 + 535x38 + 758x39 + 669x40 + 686x41 + 580x42 + 710x43 + 872x44 + 735x45 + 1032x46 + 774x47 + 862x48 + 749x49 + 866x50 + 979x51 + 557x52 + 615x53 + 844x54 + 990x55 + 504x56 + 1001x57 + 976x58 + 416x59 + 316x60 + 601x61 + 594x62 + 869x63 + 409x64 + 862x65 + 649x66 + 601x67 + 1139x68 + 702x69 + 1137x70 + 1027x71 + 584x72 + 815x73 + 895x74 + 1033x75 + 1193x76 + 862x77 + 957x78 + 711x79 + 619x80 + 351x81 + 736x82 + 654x83 + 385x84 + 513x85 + 700x86 + 741x87 + 772x88 + 455x89 + 765x90 + 1015x91 + 406x92 + 630x93 + 500x94 + 613x95 + 932x96 + 933x97 + 1019x98 + 647x99 + 863x100 + 829x101 + 790x102 + 717x103 + 988x104 + 962x105 + 1049x106 + 607x107 + 748x108 + 885x109 + 807x110 + 778x111 + 717x112 + 852x113 + 1163x114 + 872x115 + 766x116 + 796x117 + 649x118 + 742x119 + 951x120 + 757x121 + 785x122 + 722x123 + 762x124 + 1015x125 + 919x126 + 480x127 + 1046x128 + 599x129 + 786x130 + 591x131 + 844x132 + 885x133 + 529x134 + 508x135 + 537x136 + 787x137 + 746x138 + 824x139 + 467x140 + 731x141 + 697x142 + 705x143 + 869x144 + 862x145 + 1013x146 + 850x147 + 670x148 + 686x149 + 809x150 + 506x151 + 1053x152 + 523x153 + 758x154 + 1092x155 + 436x156 + 1115x157 + 611x158 + 412x159 + 802x160 + 721x161 + 558x162 + 684x163 + 919x164 + 373x165 + 610x166 + 501x167 + 695x168 + 585x169 + 796x170 + 590x171 + 704x172 + 806x173 + 981x174 + 995x175 + 1066x176 + 381x177 + 716x178 + 578x179 + 1001x180 + 839x181 + 587x182 + 999x183 + 764x184 + 833x185 + 894x186 + 884x187 + 771x188 + 425x189 + 877x190 + 924x191 + 442x192 + 917x193 + 927x194 + 449x195 + 511x196 + 612x197 + 478x198 + 668x199 + 620x200 + 653x201 + 718x202 + 635x203 + 900x204 + 494x205 + 457x206 + 480x207 + 519x208 + 691x209 + 907x210 + 504x211 + 913x212 + 648x213 + 836x214 + 763x215 + 1025x216 + 812x217 + 602x218 + 703x219 + 575x220 + 1053x221 + 471x222 + 441x223 + 845x224 + 506x225 + 828x226 + 646x227 + 593x228 + 955x229 + 1082x230 + 719x231 + 502x232 + 493x233 + 784x234 + 794x235 + 850x236 + 423x237 + 566x238 + 756x239 + 805x240 + 530x241 + 706x242 + 1010x243 + 508x244 + 1000x245 + 754x246 + 874x247 + 778x248 + 888x249 + 954x250  = 0 
constr1: + 328x1 + 342x2 + 460x3 + 519x4 + 138x5 + 731x6 + 861x7 + 858x8 + 376x9 + 878x10 + 510x11 + 804x12 + 502x13 + 620x14 + 422x15 + 993x16 + 516x17 + 890x18 + 46x19 + 242x20 + 27x21 + 757x22 + 958x23 + 280x24 + 329x25 + 689x26 + 817x27 + 105x28 + 517x29 + 491x30 + 641x31 + 929x32 + 561x33 + 142x34 + 130x35 + 136x36 + 379x37 + 613x38 + 894x39 + 269x40 + 43x41 + 805x42 + 764x43 + 487x44 + 850x45 + 64x46 + 695x47 + 189x48 + 735x49 + 666x50 + 664x51 + 875x52 + 97x53 + 701x54 + 939x55 + 469x56 + 532x57 + 780x58 + 291x59 + 943x60 + 253x61 + 576x62 + 86x63 + 18x64 + 44x65 + 348x66 + 102x67 + 71x68 + 717x69 + 585x70 + 645x71 + 489x72 + 813x73 + 705x74 + 31x75 + 853x76 + 140x77 + 485x78 + 13x79 + 930x80 + 368x81 + 134x82 + 613x83 + 22x84 + 468x85 + 651x86 + 67x87 + 894x88 + 179x89 + 728x90 + 278x91 + 196x92 + 264x93 + 833x94 + 971x95 + 607x96 + 665x97 + 554x98 + 210x99 + 77x100 + 791x101 + 559x102 + 347x103 + 255x104 + 575x105 + 178x106 + 591x107 + 304x108 + 382x109 + 697x110 + 423x111 + 117x112 + 110x113 + 779x114 + 661x115 + 540x116 + 396x117 + 831x118 + 13x119 + 438x120 + 190x121 + 716x122 + 538x123 + 987x124 + 629x125 + 239x126 + 704x127 + 432x128 + 767x129 + 678x130 + 389x131 + 345x132 + 778x133 + 303x134 + 415x135 + 894x136 + 208x137 + 760x138 + 757x139 + 447x140 + 957x141 + 533x142 + 389x143 + 785x144 + 954x145 + 28x146 + 609x147 + 725x148 + 744x149 + 249x150 + 97x151 + 411x152 + 636x153 + 633x154 + 167x155 + 409x156 + 501x157 + 784x158 + 501x159 + 819x160 + 151x161 + 113x162 + 767x163 + 579x164 + 693x165 + 601x166 + 305x167 + 862x168 + 513x169 + 923x170 + 335x171 + 867x172 + 788x173 + 377x174 + 951x175 + 787x176 + 740x177 + 704x178 + 448x179 + 151x180 + 913x181 + 233x182 + 519x183 + 877x184 + 46x185 + 232x186 + 685x187 + 72x188 + 336x189 + 477x190 + 298x191 + 691x192 + 537x193 + 652x194 + 505x195 + 924x196 + 858x197 + 21x198 + 425x199 + 208x200 + 746x201 + 3x202 + 631x203 + 124x204 + 865x205 + 166x206 + 566x207 + 877x208 + 300x209 + 335x210 + 738x211 + 836x212 + 911x213 + 591x214 + 591x215 + 100x216 + 868x217 + 735x218 + 949x219 + 488x220 + 430x221 + 646x222 + 72x223 + 326x224 + 100x225 + 253x226 + 793x227 + 803x228 + 663x229 + 147x230 + 63x231 + 804x232 + 82x233 + 40x234 + 748x235 + 520x236 + 789x237 + 850x238 + 336x239 + 863x240 + 689x241 + 313x242 + 535x243 + 772x244 + 513x245 + 219x246 + 41x247 + 634x248 + 309x249 + 231x250 <= 60297 
constr2: + 679x1 + 364x2 + 424x3 + 395x4 + 869x5 + 336x6 + 575x7 + 288x8 + 959x9 + 881x10 + 234x11 + 52x12 + 396x13 + 431x14 + 797x15 + 320x16 + 580x17 + 631x18 + 766x19 + 317x20 + 752x21 + 624x22 + 259x23 + 361x24 + 687x25 + 755x26 + 846x27 + 227x28 + 841x29 + 672x30 + 394x31 + 200x32 + 213x33 + 496x34 + 388x35 + 154x36 + 713x37 + 191x38 + 720x39 + 533x40 + 412x41 + 558x42 + 329x43 + 671x44 + 814x45 + 546x46 + 55x47 + 978x48 + 379x49 + 447x50 + 806x51 + 108x52 + 227x53 + 418x54 + 475x55 + 9x56 + 225x57 + 409x58 + 293x59 + 390x60 + 493x61 + 268x62 + 717x63 + 237x64 + 259x65 + 513x66 + 727x67 + 703x68 + 56x69 + 481x70 + 108x71 + 150x72 + 352x73 + 925x74 + 150x75 + 446x76 + 265x77 + 102x78 + 305x79 + 975x80 + 158x81 + 103x82 + 105x83 + 396x84 + 396x85 + 91x86 + 569x87 + 297x88 + 981x89 + 350x90 + 701x91 + 472x92 + 782x93 + 262x94 + 245x95 + 120x96 + 105x97 + 278x98 + 201x99 + 474x100 + 161x101 + 255x102 + 451x103 + 59x104 + 474x105 + 701x106 + 432x107 + 961x108 + 709x109 + 747x110 + 292x111 + 55x112 + 597x113 + 519x114 + 25x115 + 727x116 + 652x117 + 91x118 + 822x119 + 834x120 + 962x121 + 737x122 + 255x123 + 249x124 + 19x125 + 548x126 + 209x127 + 130x128 + 358x129 + 999x130 + 699x131 + 818x132 + 926x133 + 591x134 + 436x135 + 790x136 + 793x137 + 256x138 + 575x139 + 183x140 + 506x141 + 785x142 + 199x143 + 265x144 + 160x145 + 727x146 + 211x147 + 27x148 + 163x149 + 130x150 + 793x151 + 532x152 + 426x153 + 378x154 + 266x155 + 954x156 + 846x157 + 680x158 + 50x159 + 387x160 + 108x161 + 837x162 + 700x163 + 544x164 + 413x165 + 67x166 + 959x167 + 941x168 + 343x169 + 838x170 + 804x171 + 841x172 + 880x173 + 625x174 + 491x175 + 262x176 + 863x177 + 408x178 + 977x179 + 216x180 + 425x181 + 185x182 + 18x183 + 143x184 + 411x185 + 961x186 + 639x187 + 275x188 + 141x189 + 81x190 + 182x191 + 546x192 + 762x193 + 758x194 + 45x195 + 147x196 + 624x197 + 522x198 + 661x199 + 417x200 + 170x201 + 805x202 + 934x203 + 815x204 + 63x205 + 329x206 + 303x207 + 6x208 + 505x209 + 888x210 + 690x211 + 904x212 + 638x213 + 423x214 + 474x215 + 258x216 + 279x217 + 55x218 + 637x219 + 284x220 + 882x221 + 831x222 + 768x223 + 104x224 + 280x225 + 148x226 + 165x227 + 581x228 + 421x229 + 293x230 + 157x231 + 425x232 + 412x233 + 935x234 + 910x235 + 441x236 + 615x237 + 835x238 + 284x239 + 528x240 + 440x241 + 377x242 + 847x243 + 849x244 + 402x245 + 347x246 + 881x247 + 5x248 + 172x249 + 107x250 <= 58416 
constr3: + 520x1 + 344x2 + 212x3 + 179x4 + 227x5 + 855x6 + 748x7 + 541x8 + 794x9 + 278x10 + 928x11 + 631x12 + 350x13 + 971x14 + 857x15 + 727x16 + 879x17 + 46x18 + 431x19 + 431x20 + 24x21 + 990x22 + 562x23 + 945x24 + 177x25 + 702x26 + 593x27 + 41x28 + 31x29 + 50x30 + 927x31 + 538x32 + 228x33 + 583x34 + 24x35 + 172x36 + 342x37 + 317x38 + 272x39 + 579x40 + 49x41 + 38x42 + 846x43 + 655x44 + 140x45 + 669x46 + 483x47 + 787x48 + 900x49 + 454x50 + 438x51 + 998x52 + 276x53 + 736x54 + 747x55 + 180x56 + 360x57 + 626x58 + 408x59 + 843x60 + 13x61 + 857x62 + 662x63 + 101x64 + 129x65 + 294x66 + 991x67 + 321x68 + 449x69 + 472x70 + 708x71 + 376x72 + 215x73 + 85x74 + 597x75 + 784x76 + 304x77 + 648x78 + 477x79 + 451x80 + 479x81 + 626x82 + 707x83 + 814x84 + 452x85 + 209x86 + 18x87 + 897x88 + 699x89 + 761x90 + 308x91 + 218x92 + 285x93 + 141x94 + 265x95 + 744x96 + 919x97 + 845x98 + 289x99 + 545x100 + 748x101 + 765x102 + 731x103 + 403x104 + 788x105 + 858x106 + 684x107 + 499x108 + 818x109 + 716x110 + 47x111 + 272x112 + 23x113 + 346x114 + 952x115 + 189x116 + 577x117 + 921x118 + 390x119 + 233x120 + 553x121 + 883x122 + 484x123 + 119x124 + 495x125 + 623x126 + 671x127 + 69x128 + 950x129 + 509x130 + 166x131 + 550x132 + 856x133 + 470x134 + 235x135 + 230x136 + 760x137 + 774x138 + 988x139 + 761x140 + 538x141 + 274x142 + 552x143 + 130x144 + 204x145 + 216x146 + 954x147 + 453x148 + 321x149 + 209x150 + 336x151 + 724x152 + 546x153 + 279x154 + 433x155 + 818x156 + 939x157 + 919x158 + 505x159 + 539x160 + 911x161 + 605x162 + 405x163 + 358x164 + 963x165 + 987x166 + 37x167 + 359x168 + 620x169 + 688x170 + 156x171 + 152x172 + 433x173 + 81x174 + 881x175 + 145x176 + 654x177 + 737x178 + 36x179 + 252x180 + 702x181 + 1000x182 + 552x183 + 610x184 + 334x185 + 445x186 + 491x187 + 140x188 + 794x189 + 700x190 + 311x191 + 857x192 + 448x193 + 662x194 + 167x195 + 706x196 + 983x197 + 307x198 + 409x199 + 1000x200 + 887x201 + 737x202 + 445x203 + 969x204 + 117x205 + 258x206 + 306x207 + 765x208 + 573x209 + 927x210 + 124x211 + 555x212 + 687x213 + 119x214 + 885x215 + 763x216 + 533x217 + 318x218 + 66x219 + 155x220 + 114x221 + 998x222 + 625x223 + 593x224 + 11x225 + 415x226 + 379x227 + 723x228 + 867x229 + 782x230 + 78x231 + 223x232 + 345x233 + 496x234 + 647x235 + 828x236 + 88x237 + 516x238 + 786x239 + 446x240 + 122x241 + 10x242 + 451x243 + 43x244 + 820x245 + 677x246 + 409x247 + 223x248 + 792x249 + 881x250 <= 62282 
constr4: + 716x1 + 43x2 + 447x3 + 673x4 + 825x5 + 487x6 + 134x7 + 55x8 + 308x9 + 119x10 + 668x11 + 341x12 + 674x13 + 966x14 + 860x15 + 871x16 + 182x17 + 739x18 + 111x19 + 720x20 + 622x21 + 127x22 + 315x23 + 644x24 + 113x25 + 24x26 + 117x27 + 810x28 + 561x29 + 548x30 + 394x31 + 142x32 + 648x33 + 398x34 + 458x35 + 407x36 + 405x37 + 112x38 + 80x39 + 806x40 + 460x41 + 84x42 + 466x43 + 394x44 + 392x45 + 427x46 + 123x47 + 268x48 + 527x49 + 690x50 + 818x51 + 166x52 + 218x53 + 8x54 + 641x55 + 74x56 + 689x57 + 977x58 + 469x59 + 357x60 + 385x61 + 433x62 + 681x63 + 473x64 + 318x65 + 88x66 + 250x67 + 379x68 + 910x69 + 472x70 + 857x71 + 409x72 + 604x73 + 751x74 + 370x75 + 794x76 + 711x77 + 517x78 + 952x79 + 355x80 + 735x81 + 693x82 + 597x83 + 285x84 + 126x85 + 988x86 + 363x87 + 185x88 + 598x89 + 652x90 + 260x91 + 143x92 + 407x93 + 798x94 + 282x95 + 346x96 + 157x97 + 985x98 + 775x99 + 580x100 + 52x101 + 174x102 + 250x103 + 473x104 + 339x105 + 335x106 + 758x107 + 717x108 + 34x109 + 859x110 + 75x111 + 828x112 + 683x113 + 116x114 + 289x115 + 318x116 + 778x117 + 747x118 + 425x119 + 103x120 + 198x121 + 304x122 + 603x123 + 209x124 + 131x125 + 956x126 + 469x127 + 897x128 + 189x129 + 651x130 + 224x131 + 658x132 + 981x133 + 667x134 + 363x135 + 180x136 + 625x137 + 510x138 + 405x139 + 67x140 + 270x141 + 383x142 + 468x143 + 800x144 + 309x145 + 478x146 + 367x147 + 928x148 + 815x149 + 268x150 + 323x151 + 374x152 + 281x153 + 718x154 + 472x155 + 626x156 + 806x157 + 451x158 + 226x159 + 375x160 + 263x161 + 868x162 + 887x163 + 597x164 + 595x165 + 702x166 + 548x167 + 900x168 + 247x169 + 329x170 + 791x171 + 780x172 + 237x173 + 319x174 + 962x175 + 957x176 + 141x177 + 524x178 + 469x179 + 114x180 + 389x181 + 840x182 + 569x183 + 653x184 + 159x185 + 830x186 + 548x187 + 425x188 + 887x189 + 970x190 + 624x191 + 978x192 + 890x193 + 341x194 + 755x195 + 110x196 + 998x197 + 641x198 + 477x199 + 112x200 + 885x201 + 611x202 + 491x203 + 57x204 + 263x205 + 275x206 + 871x207 + 941x208 + 602x209 + 686x210 + 172x211 + 71x212 + 323x213 + 591x214 + 227x215 + 476x216 + 577x217 + 263x218 + 375x219 + 209x220 + 575x221 + 738x222 + 289x223 + 252x224 + 103x225 + 230x226 + 219x227 + 171x228 + 805x229 + 377x230 + 606x231 + 640x232 + 505x233 + 322x234 + 555x235 + 824x236 + 187x237 + 861x238 + 58x239 + 199x240 + 172x241 + 851x242 + 220x243 + 788x244 + 489x245 + 720x246 + 145x247 + 28x248 + 567x249 + 866x250 <= 67185 
constr5: + 795x1 + 61x2 + 134x3 + 893x4 + 164x5 + 847x6 + 791x7 + 421x8 + 479x9 + 855x10 + 377x11 + 64x12 + 470x13 + 544x14 + 598x15 + 532x16 + 283x17 + 348x18 + 870x19 + 111x20 + 517x21 + 531x22 + 117x23 + 229x24 + 11x25 + 495x26 + 686x27 + 556x28 + 146x29 + 793x30 + 574x31 + 69x32 + 7x33 + 505x34 + 938x35 + 754x36 + 779x37 + 153x38 + 870x39 + 214x40 + 106x41 + 591x42 + 194x43 + 359x44 + 803x45 + 732x46 + 838x47 + 148x48 + 934x49 + 232x50 + 504x51 + 784x52 + 111x53 + 91x54 + 18x55 + 787x56 + 588x57 + 418x58 + 925x59 + 699x60 + 65x61 + 654x62 + 259x63 + 157x64 + 679x65 + 716x66 + 120x67 + 300x68 + 686x69 + 428x70 + 999x71 + 998x72 + 424x73 + 947x74 + 700x75 + 778x76 + 210x77 + 543x78 + 437x79 + 571x80 + 497x81 + 599x82 + 392x83 + 377x84 + 601x85 + 167x86 + 628x87 + 900x88 + 165x89 + 684x90 + 655x91 + 224x92 + 773x93 + 533x94 + 227x95 + 936x96 + 99x97 + 124x98 + 424x99 + 731x100 + 613x101 + 520x102 + 696x103 + 528x104 + 9x105 + 874x106 + 838x107 + 376x108 + 450x109 + 25x110 + 252x111 + 928x112 + 413x113 + 959x114 + 951x115 + 236x116 + 210x117 + 424x118 + 947x119 + 883x120 + 84x121 + 871x122 + 878x123 + 413x124 + 304x125 + 911x126 + 967x127 + 637x128 + 629x129 + 715x130 + 243x131 + 376x132 + 48x133 + 372x134 + 443x135 + 65x136 + 508x137 + 574x138 + 664x139 + 498x140 + 900x141 + 162x142 + 866x143 + 323x144 + 962x145 + 770x146 + 11x147 + 369x148 + 388x149 + 391x150 + 472x151 + 718x152 + 65x153 + 338x154 + 473x155 + 674x156 + 680x157 + 509x158 + 925x159 + 469x160 + 931x161 + 255x162 + 848x163 + 386x164 + 166x165 + 866x166 + 751x167 + 619x168 + 642x169 + 566x170 + 650x171 + 848x172 + 928x173 + 338x174 + 895x175 + 69x176 + 959x177 + 110x178 + 54x179 + 606x180 + 501x181 + 530x182 + 729x183 + 901x184 + 598x185 + 228x186 + 968x187 + 542x188 + 381x189 + 909x190 + 583x191 + 383x192 + 278x193 + 833x194 + 623x195 + 505x196 + 64x197 + 49x198 + 628x199 + 638x200 + 203x201 + 385x202 + 612x203 + 488x204 + 126x205 + 641x206 + 451x207 + 990x208 + 61x209 + 308x210 + 135x211 + 374x212 + 909x213 + 242x214 + 744x215 + 601x216 + 9x217 + 239x218 + 772x219 + 377x220 + 809x221 + 400x222 + 220x223 + 540x224 + 941x225 + 554x226 + 368x227 + 838x228 + 525x229 + 905x230 + 115x231 + 313x232 + 822x233 + 889x234 + 318x235 + 844x236 + 237x237 + 22x238 + 143x239 + 580x240 + 764x241 + 244x242 + 495x243 + 455x244 + 358x245 + 559x246 + 268x247 + 33x248 + 235x249 + 849x250 <= 59561 
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