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