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