minimize 
objective: s
subject to 
s1: s + 0.501000f1 + 0.001000f2 >= 95391.044000 
s2: s + 0.001000f1 + 0.501000f2 >= 95391.044000 
f1: -f1 + 1069x1 + 684x2 + 810x3 + 1067x4 + 416x5 + 500x6 + 647x7 + 957x8 + 498x9 + 361x10 + 933x11 + 726x12 + 785x13 + 833x14 + 404x15 + 676x16 + 949x17 + 917x18 + 762x19 + 559x20 + 578x21 + 659x22 + 921x23 + 591x24 + 785x25 + 328x26 + 727x27 + 921x28 + 774x29 + 782x30 + 1012x31 + 993x32 + 860x33 + 800x34 + 912x35 + 1136x36 + 1021x37 + 918x38 + 503x39 + 698x40 + 571x41 + 630x42 + 1102x43 + 671x44 + 588x45 + 704x46 + 1067x47 + 771x48 + 772x49 + 736x50 + 815x51 + 840x52 + 887x53 + 576x54 + 531x55 + 815x56 + 727x57 + 751x58 + 736x59 + 614x60 + 522x61 + 1035x62 + 840x63 + 1029x64 + 774x65 + 486x66 + 1101x67 + 673x68 + 748x69 + 839x70 + 681x71 + 483x72 + 890x73 + 540x74 + 540x75 + 688x76 + 538x77 + 867x78 + 627x79 + 1007x80 + 638x81 + 406x82 + 608x83 + 965x84 + 931x85 + 557x86 + 869x87 + 658x88 + 900x89 + 642x90 + 1053x91 + 977x92 + 406x93 + 940x94 + 697x95 + 335x96 + 783x97 + 895x98 + 813x99 + 523x100 + 736x101 + 1084x102 + 362x103 + 956x104 + 942x105 + 869x106 + 505x107 + 452x108 + 874x109 + 864x110 + 466x111 + 846x112 + 1027x113 + 1170x114 + 680x115 + 761x116 + 738x117 + 1073x118 + 1123x119 + 858x120 + 1076x121 + 1087x122 + 816x123 + 448x124 + 892x125 + 674x126 + 689x127 + 592x128 + 558x129 + 622x130 + 942x131 + 766x132 + 734x133 + 441x134 + 703x135 + 737x136 + 524x137 + 389x138 + 1022x139 + 851x140 + 655x141 + 869x142 + 709x143 + 292x144 + 845x145 + 572x146 + 881x147 + 970x148 + 513x149 + 894x150 + 937x151 + 906x152 + 649x153 + 919x154 + 647x155 + 862x156 + 474x157 + 1055x158 + 380x159 + 923x160 + 787x161 + 800x162 + 731x163 + 718x164 + 580x165 + 916x166 + 1030x167 + 914x168 + 704x169 + 369x170 + 741x171 + 749x172 + 562x173 + 651x174 + 495x175 + 595x176 + 489x177 + 1003x178 + 960x179 + 661x180 + 605x181 + 808x182 + 896x183 + 587x184 + 1104x185 + 843x186 + 919x187 + 1096x188 + 557x189 + 759x190 + 322x191 + 1082x192 + 498x193 + 707x194 + 922x195 + 859x196 + 642x197 + 1095x198 + 900x199 + 494x200 + 733x201 + 865x202 + 564x203 + 813x204 + 832x205 + 799x206 + 1171x207 + 520x208 + 847x209 + 563x210 + 887x211 + 581x212 + 683x213 + 940x214 + 537x215 + 862x216 + 705x217 + 862x218 + 608x219 + 638x220 + 960x221 + 918x222 + 835x223 + 904x224 + 723x225 + 869x226 + 688x227 + 907x228 + 593x229 + 925x230 + 930x231 + 1016x232 + 989x233 + 608x234 + 687x235 + 745x236 + 683x237 + 345x238 + 879x239 + 1113x240 + 691x241 + 731x242 + 786x243 + 793x244 + 623x245 + 743x246 + 745x247 + 914x248 + 850x249 + 888x250  = 0 
f2: -f2 + 816x1 + 731x2 + 680x3 + 538x4 + 651x5 + 531x6 + 734x7 + 921x8 + 793x9 + 736x10 + 572x11 + 1073x12 + 688x13 + 741x14 + 292x15 + 404x16 + 406x17 + 786x18 + 1096x19 + 1027x20 + 559x21 + 380x22 + 736x23 + 916x24 + 723x25 + 1123x26 + 630x27 + 922x28 + 888x29 + 942x30 + 919x31 + 523x32 + 689x33 + 949x34 + 681x35 + 466x36 + 815x37 + 588x38 + 874x39 + 869x40 + 727x41 + 970x42 + 850x43 + 474x44 + 1029x45 + 540x46 + 810x47 + 448x48 + 858x49 + 345x50 + 605x51 + 500x52 + 846x53 + 867x54 + 879x55 + 322x56 + 907x57 + 835x58 + 762x59 + 960x60 + 671x61 + 513x62 + 622x63 + 808x64 + 498x65 + 1170x66 + 1082x67 + 862x68 + 914x69 + 1012x70 + 865x71 + 931x72 + 960x73 + 900x74 + 505x75 + 369x76 + 673x77 + 925x78 + 993x79 + 1171x80 + 707x81 + 800x82 + 940x83 + 745x84 + 800x85 + 904x86 + 683x87 + 591x88 + 649x89 + 761x90 + 813x91 + 1067x92 + 520x93 + 736x94 + 684x95 + 977x96 + 1007x97 + 887x98 + 557x99 + 847x100 + 942x101 + 833x102 + 815x103 + 361x104 + 580x105 + 1069x106 + 564x107 + 840x108 + 918x109 + 881x110 + 1055x111 + 562x112 + 743x113 + 923x114 + 537x115 + 638x116 + 592x117 + 766x118 + 890x119 + 581x120 + 774x121 + 989x122 + 851x123 + 494x124 + 782x125 + 623x126 + 1016x127 + 771x128 + 937x129 + 751x130 + 956x131 + 483x132 + 921x133 + 1087x134 + 933x135 + 704x136 + 892x137 + 759x138 + 840x139 + 658x140 + 709x141 + 328x142 + 737x143 + 860x144 + 731x145 + 1053x146 + 887x147 + 655x148 + 703x149 + 687x150 + 1136x151 + 1021x152 + 917x153 + 869x154 + 557x155 + 642x156 + 774x157 + 726x158 + 498x159 + 895x160 + 486x161 + 595x162 + 441x163 + 576x164 + 503x165 + 832x166 + 799x167 + 627x168 + 524x169 + 705x170 + 1104x171 + 452x172 + 745x173 + 593x174 + 896x175 + 608x176 + 647x177 + 647x178 + 859x179 + 495x180 + 930x181 + 614x182 + 965x183 + 843x184 + 335x185 + 698x186 + 683x187 + 563x188 + 1084x189 + 869x190 + 638x191 + 362x192 + 704x193 + 919x194 + 894x195 + 1067x196 + 733x197 + 1030x198 + 718x199 + 587x200 + 659x201 + 900x202 + 940x203 + 697x204 + 571x205 + 783x206 + 1035x207 + 1095x208 + 558x209 + 416x210 + 845x211 + 918x212 + 489x213 + 1102x214 + 839x215 + 691x216 + 864x217 + 869x218 + 813x219 + 748x220 + 862x221 + 727x222 + 957x223 + 661x224 + 785x225 + 906x226 + 1076x227 + 540x228 + 578x229 + 406x230 + 914x231 + 1101x232 + 522x233 + 912x234 + 772x235 + 688x236 + 787x237 + 608x238 + 676x239 + 785x240 + 389x241 + 1022x242 + 1113x243 + 749x244 + 674x245 + 642x246 + 738x247 + 608x248 + 1003x249 + 862x250  = 0 
constr1: + 942x1 + 484x2 + 617x3 + 651x4 + 639x5 + 399x6 + 330x7 + 990x8 + 178x9 + 269x10 + 500x11 + 330x12 + 606x13 + 95x14 + 188x15 + 144x16 + 619x17 + 313x18 + 45x19 + 77x20 + 304x21 + 986x22 + 86x23 + 956x24 + 202x25 + 600x26 + 628x27 + 102x28 + 483x29 + 192x30 + 967x31 + 987x32 + 257x33 + 630x34 + 77x35 + 486x36 + 555x37 + 586x38 + 23x39 + 98x40 + 393x41 + 877x42 + 413x43 + 895x44 + 163x45 + 358x46 + 434x47 + 427x48 + 591x49 + 304x50 + 47x51 + 513x52 + 967x53 + 568x54 + 626x55 + 195x56 + 904x57 + 776x58 + 796x59 + 727x60 + 860x61 + 885x62 + 43x63 + 955x64 + 515x65 + 617x66 + 180x67 + 865x68 + 716x69 + 24x70 + 215x71 + 441x72 + 774x73 + 219x74 + 256x75 + 762x76 + 956x77 + 615x78 + 873x79 + 390x80 + 453x81 + 324x82 + 418x83 + 537x84 + 176x85 + 356x86 + 220x87 + 736x88 + 672x89 + 594x90 + 409x91 + 897x92 + 676x93 + 391x94 + 460x95 + 400x96 + 723x97 + 707x98 + 864x99 + 99x100 + 666x101 + 33x102 + 178x103 + 899x104 + 502x105 + 271x106 + 54x107 + 985x108 + 681x109 + 184x110 + 538x111 + 714x112 + 981x113 + 27x114 + 149x115 + 756x116 + 50x117 + 640x118 + 774x119 + 564x120 + 608x121 + 734x122 + 701x123 + 885x124 + 588x125 + 78x126 + 802x127 + 721x128 + 890x129 + 182x130 + 408x131 + 861x132 + 407x133 + 869x134 + 680x135 + 327x136 + 372x137 + 489x138 + 13x139 + 983x140 + 490x141 + 19x142 + 724x143 + 982x144 + 489x145 + 622x146 + 112x147 + 674x148 + 703x149 + 874x150 + 687x151 + 638x152 + 657x153 + 196x154 + 15x155 + 18x156 + 475x157 + 946x158 + 846x159 + 758x160 + 632x161 + 408x162 + 508x163 + 414x164 + 393x165 + 724x166 + 218x167 + 789x168 + 710x169 + 881x170 + 687x171 + 530x172 + 454x173 + 470x174 + 991x175 + 59x176 + 359x177 + 565x178 + 291x179 + 84x180 + 397x181 + 220x182 + 855x183 + 662x184 + 67x185 + 764x186 + 647x187 + 216x188 + 370x189 + 235x190 + 167x191 + 864x192 + 637x193 + 770x194 + 740x195 + 151x196 + 233x197 + 654x198 + 87x199 + 326x200 + 685x201 + 7x202 + 275x203 + 458x204 + 334x205 + 595x206 + 932x207 + 16x208 + 352x209 + 937x210 + 87x211 + 673x212 + 388x213 + 932x214 + 439x215 + 781x216 + 157x217 + 6x218 + 701x219 + 64x220 + 529x221 + 281x222 + 69x223 + 366x224 + 896x225 + 204x226 + 25x227 + 519x228 + 526x229 + 186x230 + 846x231 + 721x232 + 305x233 + 443x234 + 858x235 + 31x236 + 114x237 + 312x238 + 329x239 + 670x240 + 460x241 + 760x242 + 778x243 + 954x244 + 854x245 + 971x246 + 861x247 + 883x248 + 88x249 + 42x250 <= 91901 
constr2: + 349x1 + 92x2 + 219x3 + 440x4 + 909x5 + 211x6 + 559x7 + 555x8 + 277x9 + 828x10 + 851x11 + 798x12 + 409x13 + 854x14 + 385x15 + 424x16 + 208x17 + 614x18 + 486x19 + 561x20 + 781x21 + 495x22 + 834x23 + 414x24 + 521x25 + 605x26 + 923x27 + 459x28 + 731x29 + 716x30 + 405x31 + 138x32 + 397x33 + 636x34 + 147x35 + 406x36 + 238x37 + 569x38 + 642x39 + 726x40 + 751x41 + 716x42 + 746x43 + 659x44 + 214x45 + 589x46 + 660x47 + 977x48 + 293x49 + 35x50 + 555x51 + 805x52 + 745x53 + 489x54 + 347x55 + 243x56 + 106x57 + 794x58 + 571x59 + 565x60 + 391x61 + 671x62 + 930x63 + 627x64 + 445x65 + 556x66 + 243x67 + 662x68 + 395x69 + 879x70 + 984x71 + 371x72 + 887x73 + 124x74 + 896x75 + 56x76 + 870x77 + 521x78 + 577x79 + 465x80 + 783x81 + 390x82 + 132x83 + 464x84 + 349x85 + 904x86 + 548x87 + 774x88 + 839x89 + 322x90 + 829x91 + 860x92 + 704x93 + 891x94 + 301x95 + 224x96 + 982x97 + 166x98 + 739x99 + 113x100 + 508x101 + 413x102 + 282x103 + 810x104 + 214x105 + 467x106 + 372x107 + 527x108 + 832x109 + 932x110 + 191x111 + 209x112 + 750x113 + 773x114 + 474x115 + 209x116 + 881x117 + 835x118 + 965x119 + 670x120 + 983x121 + 6x122 + 641x123 + 32x124 + 136x125 + 98x126 + 21x127 + 281x128 + 736x129 + 345x130 + 612x131 + 39x132 + 25x133 + 91x134 + 895x135 + 50x136 + 196x137 + 193x138 + 991x139 + 678x140 + 804x141 + 517x142 + 223x143 + 984x144 + 969x145 + 778x146 + 276x147 + 89x148 + 181x149 + 259x150 + 484x151 + 53x152 + 201x153 + 692x154 + 696x155 + 72x156 + 702x157 + 659x158 + 490x159 + 533x160 + 299x161 + 398x162 + 117x163 + 719x164 + 409x165 + 713x166 + 240x167 + 324x168 + 929x169 + 14x170 + 312x171 + 957x172 + 809x173 + 548x174 + 984x175 + 791x176 + 154x177 + 28x178 + 978x179 + 224x180 + 337x181 + 798x182 + 820x183 + 728x184 + 23x185 + 422x186 + 889x187 + 117x188 + 665x189 + 590x190 + 165x191 + 941x192 + 663x193 + 731x194 + 647x195 + 810x196 + 678x197 + 960x198 + 91x199 + 248x200 + 213x201 + 371x202 + 336x203 + 582x204 + 657x205 + 481x206 + 843x207 + 550x208 + 111x209 + 643x210 + 533x211 + 501x212 + 525x213 + 190x214 + 578x215 + 426x216 + 215x217 + 571x218 + 629x219 + 767x220 + 843x221 + 484x222 + 397x223 + 617x224 + 524x225 + 178x226 + 105x227 + 272x228 + 399x229 + 390x230 + 355x231 + 197x232 + 712x233 + 734x234 + 342x235 + 143x236 + 706x237 + 885x238 + 831x239 + 869x240 + 889x241 + 471x242 + 333x243 + 185x244 + 704x245 + 817x246 + 192x247 + 633x248 + 411x249 + 939x250 <= 103057 
constr3: + 751x1 + 687x2 + 249x3 + 27x4 + 480x5 + 713x6 + 114x7 + 26x8 + 735x9 + 273x10 + 822x11 + 465x12 + 645x13 + 700x14 + 485x15 + 318x16 + 434x17 + 679x18 + 141x19 + 125x20 + 344x21 + 698x22 + 918x23 + 465x24 + 345x25 + 383x26 + 82x27 + 511x28 + 746x29 + 705x30 + 302x31 + 307x32 + 228x33 + 501x34 + 762x35 + 487x36 + 822x37 + 874x38 + 48x39 + 727x40 + 405x41 + 593x42 + 215x43 + 543x44 + 328x45 + 812x46 + 285x47 + 496x48 + 588x49 + 550x50 + 335x51 + 133x52 + 698x53 + 718x54 + 496x55 + 704x56 + 754x57 + 516x58 + 355x59 + 523x60 + 606x61 + 423x62 + 290x63 + 488x64 + 712x65 + 421x66 + 458x67 + 80x68 + 210x69 + 480x70 + 381x71 + 277x72 + 855x73 + 569x74 + 510x75 + 15x76 + 973x77 + 166x78 + 634x79 + 711x80 + 839x81 + 660x82 + 172x83 + 245x84 + 261x85 + 851x86 + 389x87 + 842x88 + 771x89 + 804x90 + 70x91 + 862x92 + 435x93 + 412x94 + 542x95 + 95x96 + 530x97 + 358x98 + 626x99 + 887x100 + 786x101 + 875x102 + 216x103 + 666x104 + 997x105 + 120x106 + 803x107 + 850x108 + 446x109 + 332x110 + 348x111 + 668x112 + 957x113 + 366x114 + 829x115 + 663x116 + 425x117 + 233x118 + 469x119 + 801x120 + 133x121 + 160x122 + 898x123 + 928x124 + 958x125 + 112x126 + 99x127 + 73x128 + 890x129 + 888x130 + 706x131 + 922x132 + 192x133 + 377x134 + 34x135 + 976x136 + 856x137 + 222x138 + 341x139 + 721x140 + 874x141 + 83x142 + 922x143 + 87x144 + 590x145 + 926x146 + 777x147 + 218x148 + 79x149 + 671x150 + 751x151 + 51x152 + 686x153 + 623x154 + 505x155 + 824x156 + 168x157 + 937x158 + 537x159 + 916x160 + 416x161 + 180x162 + 593x163 + 834x164 + 563x165 + 52x166 + 851x167 + 69x168 + 334x169 + 212x170 + 133x171 + 394x172 + 113x173 + 477x174 + 318x175 + 241x176 + 800x177 + 188x178 + 105x179 + 141x180 + 141x181 + 949x182 + 789x183 + 314x184 + 160x185 + 361x186 + 937x187 + 824x188 + 322x189 + 977x190 + 40x191 + 441x192 + 844x193 + 225x194 + 872x195 + 743x196 + 835x197 + 172x198 + 755x199 + 59x200 + 985x201 + 786x202 + 571x203 + 110x204 + 819x205 + 705x206 + 406x207 + 184x208 + 996x209 + 55x210 + 893x211 + 602x212 + 29x213 + 596x214 + 972x215 + 396x216 + 161x217 + 600x218 + 234x219 + 830x220 + 707x221 + 136x222 + 95x223 + 944x224 + 255x225 + 144x226 + 583x227 + 97x228 + 673x229 + 752x230 + 673x231 + 912x232 + 8x233 + 998x234 + 806x235 + 741x236 + 608x237 + 544x238 + 58x239 + 525x240 + 235x241 + 327x242 + 909x243 + 703x244 + 422x245 + 347x246 + 231x247 + 354x248 + 179x249 + 689x250 <= 97326 
constr4: + 860x1 + 271x2 + 719x3 + 119x4 + 76x5 + 885x6 + 511x7 + 216x8 + 753x9 + 903x10 + 458x11 + 56x12 + 800x13 + 867x14 + 674x15 + 34x16 + 447x17 + 962x18 + 380x19 + 362x20 + 90x21 + 24x22 + 915x23 + 460x24 + 298x25 + 188x26 + 747x27 + 704x28 + 147x29 + 792x30 + 637x31 + 768x32 + 21x33 + 926x34 + 342x35 + 752x36 + 943x37 + 55x38 + 838x39 + 914x40 + 682x41 + 995x42 + 682x43 + 148x44 + 923x45 + 616x46 + 817x47 + 716x48 + 655x49 + 691x50 + 967x51 + 53x52 + 460x53 + 729x54 + 692x55 + 937x56 + 252x57 + 843x58 + 562x59 + 685x60 + 666x61 + 995x62 + 753x63 + 275x64 + 728x65 + 473x66 + 523x67 + 834x68 + 574x69 + 852x70 + 559x71 + 863x72 + 876x73 + 970x74 + 886x75 + 289x76 + 2x77 + 743x78 + 23x79 + 149x80 + 748x81 + 166x82 + 236x83 + 222x84 + 840x85 + 337x86 + 322x87 + 515x88 + 691x89 + 472x90 + 570x91 + 54x92 + 255x93 + 811x94 + 392x95 + 569x96 + 638x97 + 465x98 + 974x99 + 184x100 + 724x101 + 189x102 + 576x103 + 732x104 + 326x105 + 436x106 + 999x107 + 261x108 + 340x109 + 120x110 + 701x111 + 109x112 + 488x113 + 321x114 + 139x115 + 357x116 + 893x117 + 256x118 + 525x119 + 649x120 + 22x121 + 685x122 + 321x123 + 884x124 + 748x125 + 226x126 + 394x127 + 290x128 + 150x129 + 758x130 + 887x131 + 263x132 + 734x133 + 898x134 + 962x135 + 226x136 + 160x137 + 73x138 + 195x139 + 426x140 + 834x141 + 770x142 + 961x143 + 173x144 + 682x145 + 933x146 + 412x147 + 131x148 + 643x149 + 816x150 + 492x151 + 294x152 + 702x153 + 695x154 + 384x155 + 893x156 + 105x157 + 838x158 + 302x159 + 110x160 + 176x161 + 815x162 + 774x163 + 648x164 + 310x165 + 266x166 + 190x167 + 314x168 + 555x169 + 328x170 + 971x171 + 94x172 + 739x173 + 942x174 + 12x175 + 107x176 + 43x177 + 82x178 + 343x179 + 558x180 + 475x181 + 495x182 + 513x183 + 663x184 + 90x185 + 257x186 + 415x187 + 915x188 + 645x189 + 544x190 + 598x191 + 733x192 + 534x193 + 101x194 + 163x195 + 332x196 + 980x197 + 806x198 + 666x199 + 691x200 + 894x201 + 26x202 + 839x203 + 155x204 + 672x205 + 340x206 + 302x207 + 249x208 + 794x209 + 455x210 + 468x211 + 304x212 + 828x213 + 534x214 + 579x215 + 701x216 + 827x217 + 729x218 + 318x219 + 197x220 + 744x221 + 855x222 + 625x223 + 823x224 + 85x225 + 456x226 + 669x227 + 882x228 + 399x229 + 182x230 + 967x231 + 85x232 + 538x233 + 526x234 + 863x235 + 912x236 + 304x237 + 123x238 + 376x239 + 894x240 + 368x241 + 509x242 + 410x243 + 912x244 + 807x245 + 93x246 + 81x247 + 921x248 + 760x249 + 240x250 <= 91682 
constr5: + 224x1 + 214x2 + 589x3 + 502x4 + 150x5 + 380x6 + 256x7 + 115x8 + 27x9 + 872x10 + 85x11 + 825x12 + 249x13 + 605x14 + 849x15 + 241x16 + 213x17 + 77x18 + 220x19 + 205x20 + 560x21 + 587x22 + 218x23 + 506x24 + 844x25 + 106x26 + 206x27 + 613x28 + 279x29 + 75x30 + 621x31 + 846x32 + 25x33 + 633x34 + 116x35 + 310x36 + 734x37 + 909x38 + 1x39 + 343x40 + 892x41 + 337x42 + 363x43 + 640x44 + 602x45 + 734x46 + 513x47 + 726x48 + 892x49 + 700x50 + 755x51 + 177x52 + 177x53 + 757x54 + 124x55 + 405x56 + 817x57 + 890x58 + 395x59 + 715x60 + 472x61 + 344x62 + 949x63 + 244x64 + 661x65 + 523x66 + 466x67 + 988x68 + 295x69 + 815x70 + 890x71 + 478x72 + 684x73 + 966x74 + 709x75 + 539x76 + 385x77 + 542x78 + 550x79 + 682x80 + 857x81 + 375x82 + 790x83 + 416x84 + 71x85 + 862x86 + 752x87 + 877x88 + 802x89 + 635x90 + 881x91 + 450x92 + 212x93 + 746x94 + 348x95 + 997x96 + 665x97 + 300x98 + 231x99 + 456x100 + 200x101 + 524x102 + 224x103 + 269x104 + 708x105 + 185x106 + 629x107 + 555x108 + 408x109 + 55x110 + 847x111 + 334x112 + 756x113 + 716x114 + 548x115 + 944x116 + 530x117 + 332x118 + 311x119 + 890x120 + 527x121 + 884x122 + 649x123 + 105x124 + 611x125 + 464x126 + 764x127 + 89x128 + 264x129 + 780x130 + 500x131 + 843x132 + 658x133 + 242x134 + 420x135 + 366x136 + 955x137 + 424x138 + 355x139 + 464x140 + 317x141 + 616x142 + 403x143 + 961x144 + 388x145 + 205x146 + 982x147 + 996x148 + 913x149 + 921x150 + 727x151 + 469x152 + 16x153 + 351x154 + 714x155 + 945x156 + 548x157 + 698x158 + 788x159 + 169x160 + 368x161 + 946x162 + 624x163 + 485x164 + 181x165 + 499x166 + 847x167 + 473x168 + 107x169 + 213x170 + 917x171 + 16x172 + 760x173 + 816x174 + 100x175 + 507x176 + 546x177 + 560x178 + 306x179 + 545x180 + 653x181 + 163x182 + 506x183 + 69x184 + 372x185 + 683x186 + 820x187 + 209x188 + 744x189 + 199x190 + 588x191 + 172x192 + 346x193 + 184x194 + 219x195 + 461x196 + 353x197 + 837x198 + 680x199 + 956x200 + 66x201 + 14x202 + 77x203 + 710x204 + 531x205 + 337x206 + 465x207 + 973x208 + 174x209 + 134x210 + 538x211 + 9x212 + 718x213 + 611x214 + 31x215 + 898x216 + 228x217 + 160x218 + 743x219 + 345x220 + 759x221 + 41x222 + 284x223 + 163x224 + 253x225 + 813x226 + 629x227 + 827x228 + 829x229 + 585x230 + 279x231 + 474x232 + 120x233 + 228x234 + 321x235 + 711x236 + 420x237 + 569x238 + 907x239 + 719x240 + 671x241 + 911x242 + 652x243 + 84x244 + 684x245 + 370x246 + 102x247 + 597x248 + 135x249 + 533x250 <= 92712 
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