\ Equation counts \ Total E G L N X C B \ 565 167 227 171 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 310 230 80 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 1932 1825 107 0 \ Minimize obj: -5e4 + 0 b1 + 0 b2 + 0 b3 + 0 b4 + 0 b5 + 0 b6 + 0 b7 + 0 b8 + 0 b9 + 0 b10 + 0 b11 + 0 b12 + 0 b13 + 0 b14 + 0 b15 + 0 b16 + 0 b17 + 0 b18 + 0 b19 + 0 b20 + 0 b21 + 0 b22 + 0 b23 + 0 b24 + 0 b25 + 0 b26 + 0 b27 + 0 b28 + 0 b29 + 0 b30 + 0 b31 + 0 b32 + 0 b33 + 0 b34 + 0 b35 + 0 b36 + 0 b37 + 0 b38 + 0 b39 + 0 b40 + 0 b41 + 0 b42 + 0 b43 + 0 b44 + 0 b45 + 0 b46 + 0 b47 + 0 b48 + 0 b49 + 0 b50 + 0 b51 + 0 b52 + 0 b53 + 0 b54 + 0 b55 + 0 b56 + 0 b57 + 0 b58 + 0 b59 + 0 b60 + 0 b61 + 0 b62 + 0 b63 + 0 b64 + 0 b65 + 0 b66 + 0 b67 + 0 b68 + 0 b69 + 0 b70 + 0 b71 + 0 b72 + 0 b73 + 0 b74 + 0 b75 + 0 b76 + 0 b77 + 0 b78 + 0 b79 + 0 b80 + 0 x81 + 0 x82 + 0 x83 + 0 x84 + 0 x85 + 0 x86 + 5e4 x87 + 0 x88 + 0 x89 + 0 x90 + 0 x91 + 0 x92 + 0 x93 + 0 x94 + 0 x95 + 0 x96 + 0 x97 + 0 x98 + 0 x99 + 0 x100 + 0 x101 + 0 x102 + 0 x103 + 0 x104 + 0 x105 + 0 x106 + 0 x107 + 0 x108 + 0 x109 + 0 x110 + 0 x111 + 0 x112 + 0 x113 + 0 x114 + 0 x115 + 0 x116 + 0 x117 + 0 x118 + 0 x119 + 0 x120 + 0 x121 + 0 x122 + 0 x123 + 0 x124 + 0 x125 + 0 x126 + 0 x127 + 0 x128 + 0 x129 + 0 x130 + 0 x131 + 0 x132 + 0 x133 + 0 x134 + 0 x135 + 0 x136 + 0 x137 + 0 x138 + 0 x139 + 0 x140 + 0 x141 + 0 x142 + 0 x143 + 0 x144 + 0 x145 + 0 x146 + 0 x147 + 0 x148 + 0 x149 + 0 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 + 5e3 x279 + 5e3 x280 + 8e3 x281 + 8e3 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 + 8 x272 x283 + 8 x272 x290 + 5 x272 x297 + 5 x272 x304 + 8 x273 x284 + 8 x273 x291 + 5 x273 x298 + 5 x273 x305 + 8 x274 x285 + 8 x274 x292 + 5 x274 x299 + 5 x274 x306 + 8 x275 x286 + 8 x275 x293 + 5 x275 x300 + 5 x275 x307 + 8 x276 x287 + 8 x276 x294 + 5 x276 x301 + 5 x276 x308 + 8 x277 x288 + 8 x277 x295 + 5 x277 x302 + 5 x277 x309 + 8 x278 x289 + 8 x278 x296 + 5 x278 x303 + 5 x278 x310 Subject To e2: x88 = 1e3 e3: - x88 + x89 + x168 = 0 e4: - x89 + x90 + x169 = 0 e5: - x90 + x91 + x170 = 0 e6: - x91 + x92 + x171 = 0 e7: - x92 + x93 + x172 = 0 e8: - x93 + x94 + x173 = 0 e9: - x94 + x95 + x174 = 0 e10: x96 = 2.5e2 e11: - x96 + x97 - x168 + x175 + x182 = 0 e12: - x97 + x98 - x169 + x176 + x183 = 0 e13: - x98 + x99 - x170 + x177 + x184 = 0 e14: - x99 + x100 - x171 + x178 + x185 = 0 e15: - x100 + x101 - x172 + x179 + x186 = 0 e16: - x101 + x102 - x173 + x180 + x187 = 0 e17: - x102 + x103 - x174 + x181 + x188 = 0 e18: x104 = 0 e19: - x104 + x105 - x175 + x189 = 0 e20: - x105 + x106 - x176 + x190 = 0 e21: - x106 + x107 - x177 + x191 = 0 e22: - x107 + x108 - x178 + x192 = 0 e23: - x108 + x109 - x179 + x193 = 0 e24: - x109 + x110 - x180 + x194 = 0 e25: - x110 + x111 - x181 + x195 = 0 e26: x112 = 0 e27: - x112 + x113 - x182 + x196 = 0 e28: - x113 + x114 - x183 + x197 = 0 e29: - x114 + x115 - x184 + x198 = 0 e30: - x115 + x116 - x185 + x199 = 0 e31: - x116 + x117 - x186 + x200 = 0 e32: - x117 + x118 - x187 + x201 = 0 e33: - x118 + x119 - x188 + x202 = 0 e34: x120 = 1e3 e35: - x120 + x121 + x203 = 0 e36: - x121 + x122 + x204 = 0 e37: - x122 + x123 + x205 = 0 e38: - x123 + x124 + x206 = 0 e39: - x124 + x125 + x207 = 0 e40: - x125 + x126 + x208 = 0 e41: - x126 + x127 + x209 = 0 e42: x128 = 7.5e2 e43: - x128 + x129 - x203 + x210 + x217 = 0 e44: - x129 + x130 - x204 + x211 + x218 = 0 e45: - x130 + x131 - x205 + x212 + x219 = 0 e46: - x131 + x132 - x206 + x213 + x220 = 0 e47: - x132 + x133 - x207 + x214 + x221 = 0 e48: - x133 + x134 - x208 + x215 + x222 = 0 e49: - x134 + x135 - x209 + x216 + x223 = 0 e50: x136 = 0 e51: - x136 + x137 - x210 + x224 = 0 e52: - x137 + x138 - x211 + x225 = 0 e53: - x138 + x139 - x212 + x226 = 0 e54: - x139 + x140 - x213 + x227 = 0 e55: - x140 + x141 - x214 + x228 = 0 e56: - x141 + x142 - x215 + x229 = 0 e57: - x142 + x143 - x216 + x230 = 0 e58: x144 = 0 e59: - x144 + x145 - x217 + x231 = 0 e60: - x145 + x146 - x218 + x232 = 0 e61: - x146 + x147 - x219 + x233 = 0 e62: - x147 + x148 - x220 + x234 = 0 e63: - x148 + x149 - x221 + x235 = 0 e64: - x149 + x150 - x222 + x236 = 0 e65: - x150 + x151 - x223 + x237 = 0 e66: x152 = 500 e67: - x152 + x153 + x238 = 0 e68: - x153 + x154 + x239 = 0 e69: - x154 + x155 + x240 = 0 e70: - x155 + x156 + x241 = 0 e71: - x156 + x157 + x242 = 0 e72: - x157 + x158 + x243 = 0 e73: - x158 + x159 + x244 = 0 e74: x160 = 500 e75: - x160 + x161 + x245 = 0 e76: - x161 + x162 + x246 = 0 e77: - x162 + x163 + x247 = 0 e78: - x163 + x164 + x248 = 0 e79: - x164 + x165 + x249 = 0 e80: - x165 + x166 + x250 = 0 e81: - x166 + x167 + x251 = 0 e82: x97 <= 1e3 e83: x98 <= 1e3 e84: x99 <= 1e3 e85: x100 <= 1e3 e86: x101 <= 1e3 e87: x102 <= 1e3 e88: x103 <= 1e3 e89: x129 <= 1e3 e90: x130 <= 1e3 e91: x131 <= 1e3 e92: x132 <= 1e3 e93: x133 <= 1e3 e94: x134 <= 1e3 e95: x135 <= 1e3 e96: x105 + x137 + x153 <= 1e3 e97: x106 + x138 + x154 <= 1e3 e98: x107 + x139 + x155 <= 1e3 e99: x108 + x140 + x156 <= 1e3 e100: x109 + x141 + x157 <= 1e3 e101: x110 + x142 + x158 <= 1e3 e102: x111 + x143 + x159 <= 1e3 e103: x113 + x145 + x161 <= 1e3 e104: x114 + x146 + x162 <= 1e3 e105: x115 + x147 + x163 <= 1e3 e106: x116 + x148 + x164 <= 1e3 e107: x117 + x149 + x165 <= 1e3 e108: x118 + x150 + x166 <= 1e3 e109: x119 + x151 + x167 <= 1e3 e110: x97 >= 0 e111: x98 >= 0 e112: x99 >= 0 e113: x100 >= 0 e114: x101 >= 0 e115: x102 >= 0 e116: x103 >= 0 e117: x129 >= 0 e118: x130 >= 0 e119: x131 >= 0 e120: x132 >= 0 e121: x133 >= 0 e122: x134 >= 0 e123: x135 >= 0 e124: x105 + x137 + x153 >= 0 e125: x106 + x138 + x154 >= 0 e126: x107 + x139 + x155 >= 0 e127: x108 + x140 + x156 >= 0 e128: x109 + x141 + x157 >= 0 e129: x110 + x142 + x158 >= 0 e130: x111 + x143 + x159 >= 0 e131: x113 + x145 + x161 >= 0 e132: x114 + x146 + x162 >= 0 e133: x115 + x147 + x163 >= 0 e134: x116 + x148 + x164 >= 0 e135: x117 + x149 + x165 >= 0 e136: x118 + x150 + x166 >= 0 e137: x119 + x151 + x167 >= 0 e138: - 1.5e-2 x105 + 3.5e-2 x137 - 5e-3 x153 <= 0 e139: - 1.5e-2 x106 + 3.5e-2 x138 - 5e-3 x154 <= 0 e140: - 1.5e-2 x107 + 3.5e-2 x139 - 5e-3 x155 <= 0 e141: - 1.5e-2 x108 + 3.5e-2 x140 - 5e-3 x156 <= 0 e142: - 1.5e-2 x109 + 3.5e-2 x141 - 5e-3 x157 <= 0 e143: - 1.5e-2 x110 + 3.5e-2 x142 - 5e-3 x158 <= 0 e144: - 1.5e-2 x111 + 3.5e-2 x143 - 5e-3 x159 <= 0 e145: - 4.5e-2 x113 + 5e-3 x145 - 5e-3 x161 <= 0 e146: - 4.5e-2 x114 + 5e-3 x146 - 5e-3 x162 <= 0 e147: - 4.5e-2 x115 + 5e-3 x147 - 5e-3 x163 <= 0 e148: - 4.5e-2 x116 + 5e-3 x148 - 5e-3 x164 <= 0 e149: - 4.5e-2 x117 + 5e-3 x149 - 5e-3 x165 <= 0 e150: - 4.5e-2 x118 + 5e-3 x150 - 5e-3 x166 <= 0 e151: - 4.5e-2 x119 + 5e-3 x151 - 5e-3 x167 <= 0 e152: - 5e-3 x105 + 4.5e-2 x137 + 5e-3 x153 >= 0 e153: - 5e-3 x106 + 4.5e-2 x138 + 5e-3 x154 >= 0 e154: - 5e-3 x107 + 4.5e-2 x139 + 5e-3 x155 >= 0 e155: - 5e-3 x108 + 4.5e-2 x140 + 5e-3 x156 >= 0 e156: - 5e-3 x109 + 4.5e-2 x141 + 5e-3 x157 >= 0 e157: - 5e-3 x110 + 4.5e-2 x142 + 5e-3 x158 >= 0 e158: - 5e-3 x111 + 4.5e-2 x143 + 5e-3 x159 >= 0 e159: - 3.5e-2 x113 + 1.5e-2 x145 + 5e-3 x161 >= 0 e160: - 3.5e-2 x114 + 1.5e-2 x146 + 5e-3 x162 >= 0 e161: - 3.5e-2 x115 + 1.5e-2 x147 + 5e-3 x163 >= 0 e162: - 3.5e-2 x116 + 1.5e-2 x148 + 5e-3 x164 >= 0 e163: - 3.5e-2 x117 + 1.5e-2 x149 + 5e-3 x165 >= 0 e164: - 3.5e-2 x118 + 1.5e-2 x150 + 5e-3 x166 >= 0 e165: - 3.5e-2 x119 + 1.5e-2 x151 + 5e-3 x167 >= 0 e166: b15 + b43 <= 1 e167: b16 + b44 <= 1 e168: b17 + b45 <= 1 e169: b18 + b46 <= 1 e170: b19 + b47 <= 1 e171: b20 + b48 <= 1 e172: b21 + b49 <= 1 e173: b29 + b43 <= 1 e174: b30 + b44 <= 1 e175: b31 + b45 <= 1 e176: b32 + b46 <= 1 e177: b33 + b47 <= 1 e178: b34 + b48 <= 1 e179: b35 + b49 <= 1 e180: b22 + b50 <= 1 e181: b23 + b51 <= 1 e182: b24 + b52 <= 1 e183: b25 + b53 <= 1 e184: b26 + b54 <= 1 e185: b27 + b55 <= 1 e186: b28 + b56 <= 1 e187: b36 + b50 <= 1 e188: b37 + b51 <= 1 e189: b38 + b52 <= 1 e190: b39 + b53 <= 1 e191: b40 + b54 <= 1 e192: b41 + b55 <= 1 e193: b42 + b56 <= 1 e194: x95 = 0 e195: x127 = 0 e196: x189 + x190 + x191 + x192 + x193 + x194 + x195 + x224 + x225 + x226 + x227 + x228 + x229 + x230 + x238 + x239 + x240 + x241 + x242 + x243 + x244 = 1e3 e197: x196 + x197 + x198 + x199 + x200 + x201 + x202 + x231 + x232 + x233 + x234 + x235 + x236 + x237 + x245 + x246 + x247 + x248 + x249 + x250 + x251 = 1e3 e198: b57 + b58 + b60 + b62 + b64 + b66 = 1 e199: b59 + b61 + b63 + b65 + b67 + b68 = 1 e200: b69 + b70 + b72 + b74 + b76 + b78 = 1 e201: b71 + b73 + b75 + b77 + b79 + b80 = 1 e202: b1 + b8 <= 1 e203: b2 + b9 <= 1 e204: b3 + b10 <= 1 e205: b4 + b11 <= 1 e206: b5 + b12 <= 1 e207: b6 + b13 <= 1 e208: b7 + b14 <= 1 e209: b43 + b50 = 1 e210: b44 + b51 = 1 e211: b45 + b52 = 1 e212: b46 + b53 = 1 e213: b47 + b54 = 1 e214: b48 + b55 = 1 e215: b49 + b56 = 1 e216: b1 - b57 <= 0 e217: b2 - b57 - b58 <= 0 e218: b3 - b57 - b58 - b60 <= 0 e219: b4 - b57 - b58 - b60 - b62 <= 0 e220: b5 - b57 - b58 - b60 - b62 - b64 <= 0 e221: b6 - b57 - b58 - b60 - b62 - b64 - b66 <= 0 e222: b7 - b57 - b58 - b60 - b62 - b64 - b66 <= 0 e223: b8 <= 0 e224: b9 - b59 <= 0 e225: b10 - b59 - b61 <= 0 e226: b11 - b59 - b61 - b63 <= 0 e227: b12 - b59 - b61 - b63 - b65 <= 0 e228: b13 - b59 - b61 - b63 - b65 - b67 <= 0 e229: b14 - b59 - b61 - b63 - b65 - b67 - b68 <= 0 e230: b1 - b69 - b70 - b72 - b74 - b76 - b78 <= 0 e231: b2 - b70 - b72 - b74 - b76 - b78 <= 0 e232: b3 - b72 - b74 - b76 - b78 <= 0 e233: b4 - b74 - b76 - b78 <= 0 e234: b5 - b76 - b78 <= 0 e235: b6 - b78 <= 0 e236: b7 <= 0 e237: b8 - b71 - b73 - b75 - b77 - b79 - b80 <= 0 e238: b9 - b71 - b73 - b75 - b77 - b79 - b80 <= 0 e239: b10 - b73 - b75 - b77 - b79 - b80 <= 0 e240: b11 - b75 - b77 - b79 - b80 <= 0 e241: b12 - b77 - b79 - b80 <= 0 e242: b13 - b79 - b80 <= 0 e243: b14 - b80 <= 0 e244: - b43 - b51 + x81 >= -1 e245: - b44 - b52 + x82 >= -1 e246: - b45 - b53 + x83 >= -1 e247: - b46 - b54 + x84 >= -1 e248: - b47 - b55 + x85 >= -1 e249: - b48 - b56 + x86 >= -1 e250: - b44 - b50 + x81 >= -1 e251: - b45 - b51 + x82 >= -1 e252: - b46 - b52 + x83 >= -1 e253: - b47 - b53 + x84 >= -1 e254: - b48 - b54 + x85 >= -1 e255: - b49 - b55 + x86 >= -1 e256: x81 + x82 + x83 + x84 + x85 + x86 - x87 = -1 e257: - .5 x96 - .5 x97 + x283 = 0 e258: - .5 x97 - .5 x98 + x284 = 0 e259: - .5 x98 - .5 x99 + x285 = 0 e260: - .5 x99 - .5 x100 + x286 = 0 e261: - .5 x100 - .5 x101 + x287 = 0 e262: - .5 x101 - .5 x102 + x288 = 0 e263: - .5 x102 - .5 x103 + x289 = 0 e264: - .5 x128 - .5 x129 + x290 = 0 e265: - .5 x129 - .5 x130 + x291 = 0 e266: - .5 x130 - .5 x131 + x292 = 0 e267: - .5 x131 - .5 x132 + x293 = 0 e268: - .5 x132 - .5 x133 + x294 = 0 e269: - .5 x133 - .5 x134 + x295 = 0 e270: - .5 x134 - .5 x135 + x296 = 0 e271: - .5 x104 - .5 x105 - .5 x136 - .5 x137 - .5 x152 - .5 x153 + x297 = 0 e272: - .5 x105 - .5 x106 - .5 x137 - .5 x138 - .5 x153 - .5 x154 + x298 = 0 e273: - .5 x106 - .5 x107 - .5 x138 - .5 x139 - .5 x154 - .5 x155 + x299 = 0 e274: - .5 x107 - .5 x108 - .5 x139 - .5 x140 - .5 x155 - .5 x156 + x300 = 0 e275: - .5 x108 - .5 x109 - .5 x140 - .5 x141 - .5 x156 - .5 x157 + x301 = 0 e276: - .5 x109 - .5 x110 - .5 x141 - .5 x142 - .5 x157 - .5 x158 + x302 = 0 e277: - .5 x110 - .5 x111 - .5 x142 - .5 x143 - .5 x158 - .5 x159 + x303 = 0 e278: - .5 x112 - .5 x113 - .5 x144 - .5 x145 - .5 x160 - .5 x161 + x304 = 0 e279: - .5 x113 - .5 x114 - .5 x145 - .5 x146 - .5 x161 - .5 x162 + x305 = 0 e280: - .5 x114 - .5 x115 - .5 x146 - .5 x147 - .5 x162 - .5 x163 + x306 = 0 e281: - .5 x115 - .5 x116 - .5 x147 - .5 x148 - .5 x163 - .5 x164 + x307 = 0 e282: - .5 x116 - .5 x117 - .5 x148 - .5 x149 - .5 x164 - .5 x165 + x308 = 0 e283: - .5 x117 - .5 x118 - .5 x149 - .5 x150 - .5 x165 - .5 x166 + x309 = 0 e284: - .5 x118 - .5 x119 - .5 x150 - .5 x151 - .5 x166 - .5 x167 + x310 = 0 e285: - 1e3 b1 + x168 <= 0 e286: - 1e3 b2 + x169 <= 0 e287: - 1e3 b3 + x170 <= 0 e288: - 1e3 b4 + x171 <= 0 e289: - 1e3 b5 + x172 <= 0 e290: - 1e3 b6 + x173 <= 0 e291: - 1e3 b7 + x174 <= 0 e292: - 1e3 b8 + x203 <= 0 e293: - 1e3 b9 + x204 <= 0 e294: - 1e3 b10 + x205 <= 0 e295: - 1e3 b11 + x206 <= 0 e296: - 1e3 b12 + x207 <= 0 e297: - 1e3 b13 + x208 <= 0 e298: - 1e3 b14 + x209 <= 0 e299: - 1e3 b15 + x175 <= 0 e300: - 1e3 b16 + x176 <= 0 e301: - 1e3 b17 + x177 <= 0 e302: - 1e3 b18 + x178 <= 0 e303: - 1e3 b19 + x179 <= 0 e304: - 1e3 b20 + x180 <= 0 e305: - 1e3 b21 + x181 <= 0 e306: - 1e3 b22 + x182 <= 0 e307: - 1e3 b23 + x183 <= 0 e308: - 1e3 b24 + x184 <= 0 e309: - 1e3 b25 + x185 <= 0 e310: - 1e3 b26 + x186 <= 0 e311: - 1e3 b27 + x187 <= 0 e312: - 1e3 b28 + x188 <= 0 e313: - 1e3 b29 + x210 <= 0 e314: - 1e3 b30 + x211 <= 0 e315: - 1e3 b31 + x212 <= 0 e316: - 1e3 b32 + x213 <= 0 e317: - 1e3 b33 + x214 <= 0 e318: - 1e3 b34 + x215 <= 0 e319: - 1e3 b35 + x216 <= 0 e320: - 1e3 b36 + x217 <= 0 e321: - 1e3 b37 + x218 <= 0 e322: - 1e3 b38 + x219 <= 0 e323: - 1e3 b39 + x220 <= 0 e324: - 1e3 b40 + x221 <= 0 e325: - 1e3 b41 + x222 <= 0 e326: - 1e3 b42 + x223 <= 0 e327: - 1e3 b43 + x189 + x224 + x238 <= 0 e328: - 1e3 b44 + x190 + x225 + x239 <= 0 e329: - 1e3 b45 + x191 + x226 + x240 <= 0 e330: - 1e3 b46 + x192 + x227 + x241 <= 0 e331: - 1e3 b47 + x193 + x228 + x242 <= 0 e332: - 1e3 b48 + x194 + x229 + x243 <= 0 e333: - 1e3 b49 + x195 + x230 + x244 <= 0 e334: - 1e3 b50 + x196 + x231 + x245 <= 0 e335: - 1e3 b51 + x197 + x232 + x246 <= 0 e336: - 1e3 b52 + x198 + x233 + x247 <= 0 e337: - 1e3 b53 + x199 + x234 + x248 <= 0 e338: - 1e3 b54 + x200 + x235 + x249 <= 0 e339: - 1e3 b55 + x201 + x236 + x250 <= 0 e340: - 1e3 b56 + x202 + x237 + x251 <= 0 e341: - b1 + x168 >= 0 e342: - b2 + x169 >= 0 e343: - b3 + x170 >= 0 e344: - b4 + x171 >= 0 e345: - b5 + x172 >= 0 e346: - b6 + x173 >= 0 e347: - b7 + x174 >= 0 e348: - b8 + x203 >= 0 e349: - b9 + x204 >= 0 e350: - b10 + x205 >= 0 e351: - b11 + x206 >= 0 e352: - b12 + x207 >= 0 e353: - b13 + x208 >= 0 e354: - b14 + x209 >= 0 e355: - b15 + x175 >= 0 e356: - b16 + x176 >= 0 e357: - b17 + x177 >= 0 e358: - b18 + x178 >= 0 e359: - b19 + x179 >= 0 e360: - b20 + x180 >= 0 e361: - b21 + x181 >= 0 e362: - b22 + x182 >= 0 e363: - b23 + x183 >= 0 e364: - b24 + x184 >= 0 e365: - b25 + x185 >= 0 e366: - b26 + x186 >= 0 e367: - b27 + x187 >= 0 e368: - b28 + x188 >= 0 e369: - b29 + x210 >= 0 e370: - b30 + x211 >= 0 e371: - b31 + x212 >= 0 e372: - b32 + x213 >= 0 e373: - b33 + x214 >= 0 e374: - b34 + x215 >= 0 e375: - b35 + x216 >= 0 e376: - b36 + x217 >= 0 e377: - b37 + x218 >= 0 e378: - b38 + x219 >= 0 e379: - b39 + x220 >= 0 e380: - b40 + x221 >= 0 e381: - b41 + x222 >= 0 e382: - b42 + x223 >= 0 e383: - b43 + x189 + x224 + x238 >= 0 e384: - b44 + x190 + x225 + x239 >= 0 e385: - b45 + x191 + x226 + x240 >= 0 e386: - b46 + x192 + x227 + x241 >= 0 e387: - b47 + x193 + x228 + x242 >= 0 e388: - b48 + x194 + x229 + x243 >= 0 e389: - b49 + x195 + x230 + x244 >= 0 e390: - b50 + x196 + x231 + x245 >= 0 e391: - b51 + x197 + x232 + x246 >= 0 e392: - b52 + x198 + x233 + x247 >= 0 e393: - b53 + x199 + x234 + x248 >= 0 e394: - b54 + x200 + x235 + x249 >= 0 e395: - b55 + x201 + x236 + x250 >= 0 e396: - b56 + x202 + x237 + x251 >= 0 e397: - 2e-3 x168 - x264 + x265 >= 0 e398: - 2e-3 x169 - x265 + x266 >= 0 e399: - 2e-3 x170 - x266 + x267 >= 0 e400: - 2e-3 x171 - x267 + x268 >= 0 e401: - 2e-3 x172 - x268 + x269 >= 0 e402: - 2e-3 x173 - x269 + x270 >= 0 e403: - 2e-3 x174 - x270 + x271 >= 0 e404: - 2e-3 x203 - x264 + x265 >= 0 e405: - 2e-3 x204 - x265 + x266 >= 0 e406: - 2e-3 x205 - x266 + x267 >= 0 e407: - 2e-3 x206 - x267 + x268 >= 0 e408: - 2e-3 x207 - x268 + x269 >= 0 e409: - 2e-3 x208 - x269 + x270 >= 0 e410: - 2e-3 x209 - x270 + x271 >= 0 e411: - 2e-3 x175 - x264 + x265 >= 0 e412: - 2e-3 x176 - x265 + x266 >= 0 e413: - 2e-3 x177 - x266 + x267 >= 0 e414: - 2e-3 x178 - x267 + x268 >= 0 e415: - 2e-3 x179 - x268 + x269 >= 0 e416: - 2e-3 x180 - x269 + x270 >= 0 e417: - 2e-3 x181 - x270 + x271 >= 0 e418: - 2e-3 x182 - x264 + x265 >= 0 e419: - 2e-3 x183 - x265 + x266 >= 0 e420: - 2e-3 x184 - x266 + x267 >= 0 e421: - 2e-3 x185 - x267 + x268 >= 0 e422: - 2e-3 x186 - x268 + x269 >= 0 e423: - 2e-3 x187 - x269 + x270 >= 0 e424: - 2e-3 x188 - x270 + x271 >= 0 e425: - 2e-3 x210 - x264 + x265 >= 0 e426: - 2e-3 x211 - x265 + x266 >= 0 e427: - 2e-3 x212 - x266 + x267 >= 0 e428: - 2e-3 x213 - x267 + x268 >= 0 e429: - 2e-3 x214 - x268 + x269 >= 0 e430: - 2e-3 x215 - x269 + x270 >= 0 e431: - 2e-3 x216 - x270 + x271 >= 0 e432: - 2e-3 x217 - x264 + x265 >= 0 e433: - 2e-3 x218 - x265 + x266 >= 0 e434: - 2e-3 x219 - x266 + x267 >= 0 e435: - 2e-3 x220 - x267 + x268 >= 0 e436: - 2e-3 x221 - x268 + x269 >= 0 e437: - 2e-3 x222 - x269 + x270 >= 0 e438: - 2e-3 x223 - x270 + x271 >= 0 e439: - 2e-3 x189 - 2e-3 x196 - 2e-3 x224 - 2e-3 x231 - 2e-3 x238 - 2e-3 x245 - x264 + x265 >= 0 e440: - 2e-3 x190 - 2e-3 x197 - 2e-3 x225 - 2e-3 x232 - 2e-3 x239 - 2e-3 x246 - x265 + x266 >= 0 e441: - 2e-3 x191 - 2e-3 x198 - 2e-3 x226 - 2e-3 x233 - 2e-3 x240 - 2e-3 x247 - x266 + x267 >= 0 e442: - 2e-3 x192 - 2e-3 x199 - 2e-3 x227 - 2e-3 x234 - 2e-3 x241 - 2e-3 x248 - x267 + x268 >= 0 e443: - 2e-3 x193 - 2e-3 x200 - 2e-3 x228 - 2e-3 x235 - 2e-3 x242 - 2e-3 x249 - x268 + x269 >= 0 e444: - 2e-3 x194 - 2e-3 x201 - 2e-3 x229 - 2e-3 x236 - 2e-3 x243 - 2e-3 x250 - x269 + x270 >= 0 e445: - 2e-3 x195 - 2e-3 x202 - 2e-3 x230 - 2e-3 x237 - 2e-3 x244 - 2e-3 x251 - x270 + x271 >= 0 e446: - 2e-2 x189 - 2e-2 x196 - 2e-2 x224 - 2e-2 x231 - 2e-2 x238 - 2e-2 x245 - x264 + x265 <= 0 e447: - 2e-2 x190 - 2e-2 x197 - 2e-2 x225 - 2e-2 x232 - 2e-2 x239 - 2e-2 x246 - x265 + x266 <= 0 e448: - 2e-2 x191 - 2e-2 x198 - 2e-2 x226 - 2e-2 x233 - 2e-2 x240 - 2e-2 x247 - x266 + x267 <= 0 e449: - 2e-2 x192 - 2e-2 x199 - 2e-2 x227 - 2e-2 x234 - 2e-2 x241 - 2e-2 x248 - x267 + x268 <= 0 e450: - 2e-2 x193 - 2e-2 x200 - 2e-2 x228 - 2e-2 x235 - 2e-2 x242 - 2e-2 x249 - x268 + x269 <= 0 e451: - 2e-2 x194 - 2e-2 x201 - 2e-2 x229 - 2e-2 x236 - 2e-2 x243 - 2e-2 x250 - x269 + x270 <= 0 e452: - 2e-2 x195 - 2e-2 x202 - 2e-2 x230 - 2e-2 x237 - 2e-2 x244 - 2e-2 x251 - x270 + x271 <= 0 e453: x264 >= 0 e454: - 4 b59 + x265 >= 0 e455: - 4 b61 + x266 >= 0 e456: - 4 b63 + x267 >= 0 e457: - 4 b65 + x268 >= 0 e458: - 4 b67 + x269 >= 0 e459: - 4 b68 + x270 >= 0 e460: - 2 b69 + x265 >= 0 e461: - 2 b70 - 6 b71 + x266 >= 0 e462: - 2 b72 - 6 b73 + x267 >= 0 e463: - 2 b74 - 6 b75 + x268 >= 0 e464: - 2 b76 - 6 b77 + x269 >= 0 e465: - 2 b78 - 6 b79 + x270 >= 0 e466: - 6 b80 + x271 >= 0 e467: b57 + 2 b58 + 3 b60 + 4 b62 + 5 b64 + 6 b66 - 2 b69 - 3 b70 - 4 b72 - 5 b74 - 6 b76 - 7 b78 <= -1 e468: 2 b59 + 3 b61 + 4 b63 + 5 b65 + 6 b67 + 7 b68 - 3 b71 - 4 b73 - 5 b75 - 6 b77 - 7 b79 - 8 b80 <= -1 e469: - 2 b59 - 3 b61 - 4 b63 - 5 b65 - 6 b67 - 7 b68 + 2 b69 + 3 b70 + 4 b72 + 5 b74 + 6 b76 + 7 b78 <= 0 e470: - 8 b57 - x264 + x279 >= -8 e471: - 8 b58 - x265 + x279 >= -8 e472: - 8 b60 - x266 + x279 >= -8 e473: - 8 b62 - x267 + x279 >= -8 e474: - 8 b64 - x268 + x279 >= -8 e475: - 8 b66 - x269 + x279 >= -8 e476: - 4 b59 - x265 + x280 >= -8 e477: - 4 b61 - x266 + x280 >= -8 e478: - 4 b63 - x267 + x280 >= -8 e479: - 4 b65 - x268 + x280 >= -8 e480: - 4 b67 - x269 + x280 >= -8 e481: - 4 b68 - x270 + x280 >= -8 e482: - 6 b57 - 6 b69 + x264 - x265 + x281 >= -12 e483: - 6 b57 - 6 b70 + x264 - x266 + x281 >= -12 e484: - 6 b57 - 6 b72 + x264 - x267 + x281 >= -12 e485: - 6 b57 - 6 b74 + x264 - x268 + x281 >= -12 e486: - 6 b57 - 6 b76 + x264 - x269 + x281 >= -12 e487: - 6 b57 - 6 b78 + x264 - x270 + x281 >= -12 e488: - 6 b58 - 6 b70 + x265 - x266 + x281 >= -12 e489: - 6 b58 - 6 b72 + x265 - x267 + x281 >= -12 e490: - 6 b58 - 6 b74 + x265 - x268 + x281 >= -12 e491: - 6 b58 - 6 b76 + x265 - x269 + x281 >= -12 e492: - 6 b58 - 6 b78 + x265 - x270 + x281 >= -12 e493: - 6 b60 - 6 b72 + x266 - x267 + x281 >= -12 e494: - 6 b60 - 6 b74 + x266 - x268 + x281 >= -12 e495: - 6 b60 - 6 b76 + x266 - x269 + x281 >= -12 e496: - 6 b60 - 6 b78 + x266 - x270 + x281 >= -12 e497: - 6 b62 - 6 b74 + x267 - x268 + x281 >= -12 e498: - 6 b62 - 6 b76 + x267 - x269 + x281 >= -12 e499: - 6 b62 - 6 b78 + x267 - x270 + x281 >= -12 e500: - 6 b64 - 6 b76 + x268 - x269 + x281 >= -12 e501: - 6 b64 - 6 b78 + x268 - x270 + x281 >= -12 e502: - 6 b66 - 6 b78 + x269 - x270 + x281 >= -12 e503: - 6 b59 - 6 b71 + x265 - x266 + x282 >= -12 e504: - 6 b59 - 6 b73 + x265 - x267 + x282 >= -12 e505: - 6 b59 - 6 b75 + x265 - x268 + x282 >= -12 e506: - 6 b59 - 6 b77 + x265 - x269 + x282 >= -12 e507: - 6 b59 - 6 b79 + x265 - x270 + x282 >= -12 e508: - 6 b59 - 6 b80 + x265 - x271 + x282 >= -12 e509: - 6 b61 - 6 b73 + x266 - x267 + x282 >= -12 e510: - 6 b61 - 6 b75 + x266 - x268 + x282 >= -12 e511: - 6 b61 - 6 b77 + x266 - x269 + x282 >= -12 e512: - 6 b61 - 6 b79 + x266 - x270 + x282 >= -12 e513: - 6 b61 - 6 b80 + x266 - x271 + x282 >= -12 e514: - 6 b63 - 6 b75 + x267 - x268 + x282 >= -12 e515: - 6 b63 - 6 b77 + x267 - x269 + x282 >= -12 e516: - 6 b63 - 6 b79 + x267 - x270 + x282 >= -12 e517: - 6 b63 - 6 b80 + x267 - x271 + x282 >= -12 e518: - 6 b65 - 6 b77 + x268 - x269 + x282 >= -12 e519: - 6 b65 - 6 b79 + x268 - x270 + x282 >= -12 e520: - 6 b65 - 6 b80 + x268 - x271 + x282 >= -12 e521: - 6 b67 - 6 b79 + x269 - x270 + x282 >= -12 e522: - 6 b67 - 6 b80 + x269 - x271 + x282 >= -12 e523: - 6 b68 - 6 b80 + x270 - x271 + x282 >= -12 e524: x264 - x265 + x272 = 0 e525: x265 - x266 + x273 = 0 e526: x266 - x267 + x274 = 0 e527: x267 - x268 + x275 = 0 e528: x268 - x269 + x276 = 0 e529: x269 - x270 + x277 = 0 e530: x270 - x271 + x278 = 0 e531: x190 - x105 x252 = 0 e532: x191 - x106 x253 = 0 e533: x192 - x107 x254 = 0 e534: x193 - x108 x255 = 0 e535: x194 - x109 x256 = 0 e536: x195 - x110 x257 = 0 e537: x197 - x113 x258 = 0 e538: x198 - x114 x259 = 0 e539: x199 - x115 x260 = 0 e540: x200 - x116 x261 = 0 e541: x201 - x117 x262 = 0 e542: x202 - x118 x263 = 0 e543: x225 - x137 x252 = 0 e544: x226 - x138 x253 = 0 e545: x227 - x139 x254 = 0 e546: x228 - x140 x255 = 0 e547: x229 - x141 x256 = 0 e548: x230 - x142 x257 = 0 e549: x232 - x145 x258 = 0 e550: x233 - x146 x259 = 0 e551: x234 - x147 x260 = 0 e552: x235 - x148 x261 = 0 e553: x236 - x149 x262 = 0 e554: x237 - x150 x263 = 0 e555: x239 - x153 x252 = 0 e556: x240 - x154 x253 = 0 e557: x241 - x155 x254 = 0 e558: x242 - x156 x255 = 0 e559: x243 - x157 x256 = 0 e560: x244 - x158 x257 = 0 e561: x246 - x161 x258 = 0 e562: x247 - x162 x259 = 0 e563: x248 - x163 x260 = 0 e564: x249 - x164 x261 = 0 e565: x250 - x165 x262 = 0 e566: x251 - x166 x263 = 0 Bounds x105 <= 1e3 x106 <= 1e3 x107 <= 1e3 x108 <= 1e3 x109 <= 1e3 x110 <= 1e3 x113 <= 1e3 x114 <= 1e3 x115 <= 1e3 x116 <= 1e3 x117 <= 1e3 x118 <= 1e3 x137 <= 1e3 x138 <= 1e3 x139 <= 1e3 x140 <= 1e3 x141 <= 1e3 x142 <= 1e3 x145 <= 1e3 x146 <= 1e3 x147 <= 1e3 x148 <= 1e3 x149 <= 1e3 x150 <= 1e3 x153 <= 500 x154 <= 500 x155 <= 500 x156 <= 500 x157 <= 500 x158 <= 500 x161 <= 500 x162 <= 500 x163 <= 500 x164 <= 500 x165 <= 500 x166 <= 500 x252 <= 1 x253 <= 1 x254 <= 1 x255 <= 1 x256 <= 1 x257 <= 1 x258 <= 1 x259 <= 1 x260 <= 1 x261 <= 1 x262 <= 1 x263 <= 1 x264 = 0 x271 = 8 x272 <= 8 x273 <= 8 x274 <= 8 x275 <= 8 x276 <= 8 x277 <= 8 x278 <= 8 125 <= x283 <= 625 x284 <= 1e3 x285 <= 1e3 x286 <= 1e3 x287 <= 1e3 x288 <= 1e3 x289 <= 1e3 375 <= x290 <= 875 x291 <= 1e3 x292 <= 1e3 x293 <= 1e3 x294 <= 1e3 x295 <= 1e3 x296 <= 1e3 2.5e2 <= x297 <= 7.5e2 x298 <= 1e3 x299 <= 1e3 x300 <= 1e3 x301 <= 1e3 x302 <= 1e3 x303 <= 1e3 2.5e2 <= x304 <= 7.5e2 x305 <= 1e3 x306 <= 1e3 x307 <= 1e3 x308 <= 1e3 x309 <= 1e3 x310 <= 1e3 Binary b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 b14 b15 b16 b17 b18 b19 b20 b21 b22 b23 b24 b25 b26 b27 b28 b29 b30 b31 b32 b33 b34 b35 b36 b37 b38 b39 b40 b41 b42 b43 b44 b45 b46 b47 b48 b49 b50 b51 b52 b53 b54 b55 b56 b57 b58 b59 b60 b61 b62 b63 b64 b65 b66 b67 b68 b69 b70 b71 b72 b73 b74 b75 b76 b77 b78 b79 b80 End