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