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