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