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