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