minimize 
objective: s
subject to 
s1: s + 0.501000f1 + 0.001000f2 >= 94811.736000 
s2: s + 0.001000f1 + 0.501000f2 >= 94811.736000 
f1: -f1 + 649x1 + 918x2 + 1025x3 + 687x4 + 680x5 + 625x6 + 585x7 + 589x8 + 717x9 + 883x10 + 603x11 + 1009x12 + 615x13 + 824x14 + 661x15 + 1018x16 + 602x17 + 643x18 + 775x19 + 967x20 + 786x21 + 743x22 + 872x23 + 493x24 + 885x25 + 873x26 + 552x27 + 1152x28 + 379x29 + 720x30 + 589x31 + 417x32 + 664x33 + 1085x34 + 827x35 + 978x36 + 596x37 + 978x38 + 609x39 + 743x40 + 537x41 + 1260x42 + 1141x43 + 419x44 + 570x45 + 972x46 + 1077x47 + 620x48 + 418x49 + 585x50 + 746x51 + 921x52 + 1116x53 + 475x54 + 409x55 + 874x56 + 643x57 + 726x58 + 776x59 + 496x60 + 516x61 + 713x62 + 666x63 + 542x64 + 493x65 + 1066x66 + 716x67 + 795x68 + 714x69 + 648x70 + 1137x71 + 692x72 + 773x73 + 850x74 + 895x75 + 1033x76 + 935x77 + 1054x78 + 728x79 + 527x80 + 1105x81 + 690x82 + 423x83 + 529x84 + 628x85 + 535x86 + 731x87 + 1014x88 + 802x89 + 729x90 + 524x91 + 659x92 + 785x93 + 1014x94 + 1068x95 + 753x96 + 776x97 + 600x98 + 838x99 + 721x100 + 828x101 + 685x102 + 485x103 + 545x104 + 636x105 + 673x106 + 585x107 + 658x108 + 779x109 + 465x110 + 995x111 + 707x112 + 700x113 + 674x114 + 817x115 + 934x116 + 922x117 + 727x118 + 910x119 + 748x120 + 705x121 + 920x122 + 693x123 + 473x124 + 775x125 + 790x126 + 1084x127 + 884x128 + 883x129 + 739x130 + 738x131 + 960x132 + 734x133 + 1057x134 + 655x135 + 1187x136 + 816x137 + 592x138 + 930x139 + 841x140 + 817x141 + 613x142 + 636x143 + 923x144 + 481x145 + 718x146 + 833x147 + 696x148 + 503x149 + 668x150 + 815x151 + 669x152 + 908x153 + 943x154 + 940x155 + 462x156 + 929x157 + 625x158 + 997x159 + 721x160 + 575x161 + 976x162 + 400x163 + 1016x164 + 705x165 + 491x166 + 666x167 + 835x168 + 668x169 + 784x170 + 725x171 + 339x172 + 875x173 + 768x174 + 1085x175 + 957x176 + 869x177 + 936x178 + 677x179 + 853x180 + 545x181 + 768x182 + 806x183 + 1094x184 + 829x185 + 453x186 + 458x187 + 1019x188 + 958x189 + 665x190 + 816x191 + 751x192 + 888x193 + 600x194 + 1034x195 + 434x196 + 598x197 + 563x198 + 825x199 + 1034x200 + 633x201 + 936x202 + 614x203 + 654x204 + 931x205 + 996x206 + 837x207 + 618x208 + 703x209 + 742x210 + 951x211 + 781x212 + 487x213 + 695x214 + 632x215 + 705x216 + 286x217 + 702x218 + 966x219 + 896x220 + 971x221 + 401x222 + 562x223 + 510x224 + 714x225 + 953x226 + 645x227 + 843x228 + 601x229 + 882x230 + 1034x231 + 692x232 + 803x233 + 425x234 + 1149x235 + 1034x236 + 340x237 + 791x238 + 532x239 + 877x240 + 1081x241 + 706x242 + 502x243 + 737x244 + 874x245 + 1012x246 + 763x247 + 821x248 + 661x249 + 809x250  = 0 
f2: -f2 + 589x1 + 884x2 + 768x3 + 1152x4 + 1034x5 + 791x6 + 1116x7 + 400x8 + 401x9 + 877x10 + 668x11 + 706x12 + 654x13 + 473x14 + 645x15 + 600x16 + 967x17 + 589x18 + 1054x19 + 1066x20 + 717x21 + 636x22 + 776x23 + 997x24 + 496x25 + 751x26 + 995x27 + 1009x28 + 1034x29 + 680x30 + 1018x31 + 874x32 + 721x33 + 493x34 + 648x35 + 1034x36 + 618x37 + 535x38 + 875x39 + 417x40 + 739x41 + 286x42 + 1033x43 + 481x44 + 908x45 + 1057x46 + 687x47 + 1034x48 + 737x49 + 768x50 + 838x51 + 1260x52 + 731x53 + 552x54 + 695x55 + 786x56 + 643x57 + 502x58 + 340x59 + 803x60 + 734x61 + 529x62 + 714x63 + 784x64 + 728x65 + 1016x66 + 910x67 + 418x68 + 746x69 + 491x70 + 603x71 + 615x72 + 425x73 + 721x74 + 716x75 + 790x76 + 872x77 + 882x78 + 921x79 + 1094x80 + 1137x81 + 664x82 + 940x83 + 978x84 + 527x85 + 837x86 + 661x87 + 825x88 + 1105x89 + 1014x90 + 827x91 + 609x92 + 585x93 + 883x94 + 487x95 + 1014x96 + 748x97 + 632x98 + 930x99 + 806x100 + 821x101 + 692x102 + 1187x103 + 935x104 + 1084x105 + 693x106 + 828x107 + 655x108 + 896x109 + 666x110 + 713x111 + 1085x112 + 729x113 + 718x114 + 888x115 + 953x116 + 542x117 + 379x118 + 795x119 + 1068x120 + 966x121 + 665x122 + 625x123 + 585x124 + 585x125 + 824x126 + 714x127 + 562x128 + 883x129 + 936x130 + 1149x131 + 636x132 + 600x133 + 809x134 + 779x135 + 753x136 + 958x137 + 1025x138 + 869x139 + 465x140 + 996x141 + 1081x142 + 666x143 + 1085x144 + 802x145 + 738x146 + 829x147 + 936x148 + 815x149 + 885x150 + 705x151 + 960x152 + 934x153 + 690x154 + 763x155 + 918x156 + 685x157 + 419x158 + 776x159 + 972x160 + 720x161 + 696x162 + 661x163 + 707x164 + 1077x165 + 775x166 + 920x167 + 705x168 + 570x169 + 1019x170 + 816x171 + 423x172 + 817x173 + 843x174 + 923x175 + 853x176 + 614x177 + 873x178 + 545x179 + 931x180 + 596x181 + 725x182 + 524x183 + 895x184 + 532x185 + 625x186 + 503x187 + 659x188 + 658x189 + 775x190 + 743x191 + 957x192 + 703x193 + 602x194 + 462x195 + 537x196 + 493x197 + 943x198 + 781x199 + 742x200 + 592x201 + 773x202 + 850x203 + 485x204 + 649x205 + 601x206 + 835x207 + 978x208 + 339x209 + 510x210 + 434x211 + 669x212 + 817x213 + 727x214 + 976x215 + 922x216 + 785x217 + 702x218 + 816x219 + 674x220 + 677x221 + 841x222 + 673x223 + 453x224 + 620x225 + 668x226 + 951x227 + 971x228 + 516x229 + 1012x230 + 743x231 + 1141x232 + 458x233 + 575x234 + 929x235 + 475x236 + 833x237 + 628x238 + 613x239 + 409x240 + 545x241 + 874x242 + 633x243 + 700x244 + 692x245 + 643x246 + 598x247 + 705x248 + 726x249 + 563x250  = 0 
constr1: + 870x1 + 493x2 + 98x3 + 943x4 + 964x5 + 16x6 + 125x7 + 645x8 + 471x9 + 248x10 + 528x11 + 428x12 + 159x13 + 780x14 + 891x15 + 695x16 + 636x17 + 598x18 + 950x19 + 860x20 + 293x21 + 477x22 + 566x23 + 468x24 + 104x25 + 490x26 + 458x27 + 632x28 + 496x29 + 996x30 + 551x31 + 666x32 + 266x33 + 709x34 + 593x35 + 194x36 + 30x37 + 241x38 + 620x39 + 107x40 + 926x41 + 811x42 + 118x43 + 561x44 + 105x45 + 166x46 + 910x47 + 716x48 + 798x49 + 589x50 + 145x51 + 577x52 + 679x53 + 649x54 + 736x55 + 974x56 + 907x57 + 958x58 + 244x59 + 994x60 + 706x61 + 109x62 + 77x63 + 718x64 + 599x65 + 464x66 + 470x67 + 78x68 + 351x69 + 112x70 + 585x71 + 398x72 + 980x73 + 670x74 + 729x75 + 125x76 + 353x77 + 940x78 + 644x79 + 75x80 + 804x81 + 81x82 + 6x83 + 251x84 + 669x85 + 399x86 + 732x87 + 472x88 + 417x89 + 502x90 + 302x91 + 943x92 + 950x93 + 661x94 + 514x95 + 632x96 + 452x97 + 764x98 + 208x99 + 660x100 + 832x101 + 91x102 + 546x103 + 245x104 + 193x105 + 504x106 + 120x107 + 889x108 + 847x109 + 916x110 + 110x111 + 262x112 + 158x113 + 395x114 + 685x115 + 627x116 + 359x117 + 238x118 + 330x119 + 410x120 + 426x121 + 657x122 + 984x123 + 544x124 + 51x125 + 740x126 + 742x127 + 160x128 + 250x129 + 474x130 + 634x131 + 363x132 + 761x133 + 275x134 + 761x135 + 353x136 + 588x137 + 243x138 + 700x139 + 213x140 + 522x141 + 383x142 + 51x143 + 898x144 + 670x145 + 635x146 + 446x147 + 344x148 + 837x149 + 150x150 + 32x151 + 981x152 + 565x153 + 513x154 + 523x155 + 452x156 + 987x157 + 65x158 + 370x159 + 871x160 + 953x161 + 938x162 + 217x163 + 740x164 + 953x165 + 1000x166 + 749x167 + 169x168 + 101x169 + 133x170 + 523x171 + 584x172 + 467x173 + 29x174 + 707x175 + 657x176 + 986x177 + 922x178 + 737x179 + 98x180 + 342x181 + 750x182 + 376x183 + 352x184 + 235x185 + 708x186 + 261x187 + 451x188 + 491x189 + 526x190 + 36x191 + 4x192 + 593x193 + 588x194 + 310x195 + 934x196 + 841x197 + 930x198 + 830x199 + 582x200 + 438x201 + 904x202 + 223x203 + 546x204 + 226x205 + 174x206 + 582x207 + 882x208 + 59x209 + 462x210 + 815x211 + 714x212 + 35x213 + 360x214 + 928x215 + 204x216 + 980x217 + 131x218 + 192x219 + 150x220 + 686x221 + 409x222 + 110x223 + 544x224 + 577x225 + 873x226 + 914x227 + 914x228 + 617x229 + 969x230 + 517x231 + 223x232 + 141x233 + 138x234 + 151x235 + 772x236 + 566x237 + 74x238 + 444x239 + 198x240 + 145x241 + 480x242 + 886x243 + 72x244 + 835x245 + 394x246 + 450x247 + 352x248 + 344x249 + 759x250 <= 64498 
constr2: + 316x1 + 300x2 + 677x3 + 573x4 + 813x5 + 209x6 + 296x7 + 451x8 + 756x9 + 67x10 + 881x11 + 918x12 + 465x13 + 295x14 + 407x15 + 719x16 + 581x17 + 941x18 + 255x19 + 44x20 + 269x21 + 629x22 + 412x23 + 434x24 + 419x25 + 592x26 + 816x27 + 616x28 + 621x29 + 391x30 + 737x31 + 136x32 + 442x33 + 676x34 + 371x35 + 564x36 + 633x37 + 579x38 + 767x39 + 78x40 + 305x41 + 567x42 + 495x43 + 20x44 + 111x45 + 268x46 + 95x47 + 13x48 + 153x49 + 312x50 + 803x51 + 246x52 + 429x53 + 793x54 + 659x55 + 644x56 + 145x57 + 246x58 + 272x59 + 696x60 + 857x61 + 653x62 + 564x63 + 748x64 + 107x65 + 448x66 + 707x67 + 281x68 + 243x69 + 735x70 + 260x71 + 60x72 + 182x73 + 164x74 + 718x75 + 932x76 + 680x77 + 953x78 + 939x79 + 509x80 + 204x81 + 915x82 + 294x83 + 682x84 + 159x85 + 195x86 + 596x87 + 213x88 + 620x89 + 808x90 + 980x91 + 103x92 + 117x93 + 159x94 + 87x95 + 758x96 + 599x97 + 143x98 + 494x99 + 658x100 + 435x101 + 341x102 + 374x103 + 462x104 + 677x105 + 450x106 + 157x107 + 879x108 + 949x109 + 983x110 + 626x111 + 462x112 + 759x113 + 372x114 + 639x115 + 206x116 + 563x117 + 707x118 + 734x119 + 166x120 + 412x121 + 352x122 + 500x123 + 596x124 + 873x125 + 598x126 + 289x127 + 997x128 + 214x129 + 785x130 + 283x131 + 399x132 + 553x133 + 245x134 + 70x135 + 731x136 + 476x137 + 210x138 + 324x139 + 156x140 + 478x141 + 404x142 + 901x143 + 50x144 + 312x145 + 644x146 + 726x147 + 443x148 + 225x149 + 850x150 + 481x151 + 910x152 + 96x153 + 981x154 + 369x155 + 240x156 + 78x157 + 72x158 + 978x159 + 754x160 + 576x161 + 430x162 + 298x163 + 354x164 + 725x165 + 408x166 + 667x167 + 541x168 + 436x169 + 562x170 + 12x171 + 365x172 + 379x173 + 610x174 + 171x175 + 135x176 + 688x177 + 116x178 + 420x179 + 625x180 + 48x181 + 790x182 + 606x183 + 614x184 + 346x185 + 992x186 + 866x187 + 170x188 + 466x189 + 799x190 + 859x191 + 237x192 + 780x193 + 398x194 + 45x195 + 369x196 + 863x197 + 668x198 + 613x199 + 18x200 + 349x201 + 820x202 + 989x203 + 176x204 + 548x205 + 104x206 + 901x207 + 37x208 + 951x209 + 507x210 + 792x211 + 519x212 + 490x213 + 41x214 + 932x215 + 598x216 + 1x217 + 247x218 + 480x219 + 596x220 + 325x221 + 106x222 + 459x223 + 342x224 + 324x225 + 738x226 + 697x227 + 900x228 + 430x229 + 515x230 + 413x231 + 442x232 + 871x233 + 327x234 + 230x235 + 101x236 + 665x237 + 342x238 + 682x239 + 766x240 + 797x241 + 729x242 + 963x243 + 734x244 + 486x245 + 298x246 + 412x247 + 174x248 + 604x249 + 340x250 <= 61749 
constr3: + 651x1 + 121x2 + 978x3 + 383x4 + 774x5 + 859x6 + 6x7 + 787x8 + 792x9 + 963x10 + 659x11 + 119x12 + 111x13 + 717x14 + 267x15 + 452x16 + 726x17 + 965x18 + 243x19 + 672x20 + 398x21 + 937x22 + 748x23 + 876x24 + 220x25 + 793x26 + 857x27 + 746x28 + 264x29 + 304x30 + 189x31 + 861x32 + 587x33 + 992x34 + 164x35 + 327x36 + 782x37 + 248x38 + 655x39 + 656x40 + 91x41 + 749x42 + 677x43 + 972x44 + 166x45 + 850x46 + 213x47 + 810x48 + 560x49 + 478x50 + 788x51 + 325x52 + 607x53 + 930x54 + 278x55 + 859x56 + 127x57 + 80x58 + 815x59 + 743x60 + 86x61 + 868x62 + 640x63 + 688x64 + 963x65 + 258x66 + 8x67 + 926x68 + 94x69 + 99x70 + 73x71 + 560x72 + 292x73 + 816x74 + 78x75 + 583x76 + 97x77 + 66x78 + 477x79 + 216x80 + 621x81 + 856x82 + 402x83 + 100x84 + 218x85 + 438x86 + 301x87 + 857x88 + 940x89 + 277x90 + 129x91 + 253x92 + 206x93 + 791x94 + 181x95 + 207x96 + 460x97 + 928x98 + 198x99 + 444x100 + 148x101 + 413x102 + 707x103 + 769x104 + 548x105 + 604x106 + 783x107 + 830x108 + 794x109 + 319x110 + 717x111 + 78x112 + 415x113 + 168x114 + 349x115 + 767x116 + 73x117 + 99x118 + 953x119 + 684x120 + 787x121 + 504x122 + 215x123 + 204x124 + 990x125 + 212x126 + 772x127 + 449x128 + 636x129 + 674x130 + 806x131 + 81x132 + 418x133 + 933x134 + 918x135 + 645x136 + 961x137 + 610x138 + 632x139 + 458x140 + 105x141 + 1000x142 + 427x143 + 588x144 + 324x145 + 616x146 + 582x147 + 956x148 + 740x149 + 532x150 + 978x151 + 942x152 + 677x153 + 167x154 + 640x155 + 460x156 + 536x157 + 544x158 + 215x159 + 768x160 + 933x161 + 455x162 + 663x163 + 436x164 + 871x165 + 915x166 + 834x167 + 330x168 + 213x169 + 922x170 + 456x171 + 380x172 + 676x173 + 478x174 + 407x175 + 489x176 + 846x177 + 224x178 + 973x179 + 700x180 + 585x181 + 326x182 + 191x183 + 317x184 + 729x185 + 804x186 + 965x187 + 517x188 + 507x189 + 109x190 + 844x191 + 299x192 + 206x193 + 359x194 + 218x195 + 279x196 + 507x197 + 520x198 + 655x199 + 986x200 + 631x201 + 523x202 + 8x203 + 210x204 + 117x205 + 864x206 + 67x207 + 543x208 + 892x209 + 143x210 + 850x211 + 272x212 + 474x213 + 283x214 + 177x215 + 978x216 + 246x217 + 311x218 + 902x219 + 39x220 + 527x221 + 43x222 + 68x223 + 193x224 + 656x225 + 835x226 + 678x227 + 777x228 + 286x229 + 955x230 + 420x231 + 323x232 + 191x233 + 453x234 + 495x235 + 197x236 + 370x237 + 479x238 + 117x239 + 60x240 + 487x241 + 349x242 + 532x243 + 38x244 + 766x245 + 715x246 + 895x247 + 414x248 + 111x249 + 639x250 <= 62369 
constr4: + 426x1 + 822x2 + 722x3 + 436x4 + 20x5 + 52x6 + 624x7 + 722x8 + 576x9 + 572x10 + 356x11 + 275x12 + 439x13 + 992x14 + 133x15 + 444x16 + 265x17 + 224x18 + 873x19 + 377x20 + 709x21 + 649x22 + 414x23 + 767x24 + 157x25 + 913x26 + 433x27 + 668x28 + 74x29 + 755x30 + 697x31 + 824x32 + 939x33 + 434x34 + 441x35 + 953x36 + 604x37 + 56x38 + 320x39 + 496x40 + 561x41 + 213x42 + 161x43 + 885x44 + 689x45 + 31x46 + 130x47 + 75x48 + 209x49 + 236x50 + 382x51 + 700x52 + 350x53 + 129x54 + 569x55 + 291x56 + 808x57 + 600x58 + 375x59 + 228x60 + 543x61 + 388x62 + 579x63 + 85x64 + 808x65 + 341x66 + 601x67 + 737x68 + 356x69 + 322x70 + 107x71 + 673x72 + 797x73 + 698x74 + 548x75 + 609x76 + 576x77 + 953x78 + 976x79 + 132x80 + 794x81 + 451x82 + 710x83 + 672x84 + 394x85 + 595x86 + 962x87 + 967x88 + 435x89 + 457x90 + 462x91 + 611x92 + 622x93 + 765x94 + 18x95 + 647x96 + 306x97 + 166x98 + 848x99 + 38x100 + 740x101 + 546x102 + 689x103 + 909x104 + 780x105 + 364x106 + 342x107 + 392x108 + 541x109 + 303x110 + 302x111 + 262x112 + 314x113 + 493x114 + 898x115 + 667x116 + 602x117 + 86x118 + 499x119 + 314x120 + 403x121 + 274x122 + 527x123 + 664x124 + 431x125 + 926x126 + 766x127 + 406x128 + 216x129 + 839x130 + 615x131 + 823x132 + 274x133 + 343x134 + 706x135 + 52x136 + 445x137 + 618x138 + 381x139 + 521x140 + 151x141 + 80x142 + 214x143 + 681x144 + 508x145 + 58x146 + 539x147 + 407x148 + 558x149 + 563x150 + 786x151 + 348x152 + 826x153 + 76x154 + 418x155 + 882x156 + 913x157 + 134x158 + 207x159 + 59x160 + 994x161 + 53x162 + 119x163 + 636x164 + 376x165 + 18x166 + 198x167 + 519x168 + 544x169 + 174x170 + 290x171 + 164x172 + 31x173 + 278x174 + 446x175 + 797x176 + 853x177 + 681x178 + 703x179 + 564x180 + 973x181 + 442x182 + 833x183 + 349x184 + 488x185 + 495x186 + 71x187 + 411x188 + 909x189 + 270x190 + 429x191 + 797x192 + 609x193 + 883x194 + 358x195 + 669x196 + 286x197 + 99x198 + 373x199 + 221x200 + 198x201 + 814x202 + 780x203 + 441x204 + 164x205 + 271x206 + 903x207 + 50x208 + 39x209 + 435x210 + 87x211 + 616x212 + 383x213 + 59x214 + 278x215 + 93x216 + 684x217 + 2x218 + 670x219 + 506x220 + 314x221 + 742x222 + 920x223 + 540x224 + 772x225 + 471x226 + 653x227 + 763x228 + 603x229 + 34x230 + 607x231 + 334x232 + 342x233 + 930x234 + 277x235 + 512x236 + 895x237 + 659x238 + 658x239 + 144x240 + 498x241 + 231x242 + 99x243 + 461x244 + 685x245 + 741x246 + 466x247 + 389x248 + 918x249 + 606x250 <= 62210 
constr5: + 773x1 + 242x2 + 643x3 + 626x4 + 243x5 + 891x6 + 893x7 + 421x8 + 338x9 + 47x10 + 698x11 + 249x12 + 723x13 + 360x14 + 980x15 + 50x16 + 493x17 + 576x18 + 85x19 + 268x20 + 808x21 + 206x22 + 953x23 + 830x24 + 985x25 + 741x26 + 876x27 + 800x28 + 348x29 + 997x30 + 26x31 + 445x32 + 491x33 + 846x34 + 787x35 + 647x36 + 570x37 + 697x38 + 844x39 + 813x40 + 398x41 + 190x42 + 364x43 + 566x44 + 161x45 + 699x46 + 419x47 + 851x48 + 951x49 + 289x50 + 291x51 + 822x52 + 637x53 + 687x54 + 748x55 + 205x56 + 375x57 + 156x58 + 458x59 + 733x60 + 71x61 + 86x62 + 326x63 + 519x64 + 606x65 + 772x66 + 309x67 + 28x68 + 731x69 + 123x70 + 258x71 + 280x72 + 140x73 + 795x74 + 645x75 + 40x76 + 775x77 + 392x78 + 433x79 + 820x80 + 648x81 + 616x82 + 623x83 + 268x84 + 849x85 + 792x86 + 436x87 + 275x88 + 635x89 + 710x90 + 667x91 + 372x92 + 47x93 + 524x94 + 459x95 + 926x96 + 860x97 + 122x98 + 368x99 + 689x100 + 247x101 + 681x102 + 561x103 + 903x104 + 36x105 + 7x106 + 573x107 + 666x108 + 487x109 + 278x110 + 453x111 + 168x112 + 57x113 + 316x114 + 791x115 + 247x116 + 35x117 + 193x118 + 728x119 + 184x120 + 45x121 + 514x122 + 936x123 + 813x124 + 348x125 + 929x126 + 531x127 + 787x128 + 685x129 + 9x130 + 996x131 + 687x132 + 781x133 + 435x134 + 56x135 + 657x136 + 941x137 + 138x138 + 212x139 + 873x140 + 519x141 + 215x142 + 255x143 + 228x144 + 801x145 + 548x146 + 773x147 + 838x148 + 324x149 + 578x150 + 753x151 + 205x152 + 340x153 + 82x154 + 959x155 + 129x156 + 117x157 + 164x158 + 525x159 + 118x160 + 203x161 + 873x162 + 113x163 + 125x164 + 767x165 + 1x166 + 392x167 + 342x168 + 472x169 + 436x170 + 890x171 + 839x172 + 167x173 + 74x174 + 263x175 + 162x176 + 265x177 + 338x178 + 39x179 + 865x180 + 452x181 + 955x182 + 981x183 + 201x184 + 713x185 + 396x186 + 698x187 + 831x188 + 804x189 + 876x190 + 74x191 + 526x192 + 220x193 + 626x194 + 743x195 + 316x196 + 939x197 + 243x198 + 399x199 + 119x200 + 629x201 + 317x202 + 199x203 + 948x204 + 337x205 + 46x206 + 317x207 + 258x208 + 985x209 + 180x210 + 328x211 + 897x212 + 994x213 + 347x214 + 302x215 + 629x216 + 275x217 + 770x218 + 840x219 + 176x220 + 462x221 + 267x222 + 152x223 + 211x224 + 305x225 + 580x226 + 639x227 + 547x228 + 409x229 + 344x230 + 255x231 + 740x232 + 403x233 + 829x234 + 996x235 + 95x236 + 931x237 + 341x238 + 833x239 + 395x240 + 953x241 + 436x242 + 405x243 + 941x244 + 295x245 + 332x246 + 714x247 + 768x248 + 596x249 + 754x250 <= 59944 
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