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