minimize 
objective: s
subject to 
s1: s + 0.501000f1 + 0.001000f2 >= 94619.470000 
s2: s + 0.001000f1 + 0.501000f2 >= 94619.470000 
f1: -f1 + 694x1 + 778x2 + 541x3 + 765x4 + 928x5 + 744x6 + 628x7 + 582x8 + 970x9 + 709x10 + 743x11 + 1041x12 + 1073x13 + 1098x14 + 526x15 + 522x16 + 303x17 + 663x18 + 1048x19 + 977x20 + 696x21 + 780x22 + 915x23 + 883x24 + 629x25 + 675x26 + 421x27 + 681x28 + 1197x29 + 679x30 + 587x31 + 824x32 + 1041x33 + 515x34 + 640x35 + 497x36 + 914x37 + 495x38 + 739x39 + 984x40 + 801x41 + 706x42 + 761x43 + 1097x44 + 641x45 + 1052x46 + 725x47 + 644x48 + 689x49 + 879x50 + 989x51 + 686x52 + 248x53 + 603x54 + 829x55 + 769x56 + 780x57 + 791x58 + 809x59 + 668x60 + 935x61 + 803x62 + 929x63 + 587x64 + 1118x65 + 575x66 + 614x67 + 760x68 + 802x69 + 714x70 + 628x71 + 910x72 + 720x73 + 748x74 + 461x75 + 1076x76 + 857x77 + 655x78 + 804x79 + 864x80 + 998x81 + 825x82 + 656x83 + 920x84 + 575x85 + 681x86 + 420x87 + 987x88 + 966x89 + 499x90 + 716x91 + 754x92 + 872x93 + 724x94 + 708x95 + 1071x96 + 741x97 + 594x98 + 1036x99 + 988x100 + 636x101 + 797x102 + 492x103 + 505x104 + 1002x105 + 531x106 + 762x107 + 579x108 + 700x109 + 528x110 + 1064x111 + 801x112 + 614x113 + 931x114 + 1044x115 + 680x116 + 817x117 + 861x118 + 609x119 + 641x120 + 706x121 + 669x122 + 565x123 + 1095x124 + 814x125 + 401x126 + 524x127 + 844x128 + 1070x129 + 681x130 + 1026x131 + 747x132 + 815x133 + 1110x134 + 665x135 + 608x136 + 902x137 + 518x138 + 440x139 + 614x140 + 498x141 + 397x142 + 905x143 + 744x144 + 887x145 + 996x146 + 842x147 + 608x148 + 631x149 + 1033x150 + 545x151 + 455x152 + 1121x153 + 671x154 + 861x155 + 779x156 + 874x157 + 700x158 + 933x159 + 654x160 + 1084x161 + 885x162 + 722x163 + 670x164 + 465x165 + 874x166 + 416x167 + 386x168 + 562x169 + 540x170 + 545x171 + 1093x172 + 962x173 + 715x174 + 503x175 + 1021x176 + 1034x177 + 662x178 + 862x179 + 931x180 + 1115x181 + 816x182 + 661x183 + 909x184 + 748x185 + 1056x186 + 616x187 + 1206x188 + 535x189 + 361x190 + 856x191 + 944x192 + 1116x193 + 921x194 + 724x195 + 560x196 + 929x197 + 1052x198 + 818x199 + 701x200 + 812x201 + 834x202 + 651x203 + 1084x204 + 619x205 + 738x206 + 634x207 + 852x208 + 510x209 + 1106x210 + 725x211 + 557x212 + 458x213 + 498x214 + 951x215 + 559x216 + 1069x217 + 540x218 + 699x219 + 785x220 + 597x221 + 880x222 + 683x223 + 1016x224 + 786x225 + 689x226 + 503x227 + 758x228 + 853x229 + 517x230 + 831x231 + 631x232 + 693x233 + 884x234 + 609x235 + 477x236 + 500x237 + 686x238 + 510x239 + 836x240 + 714x241 + 560x242 + 707x243 + 453x244 + 871x245 + 505x246 + 771x247 + 794x248 + 1092x249 + 697x250  = 0 
f2: -f2 + 815x1 + 559x2 + 465x3 + 700x4 + 1064x5 + 758x6 + 681x7 + 248x8 + 634x9 + 1044x10 + 1016x11 + 720x12 + 693x13 + 455x14 + 641x15 + 689x16 + 1197x17 + 1052x18 + 535x19 + 1002x20 + 1071x21 + 831x22 + 1070x23 + 834x24 + 778x25 + 824x26 + 814x27 + 579x28 + 420x29 + 1098x30 + 616x31 + 1110x32 + 669x33 + 1033x34 + 748x35 + 962x36 + 1095x37 + 697x38 + 844x39 + 874x40 + 1092x41 + 560x42 + 668x43 + 905x44 + 864x45 + 914x46 + 874x47 + 853x48 + 699x49 + 303x50 + 654x51 + 361x52 + 587x53 + 880x54 + 656x55 + 803x56 + 812x57 + 1115x58 + 915x59 + 545x60 + 725x61 + 517x62 + 515x63 + 709x64 + 397x65 + 640x66 + 744x67 + 619x68 + 500x69 + 816x70 + 1073x71 + 644x72 + 505x73 + 608x74 + 522x75 + 708x76 + 715x77 + 477x78 + 1041x79 + 921x80 + 761x81 + 861x82 + 884x83 + 706x84 + 1084x85 + 628x86 + 935x87 + 560x88 + 779x89 + 754x90 + 1116x91 + 931x92 + 461x93 + 951x94 + 1084x95 + 716x96 + 817x97 + 518x98 + 628x99 + 700x100 + 540x101 + 665x102 + 883x103 + 701x104 + 614x105 + 528x106 + 603x107 + 762x108 + 614x109 + 655x110 + 562x111 + 681x112 + 829x113 + 804x114 + 421x115 + 575x116 + 505x117 + 499x118 + 748x119 + 920x120 + 458x121 + 681x122 + 636x123 + 1041x124 + 809x125 + 801x126 + 498x127 + 1052x128 + 970x129 + 933x130 + 825x131 + 1021x132 + 714x133 + 785x134 + 885x135 + 495x136 + 696x137 + 725x138 + 769x139 + 608x140 + 582x141 + 862x142 + 714x143 + 662x144 + 503x145 + 902x146 + 594x147 + 977x148 + 557x149 + 724x150 + 1034x151 + 498x152 + 741x153 + 686x154 + 743x155 + 724x156 + 386x157 + 531x158 + 738x159 + 706x160 + 510x161 + 440x162 + 996x163 + 909x164 + 1056x165 + 641x166 + 998x167 + 670x168 + 510x169 + 872x170 + 842x171 + 1076x172 + 928x173 + 929x174 + 765x175 + 836x176 + 614x177 + 416x178 + 861x179 + 786x180 + 771x181 + 1097x182 + 492x183 + 1048x184 + 689x185 + 503x186 + 910x187 + 597x188 + 944x189 + 565x190 + 686x191 + 887x192 + 680x193 + 760x194 + 707x195 + 857x196 + 587x197 + 609x198 + 609x199 + 794x200 + 1026x201 + 744x202 + 540x203 + 1121x204 + 671x205 + 675x206 + 989x207 + 739x208 + 966x209 + 453x210 + 661x211 + 683x212 + 929x213 + 818x214 + 856x215 + 1036x216 + 545x217 + 801x218 + 780x219 + 1118x220 + 541x221 + 631x222 + 871x223 + 987x224 + 663x225 + 1093x226 + 1106x227 + 629x228 + 631x229 + 722x230 + 575x231 + 791x232 + 1069x233 + 694x234 + 797x235 + 802x236 + 780x237 + 1206x238 + 679x239 + 526x240 + 852x241 + 931x242 + 497x243 + 747x244 + 524x245 + 651x246 + 401x247 + 984x248 + 879x249 + 988x250  = 0 
constr1: + 883x1 + 513x2 + 680x3 + 916x4 + 68x5 + 588x6 + 852x7 + 126x8 + 397x9 + 797x10 + 818x11 + 250x12 + 848x13 + 638x14 + 74x15 + 304x16 + 651x17 + 711x18 + 653x19 + 966x20 + 493x21 + 577x22 + 349x23 + 238x24 + 929x25 + 866x26 + 448x27 + 188x28 + 75x29 + 484x30 + 39x31 + 805x32 + 460x33 + 813x34 + 736x35 + 703x36 + 734x37 + 693x38 + 993x39 + 843x40 + 702x41 + 937x42 + 79x43 + 340x44 + 493x45 + 539x46 + 1x47 + 333x48 + 373x49 + 246x50 + 417x51 + 259x52 + 44x53 + 195x54 + 749x55 + 96x56 + 75x57 + 301x58 + 479x59 + 916x60 + 371x61 + 925x62 + 137x63 + 946x64 + 829x65 + 277x66 + 870x67 + 846x68 + 343x69 + 334x70 + 745x71 + 264x72 + 814x73 + 545x74 + 359x75 + 280x76 + 678x77 + 54x78 + 732x79 + 423x80 + 475x81 + 462x82 + 702x83 + 738x84 + 117x85 + 641x86 + 636x87 + 478x88 + 766x89 + 71x90 + 45x91 + 610x92 + 356x93 + 840x94 + 321x95 + 320x96 + 605x97 + 235x98 + 553x99 + 401x100 + 862x101 + 983x102 + 581x103 + 252x104 + 458x105 + 763x106 + 850x107 + 582x108 + 620x109 + 830x110 + 896x111 + 951x112 + 300x113 + 199x114 + 765x115 + 944x116 + 449x117 + 314x118 + 75x119 + 543x120 + 539x121 + 592x122 + 739x123 + 958x124 + 166x125 + 420x126 + 431x127 + 447x128 + 93x129 + 645x130 + 521x131 + 169x132 + 333x133 + 199x134 + 390x135 + 264x136 + 981x137 + 977x138 + 776x139 + 271x140 + 839x141 + 605x142 + 470x143 + 348x144 + 112x145 + 305x146 + 820x147 + 400x148 + 152x149 + 400x150 + 243x151 + 811x152 + 385x153 + 144x154 + 183x155 + 785x156 + 240x157 + 339x158 + 884x159 + 976x160 + 749x161 + 405x162 + 542x163 + 694x164 + 402x165 + 560x166 + 939x167 + 115x168 + 717x169 + 969x170 + 89x171 + 578x172 + 694x173 + 825x174 + 615x175 + 175x176 + 865x177 + 724x178 + 885x179 + 903x180 + 873x181 + 98x182 + 731x183 + 395x184 + 449x185 + 711x186 + 427x187 + 731x188 + 90x189 + 659x190 + 278x191 + 379x192 + 556x193 + 577x194 + 576x195 + 959x196 + 485x197 + 657x198 + 340x199 + 214x200 + 691x201 + 156x202 + 541x203 + 480x204 + 619x205 + 27x206 + 833x207 + 583x208 + 965x209 + 103x210 + 471x211 + 391x212 + 565x213 + 159x214 + 475x215 + 998x216 + 867x217 + 213x218 + 854x219 + 339x220 + 70x221 + 389x222 + 791x223 + 487x224 + 115x225 + 90x226 + 688x227 + 924x228 + 608x229 + 633x230 + 121x231 + 560x232 + 847x233 + 659x234 + 845x235 + 392x236 + 347x237 + 532x238 + 278x239 + 85x240 + 45x241 + 724x242 + 586x243 + 384x244 + 788x245 + 657x246 + 595x247 + 685x248 + 926x249 + 433x250 <= 62835 
constr2: + 459x1 + 812x2 + 709x3 + 93x4 + 332x5 + 746x6 + 300x7 + 264x8 + 453x9 + 834x10 + 398x11 + 660x12 + 152x13 + 397x14 + 402x15 + 17x16 + 970x17 + 11x18 + 305x19 + 84x20 + 52x21 + 628x22 + 566x23 + 91x24 + 332x25 + 153x26 + 829x27 + 769x28 + 91x29 + 133x30 + 348x31 + 879x32 + 741x33 + 627x34 + 876x35 + 879x36 + 827x37 + 527x38 + 390x39 + 720x40 + 713x41 + 236x42 + 191x43 + 897x44 + 774x45 + 298x46 + 74x47 + 743x48 + 424x49 + 12x50 + 713x51 + 69x52 + 476x53 + 42x54 + 81x55 + 238x56 + 799x57 + 508x58 + 176x59 + 692x60 + 302x61 + 378x62 + 233x63 + 239x64 + 501x65 + 172x66 + 209x67 + 372x68 + 563x69 + 445x70 + 857x71 + 380x72 + 456x73 + 607x74 + 419x75 + 192x76 + 44x77 + 861x78 + 137x79 + 446x80 + 184x81 + 819x82 + 385x83 + 237x84 + 841x85 + 494x86 + 513x87 + 40x88 + 201x89 + 988x90 + 627x91 + 573x92 + 92x93 + 834x94 + 448x95 + 707x96 + 860x97 + 127x98 + 940x99 + 814x100 + 155x101 + 269x102 + 869x103 + 642x104 + 556x105 + 825x106 + 563x107 + 977x108 + 617x109 + 960x110 + 598x111 + 925x112 + 914x113 + 16x114 + 468x115 + 325x116 + 347x117 + 535x118 + 286x119 + 504x120 + 36x121 + 991x122 + 797x123 + 724x124 + 317x125 + 773x126 + 641x127 + 4x128 + 256x129 + 749x130 + 356x131 + 435x132 + 389x133 + 29x134 + 800x135 + 283x136 + 435x137 + 116x138 + 766x139 + 676x140 + 780x141 + 729x142 + 442x143 + 285x144 + 62x145 + 604x146 + 463x147 + 221x148 + 362x149 + 214x150 + 263x151 + 408x152 + 118x153 + 335x154 + 823x155 + 144x156 + 465x157 + 963x158 + 133x159 + 153x160 + 914x161 + 245x162 + 409x163 + 83x164 + 983x165 + 791x166 + 773x167 + 382x168 + 302x169 + 119x170 + 996x171 + 96x172 + 991x173 + 570x174 + 628x175 + 470x176 + 396x177 + 694x178 + 164x179 + 804x180 + 422x181 + 305x182 + 588x183 + 597x184 + 48x185 + 947x186 + 504x187 + 754x188 + 960x189 + 437x190 + 987x191 + 252x192 + 74x193 + 935x194 + 572x195 + 599x196 + 59x197 + 346x198 + 417x199 + 324x200 + 382x201 + 50x202 + 582x203 + 38x204 + 640x205 + 146x206 + 861x207 + 496x208 + 164x209 + 814x210 + 563x211 + 875x212 + 231x213 + 154x214 + 542x215 + 762x216 + 210x217 + 172x218 + 697x219 + 698x220 + 626x221 + 954x222 + 548x223 + 698x224 + 832x225 + 251x226 + 748x227 + 511x228 + 367x229 + 287x230 + 38x231 + 333x232 + 449x233 + 78x234 + 675x235 + 989x236 + 520x237 + 618x238 + 284x239 + 682x240 + 702x241 + 836x242 + 939x243 + 922x244 + 661x245 + 296x246 + 989x247 + 661x248 + 4x249 + 928x250 <= 61652 
constr3: + 558x1 + 752x2 + 511x3 + 269x4 + 733x5 + 153x6 + 368x7 + 717x8 + 546x9 + 300x10 + 257x11 + 409x12 + 248x13 + 978x14 + 232x15 + 662x16 + 334x17 + 580x18 + 706x19 + 189x20 + 43x21 + 696x22 + 565x23 + 290x24 + 711x25 + 217x26 + 262x27 + 205x28 + 315x29 + 154x30 + 844x31 + 34x32 + 503x33 + 329x34 + 627x35 + 657x36 + 869x37 + 851x38 + 273x39 + 757x40 + 338x41 + 84x42 + 398x43 + 133x44 + 510x45 + 292x46 + 151x47 + 493x48 + 328x49 + 705x50 + 728x51 + 67x52 + 11x53 + 631x54 + 515x55 + 385x56 + 735x57 + 137x58 + 723x59 + 94x60 + 384x61 + 604x62 + 687x63 + 771x64 + 992x65 + 624x66 + 296x67 + 855x68 + 284x69 + 519x70 + 194x71 + 553x72 + 479x73 + 961x74 + 762x75 + 321x76 + 689x77 + 454x78 + 508x79 + 7x80 + 589x81 + 801x82 + 498x83 + 783x84 + 886x85 + 828x86 + 460x87 + 809x88 + 848x89 + 553x90 + 187x91 + 907x92 + 350x93 + 643x94 + 484x95 + 499x96 + 943x97 + 502x98 + 214x99 + 998x100 + 376x101 + 387x102 + 994x103 + 851x104 + 265x105 + 674x106 + 485x107 + 13x108 + 999x109 + 398x110 + 47x111 + 763x112 + 669x113 + 603x114 + 169x115 + 249x116 + 738x117 + 199x118 + 761x119 + 586x120 + 129x121 + 233x122 + 326x123 + 4x124 + 252x125 + 732x126 + 787x127 + 282x128 + 78x129 + 802x130 + 916x131 + 776x132 + 659x133 + 586x134 + 530x135 + 722x136 + 792x137 + 480x138 + 774x139 + 961x140 + 539x141 + 655x142 + 432x143 + 27x144 + 385x145 + 287x146 + 429x147 + 696x148 + 57x149 + 783x150 + 234x151 + 676x152 + 925x153 + 154x154 + 652x155 + 369x156 + 778x157 + 465x158 + 371x159 + 48x160 + 308x161 + 109x162 + 547x163 + 428x164 + 828x165 + 761x166 + 345x167 + 941x168 + 421x169 + 610x170 + 678x171 + 5x172 + 50x173 + 343x174 + 246x175 + 694x176 + 280x177 + 310x178 + 805x179 + 606x180 + 442x181 + 212x182 + 847x183 + 135x184 + 73x185 + 267x186 + 444x187 + 930x188 + 960x189 + 794x190 + 702x191 + 661x192 + 346x193 + 446x194 + 483x195 + 441x196 + 923x197 + 763x198 + 137x199 + 454x200 + 7x201 + 737x202 + 781x203 + 769x204 + 621x205 + 710x206 + 834x207 + 827x208 + 233x209 + 336x210 + 130x211 + 9x212 + 909x213 + 175x214 + 95x215 + 27x216 + 982x217 + 501x218 + 127x219 + 238x220 + 247x221 + 958x222 + 161x223 + 921x224 + 630x225 + 350x226 + 11x227 + 161x228 + 632x229 + 725x230 + 592x231 + 371x232 + 902x233 + 43x234 + 274x235 + 661x236 + 293x237 + 597x238 + 923x239 + 659x240 + 782x241 + 467x242 + 540x243 + 723x244 + 819x245 + 791x246 + 90x247 + 744x248 + 717x249 + 295x250 <= 62832 
constr4: + 603x1 + 715x2 + 955x3 + 634x4 + 892x5 + 966x6 + 155x7 + 690x8 + 879x9 + 105x10 + 258x11 + 819x12 + 68x13 + 403x14 + 334x15 + 160x16 + 8x17 + 868x18 + 631x19 + 375x20 + 783x21 + 344x22 + 911x23 + 782x24 + 162x25 + 979x26 + 687x27 + 772x28 + 199x29 + 959x30 + 946x31 + 719x32 + 884x33 + 7x34 + 78x35 + 121x36 + 514x37 + 562x38 + 982x39 + 649x40 + 433x41 + 302x42 + 513x43 + 147x44 + 864x45 + 611x46 + 177x47 + 265x48 + 17x49 + 931x50 + 692x51 + 909x52 + 135x53 + 651x54 + 795x55 + 747x56 + 176x57 + 667x58 + 435x59 + 642x60 + 977x61 + 53x62 + 448x63 + 381x64 + 660x65 + 272x66 + 891x67 + 683x68 + 882x69 + 602x70 + 24x71 + 531x72 + 553x73 + 296x74 + 705x75 + 501x76 + 13x77 + 973x78 + 880x79 + 137x80 + 654x81 + 164x82 + 871x83 + 658x84 + 158x85 + 735x86 + 40x87 + 199x88 + 623x89 + 20x90 + 645x91 + 269x92 + 527x93 + 258x94 + 357x95 + 534x96 + 187x97 + 383x98 + 195x99 + 456x100 + 589x101 + 135x102 + 967x103 + 991x104 + 470x105 + 109x106 + 634x107 + 544x108 + 906x109 + 363x110 + 578x111 + 99x112 + 542x113 + 551x114 + 706x115 + 318x116 + 546x117 + 795x118 + 272x119 + 697x120 + 184x121 + 787x122 + 163x123 + 798x124 + 961x125 + 214x126 + 739x127 + 93x128 + 386x129 + 204x130 + 959x131 + 1x132 + 434x133 + 513x134 + 980x135 + 261x136 + 616x137 + 758x138 + 427x139 + 900x140 + 143x141 + 418x142 + 425x143 + 884x144 + 594x145 + 532x146 + 132x147 + 153x148 + 742x149 + 104x150 + 737x151 + 217x152 + 434x153 + 947x154 + 6x155 + 867x156 + 599x157 + 96x158 + 368x159 + 847x160 + 233x161 + 750x162 + 85x163 + 981x164 + 497x165 + 464x166 + 320x167 + 293x168 + 945x169 + 874x170 + 454x171 + 226x172 + 997x173 + 389x174 + 659x175 + 805x176 + 849x177 + 2x178 + 717x179 + 155x180 + 624x181 + 542x182 + 164x183 + 615x184 + 542x185 + 627x186 + 590x187 + 150x188 + 507x189 + 456x190 + 878x191 + 934x192 + 63x193 + 262x194 + 878x195 + 484x196 + 995x197 + 715x198 + 721x199 + 847x200 + 302x201 + 619x202 + 714x203 + 672x204 + 555x205 + 826x206 + 770x207 + 127x208 + 476x209 + 778x210 + 500x211 + 813x212 + 352x213 + 989x214 + 601x215 + 860x216 + 499x217 + 410x218 + 731x219 + 279x220 + 954x221 + 384x222 + 379x223 + 672x224 + 572x225 + 668x226 + 810x227 + 166x228 + 960x229 + 371x230 + 8x231 + 868x232 + 361x233 + 534x234 + 606x235 + 656x236 + 578x237 + 122x238 + 28x239 + 689x240 + 930x241 + 131x242 + 387x243 + 646x244 + 294x245 + 236x246 + 880x247 + 334x248 + 426x249 + 872x250 <= 64454 
constr5: + 802x1 + 614x2 + 492x3 + 394x4 + 840x5 + 965x6 + 578x7 + 157x8 + 598x9 + 556x10 + 669x11 + 524x12 + 337x13 + 827x14 + 136x15 + 618x16 + 137x17 + 228x18 + 254x19 + 839x20 + 227x21 + 936x22 + 980x23 + 90x24 + 309x25 + 95x26 + 870x27 + 511x28 + 983x29 + 915x30 + 339x31 + 711x32 + 124x33 + 642x34 + 232x35 + 490x36 + 452x37 + 166x38 + 237x39 + 814x40 + 407x41 + 869x42 + 90x43 + 965x44 + 769x45 + 167x46 + 504x47 + 480x48 + 857x49 + 459x50 + 839x51 + 558x52 + 489x53 + 817x54 + 836x55 + 315x56 + 243x57 + 390x58 + 39x59 + 665x60 + 992x61 + 771x62 + 614x63 + 344x64 + 808x65 + 138x66 + 596x67 + 925x68 + 737x69 + 517x70 + 847x71 + 133x72 + 809x73 + 560x74 + 557x75 + 671x76 + 402x77 + 368x78 + 28x79 + 186x80 + 960x81 + 979x82 + 332x83 + 436x84 + 84x85 + 573x86 + 510x87 + 414x88 + 782x89 + 107x90 + 138x91 + 681x92 + 109x93 + 347x94 + 850x95 + 106x96 + 88x97 + 711x98 + 488x99 + 412x100 + 112x101 + 28x102 + 688x103 + 434x104 + 131x105 + 29x106 + 214x107 + 482x108 + 954x109 + 286x110 + 366x111 + 473x112 + 518x113 + 18x114 + 926x115 + 481x116 + 5x117 + 948x118 + 684x119 + 580x120 + 14x121 + 190x122 + 215x123 + 310x124 + 710x125 + 316x126 + 719x127 + 452x128 + 337x129 + 287x130 + 924x131 + 23x132 + 681x133 + 641x134 + 536x135 + 478x136 + 383x137 + 228x138 + 317x139 + 831x140 + 762x141 + 873x142 + 741x143 + 517x144 + 370x145 + 897x146 + 459x147 + 527x148 + 467x149 + 782x150 + 765x151 + 212x152 + 259x153 + 63x154 + 502x155 + 664x156 + 931x157 + 983x158 + 694x159 + 278x160 + 470x161 + 43x162 + 801x163 + 116x164 + 3x165 + 397x166 + 432x167 + 73x168 + 35x169 + 660x170 + 770x171 + 205x172 + 921x173 + 553x174 + 105x175 + 236x176 + 733x177 + 952x178 + 653x179 + 531x180 + 143x181 + 387x182 + 657x183 + 919x184 + 212x185 + 774x186 + 808x187 + 145x188 + 523x189 + 354x190 + 973x191 + 529x192 + 933x193 + 707x194 + 126x195 + 718x196 + 95x197 + 809x198 + 679x199 + 161x200 + 703x201 + 311x202 + 590x203 + 989x204 + 680x205 + 381x206 + 138x207 + 760x208 + 126x209 + 303x210 + 571x211 + 815x212 + 857x213 + 938x214 + 64x215 + 820x216 + 874x217 + 83x218 + 123x219 + 582x220 + 999x221 + 70x222 + 254x223 + 53x224 + 319x225 + 327x226 + 555x227 + 442x228 + 357x229 + 787x230 + 845x231 + 505x232 + 309x233 + 20x234 + 207x235 + 158x236 + 279x237 + 351x238 + 89x239 + 729x240 + 375x241 + 854x242 + 461x243 + 754x244 + 889x245 + 85x246 + 419x247 + 243x248 + 85x249 + 69x250 <= 63618 
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