minimize 
objective: s
subject to 
s1: s + 0.501000f1 + 0.001000f2 >= 92956.846000 
s2: s + 0.001000f1 + 0.501000f2 >= 92956.846000 
f1: -f1 + 895x1 + 794x2 + 758x3 + 938x4 + 555x5 + 870x6 + 310x7 + 574x8 + 636x9 + 975x10 + 591x11 + 808x12 + 654x13 + 1049x14 + 972x15 + 1041x16 + 885x17 + 1031x18 + 992x19 + 664x20 + 586x21 + 631x22 + 889x23 + 412x24 + 804x25 + 880x26 + 681x27 + 738x28 + 991x29 + 915x30 + 356x31 + 958x32 + 1131x33 + 615x34 + 331x35 + 789x36 + 365x37 + 627x38 + 939x39 + 571x40 + 871x41 + 520x42 + 696x43 + 642x44 + 776x45 + 947x46 + 803x47 + 535x48 + 832x49 + 748x50 + 888x51 + 909x52 + 924x53 + 846x54 + 825x55 + 1224x56 + 577x57 + 924x58 + 837x59 + 644x60 + 887x61 + 830x62 + 1123x63 + 639x64 + 812x65 + 680x66 + 997x67 + 994x68 + 844x69 + 861x70 + 450x71 + 1022x72 + 558x73 + 743x74 + 285x75 + 795x76 + 1005x77 + 772x78 + 820x79 + 588x80 + 850x81 + 960x82 + 762x83 + 719x84 + 969x85 + 711x86 + 504x87 + 587x88 + 489x89 + 1049x90 + 496x91 + 799x92 + 580x93 + 397x94 + 539x95 + 844x96 + 496x97 + 697x98 + 741x99 + 1141x100 + 863x101 + 684x102 + 507x103 + 559x104 + 718x105 + 1072x106 + 634x107 + 988x108 + 838x109 + 653x110 + 668x111 + 619x112 + 920x113 + 620x114 + 1111x115 + 722x116 + 576x117 + 906x118 + 693x119 + 806x120 + 549x121 + 507x122 + 775x123 + 738x124 + 987x125 + 854x126 + 950x127 + 458x128 + 494x129 + 952x130 + 653x131 + 402x132 + 876x133 + 1051x134 + 661x135 + 1094x136 + 748x137 + 1161x138 + 572x139 + 352x140 + 648x141 + 590x142 + 417x143 + 780x144 + 541x145 + 777x146 + 852x147 + 414x148 + 841x149 + 924x150 + 437x151 + 979x152 + 720x153 + 764x154 + 754x155 + 829x156 + 917x157 + 463x158 + 716x159 + 854x160 + 712x161 + 477x162 + 415x163 + 869x164 + 581x165 + 694x166 + 581x167 + 807x168 + 596x169 + 783x170 + 864x171 + 533x172 + 352x173 + 967x174 + 646x175 + 589x176 + 898x177 + 695x178 + 611x179 + 1195x180 + 558x181 + 738x182 + 784x183 + 598x184 + 684x185 + 733x186 + 632x187 + 697x188 + 756x189 + 848x190 + 331x191 + 883x192 + 850x193 + 556x194 + 748x195 + 616x196 + 579x197 + 1062x198 + 1004x199 + 669x200 + 804x201 + 973x202 + 545x203 + 570x204 + 619x205 + 681x206 + 790x207 + 928x208 + 994x209 + 791x210 + 676x211 + 768x212 + 800x213 + 726x214 + 701x215 + 890x216 + 940x217 + 1088x218 + 915x219 + 816x220 + 486x221 + 735x222 + 720x223 + 563x224 + 641x225 + 828x226 + 604x227 + 770x228 + 877x229 + 868x230 + 467x231 + 786x232 + 548x233 + 467x234 + 215x235 + 695x236 + 843x237 + 526x238 + 778x239 + 783x240 + 1025x241 + 646x242 + 544x243 + 843x244 + 982x245 + 693x246 + 468x247 + 731x248 + 610x249 + 813x250  = 0 
f2: -f2 + 701x1 + 712x2 + 611x3 + 748x4 + 924x5 + 909x6 + 982x7 + 920x8 + 535x9 + 642x10 + 915x11 + 898x12 + 548x13 + 496x14 + 1141x15 + 979x16 + 780x17 + 1131x18 + 352x19 + 854x20 + 939x21 + 748x22 + 620x23 + 619x24 + 720x25 + 947x26 + 571x27 + 1049x28 + 820x29 + 940x30 + 1072x31 + 697x32 + 868x33 + 719x34 + 365x35 + 830x36 + 812x37 + 558x38 + 806x39 + 437x40 + 669x41 + 680x42 + 684x43 + 711x44 + 890x45 + 598x46 + 545x47 + 570x48 + 589x49 + 876x50 + 397x51 + 331x52 + 504x53 + 684x54 + 574x55 + 1111x56 + 871x57 + 494x58 + 852x59 + 310x60 + 837x61 + 1224x62 + 863x63 + 533x64 + 544x65 + 610x66 + 846x67 + 1195x68 + 790x69 + 1022x70 + 975x71 + 468x72 + 997x73 + 695x74 + 541x75 + 738x76 + 1004x77 + 1049x78 + 987x79 + 972x80 + 994x81 + 791x82 + 520x83 + 693x84 + 636x85 + 653x86 + 331x87 + 646x88 + 477x89 + 726x90 + 631x91 + 938x92 + 489x93 + 415x94 + 627x95 + 783x96 + 731x97 + 885x98 + 870x99 + 758x100 + 558x101 + 1025x102 + 467x103 + 668x104 + 581x105 + 841x106 + 467x107 + 880x108 + 888x109 + 804x110 + 960x111 + 829x112 + 581x113 + 969x114 + 799x115 + 412x116 + 895x117 + 958x118 + 718x119 + 843x120 + 356x121 + 992x122 + 917x123 + 844x124 + 786x125 + 616x126 + 748x127 + 816x128 + 1031x129 + 507x130 + 994x131 + 654x132 + 549x133 + 634x134 + 632x135 + 586x136 + 697x137 + 526x138 + 694x139 + 776x140 + 577x141 + 681x142 + 828x143 + 661x144 + 775x145 + 838x146 + 850x147 + 783x148 + 720x149 + 915x150 + 696x151 + 843x152 + 906x153 + 795x154 + 590x155 + 576x156 + 800x157 + 756x158 + 789x159 + 1161x160 + 772x161 + 784x162 + 402x163 + 848x164 + 762x165 + 648x166 + 887x167 + 808x168 + 807x169 + 741x170 + 556x171 + 988x172 + 285x173 + 764x174 + 1088x175 + 695x176 + 414x177 + 1123x178 + 1051x179 + 754x180 + 644x181 + 646x182 + 587x183 + 653x184 + 1005x185 + 738x186 + 555x187 + 579x188 + 664x189 + 417x190 + 813x191 + 619x192 + 864x193 + 928x194 + 973x195 + 950x196 + 850x197 + 1041x198 + 496x199 + 952x200 + 722x201 + 539x202 + 778x203 + 844x204 + 825x205 + 777x206 + 604x207 + 215x208 + 559x209 + 854x210 + 883x211 + 458x212 + 681x213 + 803x214 + 463x215 + 639x216 + 743x217 + 733x218 + 889x219 + 832x220 + 641x221 + 770x222 + 924x223 + 861x224 + 735x225 + 1094x226 + 738x227 + 572x228 + 486x229 + 615x230 + 591x231 + 768x232 + 967x233 + 563x234 + 676x235 + 1062x236 + 804x237 + 352x238 + 450x239 + 794x240 + 924x241 + 991x242 + 596x243 + 507x244 + 716x245 + 877x246 + 588x247 + 580x248 + 693x249 + 869x250  = 0 
constr1: + 764x1 + 711x2 + 323x3 + 191x4 + 941x5 + 176x6 + 260x7 + 13x8 + 886x9 + 874x10 + 711x11 + 605x12 + 398x13 + 875x14 + 277x15 + 764x16 + 335x17 + 571x18 + 305x19 + 167x20 + 499x21 + 550x22 + 725x23 + 272x24 + 810x25 + 614x26 + 37x27 + 511x28 + 158x29 + 694x30 + 653x31 + 793x32 + 724x33 + 831x34 + 492x35 + 523x36 + 865x37 + 124x38 + 190x39 + 684x40 + 33x41 + 884x42 + 906x43 + 972x44 + 663x45 + 371x46 + 385x47 + 750x48 + 980x49 + 15x50 + 938x51 + 47x52 + 264x53 + 764x54 + 190x55 + 436x56 + 362x57 + 983x58 + 311x59 + 725x60 + 232x61 + 699x62 + 184x63 + 981x64 + 382x65 + 614x66 + 395x67 + 653x68 + 207x69 + 993x70 + 357x71 + 876x72 + 564x73 + 242x74 + 659x75 + 551x76 + 735x77 + 194x78 + 881x79 + 600x80 + 39x81 + 142x82 + 286x83 + 905x84 + 395x85 + 815x86 + 162x87 + 726x88 + 110x89 + 241x90 + 675x91 + 484x92 + 572x93 + 844x94 + 27x95 + 316x96 + 801x97 + 892x98 + 2x99 + 301x100 + 628x101 + 929x102 + 979x103 + 677x104 + 774x105 + 629x106 + 616x107 + 175x108 + 878x109 + 858x110 + 797x111 + 874x112 + 688x113 + 753x114 + 950x115 + 566x116 + 706x117 + 89x118 + 63x119 + 909x120 + 845x121 + 651x122 + 560x123 + 643x124 + 52x125 + 264x126 + 734x127 + 886x128 + 733x129 + 200x130 + 544x131 + 932x132 + 331x133 + 322x134 + 383x135 + 72x136 + 184x137 + 894x138 + 155x139 + 491x140 + 268x141 + 122x142 + 277x143 + 419x144 + 719x145 + 582x146 + 24x147 + 365x148 + 550x149 + 520x150 + 895x151 + 114x152 + 280x153 + 879x154 + 54x155 + 802x156 + 309x157 + 881x158 + 41x159 + 908x160 + 84x161 + 708x162 + 517x163 + 218x164 + 354x165 + 421x166 + 545x167 + 332x168 + 2x169 + 283x170 + 450x171 + 820x172 + 80x173 + 65x174 + 113x175 + 515x176 + 219x177 + 766x178 + 406x179 + 846x180 + 118x181 + 365x182 + 305x183 + 596x184 + 350x185 + 524x186 + 350x187 + 770x188 + 362x189 + 397x190 + 796x191 + 653x192 + 748x193 + 751x194 + 146x195 + 805x196 + 274x197 + 186x198 + 785x199 + 162x200 + 355x201 + 981x202 + 639x203 + 689x204 + 98x205 + 17x206 + 210x207 + 731x208 + 125x209 + 377x210 + 719x211 + 762x212 + 675x213 + 128x214 + 126x215 + 435x216 + 448x217 + 817x218 + 830x219 + 99x220 + 993x221 + 302x222 + 960x223 + 753x224 + 542x225 + 368x226 + 685x227 + 856x228 + 42x229 + 202x230 + 375x231 + 785x232 + 364x233 + 36x234 + 889x235 + 906x236 + 412x237 + 392x238 + 350x239 + 530x240 + 365x241 + 351x242 + 315x243 + 377x244 + 325x245 + 633x246 + 228x247 + 304x248 + 350x249 + 696x250 <= 98064 
constr2: + 736x1 + 406x2 + 612x3 + 211x4 + 237x5 + 811x6 + 731x7 + 35x8 + 254x9 + 446x10 + 607x11 + 30x12 + 716x13 + 663x14 + 741x15 + 537x16 + 114x17 + 477x18 + 655x19 + 245x20 + 586x21 + 483x22 + 701x23 + 211x24 + 308x25 + 713x26 + 362x27 + 923x28 + 836x29 + 155x30 + 714x31 + 21x32 + 345x33 + 604x34 + 918x35 + 853x36 + 133x37 + 450x38 + 987x39 + 879x40 + 777x41 + 47x42 + 142x43 + 718x44 + 613x45 + 827x46 + 496x47 + 973x48 + 792x49 + 411x50 + 553x51 + 274x52 + 804x53 + 623x54 + 104x55 + 454x56 + 711x57 + 487x58 + 989x59 + 638x60 + 466x61 + 132x62 + 194x63 + 199x64 + 154x65 + 559x66 + 870x67 + 732x68 + 624x69 + 667x70 + 902x71 + 536x72 + 186x73 + 225x74 + 242x75 + 690x76 + 446x77 + 72x78 + 323x79 + 883x80 + 218x81 + 281x82 + 79x83 + 569x84 + 318x85 + 435x86 + 17x87 + 826x88 + 196x89 + 44x90 + 593x91 + 337x92 + 293x93 + 947x94 + 327x95 + 256x96 + 148x97 + 350x98 + 118x99 + 153x100 + 750x101 + 344x102 + 923x103 + 485x104 + 105x105 + 686x106 + 532x107 + 401x108 + 185x109 + 110x110 + 935x111 + 269x112 + 769x113 + 455x114 + 408x115 + 546x116 + 598x117 + 502x118 + 760x119 + 191x120 + 699x121 + 759x122 + 246x123 + 203x124 + 101x125 + 559x126 + 80x127 + 496x128 + 325x129 + 402x130 + 670x131 + 876x132 + 487x133 + 391x134 + 243x135 + 279x136 + 710x137 + 477x138 + 763x139 + 996x140 + 268x141 + 613x142 + 787x143 + 736x144 + 67x145 + 717x146 + 612x147 + 541x148 + 589x149 + 65x150 + 862x151 + 252x152 + 636x153 + 656x154 + 381x155 + 877x156 + 681x157 + 120x158 + 629x159 + 526x160 + 238x161 + 553x162 + 357x163 + 348x164 + 675x165 + 986x166 + 261x167 + 541x168 + 729x169 + 63x170 + 280x171 + 611x172 + 232x173 + 285x174 + 312x175 + 431x176 + 361x177 + 428x178 + 588x179 + 881x180 + 868x181 + 698x182 + 594x183 + 786x184 + 279x185 + 872x186 + 485x187 + 150x188 + 387x189 + 350x190 + 895x191 + 563x192 + 991x193 + 525x194 + 908x195 + 475x196 + 626x197 + 32x198 + 586x199 + 433x200 + 905x201 + 18x202 + 18x203 + 229x204 + 317x205 + 559x206 + 917x207 + 104x208 + 75x209 + 899x210 + 823x211 + 815x212 + 409x213 + 939x214 + 973x215 + 641x216 + 612x217 + 189x218 + 479x219 + 807x220 + 578x221 + 233x222 + 541x223 + 358x224 + 936x225 + 381x226 + 105x227 + 614x228 + 51x229 + 466x230 + 337x231 + 721x232 + 768x233 + 336x234 + 41x235 + 899x236 + 700x237 + 434x238 + 218x239 + 44x240 + 257x241 + 18x242 + 934x243 + 511x244 + 893x245 + 355x246 + 919x247 + 736x248 + 706x249 + 273x250 <= 92911 
constr3: + 44x1 + 228x2 + 853x3 + 659x4 + 564x5 + 577x6 + 994x7 + 254x8 + 68x9 + 255x10 + 822x11 + 946x12 + 883x13 + 628x14 + 26x15 + 30x16 + 799x17 + 457x18 + 772x19 + 709x20 + 719x21 + 921x22 + 698x23 + 950x24 + 388x25 + 863x26 + 927x27 + 764x28 + 486x29 + 835x30 + 855x31 + 564x32 + 145x33 + 795x34 + 210x35 + 667x36 + 389x37 + 906x38 + 916x39 + 916x40 + 414x41 + 370x42 + 23x43 + 515x44 + 824x45 + 657x46 + 325x47 + 299x48 + 193x49 + 445x50 + 144x51 + 880x52 + 533x53 + 496x54 + 446x55 + 996x56 + 122x57 + 610x58 + 693x59 + 650x60 + 344x61 + 818x62 + 979x63 + 526x64 + 375x65 + 867x66 + 3x67 + 703x68 + 62x69 + 478x70 + 127x71 + 809x72 + 759x73 + 892x74 + 921x75 + 389x76 + 164x77 + 704x78 + 200x79 + 302x80 + 113x81 + 598x82 + 187x83 + 483x84 + 351x85 + 679x86 + 207x87 + 502x88 + 748x89 + 440x90 + 153x91 + 471x92 + 588x93 + 958x94 + 114x95 + 816x96 + 190x97 + 779x98 + 430x99 + 847x100 + 767x101 + 93x102 + 476x103 + 645x104 + 896x105 + 996x106 + 812x107 + 442x108 + 94x109 + 696x110 + 498x111 + 597x112 + 262x113 + 204x114 + 404x115 + 758x116 + 181x117 + 565x118 + 710x119 + 146x120 + 225x121 + 97x122 + 57x123 + 410x124 + 850x125 + 96x126 + 373x127 + 347x128 + 846x129 + 76x130 + 228x131 + 498x132 + 569x133 + 912x134 + 267x135 + 840x136 + 415x137 + 834x138 + 831x139 + 865x140 + 383x141 + 385x142 + 756x143 + 914x144 + 144x145 + 62x146 + 69x147 + 264x148 + 144x149 + 379x150 + 298x151 + 778x152 + 9x153 + 139x154 + 157x155 + 666x156 + 411x157 + 431x158 + 252x159 + 662x160 + 560x161 + 813x162 + 277x163 + 842x164 + 874x165 + 455x166 + 419x167 + 210x168 + 174x169 + 535x170 + 651x171 + 865x172 + 517x173 + 420x174 + 501x175 + 147x176 + 991x177 + 716x178 + 60x179 + 43x180 + 7x181 + 400x182 + 77x183 + 180x184 + 52x185 + 265x186 + 583x187 + 224x188 + 357x189 + 524x190 + 239x191 + 475x192 + 115x193 + 486x194 + 688x195 + 78x196 + 44x197 + 65x198 + 149x199 + 739x200 + 524x201 + 203x202 + 320x203 + 971x204 + 794x205 + 41x206 + 879x207 + 826x208 + 603x209 + 151x210 + 562x211 + 454x212 + 882x213 + 572x214 + 533x215 + 769x216 + 875x217 + 216x218 + 997x219 + 853x220 + 498x221 + 526x222 + 973x223 + 433x224 + 255x225 + 104x226 + 950x227 + 957x228 + 246x229 + 214x230 + 57x231 + 43x232 + 545x233 + 917x234 + 653x235 + 192x236 + 693x237 + 311x238 + 792x239 + 181x240 + 205x241 + 862x242 + 830x243 + 176x244 + 65x245 + 128x246 + 378x247 + 666x248 + 420x249 + 178x250 <= 94091 
constr4: + 826x1 + 494x2 + 721x3 + 397x4 + 391x5 + 899x6 + 223x7 + 848x8 + 647x9 + 716x10 + 40x11 + 281x12 + 875x13 + 743x14 + 108x15 + 61x16 + 108x17 + 789x18 + 38x19 + 226x20 + 293x21 + 25x22 + 795x23 + 565x24 + 638x25 + 66x26 + 542x27 + 928x28 + 596x29 + 504x30 + 500x31 + 248x32 + 489x33 + 969x34 + 655x35 + 360x36 + 456x37 + 977x38 + 555x39 + 577x40 + 93x41 + 36x42 + 562x43 + 604x44 + 423x45 + 860x46 + 481x47 + 958x48 + 5x49 + 649x50 + 103x51 + 201x52 + 746x53 + 971x54 + 193x55 + 777x56 + 305x57 + 193x58 + 151x59 + 486x60 + 262x61 + 464x62 + 492x63 + 411x64 + 811x65 + 899x66 + 297x67 + 521x68 + 798x69 + 806x70 + 240x71 + 302x72 + 827x73 + 665x74 + 503x75 + 539x76 + 397x77 + 125x78 + 651x79 + 169x80 + 396x81 + 616x82 + 360x83 + 609x84 + 231x85 + 233x86 + 122x87 + 502x88 + 159x89 + 970x90 + 550x91 + 963x92 + 935x93 + 705x94 + 495x95 + 349x96 + 877x97 + 30x98 + 680x99 + 167x100 + 864x101 + 322x102 + 988x103 + 312x104 + 336x105 + 228x106 + 15x107 + 325x108 + 934x109 + 955x110 + 275x111 + 142x112 + 513x113 + 699x114 + 659x115 + 755x116 + 148x117 + 209x118 + 456x119 + 619x120 + 216x121 + 829x122 + 861x123 + 232x124 + 622x125 + 259x126 + 707x127 + 412x128 + 530x129 + 328x130 + 4x131 + 850x132 + 310x133 + 461x134 + 600x135 + 5x136 + 932x137 + 269x138 + 186x139 + 466x140 + 914x141 + 766x142 + 25x143 + 902x144 + 643x145 + 826x146 + 782x147 + 901x148 + 946x149 + 444x150 + 81x151 + 583x152 + 317x153 + 658x154 + 138x155 + 428x156 + 540x157 + 765x158 + 41x159 + 834x160 + 807x161 + 986x162 + 405x163 + 851x164 + 769x165 + 534x166 + 357x167 + 199x168 + 56x169 + 19x170 + 40x171 + 499x172 + 192x173 + 350x174 + 125x175 + 119x176 + 738x177 + 149x178 + 451x179 + 113x180 + 440x181 + 249x182 + 974x183 + 36x184 + 734x185 + 800x186 + 607x187 + 719x188 + 416x189 + 400x190 + 265x191 + 493x192 + 502x193 + 347x194 + 419x195 + 480x196 + 81x197 + 389x198 + 857x199 + 821x200 + 435x201 + 935x202 + 1x203 + 686x204 + 832x205 + 570x206 + 351x207 + 883x208 + 271x209 + 739x210 + 784x211 + 950x212 + 31x213 + 9x214 + 592x215 + 730x216 + 490x217 + 56x218 + 122x219 + 233x220 + 186x221 + 411x222 + 163x223 + 383x224 + 839x225 + 212x226 + 750x227 + 779x228 + 365x229 + 716x230 + 485x231 + 216x232 + 229x233 + 393x234 + 125x235 + 557x236 + 875x237 + 827x238 + 727x239 + 625x240 + 145x241 + 357x242 + 303x243 + 237x244 + 254x245 + 948x246 + 13x247 + 527x248 + 41x249 + 914x250 <= 85625 
constr5: + 208x1 + 739x2 + 634x3 + 241x4 + 615x5 + 617x6 + 109x7 + 48x8 + 112x9 + 498x10 + 772x11 + 734x12 + 405x13 + 354x14 + 100x15 + 78x16 + 946x17 + 611x18 + 23x19 + 405x20 + 297x21 + 132x22 + 771x23 + 459x24 + 491x25 + 748x26 + 156x27 + 823x28 + 279x29 + 241x30 + 681x31 + 811x32 + 643x33 + 101x34 + 426x35 + 973x36 + 291x37 + 257x38 + 549x39 + 673x40 + 677x41 + 969x42 + 684x43 + 735x44 + 408x45 + 742x46 + 47x47 + 617x48 + 929x49 + 409x50 + 241x51 + 793x52 + 588x53 + 533x54 + 804x55 + 653x56 + 99x57 + 410x58 + 324x59 + 683x60 + 728x61 + 98x62 + 477x63 + 994x64 + 202x65 + 260x66 + 980x67 + 974x68 + 155x69 + 555x70 + 791x71 + 194x72 + 756x73 + 300x74 + 875x75 + 972x76 + 790x77 + 137x78 + 794x79 + 722x80 + 999x81 + 953x82 + 937x83 + 863x84 + 143x85 + 28x86 + 100x87 + 980x88 + 656x89 + 200x90 + 569x91 + 294x92 + 591x93 + 862x94 + 644x95 + 612x96 + 199x97 + 346x98 + 792x99 + 333x100 + 182x101 + 365x102 + 954x103 + 636x104 + 950x105 + 299x106 + 507x107 + 780x108 + 717x109 + 667x110 + 28x111 + 26x112 + 623x113 + 683x114 + 48x115 + 78x116 + 129x117 + 824x118 + 488x119 + 951x120 + 69x121 + 390x122 + 338x123 + 57x124 + 76x125 + 397x126 + 39x127 + 168x128 + 16x129 + 806x130 + 935x131 + 194x132 + 197x133 + 712x134 + 581x135 + 998x136 + 931x137 + 398x138 + 387x139 + 696x140 + 741x141 + 861x142 + 933x143 + 368x144 + 103x145 + 519x146 + 85x147 + 566x148 + 867x149 + 760x150 + 65x151 + 54x152 + 544x153 + 732x154 + 263x155 + 35x156 + 615x157 + 662x158 + 172x159 + 606x160 + 109x161 + 800x162 + 896x163 + 828x164 + 16x165 + 788x166 + 554x167 + 257x168 + 443x169 + 509x170 + 899x171 + 7x172 + 872x173 + 413x174 + 957x175 + 797x176 + 48x177 + 164x178 + 208x179 + 511x180 + 132x181 + 614x182 + 192x183 + 522x184 + 362x185 + 602x186 + 320x187 + 581x188 + 559x189 + 91x190 + 893x191 + 847x192 + 472x193 + 111x194 + 275x195 + 635x196 + 142x197 + 953x198 + 713x199 + 901x200 + 69x201 + 632x202 + 380x203 + 897x204 + 572x205 + 956x206 + 276x207 + 640x208 + 602x209 + 180x210 + 761x211 + 459x212 + 157x213 + 329x214 + 956x215 + 795x216 + 875x217 + 320x218 + 365x219 + 942x220 + 717x221 + 978x222 + 545x223 + 323x224 + 471x225 + 5x226 + 320x227 + 72x228 + 536x229 + 199x230 + 928x231 + 88x232 + 698x233 + 246x234 + 972x235 + 911x236 + 994x237 + 986x238 + 98x239 + 898x240 + 53x241 + 837x242 + 128x243 + 79x244 + 630x245 + 712x246 + 245x247 + 56x248 + 506x249 + 598x250 <= 92854 
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