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