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