minimize 
objective: s
subject to 
s1: s + 0.501000f1 + 0.001000f2 >= 93309.752000 
s2: s + 0.001000f1 + 0.501000f2 >= 93309.752000 
f1: -f1 + 627x1 + 780x2 + 517x3 + 751x4 + 1016x5 + 683x6 + 486x7 + 980x8 + 865x9 + 636x10 + 640x11 + 880x12 + 760x13 + 700x14 + 719x15 + 812x16 + 1090x17 + 538x18 + 620x19 + 544x20 + 593x21 + 1158x22 + 378x23 + 407x24 + 905x25 + 662x26 + 772x27 + 673x28 + 814x29 + 847x30 + 772x31 + 786x32 + 870x33 + 257x34 + 1082x35 + 967x36 + 772x37 + 887x38 + 787x39 + 1033x40 + 964x41 + 629x42 + 1028x43 + 570x44 + 1043x45 + 862x46 + 626x47 + 534x48 + 916x49 + 852x50 + 955x51 + 858x52 + 976x53 + 493x54 + 769x55 + 530x56 + 599x57 + 336x58 + 1142x59 + 524x60 + 831x61 + 389x62 + 765x63 + 790x64 + 940x65 + 391x66 + 964x67 + 523x68 + 853x69 + 638x70 + 523x71 + 832x72 + 810x73 + 468x74 + 595x75 + 811x76 + 953x77 + 1036x78 + 537x79 + 736x80 + 816x81 + 627x82 + 605x83 + 803x84 + 769x85 + 491x86 + 677x87 + 657x88 + 649x89 + 607x90 + 829x91 + 879x92 + 757x93 + 897x94 + 634x95 + 624x96 + 542x97 + 936x98 + 1080x99 + 927x100 + 797x101 + 887x102 + 615x103 + 520x104 + 891x105 + 778x106 + 1040x107 + 770x108 + 816x109 + 1014x110 + 801x111 + 537x112 + 593x113 + 1108x114 + 958x115 + 512x116 + 610x117 + 1007x118 + 760x119 + 879x120 + 871x121 + 725x122 + 807x123 + 572x124 + 736x125 + 505x126 + 703x127 + 497x128 + 1064x129 + 634x130 + 669x131 + 813x132 + 1080x133 + 856x134 + 528x135 + 1062x136 + 988x137 + 799x138 + 754x139 + 946x140 + 523x141 + 1060x142 + 851x143 + 573x144 + 802x145 + 592x146 + 910x147 + 1043x148 + 839x149 + 823x150 + 897x151 + 593x152 + 815x153 + 1191x154 + 679x155 + 884x156 + 772x157 + 391x158 + 976x159 + 641x160 + 390x161 + 459x162 + 424x163 + 694x164 + 642x165 + 528x166 + 515x167 + 709x168 + 791x169 + 1018x170 + 685x171 + 460x172 + 838x173 + 1053x174 + 833x175 + 819x176 + 896x177 + 343x178 + 964x179 + 603x180 + 408x181 + 1000x182 + 916x183 + 832x184 + 512x185 + 878x186 + 586x187 + 758x188 + 696x189 + 493x190 + 941x191 + 742x192 + 691x193 + 789x194 + 199x195 + 747x196 + 485x197 + 976x198 + 475x199 + 722x200 + 690x201 + 821x202 + 893x203 + 923x204 + 585x205 + 243x206 + 909x207 + 980x208 + 1082x209 + 837x210 + 632x211 + 625x212 + 698x213 + 315x214 + 811x215 + 445x216 + 860x217 + 672x218 + 507x219 + 948x220 + 535x221 + 490x222 + 1020x223 + 1095x224 + 472x225 + 709x226 + 946x227 + 1012x228 + 824x229 + 641x230 + 560x231 + 990x232 + 560x233 + 1051x234 + 691x235 + 635x236 + 955x237 + 873x238 + 1018x239 + 544x240 + 991x241 + 661x242 + 897x243 + 507x244 + 743x245 + 781x246 + 504x247 + 299x248 + 702x249 + 364x250  = 0 
f2: -f2 + 592x1 + 754x2 + 765x3 + 884x4 + 493x5 + 1014x6 + 389x7 + 624x8 + 486x9 + 860x10 + 896x11 + 916x12 + 757x13 + 893x14 + 593x15 + 537x16 + 683x17 + 709x18 + 814x19 + 544x20 + 657x21 + 816x22 + 1012x23 + 544x24 + 878x25 + 832x26 + 634x27 + 700x28 + 770x29 + 640x30 + 1064x31 + 1095x32 + 813x33 + 378x34 + 1090x35 + 491x36 + 523x37 + 807x38 + 976x39 + 910x40 + 636x41 + 821x42 + 880x43 + 698x44 + 719x45 + 787x46 + 641x47 + 512x48 + 819x49 + 816x50 + 530x51 + 980x52 + 887x53 + 524x54 + 485x55 + 459x56 + 642x57 + 679x58 + 520x59 + 858x60 + 936x61 + 605x62 + 703x63 + 853x64 + 743x65 + 760x66 + 810x67 + 586x68 + 1043x69 + 627x70 + 802x71 + 833x72 + 627x73 + 1080x74 + 472x75 + 534x76 + 751x77 + 1158x78 + 1053x79 + 803x80 + 742x81 + 607x82 + 460x83 + 948x84 + 832x85 + 570x86 + 725x87 + 620x88 + 694x89 + 862x90 + 879x91 + 791x92 + 781x93 + 1018x94 + 1082x95 + 1018x96 + 507x97 + 991x98 + 661x99 + 1080x100 + 831x101 + 1043x102 + 891x103 + 940x104 + 905x105 + 497x106 + 505x107 + 1062x108 + 778x109 + 1082x110 + 847x111 + 1028x112 + 257x113 + 811x114 + 769x115 + 1036x116 + 887x117 + 1033x118 + 445x119 + 641x120 + 649x121 + 523x122 + 662x123 + 964x124 + 953x125 + 635x126 + 424x127 + 1016x128 + 336x129 + 786x130 + 528x131 + 736x132 + 691x133 + 517x134 + 829x135 + 407x136 + 789x137 + 871x138 + 964x139 + 897x140 + 572x141 + 927x142 + 243x143 + 685x144 + 815x145 + 909x146 + 408x147 + 812x148 + 1051x149 + 504x150 + 493x151 + 638x152 + 772x153 + 1142x154 + 769x155 + 512x156 + 1191x157 + 364x158 + 599x159 + 1007x160 + 523x161 + 736x162 + 772x163 + 669x164 + 955x165 + 851x166 + 696x167 + 897x168 + 626x169 + 964x170 + 603x171 + 560x172 + 538x173 + 585x174 + 1040x175 + 593x176 + 797x177 + 595x178 + 629x179 + 199x180 + 1060x181 + 573x182 + 837x183 + 967x184 + 955x185 + 879x186 + 873x187 + 1020x188 + 923x189 + 980x190 + 958x191 + 690x192 + 343x193 + 673x194 + 865x195 + 976x196 + 780x197 + 515x198 + 946x199 + 615x200 + 299x201 + 747x202 + 542x203 + 823x204 + 799x205 + 839x206 + 535x207 + 988x208 + 976x209 + 691x210 + 870x211 + 391x212 + 722x213 + 507x214 + 677x215 + 672x216 + 946x217 + 824x218 + 758x219 + 790x220 + 632x221 + 610x222 + 772x223 + 838x224 + 772x225 + 801x226 + 811x227 + 990x228 + 560x229 + 468x230 + 916x231 + 1000x232 + 593x233 + 702x234 + 634x235 + 897x236 + 856x237 + 475x238 + 390x239 + 852x240 + 528x241 + 709x242 + 537x243 + 1108x244 + 941x245 + 391x246 + 760x247 + 315x248 + 490x249 + 625x250  = 0 
constr1: + 151x1 + 82x2 + 97x3 + 159x4 + 668x5 + 27x6 + 539x7 + 364x8 + 968x9 + 621x10 + 581x11 + 342x12 + 129x13 + 305x14 + 335x15 + 530x16 + 930x17 + 398x18 + 544x19 + 522x20 + 701x21 + 284x22 + 874x23 + 273x24 + 737x25 + 457x26 + 668x27 + 980x28 + 105x29 + 485x30 + 883x31 + 463x32 + 806x33 + 279x34 + 137x35 + 293x36 + 538x37 + 564x38 + 345x39 + 845x40 + 285x41 + 755x42 + 280x43 + 349x44 + 995x45 + 690x46 + 436x47 + 305x48 + 748x49 + 303x50 + 906x51 + 648x52 + 178x53 + 999x54 + 617x55 + 587x56 + 185x57 + 182x58 + 288x59 + 261x60 + 89x61 + 635x62 + 848x63 + 210x64 + 106x65 + 417x66 + 74x67 + 104x68 + 980x69 + 926x70 + 328x71 + 759x72 + 501x73 + 229x74 + 547x75 + 240x76 + 831x77 + 699x78 + 440x79 + 230x80 + 288x81 + 226x82 + 801x83 + 31x84 + 567x85 + 182x86 + 301x87 + 586x88 + 383x89 + 875x90 + 192x91 + 111x92 + 806x93 + 284x94 + 129x95 + 296x96 + 123x97 + 810x98 + 246x99 + 481x100 + 194x101 + 921x102 + 448x103 + 928x104 + 743x105 + 339x106 + 150x107 + 222x108 + 29x109 + 874x110 + 643x111 + 42x112 + 308x113 + 254x114 + 543x115 + 704x116 + 260x117 + 531x118 + 671x119 + 117x120 + 460x121 + 528x122 + 740x123 + 800x124 + 225x125 + 479x126 + 885x127 + 791x128 + 768x129 + 857x130 + 404x131 + 672x132 + 67x133 + 293x134 + 465x135 + 691x136 + 213x137 + 933x138 + 809x139 + 631x140 + 668x141 + 232x142 + 373x143 + 380x144 + 336x145 + 29x146 + 555x147 + 362x148 + 872x149 + 836x150 + 430x151 + 4x152 + 152x153 + 845x154 + 173x155 + 424x156 + 306x157 + 902x158 + 844x159 + 442x160 + 723x161 + 205x162 + 644x163 + 283x164 + 176x165 + 418x166 + 100x167 + 125x168 + 645x169 + 643x170 + 285x171 + 324x172 + 516x173 + 653x174 + 223x175 + 164x176 + 278x177 + 973x178 + 142x179 + 526x180 + 940x181 + 291x182 + 82x183 + 280x184 + 266x185 + 618x186 + 377x187 + 439x188 + 929x189 + 399x190 + 230x191 + 39x192 + 41x193 + 56x194 + 479x195 + 517x196 + 17x197 + 376x198 + 335x199 + 752x200 + 383x201 + 420x202 + 57x203 + 357x204 + 335x205 + 721x206 + 279x207 + 755x208 + 804x209 + 64x210 + 254x211 + 75x212 + 223x213 + 326x214 + 395x215 + 489x216 + 915x217 + 422x218 + 586x219 + 431x220 + 125x221 + 756x222 + 227x223 + 582x224 + 317x225 + 624x226 + 299x227 + 931x228 + 78x229 + 111x230 + 188x231 + 836x232 + 77x233 + 466x234 + 181x235 + 72x236 + 499x237 + 651x238 + 895x239 + 257x240 + 427x241 + 60x242 + 957x243 + 481x244 + 635x245 + 471x246 + 97x247 + 381x248 + 515x249 + 387x250 <= 63226 
constr2: + 768x1 + 155x2 + 559x3 + 331x4 + 744x5 + 806x6 + 921x7 + 885x8 + 108x9 + 643x10 + 983x11 + 218x12 + 541x13 + 262x14 + 600x15 + 931x16 + 472x17 + 239x18 + 790x19 + 813x20 + 630x21 + 276x22 + 15x23 + 892x24 + 250x25 + 637x26 + 15x27 + 789x28 + 214x29 + 569x30 + 319x31 + 217x32 + 301x33 + 580x34 + 742x35 + 603x36 + 967x37 + 958x38 + 178x39 + 106x40 + 238x41 + 331x42 + 973x43 + 780x44 + 812x45 + 733x46 + 592x47 + 23x48 + 481x49 + 809x50 + 858x51 + 647x52 + 78x53 + 868x54 + 309x55 + 190x56 + 884x57 + 101x58 + 829x59 + 735x60 + 930x61 + 520x62 + 984x63 + 289x64 + 56x65 + 405x66 + 788x67 + 557x68 + 327x69 + 269x70 + 244x71 + 919x72 + 342x73 + 353x74 + 441x75 + 740x76 + 730x77 + 664x78 + 744x79 + 944x80 + 477x81 + 831x82 + 752x83 + 221x84 + 172x85 + 575x86 + 417x87 + 156x88 + 239x89 + 502x90 + 771x91 + 956x92 + 465x93 + 774x94 + 29x95 + 267x96 + 587x97 + 742x98 + 752x99 + 311x100 + 153x101 + 562x102 + 775x103 + 683x104 + 818x105 + 267x106 + 320x107 + 660x108 + 993x109 + 464x110 + 952x111 + 864x112 + 213x113 + 816x114 + 400x115 + 345x116 + 481x117 + 429x118 + 442x119 + 109x120 + 298x121 + 648x122 + 266x123 + 315x124 + 141x125 + 796x126 + 877x127 + 198x128 + 613x129 + 965x130 + 435x131 + 130x132 + 557x133 + 309x134 + 92x135 + 376x136 + 931x137 + 59x138 + 60x139 + 473x140 + 847x141 + 651x142 + 167x143 + 637x144 + 607x145 + 4x146 + 707x147 + 665x148 + 195x149 + 340x150 + 616x151 + 290x152 + 447x153 + 540x154 + 714x155 + 981x156 + 828x157 + 699x158 + 8x159 + 515x160 + 21x161 + 484x162 + 76x163 + 813x164 + 204x165 + 863x166 + 802x167 + 500x168 + 649x169 + 48x170 + 317x171 + 886x172 + 790x173 + 931x174 + 933x175 + 575x176 + 516x177 + 899x178 + 785x179 + 134x180 + 451x181 + 101x182 + 228x183 + 627x184 + 700x185 + 744x186 + 793x187 + 498x188 + 951x189 + 474x190 + 567x191 + 105x192 + 101x193 + 897x194 + 892x195 + 930x196 + 76x197 + 991x198 + 410x199 + 712x200 + 340x201 + 283x202 + 954x203 + 673x204 + 868x205 + 583x206 + 459x207 + 144x208 + 196x209 + 37x210 + 721x211 + 776x212 + 9x213 + 153x214 + 461x215 + 272x216 + 11x217 + 790x218 + 90x219 + 641x220 + 951x221 + 225x222 + 290x223 + 82x224 + 843x225 + 606x226 + 378x227 + 959x228 + 870x229 + 804x230 + 11x231 + 355x232 + 308x233 + 538x234 + 115x235 + 451x236 + 450x237 + 71x238 + 240x239 + 566x240 + 303x241 + 915x242 + 347x243 + 686x244 + 109x245 + 815x246 + 556x247 + 296x248 + 34x249 + 5x250 <= 63343 
constr3: + 95x1 + 568x2 + 777x3 + 868x4 + 782x5 + 549x6 + 347x7 + 898x8 + 598x9 + 629x10 + 522x11 + 90x12 + 131x13 + 752x14 + 182x15 + 135x16 + 2x17 + 436x18 + 132x19 + 553x20 + 864x21 + 347x22 + 3x23 + 668x24 + 634x25 + 559x26 + 574x27 + 160x28 + 312x29 + 863x30 + 144x31 + 127x32 + 145x33 + 271x34 + 586x35 + 177x36 + 933x37 + 425x38 + 628x39 + 488x40 + 645x41 + 958x42 + 700x43 + 259x44 + 508x45 + 659x46 + 34x47 + 900x48 + 739x49 + 212x50 + 576x51 + 448x52 + 630x53 + 338x54 + 275x55 + 482x56 + 536x57 + 428x58 + 363x59 + 167x60 + 247x61 + 23x62 + 803x63 + 263x64 + 119x65 + 397x66 + 143x67 + 329x68 + 728x69 + 288x70 + 193x71 + 484x72 + 208x73 + 484x74 + 730x75 + 677x76 + 910x77 + 166x78 + 929x79 + 805x80 + 36x81 + 791x82 + 294x83 + 94x84 + 275x85 + 183x86 + 259x87 + 26x88 + 844x89 + 610x90 + 736x91 + 890x92 + 803x93 + 147x94 + 556x95 + 568x96 + 706x97 + 931x98 + 747x99 + 84x100 + 726x101 + 921x102 + 50x103 + 462x104 + 132x105 + 472x106 + 596x107 + 265x108 + 426x109 + 90x110 + 930x111 + 178x112 + 870x113 + 222x114 + 229x115 + 988x116 + 688x117 + 74x118 + 116x119 + 652x120 + 78x121 + 513x122 + 869x123 + 371x124 + 780x125 + 540x126 + 236x127 + 760x128 + 240x129 + 681x130 + 452x131 + 369x132 + 215x133 + 317x134 + 744x135 + 318x136 + 610x137 + 705x138 + 201x139 + 413x140 + 871x141 + 454x142 + 871x143 + 595x144 + 400x145 + 840x146 + 246x147 + 720x148 + 555x149 + 108x150 + 542x151 + 264x152 + 175x153 + 370x154 + 161x155 + 281x156 + 778x157 + 713x158 + 978x159 + 576x160 + 707x161 + 350x162 + 467x163 + 746x164 + 515x165 + 979x166 + 659x167 + 196x168 + 483x169 + 631x170 + 442x171 + 610x172 + 93x173 + 490x174 + 190x175 + 488x176 + 666x177 + 646x178 + 897x179 + 587x180 + 830x181 + 124x182 + 840x183 + 781x184 + 878x185 + 772x186 + 701x187 + 763x188 + 357x189 + 923x190 + 991x191 + 72x192 + 434x193 + 930x194 + 455x195 + 942x196 + 675x197 + 851x198 + 483x199 + 327x200 + 238x201 + 987x202 + 831x203 + 584x204 + 436x205 + 711x206 + 631x207 + 769x208 + 356x209 + 463x210 + 725x211 + 285x212 + 192x213 + 171x214 + 619x215 + 445x216 + 883x217 + 440x218 + 264x219 + 291x220 + 414x221 + 865x222 + 555x223 + 551x224 + 933x225 + 78x226 + 770x227 + 388x228 + 6x229 + 854x230 + 744x231 + 193x232 + 243x233 + 941x234 + 175x235 + 159x236 + 508x237 + 300x238 + 11x239 + 670x240 + 734x241 + 243x242 + 427x243 + 678x244 + 818x245 + 344x246 + 791x247 + 510x248 + 230x249 + 149x250 <= 62710 
constr4: + 306x1 + 351x2 + 797x3 + 297x4 + 341x5 + 612x6 + 78x7 + 182x8 + 840x9 + 116x10 + 775x11 + 852x12 + 672x13 + 735x14 + 251x15 + 888x16 + 985x17 + 261x18 + 888x19 + 875x20 + 185x21 + 513x22 + 298x23 + 980x24 + 113x25 + 313x26 + 496x27 + 189x28 + 178x29 + 759x30 + 788x31 + 742x32 + 385x33 + 710x34 + 844x35 + 421x36 + 755x37 + 756x38 + 161x39 + 737x40 + 255x41 + 338x42 + 19x43 + 481x44 + 656x45 + 476x46 + 569x47 + 272x48 + 253x49 + 513x50 + 426x51 + 333x52 + 382x53 + 27x54 + 142x55 + 4x56 + 528x57 + 28x58 + 554x59 + 654x60 + 771x61 + 821x62 + 862x63 + 290x64 + 977x65 + 935x66 + 23x67 + 577x68 + 301x69 + 830x70 + 411x71 + 755x72 + 669x73 + 704x74 + 161x75 + 460x76 + 704x77 + 953x78 + 621x79 + 757x80 + 942x81 + 517x82 + 860x83 + 202x84 + 243x85 + 459x86 + 356x87 + 759x88 + 866x89 + 532x90 + 265x91 + 682x92 + 737x93 + 623x94 + 777x95 + 607x96 + 985x97 + 754x98 + 365x99 + 862x100 + 883x101 + 673x102 + 796x103 + 245x104 + 593x105 + 271x106 + 24x107 + 662x108 + 314x109 + 310x110 + 453x111 + 727x112 + 980x113 + 999x114 + 382x115 + 332x116 + 967x117 + 760x118 + 342x119 + 581x120 + 278x121 + 801x122 + 999x123 + 47x124 + 485x125 + 965x126 + 93x127 + 324x128 + 57x129 + 665x130 + 992x131 + 179x132 + 227x133 + 814x134 + 148x135 + 406x136 + 748x137 + 167x138 + 753x139 + 230x140 + 574x141 + 842x142 + 210x143 + 62x144 + 965x145 + 295x146 + 735x147 + 290x148 + 811x149 + 803x150 + 666x151 + 302x152 + 821x153 + 650x154 + 138x155 + 407x156 + 318x157 + 174x158 + 609x159 + 803x160 + 282x161 + 538x162 + 503x163 + 384x164 + 424x165 + 5x166 + 235x167 + 470x168 + 60x169 + 896x170 + 277x171 + 27x172 + 466x173 + 70x174 + 741x175 + 675x176 + 12x177 + 279x178 + 449x179 + 684x180 + 694x181 + 916x182 + 297x183 + 323x184 + 830x185 + 664x186 + 388x187 + 761x188 + 597x189 + 195x190 + 223x191 + 971x192 + 28x193 + 550x194 + 585x195 + 445x196 + 151x197 + 686x198 + 993x199 + 933x200 + 740x201 + 193x202 + 538x203 + 31x204 + 801x205 + 666x206 + 60x207 + 669x208 + 206x209 + 661x210 + 66x211 + 539x212 + 592x213 + 418x214 + 139x215 + 467x216 + 81x217 + 570x218 + 467x219 + 525x220 + 809x221 + 731x222 + 766x223 + 717x224 + 102x225 + 412x226 + 944x227 + 211x228 + 219x229 + 216x230 + 525x231 + 787x232 + 433x233 + 171x234 + 801x235 + 562x236 + 208x237 + 829x238 + 816x239 + 483x240 + 845x241 + 690x242 + 452x243 + 61x244 + 842x245 + 14x246 + 961x247 + 894x248 + 95x249 + 97x250 <= 63171 
constr5: + 125x1 + 152x2 + 538x3 + 378x4 + 34x5 + 935x6 + 660x7 + 839x8 + 853x9 + 110x10 + 325x11 + 736x12 + 888x13 + 334x14 + 668x15 + 947x16 + 999x17 + 55x18 + 612x19 + 63x20 + 994x21 + 850x22 + 630x23 + 599x24 + 508x25 + 172x26 + 431x27 + 605x28 + 25x29 + 882x30 + 601x31 + 919x32 + 218x33 + 382x34 + 795x35 + 363x36 + 433x37 + 19x38 + 1x39 + 627x40 + 139x41 + 837x42 + 994x43 + 712x44 + 569x45 + 805x46 + 972x47 + 446x48 + 789x49 + 104x50 + 640x51 + 915x52 + 629x53 + 862x54 + 957x55 + 735x56 + 746x57 + 938x58 + 382x59 + 931x60 + 350x61 + 157x62 + 636x63 + 706x64 + 23x65 + 33x66 + 457x67 + 897x68 + 526x69 + 862x70 + 306x71 + 774x72 + 967x73 + 375x74 + 674x75 + 202x76 + 591x77 + 507x78 + 863x79 + 367x80 + 207x81 + 35x82 + 382x83 + 856x84 + 867x85 + 942x86 + 221x87 + 995x88 + 58x89 + 631x90 + 493x91 + 136x92 + 491x93 + 234x94 + 636x95 + 335x96 + 812x97 + 625x98 + 189x99 + 227x100 + 707x101 + 666x102 + 775x103 + 33x104 + 953x105 + 596x106 + 518x107 + 679x108 + 825x109 + 278x110 + 395x111 + 277x112 + 789x113 + 182x114 + 517x115 + 389x116 + 404x117 + 147x118 + 677x119 + 731x120 + 707x121 + 322x122 + 547x123 + 563x124 + 777x125 + 961x126 + 635x127 + 981x128 + 81x129 + 542x130 + 917x131 + 113x132 + 205x133 + 645x134 + 184x135 + 587x136 + 400x137 + 540x138 + 172x139 + 358x140 + 753x141 + 743x142 + 42x143 + 801x144 + 222x145 + 515x146 + 453x147 + 459x148 + 775x149 + 83x150 + 693x151 + 886x152 + 574x153 + 252x154 + 288x155 + 764x156 + 840x157 + 506x158 + 472x159 + 716x160 + 13x161 + 872x162 + 603x163 + 988x164 + 863x165 + 800x166 + 493x167 + 909x168 + 837x169 + 183x170 + 318x171 + 896x172 + 925x173 + 78x174 + 315x175 + 922x176 + 419x177 + 936x178 + 398x179 + 57x180 + 285x181 + 911x182 + 54x183 + 764x184 + 531x185 + 366x186 + 260x187 + 36x188 + 383x189 + 53x190 + 171x191 + 741x192 + 481x193 + 102x194 + 166x195 + 563x196 + 519x197 + 451x198 + 775x199 + 366x200 + 943x201 + 132x202 + 827x203 + 460x204 + 197x205 + 10x206 + 215x207 + 753x208 + 212x209 + 54x210 + 289x211 + 79x212 + 381x213 + 575x214 + 886x215 + 30x216 + 369x217 + 470x218 + 40x219 + 651x220 + 415x221 + 338x222 + 405x223 + 776x224 + 44x225 + 890x226 + 558x227 + 991x228 + 390x229 + 934x230 + 516x231 + 918x232 + 391x233 + 933x234 + 907x235 + 659x236 + 499x237 + 517x238 + 316x239 + 461x240 + 424x241 + 573x242 + 92x243 + 934x244 + 512x245 + 803x246 + 199x247 + 403x248 + 105x249 + 309x250 <= 57512 
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