minimize 
objective: s
subject to 
s1: s + 0.501000f1 + 0.001000f2 >= 95405.602000 
s2: s + 0.001000f1 + 0.501000f2 >= 95405.602000 
f1: -f1 + 462x1 + 765x2 + 1007x3 + 903x4 + 747x5 + 1011x6 + 857x7 + 680x8 + 845x9 + 534x10 + 700x11 + 696x12 + 449x13 + 469x14 + 524x15 + 670x16 + 996x17 + 874x18 + 740x19 + 897x20 + 635x21 + 612x22 + 878x23 + 778x24 + 707x25 + 855x26 + 647x27 + 430x28 + 559x29 + 543x30 + 845x31 + 689x32 + 930x33 + 836x34 + 831x35 + 507x36 + 678x37 + 786x38 + 449x39 + 1055x40 + 559x41 + 768x42 + 561x43 + 1050x44 + 521x45 + 566x46 + 902x47 + 732x48 + 926x49 + 729x50 + 948x51 + 820x52 + 622x53 + 661x54 + 652x55 + 635x56 + 1086x57 + 912x58 + 806x59 + 782x60 + 898x61 + 928x62 + 966x63 + 1052x64 + 819x65 + 967x66 + 640x67 + 578x68 + 764x69 + 859x70 + 744x71 + 725x72 + 1012x73 + 725x74 + 704x75 + 676x76 + 864x77 + 438x78 + 601x79 + 649x80 + 1007x81 + 785x82 + 800x83 + 549x84 + 803x85 + 1092x86 + 566x87 + 649x88 + 644x89 + 917x90 + 655x91 + 806x92 + 770x93 + 975x94 + 870x95 + 926x96 + 621x97 + 915x98 + 872x99 + 832x100 + 843x101 + 793x102 + 555x103 + 697x104 + 846x105 + 748x106 + 901x107 + 1011x108 + 606x109 + 541x110 + 569x111 + 792x112 + 895x113 + 726x114 + 1065x115 + 655x116 + 468x117 + 656x118 + 1045x119 + 675x120 + 937x121 + 716x122 + 558x123 + 648x124 + 1075x125 + 633x126 + 944x127 + 844x128 + 455x129 + 954x130 + 1030x131 + 709x132 + 721x133 + 782x134 + 945x135 + 1079x136 + 897x137 + 800x138 + 1007x139 + 838x140 + 678x141 + 379x142 + 869x143 + 822x144 + 672x145 + 794x146 + 941x147 + 673x148 + 624x149 + 446x150 + 954x151 + 778x152 + 568x153 + 655x154 + 333x155 + 1050x156 + 650x157 + 785x158 + 691x159 + 560x160 + 647x161 + 458x162 + 640x163 + 657x164 + 1055x165 + 802x166 + 761x167 + 1001x168 + 1017x169 + 828x170 + 976x171 + 1018x172 + 463x173 + 1065x174 + 652x175 + 965x176 + 881x177 + 807x178 + 845x179 + 741x180 + 482x181 + 550x182 + 619x183 + 717x184 + 569x185 + 961x186 + 697x187 + 641x188 + 712x189 + 623x190 + 513x191 + 748x192 + 999x193 + 427x194 + 873x195 + 835x196 + 803x197 + 715x198 + 936x199 + 513x200 + 895x201 + 1056x202 + 882x203 + 573x204 + 726x205 + 989x206 + 594x207 + 582x208 + 838x209 + 829x210 + 616x211 + 589x212 + 580x213 + 786x214 + 914x215 + 711x216 + 854x217 + 751x218 + 779x219 + 640x220 + 934x221 + 919x222 + 980x223 + 854x224 + 545x225 + 949x226 + 924x227 + 955x228 + 669x229 + 377x230 + 980x231 + 877x232 + 415x233 + 985x234 + 574x235 + 913x236 + 787x237 + 773x238 + 896x239 + 595x240 + 398x241 + 970x242 + 781x243 + 854x244 + 852x245 + 744x246 + 807x247 + 507x248 + 764x249 + 519x250  = 0 
f2: -f2 + 781x1 + 828x2 + 751x3 + 881x4 + 764x5 + 970x6 + 543x7 + 807x8 + 874x9 + 697x10 + 430x11 + 897x12 + 398x13 + 1075x14 + 999x15 + 1055x16 + 803x17 + 980x18 + 1086x19 + 606x20 + 650x21 + 524x22 + 926x23 + 1050x24 + 941x25 + 785x26 + 917x27 + 726x28 + 1011x29 + 945x30 + 732x31 + 1030x32 + 898x33 + 845x34 + 644x35 + 463x36 + 561x37 + 802x38 + 1052x39 + 895x40 + 912x41 + 878x42 + 541x43 + 648x44 + 765x45 + 936x46 + 601x47 + 1079x48 + 545x49 + 786x50 + 937x51 + 924x52 + 926x53 + 594x54 + 845x55 + 661x56 + 895x57 + 901x58 + 961x59 + 725x60 + 985x61 + 859x62 + 655x63 + 574x64 + 633x65 + 1092x66 + 721x67 + 640x68 + 655x69 + 379x70 + 566x71 + 612x72 + 838x73 + 897x74 + 715x75 + 641x76 + 711x77 + 623x78 + 1065x79 + 507x80 + 555x81 + 680x82 + 934x83 + 726x84 + 768x85 + 778x86 + 832x87 + 582x88 + 989x89 + 930x90 + 580x91 + 652x92 + 966x93 + 673x94 + 976x95 + 944x96 + 534x97 + 873x98 + 657x99 + 438x100 + 782x101 + 996x102 + 652x103 + 675x104 + 589x105 + 954x106 + 1017x107 + 519x108 + 1007x109 + 689x110 + 559x111 + 882x112 + 949x113 + 427x114 + 709x115 + 955x116 + 779x117 + 697x118 + 855x119 + 747x120 + 725x121 + 806x122 + 569x123 + 1007x124 + 787x125 + 785x126 + 902x127 + 846x128 + 967x129 + 764x130 + 647x131 + 748x132 + 469x133 + 656x134 + 807x135 + 513x136 + 462x137 + 831x138 + 676x139 + 640x140 + 549x141 + 716x142 + 333x143 + 455x144 + 640x145 + 792x146 + 741x147 + 843x148 + 621x149 + 870x150 + 838x151 + 980x152 + 649x153 + 1007x154 + 415x155 + 568x156 + 1056x157 + 800x158 + 1012x159 + 1050x160 + 965x161 + 559x162 + 954x163 + 700x164 + 877x165 + 845x166 + 835x167 + 717x168 + 560x169 + 852x170 + 569x171 + 872x172 + 578x173 + 449x174 + 616x175 + 820x176 + 458x177 + 794x178 + 782x179 + 655x180 + 822x181 + 468x182 + 670x183 + 854x184 + 573x185 + 844x186 + 915x187 + 948x188 + 864x189 + 744x190 + 896x191 + 1065x192 + 449x193 + 793x194 + 854x195 + 975x196 + 857x197 + 928x198 + 647x199 + 778x200 + 748x201 + 521x202 + 446x203 + 377x204 + 558x205 + 691x206 + 829x207 + 913x208 + 803x209 + 869x210 + 619x211 + 678x212 + 712x213 + 903x214 + 707x215 + 672x216 + 836x217 + 914x218 + 919x219 + 1011x220 + 744x221 + 696x222 + 669x223 + 854x224 + 740x225 + 507x226 + 566x227 + 704x228 + 678x229 + 635x230 + 800x231 + 550x232 + 1018x233 + 595x234 + 773x235 + 649x236 + 819x237 + 1001x238 + 482x239 + 1055x240 + 761x241 + 770x242 + 622x243 + 1045x244 + 806x245 + 729x246 + 513x247 + 786x248 + 635x249 + 624x250  = 0 
constr1: + 917x1 + 151x2 + 296x3 + 901x4 + 705x5 + 588x6 + 507x7 + 701x8 + 773x9 + 304x10 + 566x11 + 176x12 + 640x13 + 960x14 + 5x15 + 733x16 + 597x17 + 705x18 + 259x19 + 265x20 + 979x21 + 222x22 + 45x23 + 916x24 + 662x25 + 62x26 + 116x27 + 364x28 + 910x29 + 25x30 + 293x31 + 927x32 + 446x33 + 616x34 + 187x35 + 428x36 + 500x37 + 620x38 + 105x39 + 33x40 + 373x41 + 436x42 + 122x43 + 460x44 + 680x45 + 538x46 + 652x47 + 700x48 + 184x49 + 4x50 + 230x51 + 495x52 + 997x53 + 557x54 + 832x55 + 564x56 + 377x57 + 667x58 + 225x59 + 424x60 + 973x61 + 9x62 + 865x63 + 803x64 + 732x65 + 229x66 + 519x67 + 818x68 + 20x69 + 977x70 + 809x71 + 37x72 + 203x73 + 163x74 + 41x75 + 72x76 + 102x77 + 47x78 + 852x79 + 308x80 + 297x81 + 978x82 + 691x83 + 837x84 + 948x85 + 527x86 + 364x87 + 67x88 + 738x89 + 964x90 + 697x91 + 932x92 + 578x93 + 268x94 + 349x95 + 302x96 + 448x97 + 181x98 + 828x99 + 240x100 + 819x101 + 721x102 + 570x103 + 984x104 + 766x105 + 814x106 + 761x107 + 620x108 + 897x109 + 152x110 + 766x111 + 427x112 + 112x113 + 628x114 + 754x115 + 266x116 + 961x117 + 5x118 + 475x119 + 738x120 + 360x121 + 89x122 + 546x123 + 999x124 + 524x125 + 347x126 + 252x127 + 641x128 + 809x129 + 49x130 + 36x131 + 477x132 + 599x133 + 229x134 + 797x135 + 995x136 + 255x137 + 869x138 + 339x139 + 23x140 + 675x141 + 901x142 + 169x143 + 386x144 + 420x145 + 338x146 + 914x147 + 912x148 + 780x149 + 175x150 + 307x151 + 273x152 + 708x153 + 98x154 + 172x155 + 891x156 + 996x157 + 566x158 + 621x159 + 420x160 + 185x161 + 792x162 + 909x163 + 698x164 + 448x165 + 260x166 + 210x167 + 574x168 + 174x169 + 424x170 + 518x171 + 122x172 + 426x173 + 494x174 + 686x175 + 289x176 + 703x177 + 108x178 + 748x179 + 749x180 + 836x181 + 373x182 + 692x183 + 216x184 + 862x185 + 127x186 + 825x187 + 254x188 + 26x189 + 700x190 + 423x191 + 87x192 + 862x193 + 452x194 + 136x195 + 224x196 + 72x197 + 728x198 + 681x199 + 72x200 + 179x201 + 958x202 + 820x203 + 373x204 + 991x205 + 442x206 + 862x207 + 695x208 + 983x209 + 321x210 + 752x211 + 370x212 + 106x213 + 550x214 + 312x215 + 262x216 + 821x217 + 999x218 + 135x219 + 353x220 + 798x221 + 839x222 + 11x223 + 9x224 + 441x225 + 219x226 + 252x227 + 684x228 + 21x229 + 159x230 + 697x231 + 994x232 + 77x233 + 568x234 + 451x235 + 80x236 + 361x237 + 946x238 + 854x239 + 245x240 + 972x241 + 978x242 + 269x243 + 751x244 + 254x245 + 43x246 + 461x247 + 957x248 + 130x249 + 851x250 <= 90860 
constr2: + 133x1 + 964x2 + 99x3 + 780x4 + 23x5 + 15x6 + 9x7 + 238x8 + 201x9 + 79x10 + 627x11 + 53x12 + 518x13 + 911x14 + 724x15 + 192x16 + 719x17 + 20x18 + 112x19 + 671x20 + 543x21 + 483x22 + 274x23 + 40x24 + 494x25 + 874x26 + 663x27 + 929x28 + 593x29 + 347x30 + 674x31 + 115x32 + 646x33 + 455x34 + 985x35 + 330x36 + 114x37 + 263x38 + 100x39 + 216x40 + 116x41 + 210x42 + 275x43 + 98x44 + 410x45 + 340x46 + 327x47 + 816x48 + 273x49 + 659x50 + 669x51 + 775x52 + 615x53 + 178x54 + 632x55 + 352x56 + 811x57 + 689x58 + 606x59 + 592x60 + 689x61 + 537x62 + 937x63 + 280x64 + 497x65 + 138x66 + 805x67 + 749x68 + 767x69 + 703x70 + 238x71 + 831x72 + 931x73 + 22x74 + 329x75 + 172x76 + 920x77 + 698x78 + 984x79 + 756x80 + 590x81 + 811x82 + 793x83 + 28x84 + 130x85 + 419x86 + 510x87 + 229x88 + 363x89 + 33x90 + 500x91 + 325x92 + 429x93 + 999x94 + 638x95 + 219x96 + 592x97 + 942x98 + 649x99 + 884x100 + 567x101 + 791x102 + 655x103 + 691x104 + 604x105 + 194x106 + 398x107 + 875x108 + 384x109 + 961x110 + 217x111 + 677x112 + 918x113 + 979x114 + 612x115 + 854x116 + 247x117 + 932x118 + 410x119 + 87x120 + 917x121 + 393x122 + 992x123 + 838x124 + 723x125 + 751x126 + 33x127 + 402x128 + 753x129 + 179x130 + 915x131 + 737x132 + 946x133 + 65x134 + 662x135 + 555x136 + 711x137 + 327x138 + 938x139 + 262x140 + 524x141 + 185x142 + 88x143 + 394x144 + 888x145 + 981x146 + 405x147 + 829x148 + 976x149 + 830x150 + 989x151 + 494x152 + 626x153 + 643x154 + 347x155 + 460x156 + 868x157 + 191x158 + 68x159 + 686x160 + 652x161 + 473x162 + 692x163 + 922x164 + 720x165 + 211x166 + 956x167 + 800x168 + 446x169 + 333x170 + 789x171 + 470x172 + 442x173 + 345x174 + 350x175 + 37x176 + 213x177 + 87x178 + 765x179 + 608x180 + 171x181 + 608x182 + 518x183 + 634x184 + 258x185 + 805x186 + 517x187 + 366x188 + 8x189 + 104x190 + 533x191 + 6x192 + 579x193 + 903x194 + 147x195 + 440x196 + 856x197 + 534x198 + 617x199 + 186x200 + 919x201 + 811x202 + 942x203 + 251x204 + 627x205 + 802x206 + 370x207 + 652x208 + 293x209 + 881x210 + 204x211 + 232x212 + 608x213 + 148x214 + 118x215 + 842x216 + 197x217 + 520x218 + 230x219 + 421x220 + 438x221 + 889x222 + 605x223 + 756x224 + 740x225 + 862x226 + 601x227 + 370x228 + 635x229 + 490x230 + 341x231 + 321x232 + 91x233 + 211x234 + 702x235 + 509x236 + 647x237 + 228x238 + 134x239 + 135x240 + 608x241 + 333x242 + 850x243 + 893x244 + 681x245 + 944x246 + 293x247 + 303x248 + 978x249 + 44x250 <= 88581 
constr3: + 688x1 + 84x2 + 856x3 + 180x4 + 733x5 + 764x6 + 832x7 + 317x8 + 678x9 + 81x10 + 769x11 + 612x12 + 436x13 + 21x14 + 233x15 + 50x16 + 145x17 + 70x18 + 14x19 + 810x20 + 459x21 + 468x22 + 382x23 + 11x24 + 131x25 + 750x26 + 306x27 + 200x28 + 810x29 + 413x30 + 116x31 + 977x32 + 497x33 + 261x34 + 934x35 + 218x36 + 614x37 + 817x38 + 141x39 + 345x40 + 275x41 + 542x42 + 216x43 + 58x44 + 928x45 + 53x46 + 715x47 + 180x48 + 431x49 + 851x50 + 616x51 + 499x52 + 734x53 + 187x54 + 475x55 + 46x56 + 70x57 + 520x58 + 740x59 + 656x60 + 448x61 + 269x62 + 487x63 + 986x64 + 572x65 + 544x66 + 612x67 + 573x68 + 754x69 + 392x70 + 1x71 + 42x72 + 572x73 + 261x74 + 437x75 + 901x76 + 120x77 + 670x78 + 742x79 + 315x80 + 481x81 + 251x82 + 954x83 + 257x84 + 548x85 + 531x86 + 655x87 + 15x88 + 541x89 + 12x90 + 885x91 + 982x92 + 402x93 + 536x94 + 273x95 + 448x96 + 116x97 + 860x98 + 530x99 + 423x100 + 387x101 + 369x102 + 157x103 + 306x104 + 905x105 + 302x106 + 979x107 + 221x108 + 148x109 + 658x110 + 960x111 + 256x112 + 70x113 + 468x114 + 476x115 + 837x116 + 479x117 + 189x118 + 475x119 + 853x120 + 455x121 + 330x122 + 631x123 + 66x124 + 151x125 + 268x126 + 931x127 + 972x128 + 639x129 + 218x130 + 479x131 + 94x132 + 663x133 + 708x134 + 433x135 + 183x136 + 457x137 + 576x138 + 537x139 + 20x140 + 67x141 + 879x142 + 866x143 + 419x144 + 287x145 + 623x146 + 13x147 + 375x148 + 717x149 + 928x150 + 335x151 + 417x152 + 574x153 + 729x154 + 944x155 + 947x156 + 24x157 + 674x158 + 765x159 + 781x160 + 111x161 + 10x162 + 101x163 + 762x164 + 815x165 + 521x166 + 573x167 + 34x168 + 101x169 + 916x170 + 886x171 + 608x172 + 782x173 + 350x174 + 107x175 + 603x176 + 140x177 + 147x178 + 550x179 + 623x180 + 71x181 + 438x182 + 555x183 + 875x184 + 40x185 + 546x186 + 713x187 + 50x188 + 269x189 + 810x190 + 230x191 + 253x192 + 809x193 + 547x194 + 186x195 + 989x196 + 995x197 + 535x198 + 704x199 + 139x200 + 21x201 + 234x202 + 259x203 + 218x204 + 581x205 + 703x206 + 717x207 + 225x208 + 485x209 + 394x210 + 919x211 + 948x212 + 501x213 + 717x214 + 766x215 + 83x216 + 613x217 + 805x218 + 442x219 + 647x220 + 982x221 + 884x222 + 167x223 + 610x224 + 168x225 + 687x226 + 142x227 + 485x228 + 435x229 + 95x230 + 36x231 + 626x232 + 784x233 + 826x234 + 431x235 + 698x236 + 135x237 + 953x238 + 38x239 + 853x240 + 794x241 + 330x242 + 568x243 + 872x244 + 46x245 + 222x246 + 289x247 + 744x248 + 439x249 + 842x250 <= 97454 
constr4: + 546x1 + 837x2 + 364x3 + 421x4 + 674x5 + 185x6 + 746x7 + 377x8 + 406x9 + 828x10 + 412x11 + 526x12 + 835x13 + 788x14 + 633x15 + 1x16 + 725x17 + 660x18 + 912x19 + 656x20 + 859x21 + 402x22 + 103x23 + 240x24 + 159x25 + 734x26 + 519x27 + 401x28 + 242x29 + 368x30 + 316x31 + 662x32 + 716x33 + 49x34 + 488x35 + 544x36 + 478x37 + 894x38 + 750x39 + 434x40 + 354x41 + 643x42 + 881x43 + 964x44 + 502x45 + 564x46 + 877x47 + 618x48 + 495x49 + 891x50 + 402x51 + 76x52 + 363x53 + 167x54 + 295x55 + 78x56 + 556x57 + 785x58 + 675x59 + 663x60 + 890x61 + 375x62 + 403x63 + 685x64 + 687x65 + 227x66 + 1000x67 + 853x68 + 530x69 + 179x70 + 72x71 + 757x72 + 910x73 + 544x74 + 875x75 + 252x76 + 91x77 + 722x78 + 782x79 + 822x80 + 794x81 + 552x82 + 353x83 + 547x84 + 339x85 + 43x86 + 987x87 + 199x88 + 281x89 + 530x90 + 955x91 + 785x92 + 442x93 + 444x94 + 862x95 + 758x96 + 434x97 + 820x98 + 566x99 + 133x100 + 567x101 + 630x102 + 135x103 + 667x104 + 572x105 + 37x106 + 882x107 + 391x108 + 624x109 + 375x110 + 291x111 + 293x112 + 638x113 + 437x114 + 237x115 + 892x116 + 101x117 + 965x118 + 180x119 + 802x120 + 639x121 + 818x122 + 120x123 + 573x124 + 732x125 + 265x126 + 214x127 + 834x128 + 550x129 + 963x130 + 232x131 + 712x132 + 709x133 + 760x134 + 746x135 + 476x136 + 450x137 + 544x138 + 933x139 + 68x140 + 742x141 + 322x142 + 502x143 + 326x144 + 195x145 + 952x146 + 142x147 + 17x148 + 39x149 + 719x150 + 721x151 + 704x152 + 86x153 + 345x154 + 545x155 + 988x156 + 974x157 + 444x158 + 827x159 + 785x160 + 243x161 + 642x162 + 127x163 + 838x164 + 155x165 + 697x166 + 562x167 + 271x168 + 41x169 + 34x170 + 213x171 + 517x172 + 933x173 + 981x174 + 357x175 + 66x176 + 248x177 + 426x178 + 307x179 + 744x180 + 466x181 + 775x182 + 379x183 + 337x184 + 925x185 + 422x186 + 224x187 + 142x188 + 465x189 + 205x190 + 756x191 + 562x192 + 105x193 + 687x194 + 66x195 + 142x196 + 26x197 + 184x198 + 622x199 + 597x200 + 457x201 + 699x202 + 58x203 + 656x204 + 836x205 + 614x206 + 953x207 + 41x208 + 662x209 + 730x210 + 53x211 + 745x212 + 541x213 + 917x214 + 234x215 + 53x216 + 309x217 + 514x218 + 531x219 + 458x220 + 421x221 + 622x222 + 370x223 + 807x224 + 111x225 + 83x226 + 178x227 + 337x228 + 58x229 + 118x230 + 888x231 + 542x232 + 730x233 + 507x234 + 651x235 + 254x236 + 476x237 + 870x238 + 233x239 + 699x240 + 757x241 + 961x242 + 851x243 + 310x244 + 42x245 + 851x246 + 286x247 + 515x248 + 78x249 + 701x250 <= 97436 
constr5: + 461x1 + 965x2 + 550x3 + 120x4 + 629x5 + 348x6 + 502x7 + 700x8 + 261x9 + 328x10 + 217x11 + 794x12 + 954x13 + 209x14 + 26x15 + 63x16 + 862x17 + 99x18 + 442x19 + 806x20 + 646x21 + 15x22 + 291x23 + 22x24 + 115x25 + 50x26 + 236x27 + 985x28 + 915x29 + 138x30 + 257x31 + 813x32 + 279x33 + 110x34 + 514x35 + 852x36 + 525x37 + 261x38 + 401x39 + 590x40 + 614x41 + 515x42 + 918x43 + 843x44 + 382x45 + 737x46 + 301x47 + 715x48 + 289x49 + 468x50 + 805x51 + 361x52 + 683x53 + 580x54 + 465x55 + 50x56 + 53x57 + 820x58 + 832x59 + 136x60 + 876x61 + 511x62 + 775x63 + 235x64 + 675x65 + 663x66 + 947x67 + 604x68 + 511x69 + 253x70 + 778x71 + 987x72 + 240x73 + 846x74 + 441x75 + 336x76 + 893x77 + 514x78 + 581x79 + 76x80 + 966x81 + 733x82 + 701x83 + 487x84 + 73x85 + 112x86 + 460x87 + 153x88 + 424x89 + 791x90 + 34x91 + 851x92 + 904x93 + 355x94 + 522x95 + 269x96 + 897x97 + 271x98 + 651x99 + 616x100 + 251x101 + 5x102 + 689x103 + 700x104 + 829x105 + 872x106 + 490x107 + 185x108 + 357x109 + 658x110 + 220x111 + 855x112 + 949x113 + 886x114 + 740x115 + 465x116 + 826x117 + 868x118 + 302x119 + 948x120 + 189x121 + 90x122 + 818x123 + 82x124 + 677x125 + 367x126 + 195x127 + 203x128 + 577x129 + 200x130 + 272x131 + 976x132 + 96x133 + 885x134 + 965x135 + 152x136 + 683x137 + 995x138 + 385x139 + 918x140 + 263x141 + 674x142 + 791x143 + 151x144 + 446x145 + 694x146 + 144x147 + 726x148 + 332x149 + 24x150 + 933x151 + 202x152 + 460x153 + 924x154 + 383x155 + 701x156 + 491x157 + 90x158 + 178x159 + 940x160 + 731x161 + 96x162 + 611x163 + 460x164 + 15x165 + 340x166 + 359x167 + 689x168 + 187x169 + 765x170 + 597x171 + 142x172 + 482x173 + 145x174 + 417x175 + 211x176 + 280x177 + 150x178 + 290x179 + 88x180 + 368x181 + 603x182 + 450x183 + 68x184 + 965x185 + 422x186 + 939x187 + 123x188 + 564x189 + 454x190 + 166x191 + 770x192 + 222x193 + 456x194 + 620x195 + 155x196 + 592x197 + 204x198 + 775x199 + 733x200 + 644x201 + 119x202 + 679x203 + 154x204 + 272x205 + 112x206 + 672x207 + 362x208 + 892x209 + 326x210 + 401x211 + 445x212 + 94x213 + 14x214 + 261x215 + 11x216 + 48x217 + 559x218 + 916x219 + 453x220 + 654x221 + 537x222 + 8x223 + 363x224 + 603x225 + 159x226 + 562x227 + 70x228 + 795x229 + 459x230 + 197x231 + 861x232 + 976x233 + 72x234 + 871x235 + 98x236 + 967x237 + 927x238 + 910x239 + 85x240 + 106x241 + 141x242 + 855x243 + 614x244 + 286x245 + 513x246 + 694x247 + 412x248 + 204x249 + 697x250 <= 95276 
constr6: + 460x1 + 932x2 + 76x3 + 634x4 + 425x5 + 233x6 + 757x7 + 970x8 + 558x9 + 96x10 + 761x11 + 859x12 + 331x13 + 345x14 + 32x15 + 860x16 + 912x17 + 666x18 + 93x19 + 919x20 + 974x21 + 507x22 + 705x23 + 819x24 + 571x25 + 825x26 + 503x27 + 436x28 + 848x29 + 797x30 + 71x31 + 295x32 + 724x33 + 213x34 + 854x35 + 960x36 + 320x37 + 312x38 + 730x39 + 79x40 + 539x41 + 900x42 + 808x43 + 804x44 + 606x45 + 457x46 + 111x47 + 513x48 + 759x49 + 989x50 + 804x51 + 246x52 + 601x53 + 856x54 + 759x55 + 92x56 + 752x57 + 55x58 + 891x59 + 437x60 + 86x61 + 860x62 + 696x63 + 832x64 + 267x65 + 746x66 + 698x67 + 840x68 + 406x69 + 307x70 + 561x71 + 548x72 + 952x73 + 988x74 + 809x75 + 526x76 + 760x77 + 806x78 + 513x79 + 382x80 + 717x81 + 660x82 + 894x83 + 990x84 + 18x85 + 98x86 + 440x87 + 318x88 + 339x89 + 426x90 + 921x91 + 375x92 + 19x93 + 895x94 + 787x95 + 474x96 + 736x97 + 476x98 + 521x99 + 288x100 + 707x101 + 155x102 + 307x103 + 386x104 + 267x105 + 361x106 + 429x107 + 864x108 + 408x109 + 919x110 + 582x111 + 532x112 + 706x113 + 433x114 + 83x115 + 975x116 + 130x117 + 208x118 + 611x119 + 616x120 + 78x121 + 746x122 + 835x123 + 594x124 + 999x125 + 238x126 + 33x127 + 628x128 + 164x129 + 499x130 + 851x131 + 705x132 + 167x133 + 480x134 + 640x135 + 520x136 + 37x137 + 867x138 + 483x139 + 740x140 + 480x141 + 405x142 + 45x143 + 179x144 + 334x145 + 442x146 + 706x147 + 944x148 + 385x149 + 156x150 + 753x151 + 723x152 + 863x153 + 438x154 + 23x155 + 358x156 + 298x157 + 307x158 + 666x159 + 15x160 + 199x161 + 759x162 + 600x163 + 875x164 + 809x165 + 218x166 + 383x167 + 495x168 + 197x169 + 738x170 + 941x171 + 688x172 + 54x173 + 792x174 + 712x175 + 618x176 + 592x177 + 976x178 + 20x179 + 722x180 + 151x181 + 916x182 + 498x183 + 990x184 + 903x185 + 543x186 + 261x187 + 546x188 + 571x189 + 204x190 + 606x191 + 811x192 + 873x193 + 351x194 + 63x195 + 430x196 + 578x197 + 992x198 + 442x199 + 472x200 + 300x201 + 358x202 + 849x203 + 396x204 + 594x205 + 920x206 + 309x207 + 66x208 + 785x209 + 171x210 + 361x211 + 517x212 + 179x213 + 688x214 + 94x215 + 387x216 + 862x217 + 485x218 + 407x219 + 119x220 + 323x221 + 578x222 + 852x223 + 736x224 + 833x225 + 220x226 + 154x227 + 921x228 + 498x229 + 276x230 + 639x231 + 760x232 + 283x233 + 958x234 + 408x235 + 938x236 + 414x237 + 316x238 + 644x239 + 588x240 + 905x241 + 546x242 + 217x243 + 921x244 + 302x245 + 754x246 + 636x247 + 264x248 + 715x249 + 72x250 <= 95859 
constr7: + 759x1 + 732x2 + 475x3 + 846x4 + 810x5 + 641x6 + 595x7 + 565x8 + 31x9 + 586x10 + 510x11 + 732x12 + 925x13 + 774x14 + 814x15 + 175x16 + 652x17 + 392x18 + 600x19 + 48x20 + 311x21 + 774x22 + 168x23 + 646x24 + 56x25 + 854x26 + 308x27 + 408x28 + 874x29 + 670x30 + 423x31 + 84x32 + 350x33 + 553x34 + 478x35 + 940x36 + 185x37 + 127x38 + 308x39 + 797x40 + 298x41 + 923x42 + 376x43 + 512x44 + 695x45 + 653x46 + 579x47 + 435x48 + 607x49 + 544x50 + 357x51 + 551x52 + 399x53 + 275x54 + 767x55 + 354x56 + 751x57 + 961x58 + 8x59 + 565x60 + 979x61 + 131x62 + 235x63 + 669x64 + 957x65 + 980x66 + 581x67 + 123x68 + 704x69 + 458x70 + 929x71 + 166x72 + 493x73 + 105x74 + 669x75 + 758x76 + 640x77 + 641x78 + 973x79 + 737x80 + 953x81 + 141x82 + 733x83 + 872x84 + 406x85 + 741x86 + 346x87 + 288x88 + 317x89 + 243x90 + 224x91 + 332x92 + 837x93 + 775x94 + 546x95 + 567x96 + 700x97 + 900x98 + 495x99 + 221x100 + 591x101 + 779x102 + 505x103 + 985x104 + 872x105 + 693x106 + 471x107 + 198x108 + 817x109 + 20x110 + 178x111 + 296x112 + 852x113 + 185x114 + 18x115 + 874x116 + 365x117 + 588x118 + 528x119 + 264x120 + 588x121 + 834x122 + 379x123 + 12x124 + 845x125 + 920x126 + 421x127 + 804x128 + 82x129 + 587x130 + 317x131 + 440x132 + 150x133 + 545x134 + 237x135 + 110x136 + 378x137 + 399x138 + 548x139 + 407x140 + 738x141 + 916x142 + 531x143 + 177x144 + 614x145 + 522x146 + 882x147 + 806x148 + 387x149 + 618x150 + 554x151 + 250x152 + 10x153 + 486x154 + 50x155 + 759x156 + 558x157 + 503x158 + 700x159 + 482x160 + 224x161 + 463x162 + 527x163 + 837x164 + 837x165 + 134x166 + 637x167 + 852x168 + 268x169 + 15x170 + 53x171 + 651x172 + 994x173 + 841x174 + 752x175 + 524x176 + 936x177 + 81x178 + 77x179 + 836x180 + 506x181 + 13x182 + 280x183 + 829x184 + 952x185 + 801x186 + 428x187 + 875x188 + 910x189 + 379x190 + 447x191 + 90x192 + 862x193 + 569x194 + 221x195 + 851x196 + 723x197 + 768x198 + 905x199 + 837x200 + 949x201 + 484x202 + 217x203 + 736x204 + 562x205 + 693x206 + 177x207 + 169x208 + 362x209 + 246x210 + 813x211 + 675x212 + 600x213 + 806x214 + 177x215 + 970x216 + 629x217 + 65x218 + 91x219 + 513x220 + 686x221 + 718x222 + 37x223 + 499x224 + 115x225 + 24x226 + 110x227 + 75x228 + 33x229 + 824x230 + 856x231 + 607x232 + 679x233 + 367x234 + 426x235 + 694x236 + 802x237 + 750x238 + 757x239 + 792x240 + 587x241 + 712x242 + 840x243 + 492x244 + 934x245 + 181x246 + 638x247 + 25x248 + 107x249 + 111x250 <= 90324 
constr8: + 542x1 + 802x2 + 105x3 + 891x4 + 378x5 + 880x6 + 605x7 + 702x8 + 417x9 + 550x10 + 724x11 + 682x12 + 695x13 + 1000x14 + 849x15 + 616x16 + 485x17 + 462x18 + 107x19 + 839x20 + 63x21 + 108x22 + 357x23 + 593x24 + 88x25 + 250x26 + 325x27 + 139x28 + 795x29 + 436x30 + 104x31 + 71x32 + 490x33 + 298x34 + 698x35 + 235x36 + 162x37 + 687x38 + 33x39 + 473x40 + 170x41 + 332x42 + 1x43 + 263x44 + 673x45 + 244x46 + 655x47 + 271x48 + 727x49 + 255x50 + 528x51 + 655x52 + 449x53 + 1x54 + 561x55 + 31x56 + 392x57 + 658x58 + 71x59 + 128x60 + 120x61 + 574x62 + 486x63 + 481x64 + 323x65 + 349x66 + 820x67 + 434x68 + 734x69 + 970x70 + 749x71 + 179x72 + 817x73 + 397x74 + 967x75 + 260x76 + 193x77 + 651x78 + 461x79 + 189x80 + 207x81 + 667x82 + 214x83 + 60x84 + 856x85 + 585x86 + 589x87 + 213x88 + 237x89 + 789x90 + 305x91 + 107x92 + 746x93 + 2x94 + 397x95 + 802x96 + 33x97 + 834x98 + 999x99 + 479x100 + 383x101 + 679x102 + 882x103 + 188x104 + 940x105 + 145x106 + 510x107 + 111x108 + 829x109 + 229x110 + 917x111 + 721x112 + 491x113 + 314x114 + 573x115 + 89x116 + 915x117 + 387x118 + 611x119 + 313x120 + 246x121 + 314x122 + 188x123 + 630x124 + 289x125 + 770x126 + 293x127 + 498x128 + 996x129 + 410x130 + 218x131 + 211x132 + 13x133 + 919x134 + 872x135 + 483x136 + 436x137 + 288x138 + 829x139 + 480x140 + 470x141 + 369x142 + 213x143 + 908x144 + 764x145 + 731x146 + 861x147 + 388x148 + 35x149 + 321x150 + 641x151 + 587x152 + 356x153 + 58x154 + 32x155 + 399x156 + 980x157 + 76x158 + 477x159 + 648x160 + 971x161 + 957x162 + 542x163 + 86x164 + 375x165 + 177x166 + 543x167 + 433x168 + 584x169 + 457x170 + 278x171 + 345x172 + 691x173 + 545x174 + 765x175 + 638x176 + 594x177 + 71x178 + 949x179 + 991x180 + 848x181 + 913x182 + 848x183 + 749x184 + 191x185 + 925x186 + 229x187 + 967x188 + 204x189 + 736x190 + 638x191 + 949x192 + 567x193 + 666x194 + 651x195 + 711x196 + 606x197 + 791x198 + 638x199 + 254x200 + 281x201 + 901x202 + 358x203 + 600x204 + 918x205 + 915x206 + 303x207 + 646x208 + 164x209 + 102x210 + 863x211 + 312x212 + 762x213 + 611x214 + 480x215 + 821x216 + 455x217 + 971x218 + 322x219 + 269x220 + 193x221 + 952x222 + 80x223 + 481x224 + 312x225 + 114x226 + 144x227 + 544x228 + 226x229 + 247x230 + 982x231 + 314x232 + 344x233 + 484x234 + 656x235 + 222x236 + 421x237 + 487x238 + 937x239 + 358x240 + 44x241 + 975x242 + 473x243 + 615x244 + 640x245 + 177x246 + 705x247 + 980x248 + 771x249 + 635x250 <= 91449 
constr9: + 455x1 + 889x2 + 82x3 + 309x4 + 877x5 + 267x6 + 665x7 + 24x8 + 762x9 + 508x10 + 901x11 + 554x12 + 810x13 + 170x14 + 176x15 + 24x16 + 332x17 + 706x18 + 384x19 + 898x20 + 828x21 + 16x22 + 829x23 + 109x24 + 216x25 + 543x26 + 573x27 + 320x28 + 60x29 + 13x30 + 378x31 + 864x32 + 768x33 + 565x34 + 161x35 + 46x36 + 855x37 + 462x38 + 674x39 + 654x40 + 329x41 + 865x42 + 540x43 + 536x44 + 456x45 + 125x46 + 344x47 + 528x48 + 652x49 + 364x50 + 331x51 + 768x52 + 361x53 + 197x54 + 151x55 + 123x56 + 517x57 + 570x58 + 129x59 + 993x60 + 541x61 + 449x62 + 747x63 + 640x64 + 695x65 + 397x66 + 561x67 + 327x68 + 800x69 + 285x70 + 189x71 + 67x72 + 325x73 + 690x74 + 573x75 + 733x76 + 220x77 + 563x78 + 770x79 + 840x80 + 274x81 + 434x82 + 721x83 + 541x84 + 756x85 + 350x86 + 227x87 + 752x88 + 889x89 + 657x90 + 919x91 + 578x92 + 988x93 + 977x94 + 573x95 + 87x96 + 52x97 + 105x98 + 963x99 + 312x100 + 406x101 + 24x102 + 378x103 + 297x104 + 168x105 + 838x106 + 351x107 + 442x108 + 701x109 + 372x110 + 525x111 + 359x112 + 54x113 + 979x114 + 575x115 + 489x116 + 285x117 + 34x118 + 265x119 + 301x120 + 786x121 + 235x122 + 102x123 + 251x124 + 576x125 + 365x126 + 969x127 + 951x128 + 431x129 + 257x130 + 663x131 + 313x132 + 521x133 + 582x134 + 720x135 + 454x136 + 655x137 + 551x138 + 75x139 + 182x140 + 652x141 + 666x142 + 762x143 + 406x144 + 159x145 + 609x146 + 1000x147 + 734x148 + 603x149 + 499x150 + 320x151 + 226x152 + 585x153 + 122x154 + 455x155 + 499x156 + 866x157 + 228x158 + 431x159 + 589x160 + 111x161 + 804x162 + 108x163 + 257x164 + 379x165 + 16x166 + 616x167 + 339x168 + 205x169 + 451x170 + 97x171 + 250x172 + 977x173 + 867x174 + 16x175 + 381x176 + 446x177 + 850x178 + 250x179 + 242x180 + 752x181 + 71x182 + 601x183 + 599x184 + 509x185 + 212x186 + 370x187 + 268x188 + 570x189 + 335x190 + 766x191 + 980x192 + 989x193 + 851x194 + 363x195 + 225x196 + 58x197 + 230x198 + 314x199 + 63x200 + 617x201 + 11x202 + 617x203 + 399x204 + 892x205 + 784x206 + 209x207 + 835x208 + 619x209 + 615x210 + 663x211 + 902x212 + 154x213 + 231x214 + 932x215 + 876x216 + 936x217 + 90x218 + 391x219 + 811x220 + 247x221 + 302x222 + 8x223 + 715x224 + 577x225 + 582x226 + 572x227 + 145x228 + 23x229 + 744x230 + 446x231 + 660x232 + 306x233 + 855x234 + 219x235 + 690x236 + 300x237 + 377x238 + 875x239 + 938x240 + 230x241 + 664x242 + 260x243 + 450x244 + 546x245 + 842x246 + 753x247 + 360x248 + 88x249 + 651x250 <= 92909 
constr10: + 331x1 + 713x2 + 548x3 + 255x4 + 160x5 + 210x6 + 894x7 + 429x8 + 790x9 + 572x10 + 76x11 + 579x12 + 198x13 + 607x14 + 253x15 + 678x16 + 604x17 + 878x18 + 82x19 + 391x20 + 552x21 + 719x22 + 18x23 + 850x24 + 277x25 + 702x26 + 213x27 + 488x28 + 132x29 + 297x30 + 234x31 + 390x32 + 224x33 + 451x34 + 467x35 + 94x36 + 257x37 + 683x38 + 869x39 + 355x40 + 907x41 + 844x42 + 331x43 + 224x44 + 166x45 + 949x46 + 555x47 + 80x48 + 206x49 + 745x50 + 293x51 + 356x52 + 619x53 + 494x54 + 881x55 + 314x56 + 160x57 + 903x58 + 903x59 + 875x60 + 566x61 + 324x62 + 607x63 + 898x64 + 567x65 + 22x66 + 681x67 + 666x68 + 821x69 + 118x70 + 100x71 + 663x72 + 660x73 + 198x74 + 89x75 + 329x76 + 666x77 + 132x78 + 703x79 + 798x80 + 467x81 + 124x82 + 135x83 + 311x84 + 585x85 + 405x86 + 871x87 + 64x88 + 566x89 + 161x90 + 272x91 + 506x92 + 106x93 + 895x94 + 842x95 + 923x96 + 602x97 + 306x98 + 846x99 + 539x100 + 237x101 + 618x102 + 617x103 + 446x104 + 343x105 + 568x106 + 758x107 + 287x108 + 367x109 + 316x110 + 250x111 + 217x112 + 739x113 + 936x114 + 767x115 + 398x116 + 409x117 + 133x118 + 827x119 + 2x120 + 830x121 + 147x122 + 304x123 + 583x124 + 233x125 + 979x126 + 69x127 + 120x128 + 951x129 + 31x130 + 233x131 + 896x132 + 806x133 + 974x134 + 69x135 + 419x136 + 636x137 + 971x138 + 129x139 + 802x140 + 328x141 + 580x142 + 899x143 + 337x144 + 685x145 + 717x146 + 806x147 + 610x148 + 436x149 + 509x150 + 206x151 + 649x152 + 441x153 + 990x154 + 367x155 + 384x156 + 579x157 + 696x158 + 261x159 + 299x160 + 391x161 + 308x162 + 732x163 + 74x164 + 147x165 + 59x166 + 488x167 + 140x168 + 533x169 + 38x170 + 379x171 + 729x172 + 219x173 + 549x174 + 436x175 + 237x176 + 122x177 + 691x178 + 947x179 + 90x180 + 858x181 + 750x182 + 384x183 + 373x184 + 503x185 + 362x186 + 444x187 + 38x188 + 88x189 + 245x190 + 317x191 + 881x192 + 777x193 + 170x194 + 845x195 + 721x196 + 794x197 + 128x198 + 289x199 + 322x200 + 248x201 + 322x202 + 300x203 + 5x204 + 97x205 + 535x206 + 563x207 + 687x208 + 786x209 + 393x210 + 504x211 + 832x212 + 19x213 + 384x214 + 49x215 + 229x216 + 736x217 + 391x218 + 369x219 + 360x220 + 927x221 + 515x222 + 212x223 + 909x224 + 886x225 + 193x226 + 461x227 + 709x228 + 901x229 + 823x230 + 969x231 + 61x232 + 542x233 + 455x234 + 67x235 + 22x236 + 634x237 + 698x238 + 832x239 + 533x240 + 189x241 + 513x242 + 939x243 + 442x244 + 879x245 + 395x246 + 809x247 + 586x248 + 243x249 + 516x250 <= 94207 
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