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