minimize 
objective: s
subject to 
s1: s + 0.501000f1 + 0.001000f2 >= 96099.868000 
s2: s + 0.001000f1 + 0.501000f2 >= 96099.868000 
f1: -f1 + 695x1 + 946x2 + 742x3 + 938x4 + 939x5 + 955x6 + 1024x7 + 482x8 + 911x9 + 349x10 + 1001x11 + 419x12 + 1019x13 + 662x14 + 911x15 + 656x16 + 1033x17 + 478x18 + 539x19 + 915x20 + 899x21 + 523x22 + 831x23 + 1023x24 + 624x25 + 452x26 + 401x27 + 682x28 + 1083x29 + 544x30 + 735x31 + 817x32 + 948x33 + 814x34 + 582x35 + 858x36 + 819x37 + 883x38 + 375x39 + 769x40 + 638x41 + 851x42 + 912x43 + 926x44 + 688x45 + 923x46 + 651x47 + 680x48 + 621x49 + 958x50 + 790x51 + 574x52 + 857x53 + 607x54 + 742x55 + 807x56 + 935x57 + 862x58 + 929x59 + 890x60 + 869x61 + 461x62 + 539x63 + 969x64 + 985x65 + 741x66 + 943x67 + 934x68 + 764x69 + 757x70 + 607x71 + 733x72 + 945x73 + 1015x74 + 528x75 + 906x76 + 867x77 + 956x78 + 598x79 + 1063x80 + 494x81 + 682x82 + 1086x83 + 839x84 + 652x85 + 808x86 + 1090x87 + 796x88 + 811x89 + 750x90 + 778x91 + 927x92 + 776x93 + 736x94 + 1207x95 + 946x96 + 625x97 + 657x98 + 728x99 + 608x100 + 518x101 + 479x102 + 782x103 + 877x104 + 802x105 + 699x106 + 263x107 + 450x108 + 785x109 + 914x110 + 921x111 + 808x112 + 194x113 + 1004x114 + 550x115 + 621x116 + 759x117 + 649x118 + 796x119 + 722x120 + 1060x121 + 851x122 + 848x123 + 870x124 + 1083x125 + 573x126 + 608x127 + 597x128 + 1095x129 + 718x130 + 360x131 + 511x132 + 1146x133 + 736x134 + 828x135 + 896x136 + 829x137 + 453x138 + 684x139 + 599x140 + 1013x141 + 754x142 + 838x143 + 524x144 + 913x145 + 804x146 + 992x147 + 451x148 + 580x149 + 944x150 + 713x151 + 820x152 + 438x153 + 782x154 + 1071x155 + 1012x156 + 733x157 + 412x158 + 685x159 + 588x160 + 676x161 + 534x162 + 850x163 + 475x164 + 865x165 + 994x166 + 647x167 + 866x168 + 961x169 + 649x170 + 814x171 + 759x172 + 684x173 + 582x174 + 377x175 + 838x176 + 497x177 + 931x178 + 503x179 + 553x180 + 770x181 + 871x182 + 1034x183 + 845x184 + 626x185 + 487x186 + 834x187 + 937x188 + 757x189 + 1157x190 + 480x191 + 649x192 + 772x193 + 650x194 + 1038x195 + 1158x196 + 714x197 + 445x198 + 1028x199 + 631x200 + 699x201 + 1053x202 + 694x203 + 496x204 + 1003x205 + 639x206 + 791x207 + 608x208 + 696x209 + 996x210 + 917x211 + 449x212 + 1019x213 + 524x214 + 803x215 + 774x216 + 678x217 + 1031x218 + 898x219 + 675x220 + 836x221 + 577x222 + 984x223 + 419x224 + 1181x225 + 687x226 + 568x227 + 803x228 + 553x229 + 695x230 + 1050x231 + 785x232 + 851x233 + 1195x234 + 870x235 + 557x236 + 932x237 + 896x238 + 890x239 + 692x240 + 653x241 + 748x242 + 1014x243 + 756x244 + 971x245 + 989x246 + 660x247 + 885x248 + 583x249 + 475x250  = 0 
f2: -f2 + 757x1 + 608x2 + 1003x3 + 971x4 + 858x5 + 650x6 + 935x7 + 688x8 + 921x9 + 757x10 + 625x11 + 694x12 + 624x13 + 1050x14 + 695x15 + 494x16 + 1095x17 + 534x18 + 487x19 + 992x20 + 896x21 + 580x22 + 848x23 + 867x24 + 1013x25 + 890x26 + 791x27 + 819x28 + 377x29 + 885x30 + 814x31 + 1086x32 + 913x33 + 524x34 + 906x35 + 899x36 + 1004x37 + 662x38 + 866x39 + 764x40 + 621x41 + 1028x42 + 478x43 + 449x44 + 756x45 + 684x46 + 829x47 + 802x48 + 511x49 + 675x50 + 790x51 + 607x52 + 583x53 + 807x54 + 996x55 + 695x56 + 838x57 + 808x58 + 742x59 + 687x60 + 582x61 + 656x62 + 1053x63 + 969x64 + 550x65 + 401x66 + 838x67 + 883x68 + 917x69 + 588x70 + 770x71 + 419x72 + 419x73 + 685x74 + 599x75 + 939x76 + 626x77 + 776x78 + 718x79 + 1023x80 + 657x81 + 647x82 + 943x83 + 927x84 + 956x85 + 748x86 + 453x87 + 544x88 + 539x89 + 946x90 + 915x91 + 676x92 + 803x93 + 639x94 + 845x95 + 808x96 + 680x97 + 621x98 + 839x99 + 597x100 + 772x101 + 782x102 + 1024x103 + 475x104 + 834x105 + 714x106 + 931x107 + 553x108 + 475x109 + 733x110 + 631x111 + 896x112 + 778x113 + 479x114 + 961x115 + 1012x116 + 1060x117 + 945x118 + 851x119 + 696x120 + 574x121 + 496x122 + 539x123 + 573x124 + 699x125 + 649x126 + 653x127 + 1019x128 + 911x129 + 946x130 + 412x131 + 638x132 + 851x133 + 652x134 + 877x135 + 759x136 + 851x137 + 796x138 + 870x139 + 684x140 + 480x141 + 820x142 + 699x143 + 524x144 + 1071x145 + 750x146 + 831x147 + 660x148 + 1001x149 + 649x150 + 263x151 + 865x152 + 850x153 + 375x154 + 1031x155 + 452x156 + 923x157 + 692x158 + 1033x159 + 769x160 + 528x161 + 733x162 + 1015x163 + 482x164 + 828x165 + 804x166 + 451x167 + 1083x168 + 989x169 + 1195x170 + 503x171 + 518x172 + 871x173 + 862x174 + 796x175 + 1158x176 + 722x177 + 785x178 + 944x179 + 523x180 + 803x181 + 608x182 + 438x183 + 782x184 + 870x185 + 450x186 + 1090x187 + 1019x188 + 741x189 + 1181x190 + 497x191 + 890x192 + 785x193 + 929x194 + 898x195 + 557x196 + 1146x197 + 984x198 + 194x199 + 360x200 + 553x201 + 955x202 + 754x203 + 736x204 + 682x205 + 914x206 + 1063x207 + 649x208 + 817x209 + 814x210 + 938x211 + 728x212 + 948x213 + 934x214 + 607x215 + 461x216 + 1207x217 + 926x218 + 1083x219 + 1038x220 + 736x221 + 568x222 + 349x223 + 582x224 + 678x225 + 869x226 + 577x227 + 759x228 + 445x229 + 911x230 + 994x231 + 811x232 + 713x233 + 651x234 + 932x235 + 857x236 + 1157x237 + 774x238 + 1014x239 + 1034x240 + 735x241 + 598x242 + 608x243 + 912x244 + 937x245 + 836x246 + 742x247 + 682x248 + 958x249 + 985x250  = 0 
constr1: + 707x1 + 623x2 + 908x3 + 87x4 + 70x5 + 884x6 + 997x7 + 29x8 + 231x9 + 477x10 + 992x11 + 690x12 + 629x13 + 648x14 + 399x15 + 334x16 + 334x17 + 503x18 + 60x19 + 980x20 + 470x21 + 159x22 + 291x23 + 357x24 + 608x25 + 771x26 + 128x27 + 183x28 + 558x29 + 543x30 + 199x31 + 314x32 + 456x33 + 230x34 + 62x35 + 269x36 + 598x37 + 923x38 + 643x39 + 938x40 + 519x41 + 384x42 + 637x43 + 583x44 + 606x45 + 129x46 + 652x47 + 72x48 + 80x49 + 39x50 + 880x51 + 254x52 + 990x53 + 404x54 + 476x55 + 17x56 + 67x57 + 338x58 + 7x59 + 940x60 + 469x61 + 226x62 + 206x63 + 237x64 + 341x65 + 693x66 + 803x67 + 810x68 + 125x69 + 125x70 + 692x71 + 291x72 + 892x73 + 401x74 + 604x75 + 26x76 + 123x77 + 475x78 + 507x79 + 35x80 + 13x81 + 771x82 + 253x83 + 140x84 + 721x85 + 728x86 + 739x87 + 435x88 + 535x89 + 154x90 + 348x91 + 851x92 + 421x93 + 169x94 + 698x95 + 581x96 + 807x97 + 884x98 + 317x99 + 902x100 + 17x101 + 498x102 + 816x103 + 461x104 + 813x105 + 272x106 + 6x107 + 722x108 + 235x109 + 695x110 + 162x111 + 630x112 + 116x113 + 963x114 + 722x115 + 893x116 + 141x117 + 107x118 + 850x119 + 860x120 + 324x121 + 509x122 + 704x123 + 531x124 + 660x125 + 662x126 + 891x127 + 937x128 + 609x129 + 387x130 + 203x131 + 866x132 + 171x133 + 985x134 + 719x135 + 34x136 + 515x137 + 293x138 + 529x139 + 968x140 + 151x141 + 659x142 + 851x143 + 241x144 + 446x145 + 895x146 + 943x147 + 594x148 + 186x149 + 222x150 + 376x151 + 979x152 + 121x153 + 706x154 + 970x155 + 188x156 + 427x157 + 232x158 + 730x159 + 482x160 + 105x161 + 410x162 + 941x163 + 846x164 + 98x165 + 468x166 + 66x167 + 106x168 + 70x169 + 543x170 + 47x171 + 418x172 + 839x173 + 944x174 + 533x175 + 461x176 + 130x177 + 863x178 + 452x179 + 450x180 + 18x181 + 383x182 + 149x183 + 761x184 + 383x185 + 832x186 + 457x187 + 391x188 + 114x189 + 734x190 + 725x191 + 527x192 + 192x193 + 641x194 + 891x195 + 344x196 + 536x197 + 225x198 + 320x199 + 748x200 + 621x201 + 888x202 + 543x203 + 555x204 + 650x205 + 294x206 + 433x207 + 625x208 + 834x209 + 947x210 + 433x211 + 797x212 + 715x213 + 839x214 + 729x215 + 613x216 + 942x217 + 297x218 + 592x219 + 603x220 + 568x221 + 730x222 + 582x223 + 128x224 + 838x225 + 320x226 + 525x227 + 227x228 + 907x229 + 706x230 + 672x231 + 472x232 + 385x233 + 743x234 + 113x235 + 753x236 + 929x237 + 317x238 + 37x239 + 814x240 + 364x241 + 314x242 + 183x243 + 260x244 + 46x245 + 470x246 + 941x247 + 688x248 + 165x249 + 756x250 <= 88871 
constr2: + 451x1 + 555x2 + 326x3 + 772x4 + 65x5 + 760x6 + 205x7 + 515x8 + 874x9 + 696x10 + 124x11 + 617x12 + 158x13 + 27x14 + 837x15 + 401x16 + 300x17 + 330x18 + 914x19 + 809x20 + 563x21 + 61x22 + 896x23 + 892x24 + 298x25 + 265x26 + 76x27 + 509x28 + 104x29 + 598x30 + 968x31 + 67x32 + 940x33 + 282x34 + 549x35 + 32x36 + 170x37 + 632x38 + 558x39 + 904x40 + 267x41 + 542x42 + 177x43 + 66x44 + 810x45 + 425x46 + 765x47 + 889x48 + 278x49 + 978x50 + 186x51 + 743x52 + 603x53 + 126x54 + 492x55 + 375x56 + 352x57 + 207x58 + 109x59 + 288x60 + 727x61 + 668x62 + 78x63 + 608x64 + 198x65 + 265x66 + 996x67 + 967x68 + 472x69 + 111x70 + 475x71 + 55x72 + 859x73 + 866x74 + 452x75 + 620x76 + 888x77 + 582x78 + 918x79 + 768x80 + 541x81 + 407x82 + 422x83 + 580x84 + 572x85 + 43x86 + 287x87 + 527x88 + 352x89 + 800x90 + 968x91 + 775x92 + 347x93 + 189x94 + 208x95 + 545x96 + 705x97 + 522x98 + 700x99 + 992x100 + 938x101 + 791x102 + 298x103 + 879x104 + 402x105 + 22x106 + 821x107 + 23x108 + 617x109 + 25x110 + 72x111 + 720x112 + 618x113 + 649x114 + 375x115 + 272x116 + 829x117 + 692x118 + 689x119 + 605x120 + 947x121 + 28x122 + 398x123 + 635x124 + 501x125 + 432x126 + 49x127 + 285x128 + 804x129 + 796x130 + 132x131 + 60x132 + 551x133 + 375x134 + 502x135 + 745x136 + 279x137 + 625x138 + 597x139 + 91x140 + 307x141 + 1x142 + 756x143 + 879x144 + 203x145 + 465x146 + 772x147 + 539x148 + 749x149 + 137x150 + 699x151 + 321x152 + 25x153 + 372x154 + 582x155 + 140x156 + 742x157 + 781x158 + 574x159 + 925x160 + 849x161 + 863x162 + 44x163 + 731x164 + 385x165 + 448x166 + 148x167 + 708x168 + 44x169 + 20x170 + 68x171 + 15x172 + 55x173 + 336x174 + 697x175 + 69x176 + 465x177 + 110x178 + 86x179 + 244x180 + 798x181 + 250x182 + 445x183 + 842x184 + 339x185 + 575x186 + 913x187 + 330x188 + 172x189 + 268x190 + 657x191 + 784x192 + 751x193 + 764x194 + 93x195 + 868x196 + 990x197 + 472x198 + 663x199 + 281x200 + 416x201 + 581x202 + 800x203 + 756x204 + 206x205 + 502x206 + 144x207 + 572x208 + 668x209 + 872x210 + 460x211 + 787x212 + 686x213 + 320x214 + 877x215 + 489x216 + 39x217 + 645x218 + 62x219 + 852x220 + 216x221 + 805x222 + 994x223 + 335x224 + 661x225 + 265x226 + 446x227 + 408x228 + 776x229 + 561x230 + 524x231 + 896x232 + 282x233 + 950x234 + 267x235 + 345x236 + 958x237 + 617x238 + 8x239 + 354x240 + 780x241 + 535x242 + 87x243 + 106x244 + 446x245 + 49x246 + 78x247 + 342x248 + 750x249 + 86x250 <= 92773 
constr3: + 301x1 + 623x2 + 977x3 + 618x4 + 503x5 + 602x6 + 51x7 + 53x8 + 332x9 + 31x10 + 135x11 + 91x12 + 225x13 + 982x14 + 500x15 + 582x16 + 398x17 + 605x18 + 509x19 + 960x20 + 658x21 + 593x22 + 121x23 + 188x24 + 38x25 + 34x26 + 919x27 + 108x28 + 379x29 + 169x30 + 562x31 + 24x32 + 603x33 + 361x34 + 497x35 + 932x36 + 505x37 + 734x38 + 643x39 + 951x40 + 639x41 + 409x42 + 677x43 + 628x44 + 996x45 + 607x46 + 20x47 + 66x48 + 563x49 + 357x50 + 522x51 + 354x52 + 395x53 + 373x54 + 425x55 + 523x56 + 688x57 + 741x58 + 353x59 + 551x60 + 613x61 + 316x62 + 66x63 + 804x64 + 174x65 + 605x66 + 513x67 + 923x68 + 407x69 + 47x70 + 978x71 + 650x72 + 399x73 + 3x74 + 410x75 + 256x76 + 515x77 + 275x78 + 234x79 + 364x80 + 483x81 + 338x82 + 19x83 + 508x84 + 629x85 + 169x86 + 493x87 + 630x88 + 163x89 + 68x90 + 198x91 + 978x92 + 414x93 + 551x94 + 235x95 + 786x96 + 896x97 + 914x98 + 672x99 + 127x100 + 754x101 + 917x102 + 440x103 + 212x104 + 75x105 + 76x106 + 556x107 + 399x108 + 812x109 + 281x110 + 700x111 + 716x112 + 245x113 + 789x114 + 71x115 + 543x116 + 688x117 + 614x118 + 475x119 + 734x120 + 215x121 + 110x122 + 20x123 + 475x124 + 446x125 + 39x126 + 781x127 + 754x128 + 760x129 + 512x130 + 7x131 + 248x132 + 587x133 + 159x134 + 181x135 + 790x136 + 476x137 + 788x138 + 724x139 + 649x140 + 417x141 + 202x142 + 587x143 + 682x144 + 745x145 + 845x146 + 975x147 + 748x148 + 628x149 + 243x150 + 364x151 + 145x152 + 242x153 + 19x154 + 307x155 + 371x156 + 869x157 + 694x158 + 559x159 + 44x160 + 174x161 + 448x162 + 774x163 + 390x164 + 977x165 + 869x166 + 496x167 + 320x168 + 56x169 + 820x170 + 513x171 + 230x172 + 121x173 + 53x174 + 903x175 + 605x176 + 599x177 + 467x178 + 947x179 + 809x180 + 1x181 + 640x182 + 151x183 + 888x184 + 758x185 + 76x186 + 700x187 + 627x188 + 108x189 + 403x190 + 730x191 + 240x192 + 891x193 + 825x194 + 684x195 + 825x196 + 28x197 + 816x198 + 914x199 + 986x200 + 153x201 + 284x202 + 676x203 + 69x204 + 980x205 + 595x206 + 191x207 + 847x208 + 768x209 + 974x210 + 658x211 + 351x212 + 160x213 + 62x214 + 974x215 + 843x216 + 921x217 + 152x218 + 599x219 + 65x220 + 81x221 + 567x222 + 221x223 + 246x224 + 309x225 + 180x226 + 835x227 + 528x228 + 804x229 + 279x230 + 338x231 + 60x232 + 982x233 + 347x234 + 189x235 + 264x236 + 546x237 + 795x238 + 604x239 + 87x240 + 322x241 + 47x242 + 469x243 + 398x244 + 184x245 + 277x246 + 503x247 + 906x248 + 237x249 + 248x250 <= 94959 
constr4: + 279x1 + 483x2 + 625x3 + 12x4 + 814x5 + 836x6 + 350x7 + 629x8 + 69x9 + 82x10 + 219x11 + 970x12 + 938x13 + 290x14 + 478x15 + 802x16 + 329x17 + 874x18 + 964x19 + 75x20 + 529x21 + 62x22 + 524x23 + 34x24 + 691x25 + 872x26 + 345x27 + 848x28 + 530x29 + 313x30 + 914x31 + 437x32 + 369x33 + 810x34 + 186x35 + 457x36 + 376x37 + 961x38 + 759x39 + 935x40 + 454x41 + 549x42 + 12x43 + 280x44 + 156x45 + 761x46 + 13x47 + 913x48 + 789x49 + 153x50 + 846x51 + 157x52 + 831x53 + 149x54 + 611x55 + 834x56 + 456x57 + 25x58 + 381x59 + 851x60 + 210x61 + 441x62 + 898x63 + 528x64 + 854x65 + 798x66 + 746x67 + 247x68 + 512x69 + 946x70 + 881x71 + 18x72 + 54x73 + 507x74 + 89x75 + 94x76 + 609x77 + 433x78 + 467x79 + 383x80 + 232x81 + 664x82 + 154x83 + 238x84 + 239x85 + 205x86 + 214x87 + 998x88 + 987x89 + 865x90 + 297x91 + 706x92 + 914x93 + 223x94 + 452x95 + 63x96 + 885x97 + 206x98 + 320x99 + 984x100 + 318x101 + 294x102 + 308x103 + 718x104 + 824x105 + 539x106 + 682x107 + 445x108 + 249x109 + 307x110 + 168x111 + 925x112 + 449x113 + 551x114 + 607x115 + 125x116 + 296x117 + 692x118 + 511x119 + 616x120 + 25x121 + 975x122 + 485x123 + 37x124 + 657x125 + 699x126 + 874x127 + 385x128 + 126x129 + 635x130 + 171x131 + 684x132 + 785x133 + 198x134 + 568x135 + 907x136 + 457x137 + 766x138 + 38x139 + 779x140 + 85x141 + 767x142 + 684x143 + 745x144 + 440x145 + 104x146 + 783x147 + 275x148 + 675x149 + 531x150 + 612x151 + 575x152 + 452x153 + 781x154 + 817x155 + 813x156 + 744x157 + 133x158 + 930x159 + 102x160 + 986x161 + 989x162 + 885x163 + 473x164 + 729x165 + 306x166 + 821x167 + 954x168 + 92x169 + 147x170 + 959x171 + 658x172 + 789x173 + 652x174 + 911x175 + 781x176 + 486x177 + 377x178 + 40x179 + 486x180 + 103x181 + 98x182 + 31x183 + 491x184 + 195x185 + 545x186 + 20x187 + 185x188 + 142x189 + 476x190 + 486x191 + 14x192 + 312x193 + 11x194 + 60x195 + 825x196 + 863x197 + 954x198 + 931x199 + 490x200 + 142x201 + 948x202 + 796x203 + 521x204 + 551x205 + 260x206 + 985x207 + 536x208 + 539x209 + 499x210 + 988x211 + 208x212 + 972x213 + 456x214 + 446x215 + 477x216 + 623x217 + 300x218 + 72x219 + 185x220 + 108x221 + 601x222 + 876x223 + 257x224 + 929x225 + 982x226 + 618x227 + 162x228 + 186x229 + 933x230 + 394x231 + 643x232 + 465x233 + 807x234 + 684x235 + 224x236 + 998x237 + 108x238 + 906x239 + 474x240 + 294x241 + 205x242 + 321x243 + 768x244 + 963x245 + 358x246 + 938x247 + 443x248 + 847x249 + 453x250 <= 92079 
constr5: + 354x1 + 474x2 + 941x3 + 376x4 + 707x5 + 534x6 + 65x7 + 917x8 + 271x9 + 78x10 + 358x11 + 551x12 + 181x13 + 777x14 + 103x15 + 511x16 + 249x17 + 90x18 + 824x19 + 827x20 + 152x21 + 401x22 + 365x23 + 495x24 + 709x25 + 919x26 + 845x27 + 678x28 + 953x29 + 642x30 + 639x31 + 86x32 + 573x33 + 69x34 + 393x35 + 549x36 + 240x37 + 109x38 + 643x39 + 205x40 + 23x41 + 284x42 + 207x43 + 33x44 + 664x45 + 719x46 + 941x47 + 222x48 + 245x49 + 814x50 + 792x51 + 328x52 + 690x53 + 534x54 + 923x55 + 282x56 + 534x57 + 752x58 + 770x59 + 451x60 + 73x61 + 977x62 + 992x63 + 945x64 + 841x65 + 887x66 + 284x67 + 736x68 + 629x69 + 703x70 + 123x71 + 776x72 + 87x73 + 983x74 + 629x75 + 696x76 + 914x77 + 460x78 + 87x79 + 940x80 + 424x81 + 68x82 + 692x83 + 488x84 + 104x85 + 10x86 + 355x87 + 842x88 + 818x89 + 219x90 + 927x91 + 585x92 + 179x93 + 947x94 + 897x95 + 137x96 + 520x97 + 567x98 + 71x99 + 122x100 + 683x101 + 42x102 + 361x103 + 795x104 + 126x105 + 591x106 + 992x107 + 603x108 + 947x109 + 866x110 + 214x111 + 2x112 + 256x113 + 389x114 + 379x115 + 594x116 + 892x117 + 99x118 + 957x119 + 559x120 + 882x121 + 319x122 + 470x123 + 632x124 + 592x125 + 346x126 + 315x127 + 291x128 + 959x129 + 79x130 + 544x131 + 794x132 + 585x133 + 943x134 + 94x135 + 25x136 + 493x137 + 924x138 + 232x139 + 795x140 + 619x141 + 815x142 + 872x143 + 335x144 + 670x145 + 17x146 + 741x147 + 374x148 + 387x149 + 626x150 + 138x151 + 570x152 + 574x153 + 987x154 + 45x155 + 118x156 + 168x157 + 444x158 + 853x159 + 633x160 + 665x161 + 630x162 + 457x163 + 657x164 + 593x165 + 470x166 + 168x167 + 583x168 + 692x169 + 734x170 + 245x171 + 751x172 + 89x173 + 740x174 + 727x175 + 764x176 + 513x177 + 56x178 + 931x179 + 301x180 + 768x181 + 663x182 + 721x183 + 443x184 + 662x185 + 25x186 + 102x187 + 782x188 + 371x189 + 298x190 + 535x191 + 515x192 + 364x193 + 291x194 + 825x195 + 518x196 + 497x197 + 471x198 + 849x199 + 415x200 + 754x201 + 173x202 + 496x203 + 231x204 + 589x205 + 858x206 + 858x207 + 400x208 + 394x209 + 314x210 + 595x211 + 358x212 + 977x213 + 602x214 + 641x215 + 568x216 + 833x217 + 703x218 + 584x219 + 101x220 + 968x221 + 53x222 + 961x223 + 648x224 + 473x225 + 71x226 + 928x227 + 465x228 + 929x229 + 882x230 + 512x231 + 361x232 + 561x233 + 97x234 + 407x235 + 436x236 + 657x237 + 935x238 + 690x239 + 20x240 + 537x241 + 767x242 + 879x243 + 666x244 + 567x245 + 387x246 + 717x247 + 932x248 + 1000x249 + 390x250 <= 98335 
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