\ Equation counts \ Total E G L N X C B \ 599 75 460 64 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 368 278 90 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 1561 1381 180 0 \ Minimize obj: 0 x1 + 0 x2 + 0 x3 + 0 x4 + 0 x5 + 0 x6 + 0 x7 + 0 x8 + 0 x9 + 0 x10 + 0 x11 + 0 x12 + 0 x13 + 0 x14 + 0 x15 + 0 x16 + 0 x17 + 0 x18 + 0 x19 + 0 x20 + 0 x21 + 0 x22 + 0 x23 + 0 x24 + 0 x25 + 0 x26 + 0 x27 + 0 x28 + 0 x29 + 0 x30 + 0 x31 + 0 x32 + 0 x33 + 0 x34 + 0 x35 + 0 x36 + 0 x37 + 0 x38 + 0 x39 + 0 x40 + 0 x41 + 0 x42 + 0 x43 + 0 x44 + 0 x45 + 0 x46 + 0 x47 + 0 x48 + 0 x49 + 0 x50 + 0 x51 + 0 x52 + 0 x53 + 0 x54 + 0 x55 + 0 x56 + 0 x57 + 0 x58 + 0 x59 + 0 x60 + 0 x61 + 0 x62 + 0 x63 + 0 x64 + 0 x65 + 0 x66 + 0 x67 + 0 x68 + 0 x69 + 0 x70 + 0 x71 + 0 x72 + 0 x73 + 0 x74 + 0 x75 + 0 b76 + 0 b77 + 0 b78 + 0 b79 + 0 b80 + 0 b81 + 0 b82 + 0 b83 + 0 b84 + 0 b85 + 0 b86 + 0 b87 + 0 b88 + 0 b89 + 0 b90 + 0 b91 + 0 b92 + 0 b93 + 0 b94 + 0 b95 + 0 b96 + 0 b97 + 0 b98 + 0 b99 + 0 b100 + 0 b101 + 0 b102 + 0 b103 + 0 b104 + 0 b105 + 0 b106 + 0 b107 + 0 b108 + 0 b109 + 0 b110 + 0 b111 + 0 b112 + 0 b113 + 0 b114 + 0 b115 + 0 b116 + 0 b117 + 0 b118 + 0 b119 + 0 b120 + 0 b121 + 0 b122 + 0 b123 + 0 b124 + 0 b125 + 0 b126 + 0 b127 + 0 b128 + 0 b129 + 0 b130 + 0 b131 + 0 b132 + 0 b133 + 0 b134 + 0 b135 + x136 + x137 + x138 + x139 + x140 + x141 + x142 + x143 + x144 + x145 + x146 + x147 + x148 + x149 + x150 + 0 x151 + 0 x152 + 0 x153 + 0 x154 + 0 x155 + 0 x156 + 0 x157 + 0 x158 + 0 x159 + 0 x160 + 0 x161 + 0 x162 + 0 x163 + 0 x164 + 0 x165 + 0 x166 + 0 x167 + 0 x168 + 0 x169 + 0 x170 + 0 x171 + 0 x172 + 0 x173 + 0 x174 + 0 x175 + 0 x176 + 0 x177 + 0 x178 + 0 x179 + 0 x180 + 0 x181 + 0 x182 + 0 x183 + 0 x184 + 0 x185 + 0 x186 + 0 x187 + 0 x188 + 0 x189 + 0 x190 + 0 x191 + 0 x192 + 0 x193 + 0 x194 + 0 x195 + 0 x196 + 0 x197 + 0 x198 + 0 x199 + 0 x200 + 0 x201 + 0 x202 + 0 x203 + 0 x204 + 0 x205 + 0 x206 + 0 x207 + 0 x208 + 0 x209 + 0 x210 + 0 x211 + 0 x212 + 0 x213 + 0 x214 + 0 x215 + 0 x216 + 0 x217 + 0 x218 + 0 x219 + 0 x220 + 0 x221 + 0 x222 + 0 x223 + 0 x224 + 0 x225 + 0 x226 + 0 x227 + 0 x228 + 0 x229 + 0 x230 + 0 x231 + 0 x232 + 0 x233 + 0 x234 + 0 x235 + 0 x236 + 0 x237 + 0 x238 + 0 x239 + 0 x240 + 0 x241 + 0 x242 + 0 x243 + 0 x244 + 0 x245 + 0 x246 + 0 x247 + 0 x248 + 0 x249 + 0 x250 + 0 x251 + 0 x252 + 0 x253 + 0 x254 + 0 x255 + 0 x256 + 0 x257 + 0 x258 + 0 x259 + 0 x260 + 0 x261 + 0 x262 + 0 x263 + 0 x264 + 0 x265 + 0 x266 + 0 x267 + 0 x268 + 0 x269 + 0 x270 + 0 x271 + 0 x272 + 0 x273 + 0 x274 + 0 x275 + 0 x276 + 0 x277 + 0 x278 + 0 x279 + 0 x280 + 0 x281 + 0 x282 + 0 x283 + 0 x284 + 0 x285 + 0 x286 + 0 x287 + 0 x288 + 0 x289 + 0 x290 + 0 x291 + 0 x292 + 0 x293 + 0 x294 + 0 x295 + 0 x296 + 0 x297 + 0 x298 + 0 x299 + 0 x300 + 0 x301 + 0 x302 + 0 x303 + 0 x304 + 0 x305 + 0 x306 + 0 x307 + 0 x308 + 0 x309 + 0 x310 + 0 x311 + 0 x312 + 0 x313 + 0 x314 + 0 x315 + 0 x316 + 0 x317 + 0 x318 + 0 x319 + 0 x320 + 0 x321 + 0 x322 + 0 x323 + 0 x324 + 0 x325 + 0 x326 + 0 x327 + 0 x328 + 0 x329 + 0 x330 + 0 x331 + 0 x332 + 0 x333 + 0 x334 + 0 x335 + 0 x336 + 0 x337 + 0 x338 + 0 b339 + 0 b340 + 0 b341 + 0 b342 + 0 b343 + 0 b344 + 0 b345 + 0 b346 + 0 b347 + 0 b348 + 0 b349 + 0 b350 + 0 b351 + 0 b352 + 0 b353 + 0 b354 + 0 b355 + 0 b356 + 0 b357 + 0 b358 + 0 b359 + 0 b360 + 0 b361 + 0 b362 + 0 b363 + 0 b364 + 0 b365 + 0 b366 + 0 b367 + 0 b368 Subject To e2: x279 - x1 x61 b76 >= 0 e3: x280 - x2 x61 b77 >= 0 e4: x281 - x3 x61 b78 >= 0 e5: x282 - x4 x61 b79 >= 0 e6: x283 - x5 x62 b80 >= 0 e7: x284 - x6 x62 b81 >= 0 e8: x285 - x7 x62 b82 >= 0 e9: x286 - x8 x62 b83 >= 0 e10: x287 - x9 x63 b84 >= 0 e11: x288 - x10 x63 b85 >= 0 e12: x289 - x11 x63 b86 >= 0 e13: x290 - x12 x63 b87 >= 0 e14: x291 - x13 x64 b88 >= 0 e15: x292 - x14 x64 b89 >= 0 e16: x293 - x15 x64 b90 >= 0 e17: x294 - x16 x64 b91 >= 0 e18: x295 - x17 x65 b92 >= 0 e19: x296 - x18 x65 b93 >= 0 e20: x297 - x19 x65 b94 >= 0 e21: x298 - x20 x65 b95 >= 0 e22: x299 - x21 x66 b96 >= 0 e23: x300 - x22 x66 b97 >= 0 e24: x301 - x23 x66 b98 >= 0 e25: x302 - x24 x66 b99 >= 0 e26: x303 - x25 x67 b100 >= 0 e27: x304 - x26 x67 b101 >= 0 e28: x305 - x27 x67 b102 >= 0 e29: x306 - x28 x67 b103 >= 0 e30: x307 - x29 x68 b104 >= 0 e31: x308 - x30 x68 b105 >= 0 e32: x309 - x31 x68 b106 >= 0 e33: x310 - x32 x68 b107 >= 0 e34: x311 - x33 x69 b108 >= 0 e35: x312 - x34 x69 b109 >= 0 e36: x313 - x35 x69 b110 >= 0 e37: x314 - x36 x69 b111 >= 0 e38: x315 - x37 x70 b112 >= 0 e39: x316 - x38 x70 b113 >= 0 e40: x317 - x39 x70 b114 >= 0 e41: x318 - x40 x70 b115 >= 0 e42: x319 - x41 x71 b116 >= 0 e43: x320 - x42 x71 b117 >= 0 e44: x321 - x43 x71 b118 >= 0 e45: x322 - x44 x71 b119 >= 0 e46: x323 - x45 x72 b120 >= 0 e47: x324 - x46 x72 b121 >= 0 e48: x325 - x47 x72 b122 >= 0 e49: x326 - x48 x72 b123 >= 0 e50: x327 - x49 x73 b124 >= 0 e51: x328 - x50 x73 b125 >= 0 e52: x329 - x51 x73 b126 >= 0 e53: x330 - x52 x73 b127 >= 0 e54: x331 - x53 x74 b128 >= 0 e55: x332 - x54 x74 b129 >= 0 e56: x333 - x55 x74 b130 >= 0 e57: x334 - x56 x74 b131 >= 0 e58: x335 - x57 x75 b132 >= 0 e59: x336 - x58 x75 b133 >= 0 e60: x337 - x59 x75 b134 >= 0 e61: x338 - x60 x75 b135 >= 0 e62: b76 + b77 + b78 + b79 = 1 e63: b80 + b81 + b82 + b83 = 1 e64: b84 + b85 + b86 + b87 = 1 e65: b88 + b89 + b90 + b91 = 1 e66: b92 + b93 + b94 + b95 = 1 e67: b96 + b97 + b98 + b99 = 1 e68: b100 + b101 + b102 + b103 = 1 e69: b104 + b105 + b106 + b107 = 1 e70: b108 + b109 + b110 + b111 = 1 e71: b112 + b113 + b114 + b115 = 1 e72: b116 + b117 + b118 + b119 = 1 e73: b120 + b121 + b122 + b123 = 1 e74: b124 + b125 + b126 + b127 = 1 e75: b128 + b129 + b130 + b131 = 1 e76: b132 + b133 + b134 + b135 = 1 e77: 2.02 b76 + 4.01333333333333 b80 + 4.76 b84 + 5.96 b88 + 42.0933333333333 b92 + 99.28 b96 + 6.59333333333333 b100 + 61.8666666666667 b104 + 56.2866666666667 b108 + 41.5 b112 + 62.4933333333333 b116 + 80.9066666666667 b120 + 26.1466666666667 b124 + 38 b128 + 62.24 b132 <= 153.54 e78: 2.02 b77 + 4.01333333333333 b81 + 4.76 b85 + 5.96 b89 + 42.0933333333333 b93 + 99.28 b97 + 6.59333333333333 b101 + 61.8666666666667 b105 + 56.2866666666667 b109 + 41.5 b113 + 62.4933333333333 b117 + 80.9066666666667 b121 + 26.1466666666667 b125 + 38 b129 + 62.24 b133 <= 153.54 e79: 2.02 b78 + 4.01333333333333 b82 + 4.76 b86 + 5.96 b90 + 42.0933333333333 b94 + 99.28 b98 + 6.59333333333333 b102 + 61.8666666666667 b106 + 56.2866666666667 b110 + 41.5 b114 + 62.4933333333333 b118 + 80.9066666666667 b122 + 26.1466666666667 b126 + 38 b130 + 62.24 b134 <= 153.54 e80: 2.02 b79 + 4.01333333333333 b83 + 4.76 b87 + 5.96 b91 + 42.0933333333333 b95 + 99.28 b99 + 6.59333333333333 b103 + 61.8666666666667 b107 + 56.2866666666667 b111 + 41.5 b115 + 62.4933333333333 b119 + 80.9066666666667 b123 + 26.1466666666667 b127 + 38 b131 + 62.24 b135 <= 153.54 e81: x151 + x159 >= .29424122 e82: x152 + x160 >= .29424122 e83: x153 + x161 >= .29424122 e84: x154 + x162 >= .29424122 e85: x151 + x163 >= .29760193 e86: x152 + x164 >= .29760193 e87: x153 + x165 >= .29760193 e88: x154 + x166 >= .29760193 e89: x151 + x167 >= .35149534 e90: x152 + x168 >= .35149534 e91: x153 + x169 >= .35149534 e92: x154 + x170 >= .35149534 e93: x151 + x171 >= .30458283 e94: x152 + x172 >= .30458283 e95: x153 + x173 >= .30458283 e96: x154 + x174 >= .30458283 e97: x151 + x175 >= .29951066 e98: x152 + x176 >= .29951066 e99: x153 + x177 >= .29951066 e100: x154 + x178 >= .29951066 e101: x151 + x179 >= .30694357 e102: x152 + x180 >= .30694357 e103: x153 + x181 >= .30694357 e104: x154 + x182 >= .30694357 e105: x151 + x183 >= .33520661 e106: x152 + x184 >= .33520661 e107: x153 + x185 >= .33520661 e108: x154 + x186 >= .33520661 e109: x151 + x187 >= .3400071 e110: x152 + x188 >= .3400071 e111: x153 + x189 >= .3400071 e112: x154 + x190 >= .3400071 e113: x151 + x191 >= .35227087 e114: x152 + x192 >= .35227087 e115: x153 + x193 >= .35227087 e116: x154 + x194 >= .35227087 e117: x151 + x195 >= .34225726 e118: x152 + x196 >= .34225726 e119: x153 + x197 >= .34225726 e120: x154 + x198 >= .34225726 e121: x151 + x199 >= .32776566 e122: x152 + x200 >= .32776566 e123: x153 + x201 >= .32776566 e124: x154 + x202 >= .32776566 e125: x151 + x203 >= .30438256 e126: x152 + x204 >= .30438256 e127: x153 + x205 >= .30438256 e128: x154 + x206 >= .30438256 e129: x151 + x207 >= .28538336 e130: x152 + x208 >= .28538336 e131: x153 + x209 >= .28538336 e132: x154 + x210 >= .28538336 e133: x151 + x211 >= .27950575 e134: x152 + x212 >= .27950575 e135: x153 + x213 >= .27950575 e136: x154 + x214 >= .27950575 e137: - x151 + x159 >= -.29424122 e138: - x152 + x160 >= -.29424122 e139: - x153 + x161 >= -.29424122 e140: - x154 + x162 >= -.29424122 e141: - x151 + x163 >= -.29760193 e142: - x152 + x164 >= -.29760193 e143: - x153 + x165 >= -.29760193 e144: - x154 + x166 >= -.29760193 e145: - x151 + x167 >= -.35149534 e146: - x152 + x168 >= -.35149534 e147: - x153 + x169 >= -.35149534 e148: - x154 + x170 >= -.35149534 e149: - x151 + x171 >= -.30458283 e150: - x152 + x172 >= -.30458283 e151: - x153 + x173 >= -.30458283 e152: - x154 + x174 >= -.30458283 e153: - x151 + x175 >= -.29951066 e154: - x152 + x176 >= -.29951066 e155: - x153 + x177 >= -.29951066 e156: - x154 + x178 >= -.29951066 e157: - x151 + x179 >= -.30694357 e158: - x152 + x180 >= -.30694357 e159: - x153 + x181 >= -.30694357 e160: - x154 + x182 >= -.30694357 e161: - x151 + x183 >= -.33520661 e162: - x152 + x184 >= -.33520661 e163: - x153 + x185 >= -.33520661 e164: - x154 + x186 >= -.33520661 e165: - x151 + x187 >= -.3400071 e166: - x152 + x188 >= -.3400071 e167: - x153 + x189 >= -.3400071 e168: - x154 + x190 >= -.3400071 e169: - x151 + x195 >= -.34225726 e170: - x152 + x196 >= -.34225726 e171: - x153 + x197 >= -.34225726 e172: - x154 + x198 >= -.34225726 e173: - x151 + x199 >= -.32776566 e174: - x152 + x200 >= -.32776566 e175: - x153 + x201 >= -.32776566 e176: - x154 + x202 >= -.32776566 e177: - x151 + x203 >= -.30438256 e178: - x152 + x204 >= -.30438256 e179: - x153 + x205 >= -.30438256 e180: - x154 + x206 >= -.30438256 e181: - x151 + x207 >= -.28538336 e182: - x152 + x208 >= -.28538336 e183: - x153 + x209 >= -.28538336 e184: - x154 + x210 >= -.28538336 e185: - x151 + x211 >= -.27950575 e186: - x152 + x212 >= -.27950575 e187: - x153 + x213 >= -.27950575 e188: - x154 + x214 >= -.27950575 e189: - x151 + x215 >= -.25788969 e190: - x152 + x216 >= -.25788969 e191: - x153 + x217 >= -.25788969 e192: - x154 + x218 >= -.25788969 e193: x155 + x223 >= -.9536939 e194: x156 + x224 >= -.9536939 e195: x157 + x225 >= -.9536939 e196: x158 + x226 >= -.9536939 e197: x155 + x227 >= -.9004898 e198: x156 + x228 >= -.9004898 e199: x157 + x229 >= -.9004898 e200: x158 + x230 >= -.9004898 e201: x155 + x231 >= -.9114032 e202: x156 + x232 >= -.9114032 e203: x157 + x233 >= -.9114032 e204: x158 + x234 >= -.9114032 e205: x155 + x235 >= -.90071532 e206: x156 + x236 >= -.90071532 e207: x157 + x237 >= -.90071532 e208: x158 + x238 >= -.90071532 e209: x155 + x239 >= -.88043054 e210: x156 + x240 >= -.88043054 e211: x157 + x241 >= -.88043054 e212: x158 + x242 >= -.88043054 e213: x155 + x243 >= -.8680249 e214: x156 + x244 >= -.8680249 e215: x157 + x245 >= -.8680249 e216: x158 + x246 >= -.8680249 e217: x155 + x247 >= -.81034814 e218: x156 + x248 >= -.81034814 e219: x157 + x249 >= -.81034814 e220: x158 + x250 >= -.81034814 e221: x155 + x251 >= -.80843127 e222: x156 + x252 >= -.80843127 e223: x157 + x253 >= -.80843127 e224: x158 + x254 >= -.80843127 e225: x155 + x255 >= -.7794471 e226: x156 + x256 >= -.7794471 e227: x157 + x257 >= -.7794471 e228: x158 + x258 >= -.7794471 e229: x155 + x259 >= -.79930922 e230: x156 + x260 >= -.79930922 e231: x157 + x261 >= -.79930922 e232: x158 + x262 >= -.79930922 e233: x155 + x263 >= -.84280733 e234: x156 + x264 >= -.84280733 e235: x157 + x265 >= -.84280733 e236: x158 + x266 >= -.84280733 e237: x155 + x267 >= -.81379236 e238: x156 + x268 >= -.81379236 e239: x157 + x269 >= -.81379236 e240: x158 + x270 >= -.81379236 e241: x155 + x271 >= -.82457178 e242: x156 + x272 >= -.82457178 e243: x157 + x273 >= -.82457178 e244: x158 + x274 >= -.82457178 e245: x155 + x275 >= -.80226439 e246: x156 + x276 >= -.80226439 e247: x157 + x277 >= -.80226439 e248: x158 + x278 >= -.80226439 e249: - x155 + x219 >= .98493628 e250: - x156 + x220 >= .98493628 e251: - x157 + x221 >= .98493628 e252: - x158 + x222 >= .98493628 e253: - x155 + x223 >= .9536939 e254: - x156 + x224 >= .9536939 e255: - x157 + x225 >= .9536939 e256: - x158 + x226 >= .9536939 e257: - x155 + x227 >= .9004898 e258: - x156 + x228 >= .9004898 e259: - x157 + x229 >= .9004898 e260: - x158 + x230 >= .9004898 e261: - x155 + x231 >= .9114032 e262: - x156 + x232 >= .9114032 e263: - x157 + x233 >= .9114032 e264: - x158 + x234 >= .9114032 e265: - x155 + x235 >= .90071532 e266: - x156 + x236 >= .90071532 e267: - x157 + x237 >= .90071532 e268: - x158 + x238 >= .90071532 e269: - x155 + x239 >= .88043054 e270: - x156 + x240 >= .88043054 e271: - x157 + x241 >= .88043054 e272: - x158 + x242 >= .88043054 e273: - x155 + x243 >= .8680249 e274: - x156 + x244 >= .8680249 e275: - x157 + x245 >= .8680249 e276: - x158 + x246 >= .8680249 e277: - x155 + x247 >= .81034814 e278: - x156 + x248 >= .81034814 e279: - x157 + x249 >= .81034814 e280: - x158 + x250 >= .81034814 e281: - x155 + x251 >= .80843127 e282: - x156 + x252 >= .80843127 e283: - x157 + x253 >= .80843127 e284: - x158 + x254 >= .80843127 e285: - x155 + x259 >= .79930922 e286: - x156 + x260 >= .79930922 e287: - x157 + x261 >= .79930922 e288: - x158 + x262 >= .79930922 e289: - x155 + x263 >= .84280733 e290: - x156 + x264 >= .84280733 e291: - x157 + x265 >= .84280733 e292: - x158 + x266 >= .84280733 e293: - x155 + x267 >= .81379236 e294: - x156 + x268 >= .81379236 e295: - x157 + x269 >= .81379236 e296: - x158 + x270 >= .81379236 e297: - x155 + x271 >= .82457178 e298: - x156 + x272 >= .82457178 e299: - x157 + x273 >= .82457178 e300: - x158 + x274 >= .82457178 e301: - x155 + x275 >= .80226439 e302: - x156 + x276 >= .80226439 e303: - x157 + x277 >= .80226439 e304: - x158 + x278 >= .80226439 e305: x1 - x159 - x219 = 0 e306: x2 - x160 - x220 = 0 e307: x3 - x161 - x221 = 0 e308: x4 - x162 - x222 = 0 e309: x5 - x163 - x223 = 0 e310: x6 - x164 - x224 = 0 e311: x7 - x165 - x225 = 0 e312: x8 - x166 - x226 = 0 e313: x9 - x167 - x227 = 0 e314: x10 - x168 - x228 = 0 e315: x11 - x169 - x229 = 0 e316: x12 - x170 - x230 = 0 e317: x13 - x171 - x231 = 0 e318: x14 - x172 - x232 = 0 e319: x15 - x173 - x233 = 0 e320: x16 - x174 - x234 = 0 e321: x17 - x175 - x235 = 0 e322: x18 - x176 - x236 = 0 e323: x19 - x177 - x237 = 0 e324: x20 - x178 - x238 = 0 e325: x21 - x179 - x239 = 0 e326: x22 - x180 - x240 = 0 e327: x23 - x181 - x241 = 0 e328: x24 - x182 - x242 = 0 e329: x25 - x183 - x243 = 0 e330: x26 - x184 - x244 = 0 e331: x27 - x185 - x245 = 0 e332: x28 - x186 - x246 = 0 e333: x29 - x187 - x247 = 0 e334: x30 - x188 - x248 = 0 e335: x31 - x189 - x249 = 0 e336: x32 - x190 - x250 = 0 e337: x33 - x191 - x251 = 0 e338: x34 - x192 - x252 = 0 e339: x35 - x193 - x253 = 0 e340: x36 - x194 - x254 = 0 e341: x37 - x195 - x255 = 0 e342: x38 - x196 - x256 = 0 e343: x39 - x197 - x257 = 0 e344: x40 - x198 - x258 = 0 e345: x41 - x199 - x259 = 0 e346: x42 - x200 - x260 = 0 e347: x43 - x201 - x261 = 0 e348: x44 - x202 - x262 = 0 e349: x45 - x203 - x263 = 0 e350: x46 - x204 - x264 = 0 e351: x47 - x205 - x265 = 0 e352: x48 - x206 - x266 = 0 e353: x49 - x207 - x267 = 0 e354: x50 - x208 - x268 = 0 e355: x51 - x209 - x269 = 0 e356: x52 - x210 - x270 = 0 e357: x53 - x211 - x271 = 0 e358: x54 - x212 - x272 = 0 e359: x55 - x213 - x273 = 0 e360: x56 - x214 - x274 = 0 e361: x57 - x215 - x275 = 0 e362: x58 - x216 - x276 = 0 e363: x59 - x217 - x277 = 0 e364: x60 - x218 - x278 = 0 e365: b346 + b347 >= 1 e366: b344 + b349 >= 1 e367: b343 + b347 >= 1 e368: b343 + b346 + b348 >= 1 e369: b343 + b345 + b349 >= 1 e370: b343 + b344 >= 1 e371: b342 + b349 >= 1 e372: b342 + b346 >= 1 e373: b341 + b348 >= 1 e374: b341 + b346 + b349 >= 1 e375: b341 + b345 >= 1 e376: b341 + b343 + b349 >= 1 e377: b341 + b343 + b346 >= 1 e378: b341 + b342 >= 1 e379: b340 + b348 >= 1 e380: b340 + b346 + b349 >= 1 e381: b340 + b345 >= 1 e382: b340 + b343 >= 1 e383: b340 + b341 >= 1 e384: b339 + b348 >= 1 e385: b339 + b346 + b349 >= 1 e386: b339 + b345 >= 1 e387: b339 + b343 + b349 >= 1 e388: b339 + b343 + b346 >= 1 e389: b339 + b342 >= 1 e390: b339 + b341 >= 1 e391: b339 + b340 >= 1 e392: b349 + b354 >= 1 e393: b349 + b353 + b355 >= 1 e394: b349 + b352 + b356 >= 1 e395: b349 + b351 >= 1 e396: b349 + b350 + b356 >= 1 e397: b349 + b350 + b353 >= 1 e398: b348 + b355 >= 1 e399: b348 + b353 + b356 >= 1 e400: b348 + b352 >= 1 e401: b348 + b350 >= 1 e402: b347 + b356 >= 1 e403: b347 + b353 >= 1 e404: b347 + b350 >= 1 e405: b346 + b354 >= 1 e406: b346 + b353 + b355 >= 1 e407: b346 + b352 + b356 >= 1 e408: b346 + b351 >= 1 e409: b346 + b350 + b356 >= 1 e410: b346 + b350 + b353 >= 1 e411: b346 + b349 + b355 >= 1 e412: b346 + b349 + b353 + b356 >= 1 e413: b346 + b349 + b352 >= 1 e414: b346 + b349 + b350 >= 1 e415: b346 + b348 + b356 >= 1 e416: b346 + b348 + b353 >= 1 e417: b346 + b348 + b350 >= 1 e418: b345 + b355 >= 1 e419: b345 + b353 + b356 >= 1 e420: b345 + b352 >= 1 e421: b345 + b350 >= 1 e422: b345 + b349 + b356 >= 1 e423: b345 + b349 + b353 >= 1 e424: b345 + b349 + b350 >= 1 e425: b345 + b348 + b356 >= 1 e426: b345 + b348 + b353 >= 1 e427: b345 + b348 + b350 >= 1 e428: b344 + b356 >= 1 e429: b344 + b353 >= 1 e430: b344 + b350 >= 1 e431: b343 + b354 >= 1 e432: b343 + b353 + b355 >= 1 e433: b343 + b352 + b356 >= 1 e434: b343 + b351 >= 1 e435: b343 + b350 + b356 >= 1 e436: b343 + b350 + b353 >= 1 e437: b343 + b349 + b355 >= 1 e438: b343 + b349 + b353 + b356 >= 1 e439: b343 + b349 + b352 >= 1 e440: b343 + b349 + b350 >= 1 e441: b343 + b348 + b356 >= 1 e442: b343 + b348 + b353 >= 1 e443: b343 + b348 + b350 >= 1 e444: b343 + b346 + b355 >= 1 e445: b343 + b346 + b353 + b356 >= 1 e446: b343 + b346 + b352 >= 1 e447: b343 + b346 + b350 >= 1 e448: b343 + b346 + b349 + b356 >= 1 e449: b343 + b346 + b349 + b353 >= 1 e450: b343 + b346 + b349 + b350 >= 1 e451: b343 + b345 + b356 >= 1 e452: b343 + b345 + b353 >= 1 e453: b343 + b345 + b350 >= 1 e454: b342 + b356 >= 1 e455: b342 + b353 >= 1 e456: b342 + b350 >= 1 e457: b341 + b355 >= 1 e458: b341 + b353 + b356 >= 1 e459: b341 + b352 >= 1 e460: b341 + b350 >= 1 e461: b341 + b349 + b356 >= 1 e462: b341 + b349 + b353 >= 1 e463: b341 + b349 + b350 >= 1 e464: b341 + b346 + b356 >= 1 e465: b341 + b346 + b353 >= 1 e466: b341 + b346 + b350 >= 1 e467: b341 + b343 + b356 >= 1 e468: b341 + b343 + b353 >= 1 e469: b341 + b343 + b350 >= 1 e470: b340 + b355 >= 1 e471: b340 + b353 + b356 >= 1 e472: b340 + b352 >= 1 e473: b340 + b350 >= 1 e474: b340 + b349 + b356 >= 1 e475: b340 + b349 + b353 >= 1 e476: b340 + b349 + b350 >= 1 e477: b340 + b346 + b356 >= 1 e478: b340 + b346 + b353 >= 1 e479: b340 + b346 + b350 >= 1 e480: b339 + b355 >= 1 e481: b339 + b353 + b356 >= 1 e482: b339 + b352 >= 1 e483: b339 + b350 >= 1 e484: b339 + b349 + b356 >= 1 e485: b339 + b349 + b353 >= 1 e486: b339 + b349 + b350 >= 1 e487: b339 + b346 + b356 >= 1 e488: b339 + b346 + b353 >= 1 e489: b339 + b346 + b350 >= 1 e490: b339 + b343 + b356 >= 1 e491: b339 + b343 + b353 >= 1 e492: b339 + b343 + b350 >= 1 e493: x61 - 2.02 b339 >= 0 e494: x62 - 4.01333333333333 b340 >= 0 e495: x63 - 4.76 b341 >= 0 e496: x64 - 5.68 b342 >= 0 e497: x64 - 5.96 b343 >= 0 e498: x65 - 38.2666666666667 b344 >= 0 e499: x65 - 40.18 b345 >= 0 e500: x65 - 42.0933333333333 b346 >= 0 e501: x66 - 90.2533333333333 b347 >= 0 e502: x66 - 94.7666666666667 b348 >= 0 e503: x66 - 99.28 b349 >= 0 e504: x67 - 6.59333333333333 b350 >= 0 e505: x68 - 56.24 b351 >= 0 e506: x68 - 59.0533333333333 b352 >= 0 e507: x68 - 61.8666666666667 b353 >= 0 e508: x69 - 51.1733333333333 b354 >= 0 e509: x69 - 53.7333333333333 b355 >= 0 e510: x69 - 56.2866666666667 b356 >= 0 e511: x70 - 35.84 b357 >= 0 e512: x70 - 37.7266666666667 b358 >= 0 e513: x70 - 39.6133333333333 b359 >= 0 e514: x70 - 41.5 b360 >= 0 e515: x71 - 56.8066666666667 b361 >= 0 e516: x71 - 59.6466666666667 b362 >= 0 e517: x71 - 62.4933333333333 b363 >= 0 e518: x72 - 80.9066666666667 b364 >= 0 e519: x73 - 26.1466666666667 b365 >= 0 e520: x74 - 38 b366 >= 0 e521: x75 - 59.2733333333333 b367 >= 0 e522: x75 - 62.24 b368 >= 0 e523: - x136 + x279 <= 0 e524: - x136 + x280 <= 0 e525: - x136 + x281 <= 0 e526: - x136 + x282 <= 0 e527: - x137 + x283 <= 0 e528: - x137 + x284 <= 0 e529: - x137 + x285 <= 0 e530: - x137 + x286 <= 0 e531: - x138 + x287 <= 0 e532: - x138 + x288 <= 0 e533: - x138 + x289 <= 0 e534: - x138 + x290 <= 0 e535: - x139 + x291 <= 0 e536: - x139 + x292 <= 0 e537: - x139 + x293 <= 0 e538: - x139 + x294 <= 0 e539: - x140 + x295 <= 0 e540: - x140 + x296 <= 0 e541: - x140 + x297 <= 0 e542: - x140 + x298 <= 0 e543: - x141 + x299 <= 0 e544: - x141 + x300 <= 0 e545: - x141 + x301 <= 0 e546: - x141 + x302 <= 0 e547: - x142 + x303 <= 0 e548: - x142 + x304 <= 0 e549: - x142 + x305 <= 0 e550: - x142 + x306 <= 0 e551: - x143 + x307 <= 0 e552: - x143 + x308 <= 0 e553: - x143 + x309 <= 0 e554: - x143 + x310 <= 0 e555: - x144 + x311 <= 0 e556: - x144 + x312 <= 0 e557: - x144 + x313 <= 0 e558: - x144 + x314 <= 0 e559: - x145 + x315 <= 0 e560: - x145 + x316 <= 0 e561: - x145 + x317 <= 0 e562: - x145 + x318 <= 0 e563: - x146 + x319 <= 0 e564: - x146 + x320 <= 0 e565: - x146 + x321 <= 0 e566: - x146 + x322 <= 0 e567: - x147 + x323 <= 0 e568: - x147 + x324 <= 0 e569: - x147 + x325 <= 0 e570: - x147 + x326 <= 0 e571: - x148 + x327 <= 0 e572: - x148 + x328 <= 0 e573: - x148 + x329 <= 0 e574: - x148 + x330 <= 0 e575: - x149 + x331 <= 0 e576: - x149 + x332 <= 0 e577: - x149 + x333 <= 0 e578: - x149 + x334 <= 0 e579: - x150 + x335 <= 0 e580: - x150 + x336 <= 0 e581: - x150 + x337 <= 0 e582: - x150 + x338 <= 0 e583: b342 - b343 >= 0 e584: b344 - b345 >= 0 e585: b345 - b346 >= 0 e586: b347 - b348 >= 0 e587: b348 - b349 >= 0 e588: b351 - b352 >= 0 e589: b352 - b353 >= 0 e590: b354 - b355 >= 0 e591: b355 - b356 >= 0 e592: b357 - b358 >= 0 e593: b358 - b359 >= 0 e594: b359 - b360 >= 0 e595: b361 - b362 >= 0 e596: b362 - b363 >= 0 e597: b367 - b368 >= 0 e598: x155 - x156 >= 0 e599: x156 - x157 >= 0 e600: x157 - x158 >= 0 Bounds x1 <= .26351883 x2 <= .26351883 x3 <= .26351883 x4 <= .26351883 x5 <= .22891574 x6 <= .22891574 x7 <= .22891574 x8 <= .22891574 x9 <= .21464835 x10 <= .21464835 x11 <= .21464835 x12 <= .21464835 x13 <= .17964414 x14 <= .17964414 x15 <= .17964414 x16 <= .17964414 x17 <= .17402843 x18 <= .17402843 x19 <= .17402843 x20 <= .17402843 x21 <= .15355962 x22 <= .15355962 x23 <= .15355962 x24 <= .15355962 x25 <= .1942283 x26 <= .1942283 x27 <= .1942283 x28 <= .1942283 x29 <= .25670555 x30 <= .25670555 x31 <= .25670555 x32 <= .25670555 x33 <= .27088619 x34 <= .27088619 x35 <= .27088619 x36 <= .27088619 x37 <= .28985675 x38 <= .28985675 x39 <= .28985675 x40 <= .28985675 x41 <= .25550303 x42 <= .25550303 x43 <= .25550303 x44 <= .25550303 x45 <= .19001726 x46 <= .19001726 x47 <= .19001726 x48 <= .19001726 x49 <= .23803143 x50 <= .23803143 x51 <= .23803143 x52 <= .23803143 x53 <= .23312962 x54 <= .23312962 x55 <= .23312962 x56 <= .23312962 x57 <= .27705307 x58 <= .27705307 x59 <= .27705307 x60 <= .27705307 1.92 <= x61 <= 2.02 3.82 <= x62 <= 4.01333333333333 4.53333333333333 <= x63 <= 4.76 5.39333333333333 <= x64 <= 5.96 36.3533333333333 <= x65 <= 42.0933333333333 85.7466666666667 <= x66 <= 99.28 6.28 <= x67 <= 6.59333333333333 53.4333333333333 <= x68 <= 61.8666666666667 48.6133333333333 <= x69 <= 56.2866666666667 33.9533333333333 <= x70 <= 41.5 53.9666666666667 <= x71 <= 62.4933333333333 77.0533333333333 <= x72 <= 80.9066666666667 24.9066666666667 <= x73 <= 26.1466666666667 36.1866666666667 <= x74 <= 38 56.3133333333333 <= x75 <= 62.24 x136 <= .5323080366 x137 <= .918715169866666 x138 <= 1.021726146 x139 <= 1.0706790744 x140 <= 7.32543671346667 x141 <= 15.2453990736 x142 <= 1.28061192466667 x143 <= 15.8815166933333 x144 <= 15.2472806811333 x145 <= 12.029055125 x146 <= 15.9672360214667 x147 <= 15.3736631157333 x148 <= 6.2237284564 x149 <= 8.85892556 x150 <= 17.2437830768 .25788969 <= x151 <= .35227087 .25788969 <= x152 <= .35227087 .25788969 <= x153 <= .35227087 .25788969 <= x154 <= .35227087 -.98493628 <= x155 <= -.7794471 -.98493628 <= x156 <= -.7794471 -.98493628 <= x157 <= -.7794471 -.98493628 <= x158 <= -.7794471 x159 <= 5.80296499999999e-2 x160 <= 5.80296499999999e-2 x161 <= 5.80296499999999e-2 x162 <= 5.80296499999999e-2 x163 <= 5.46689399999999e-2 x164 <= 5.46689399999999e-2 x165 <= 5.46689399999999e-2 x166 <= 5.46689399999999e-2 x167 <= 9.360565e-2 x168 <= 9.360565e-2 x169 <= 9.360565e-2 x170 <= 9.360565e-2 x171 <= 4.76880399999999e-2 x172 <= 4.76880399999999e-2 x173 <= 4.76880399999999e-2 x174 <= 4.76880399999999e-2 x175 <= 5.276021e-2 x176 <= 5.276021e-2 x177 <= 5.276021e-2 x178 <= 5.276021e-2 x179 <= 4.905388e-2 x180 <= 4.905388e-2 x181 <= 4.905388e-2 x182 <= 4.905388e-2 x183 <= 7.731692e-2 x184 <= 7.731692e-2 x185 <= 7.731692e-2 x186 <= 7.731692e-2 x187 <= 8.211741e-2 x188 <= 8.211741e-2 x189 <= 8.211741e-2 x190 <= 8.211741e-2 x191 <= 9.438118e-2 x192 <= 9.438118e-2 x193 <= 9.438118e-2 x194 <= 9.438118e-2 x195 <= 8.436757e-2 x196 <= 8.436757e-2 x197 <= 8.436757e-2 x198 <= 8.436757e-2 x199 <= 6.987597e-2 x200 <= 6.987597e-2 x201 <= 6.987597e-2 x202 <= 6.987597e-2 x203 <= 4.788831e-2 x204 <= 4.788831e-2 x205 <= 4.788831e-2 x206 <= 4.788831e-2 x207 <= 6.68875099999999e-2 x208 <= 6.68875099999999e-2 x209 <= 6.68875099999999e-2 x210 <= 6.68875099999999e-2 x211 <= 7.276512e-2 x212 <= 7.276512e-2 x213 <= 7.276512e-2 x214 <= 7.276512e-2 x215 <= 9.438118e-2 x216 <= 9.438118e-2 x217 <= 9.438118e-2 x218 <= 9.438118e-2 x219 <= .20548918 x220 <= .20548918 x221 <= .20548918 x222 <= .20548918 x223 <= .1742468 x224 <= .1742468 x225 <= .1742468 x226 <= .1742468 x227 <= .1210427 x228 <= .1210427 x229 <= .1210427 x230 <= .1210427 x231 <= .1319561 x232 <= .1319561 x233 <= .1319561 x234 <= .1319561 x235 <= .12126822 x236 <= .12126822 x237 <= .12126822 x238 <= .12126822 x239 <= .10450574 x240 <= .10450574 x241 <= .10450574 x242 <= .10450574 x243 <= .11691138 x244 <= .11691138 x245 <= .11691138 x246 <= .11691138 x247 <= .17458814 x248 <= .17458814 x249 <= .17458814 x250 <= .17458814 x251 <= .17650501 x252 <= .17650501 x253 <= .17650501 x254 <= .17650501 x255 <= .20548918 x256 <= .20548918 x257 <= .20548918 x258 <= .20548918 x259 <= .18562706 x260 <= .18562706 x261 <= .18562706 x262 <= .18562706 x263 <= .14212895 x264 <= .14212895 x265 <= .14212895 x266 <= .14212895 x267 <= .17114392 x268 <= .17114392 x269 <= .17114392 x270 <= .17114392 x271 <= .1603645 x272 <= .1603645 x273 <= .1603645 x274 <= .1603645 x275 <= .18267189 x276 <= .18267189 x277 <= .18267189 x278 <= .18267189 x279 <= .5323080366 x280 <= .5323080366 x281 <= .5323080366 x282 <= .5323080366 x283 <= .918715169866666 x284 <= .918715169866666 x285 <= .918715169866666 x286 <= .918715169866666 x287 <= 1.021726146 x288 <= 1.021726146 x289 <= 1.021726146 x290 <= 1.021726146 x291 <= 1.0706790744 x292 <= 1.0706790744 x293 <= 1.0706790744 x294 <= 1.0706790744 x295 <= 7.32543671346667 x296 <= 7.32543671346667 x297 <= 7.32543671346667 x298 <= 7.32543671346667 x299 <= 15.2453990736 x300 <= 15.2453990736 x301 <= 15.2453990736 x302 <= 15.2453990736 x303 <= 1.28061192466667 x304 <= 1.28061192466667 x305 <= 1.28061192466667 x306 <= 1.28061192466667 x307 <= 15.8815166933333 x308 <= 15.8815166933333 x309 <= 15.8815166933333 x310 <= 15.8815166933333 x311 <= 15.2472806811333 x312 <= 15.2472806811333 x313 <= 15.2472806811333 x314 <= 15.2472806811333 x315 <= 12.029055125 x316 <= 12.029055125 x317 <= 12.029055125 x318 <= 12.029055125 x319 <= 15.9672360214667 x320 <= 15.9672360214667 x321 <= 15.9672360214667 x322 <= 15.9672360214667 x323 <= 15.3736631157333 x324 <= 15.3736631157333 x325 <= 15.3736631157333 x326 <= 15.3736631157333 x327 <= 6.2237284564 x328 <= 6.2237284564 x329 <= 6.2237284564 x330 <= 6.2237284564 x331 <= 8.85892556 x332 <= 8.85892556 x333 <= 8.85892556 x334 <= 8.85892556 x335 <= 17.2437830768 x336 <= 17.2437830768 x337 <= 17.2437830768 x338 <= 17.2437830768 Binary b76 b77 b78 b79 b80 b81 b82 b83 b84 b85 b86 b87 b88 b89 b90 b91 b92 b93 b94 b95 b96 b97 b98 b99 b100 b101 b102 b103 b104 b105 b106 b107 b108 b109 b110 b111 b112 b113 b114 b115 b116 b117 b118 b119 b120 b121 b122 b123 b124 b125 b126 b127 b128 b129 b130 b131 b132 b133 b134 b135 b339 b340 b341 b342 b343 b344 b345 b346 b347 b348 b349 b350 b351 b352 b353 b354 b355 b356 b357 b358 b359 b360 b361 b362 b363 b364 b365 b366 b367 b368 End