\ Equation counts \ Total E G L N X C B \ 405 45 180 180 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 290 110 180 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 1370 1350 20 0 \ Minimize obj: 1089395 - 1.2e3 x1 - 7.8e3 x2 - 3.36e3 x3 - 4.2e2 x4 - 6.6e3 x5 - 3.6e3 x6 - 1.2e4 x7 - 1.92e4 x8 - 1.452e4 x9 - 4.84e3 x10 - 3e3 x11 - 1.17e4 x12 - 4.32e3 x13 - 4.2e2 x14 - 5.61e3 x15 - 1.6e3 x16 - 8e3 x17 - 8e3 x18 - 3.96e3 x19 - 5.28e3 x20 + 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 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 + 0 b136 + 0 b137 + 0 b138 + 0 b139 + 0 b140 + 0 b141 + 0 b142 + 0 b143 + 0 b144 + 0 b145 + 0 b146 + 0 b147 + 0 b148 + 0 b149 + 0 b150 + 0 b151 + 0 b152 + 0 b153 + 0 b154 + 0 b155 + 0 b156 + 0 b157 + 0 b158 + 0 b159 + 0 b160 + 0 b161 + 0 b162 + 0 b163 + 0 b164 + 0 b165 + 0 b166 + 0 b167 + 0 b168 + 0 b169 + 0 b170 + 0 b171 + 0 b172 + 0 b173 + 0 b174 + 0 b175 + 0 b176 + 0 b177 + 0 b178 + 0 b179 + 0 b180 + 0 b181 + 0 b182 + 0 b183 + 0 b184 + 0 b185 + 0 b186 + 0 b187 + 0 b188 + 0 b189 + 0 b190 + 0 b191 + 0 b192 + 0 b193 + 0 b194 + 0 b195 + 0 b196 + 0 b197 + 0 b198 + 0 b199 + 0 b200 + 300 x201 + 2.4e2 x202 + 2.1e2 x203 + 1.4e2 x204 + 300 x205 + 2.5e2 x206 + 300 x207 + 2.1e2 x208 + 3.2e2 x209 + 100 x210 + 1.5e2 x211 + 2.2e2 x212 + 200 x213 + 300 x214 + 2.9e2 x215 + 400 x216 + 2.2e2 x217 + 1.2e2 x218 + 300 x219 + 1.5e2 x220 + 1.5e2 x221 + 100 x222 + 2.9e2 x223 + 1.1e2 x224 + 100 x225 + 1.2e2 x226 + 1.8e2 x227 + 2.2e2 x228 + 1.1e2 x229 + 100 x230 + 1.3e2 x231 + 1.9e2 x232 + 1.1e2 x233 + 1.6e2 x234 + 400 x235 + 2.2e2 x236 + 1.4e2 x237 + 1.2e2 x238 + 2.3e2 x239 + 2.6e2 x240 + 2.2e2 x241 + 3.1e2 x242 + 1.4e2 x243 + 1.5e2 x244 + 1.3e2 x245 + 300 x246 + 2.4e2 x247 + 2.1e2 x248 + 1.4e2 x249 + 300 x250 + 2.5e2 x251 + 300 x252 + 2.1e2 x253 + 3.2e2 x254 + 100 x255 + 1.5e2 x256 + 2.2e2 x257 + 200 x258 + 300 x259 + 2.9e2 x260 + 400 x261 + 2.2e2 x262 + 1.2e2 x263 + 300 x264 + 1.5e2 x265 + 1.5e2 x266 + 100 x267 + 2.9e2 x268 + 1.1e2 x269 + 100 x270 + 1.2e2 x271 + 1.8e2 x272 + 2.2e2 x273 + 1.1e2 x274 + 100 x275 + 1.3e2 x276 + 1.9e2 x277 + 1.1e2 x278 + 1.6e2 x279 + 400 x280 + 2.2e2 x281 + 1.4e2 x282 + 1.2e2 x283 + 2.3e2 x284 + 2.6e2 x285 + 2.2e2 x286 + 3.1e2 x287 + 1.4e2 x288 + 1.5e2 x289 + 1.3e2 x290 + 1.5e2 x1^2 + 3.9e2 x2^2 + 2.4e2 x3^2 + 70 x4^2 + 165 x5^2 + 100 x6^2 + 200 x7^2 + 400 x8^2 + 3.3e2 x9^2 + 2.2e2 x10^2 + 1.5e2 x11^2 + 3.9e2 x12^2 + 2.4e2 x13^2 + 70 x14^2 + 165 x15^2 + 100 x16^2 + 200 x17^2 + 400 x18^2 + 3.3e2 x19^2 + 2.2e2 x20^2 Subject To e2: - x1 + x2 + x201 >= 0 e3: - x1 + x3 + x202 >= 0 e4: - x1 + x4 + x203 >= 0 e5: - x1 + x5 + x204 >= 0 e6: - x1 + x6 + x205 >= 0 e7: - x1 + x7 + x206 >= 0 e8: - x1 + x8 + x207 >= 0 e9: - x1 + x9 + x208 >= 0 e10: - x1 + x10 + x209 >= 0 e11: - x2 + x3 + x210 >= 0 e12: - x2 + x4 + x211 >= 0 e13: - x2 + x5 + x212 >= 0 e14: - x2 + x6 + x213 >= 0 e15: - x2 + x7 + x214 >= 0 e16: - x2 + x8 + x215 >= 0 e17: - x2 + x9 + x216 >= 0 e18: - x2 + x10 + x217 >= 0 e19: - x3 + x4 + x218 >= 0 e20: - x3 + x5 + x219 >= 0 e21: - x3 + x6 + x220 >= 0 e22: - x3 + x7 + x221 >= 0 e23: - x3 + x8 + x222 >= 0 e24: - x3 + x9 + x223 >= 0 e25: - x3 + x10 + x224 >= 0 e26: - x4 + x5 + x225 >= 0 e27: - x4 + x6 + x226 >= 0 e28: - x4 + x7 + x227 >= 0 e29: - x4 + x8 + x228 >= 0 e30: - x4 + x9 + x229 >= 0 e31: - x4 + x10 + x230 >= 0 e32: - x5 + x6 + x231 >= 0 e33: - x5 + x7 + x232 >= 0 e34: - x5 + x8 + x233 >= 0 e35: - x5 + x9 + x234 >= 0 e36: - x5 + x10 + x235 >= 0 e37: - x6 + x7 + x236 >= 0 e38: - x6 + x8 + x237 >= 0 e39: - x6 + x9 + x238 >= 0 e40: - x6 + x10 + x239 >= 0 e41: - x7 + x8 + x240 >= 0 e42: - x7 + x9 + x241 >= 0 e43: - x7 + x10 + x242 >= 0 e44: - x8 + x9 + x243 >= 0 e45: - x8 + x10 + x244 >= 0 e46: - x9 + x10 + x245 >= 0 e47: x1 - x2 + x201 >= 0 e48: x1 - x3 + x202 >= 0 e49: x1 - x4 + x203 >= 0 e50: x1 - x5 + x204 >= 0 e51: x1 - x6 + x205 >= 0 e52: x1 - x7 + x206 >= 0 e53: x1 - x8 + x207 >= 0 e54: x1 - x9 + x208 >= 0 e55: x1 - x10 + x209 >= 0 e56: x2 - x3 + x210 >= 0 e57: x2 - x4 + x211 >= 0 e58: x2 - x5 + x212 >= 0 e59: x2 - x6 + x213 >= 0 e60: x2 - x7 + x214 >= 0 e61: x2 - x8 + x215 >= 0 e62: x2 - x9 + x216 >= 0 e63: x2 - x10 + x217 >= 0 e64: x3 - x4 + x218 >= 0 e65: x3 - x5 + x219 >= 0 e66: x3 - x6 + x220 >= 0 e67: x3 - x7 + x221 >= 0 e68: x3 - x8 + x222 >= 0 e69: x3 - x9 + x223 >= 0 e70: x3 - x10 + x224 >= 0 e71: x4 - x5 + x225 >= 0 e72: x4 - x6 + x226 >= 0 e73: x4 - x7 + x227 >= 0 e74: x4 - x8 + x228 >= 0 e75: x4 - x9 + x229 >= 0 e76: x4 - x10 + x230 >= 0 e77: x5 - x6 + x231 >= 0 e78: x5 - x7 + x232 >= 0 e79: x5 - x8 + x233 >= 0 e80: x5 - x9 + x234 >= 0 e81: x5 - x10 + x235 >= 0 e82: x6 - x7 + x236 >= 0 e83: x6 - x8 + x237 >= 0 e84: x6 - x9 + x238 >= 0 e85: x6 - x10 + x239 >= 0 e86: x7 - x8 + x240 >= 0 e87: x7 - x9 + x241 >= 0 e88: x7 - x10 + x242 >= 0 e89: x8 - x9 + x243 >= 0 e90: x8 - x10 + x244 >= 0 e91: x9 - x10 + x245 >= 0 e92: - x11 + x12 + x246 >= 0 e93: - x11 + x13 + x247 >= 0 e94: - x11 + x14 + x248 >= 0 e95: - x11 + x15 + x249 >= 0 e96: - x11 + x16 + x250 >= 0 e97: - x11 + x17 + x251 >= 0 e98: - x11 + x18 + x252 >= 0 e99: - x11 + x19 + x253 >= 0 e100: - x11 + x20 + x254 >= 0 e101: - x12 + x13 + x255 >= 0 e102: - x12 + x14 + x256 >= 0 e103: - x12 + x15 + x257 >= 0 e104: - x12 + x16 + x258 >= 0 e105: - x12 + x17 + x259 >= 0 e106: - x12 + x18 + x260 >= 0 e107: - x12 + x19 + x261 >= 0 e108: - x12 + x20 + x262 >= 0 e109: - x13 + x14 + x263 >= 0 e110: - x13 + x15 + x264 >= 0 e111: - x13 + x16 + x265 >= 0 e112: - x13 + x17 + x266 >= 0 e113: - x13 + x18 + x267 >= 0 e114: - x13 + x19 + x268 >= 0 e115: - x13 + x20 + x269 >= 0 e116: - x14 + x15 + x270 >= 0 e117: - x14 + x16 + x271 >= 0 e118: - x14 + x17 + x272 >= 0 e119: - x14 + x18 + x273 >= 0 e120: - x14 + x19 + x274 >= 0 e121: - x14 + x20 + x275 >= 0 e122: - x15 + x16 + x276 >= 0 e123: - x15 + x17 + x277 >= 0 e124: - x15 + x18 + x278 >= 0 e125: - x15 + x19 + x279 >= 0 e126: - x15 + x20 + x280 >= 0 e127: - x16 + x17 + x281 >= 0 e128: - x16 + x18 + x282 >= 0 e129: - x16 + x19 + x283 >= 0 e130: - x16 + x20 + x284 >= 0 e131: - x17 + x18 + x285 >= 0 e132: - x17 + x19 + x286 >= 0 e133: - x17 + x20 + x287 >= 0 e134: - x18 + x19 + x288 >= 0 e135: - x18 + x20 + x289 >= 0 e136: - x19 + x20 + x290 >= 0 e137: x11 - x12 + x246 >= 0 e138: x11 - x13 + x247 >= 0 e139: x11 - x14 + x248 >= 0 e140: x11 - x15 + x249 >= 0 e141: x11 - x16 + x250 >= 0 e142: x11 - x17 + x251 >= 0 e143: x11 - x18 + x252 >= 0 e144: x11 - x19 + x253 >= 0 e145: x11 - x20 + x254 >= 0 e146: x12 - x13 + x255 >= 0 e147: x12 - x14 + x256 >= 0 e148: x12 - x15 + x257 >= 0 e149: x12 - x16 + x258 >= 0 e150: x12 - x17 + x259 >= 0 e151: x12 - x18 + x260 >= 0 e152: x12 - x19 + x261 >= 0 e153: x12 - x20 + x262 >= 0 e154: x13 - x14 + x263 >= 0 e155: x13 - x15 + x264 >= 0 e156: x13 - x16 + x265 >= 0 e157: x13 - x17 + x266 >= 0 e158: x13 - x18 + x267 >= 0 e159: x13 - x19 + x268 >= 0 e160: x13 - x20 + x269 >= 0 e161: x14 - x15 + x270 >= 0 e162: x14 - x16 + x271 >= 0 e163: x14 - x17 + x272 >= 0 e164: x14 - x18 + x273 >= 0 e165: x14 - x19 + x274 >= 0 e166: x14 - x20 + x275 >= 0 e167: x15 - x16 + x276 >= 0 e168: x15 - x17 + x277 >= 0 e169: x15 - x18 + x278 >= 0 e170: x15 - x19 + x279 >= 0 e171: x15 - x20 + x280 >= 0 e172: x16 - x17 + x281 >= 0 e173: x16 - x18 + x282 >= 0 e174: x16 - x19 + x283 >= 0 e175: x16 - x20 + x284 >= 0 e176: x17 - x18 + x285 >= 0 e177: x17 - x19 + x286 >= 0 e178: x17 - x20 + x287 >= 0 e179: x18 - x19 + x288 >= 0 e180: x18 - x20 + x289 >= 0 e181: x19 - x20 + x290 >= 0 e182: x1 - x2 + 40 b21 <= 34 e183: x1 - x3 + 40 b22 <= 36 e184: x1 - x4 + 40 b23 <= 36.5 e185: x1 - x5 + 40 b24 <= 35.5 e186: x1 - x6 + 40 b25 <= 35 e187: x1 - x7 + 40 b26 <= 33.5 e188: x1 - x8 + 40 b27 <= 35.5 e189: x1 - x9 + 40 b28 <= 36.5 e190: x1 - x10 + 40 b29 <= 34.5 e191: x2 - x3 + 40 b30 <= 35 e192: x2 - x4 + 40 b31 <= 35.5 e193: x2 - x5 + 40 b32 <= 34.5 e194: x2 - x6 + 40 b33 <= 34 e195: x2 - x7 + 40 b34 <= 32.5 e196: x2 - x8 + 40 b35 <= 34.5 e197: x2 - x9 + 40 b36 <= 35.5 e198: x2 - x10 + 40 b37 <= 33.5 e199: x3 - x4 + 40 b38 <= 37.5 e200: x3 - x5 + 40 b39 <= 36.5 e201: x3 - x6 + 40 b40 <= 36 e202: x3 - x7 + 40 b41 <= 34.5 e203: x3 - x8 + 40 b42 <= 36.5 e204: x3 - x9 + 40 b43 <= 37.5 e205: x3 - x10 + 40 b44 <= 35.5 e206: x4 - x5 + 40 b45 <= 37 e207: x4 - x6 + 40 b46 <= 36.5 e208: x4 - x7 + 40 b47 <= 35 e209: x4 - x8 + 40 b48 <= 37 e210: x4 - x9 + 40 b49 <= 38 e211: x4 - x10 + 40 b50 <= 36 e212: x5 - x6 + 40 b51 <= 35.5 e213: x5 - x7 + 40 b52 <= 34 e214: x5 - x8 + 40 b53 <= 36 e215: x5 - x9 + 40 b54 <= 37 e216: x5 - x10 + 40 b55 <= 35 e217: x6 - x7 + 40 b56 <= 33.5 e218: x6 - x8 + 40 b57 <= 35.5 e219: x6 - x9 + 40 b58 <= 36.5 e220: x6 - x10 + 40 b59 <= 34.5 e221: x7 - x8 + 40 b60 <= 34 e222: x7 - x9 + 40 b61 <= 35 e223: x7 - x10 + 40 b62 <= 33 e224: x8 - x9 + 40 b63 <= 37 e225: x8 - x10 + 40 b64 <= 35 e226: x9 - x10 + 40 b65 <= 36 e227: - x1 + x2 + 40 b66 <= 34 e228: - x1 + x3 + 40 b67 <= 36 e229: - x1 + x4 + 40 b68 <= 36.5 e230: - x1 + x5 + 40 b69 <= 35.5 e231: - x1 + x6 + 40 b70 <= 35 e232: - x1 + x7 + 40 b71 <= 33.5 e233: - x1 + x8 + 40 b72 <= 35.5 e234: - x1 + x9 + 40 b73 <= 36.5 e235: - x1 + x10 + 40 b74 <= 34.5 e236: - x2 + x3 + 40 b75 <= 35 e237: - x2 + x4 + 40 b76 <= 35.5 e238: - x2 + x5 + 40 b77 <= 34.5 e239: - x2 + x6 + 40 b78 <= 34 e240: - x2 + x7 + 40 b79 <= 32.5 e241: - x2 + x8 + 40 b80 <= 34.5 e242: - x2 + x9 + 40 b81 <= 35.5 e243: - x2 + x10 + 40 b82 <= 33.5 e244: - x3 + x4 + 40 b83 <= 37.5 e245: - x3 + x5 + 40 b84 <= 36.5 e246: - x3 + x6 + 40 b85 <= 36 e247: - x3 + x7 + 40 b86 <= 34.5 e248: - x3 + x8 + 40 b87 <= 36.5 e249: - x3 + x9 + 40 b88 <= 37.5 e250: - x3 + x10 + 40 b89 <= 35.5 e251: - x4 + x5 + 40 b90 <= 37 e252: - x4 + x6 + 40 b91 <= 36.5 e253: - x4 + x7 + 40 b92 <= 35 e254: - x4 + x8 + 40 b93 <= 37 e255: - x4 + x9 + 40 b94 <= 38 e256: - x4 + x10 + 40 b95 <= 36 e257: - x5 + x6 + 40 b96 <= 35.5 e258: - x5 + x7 + 40 b97 <= 34 e259: - x5 + x8 + 40 b98 <= 36 e260: - x5 + x9 + 40 b99 <= 37 e261: - x5 + x10 + 40 b100 <= 35 e262: - x6 + x7 + 40 b101 <= 33.5 e263: - x6 + x8 + 40 b102 <= 35.5 e264: - x6 + x9 + 40 b103 <= 36.5 e265: - x6 + x10 + 40 b104 <= 34.5 e266: - x7 + x8 + 40 b105 <= 34 e267: - x7 + x9 + 40 b106 <= 35 e268: - x7 + x10 + 40 b107 <= 33 e269: - x8 + x9 + 40 b108 <= 37 e270: - x8 + x10 + 40 b109 <= 35 e271: - x9 + x10 + 40 b110 <= 36 e272: x11 - x12 + 40 b111 <= 34.5 e273: x11 - x13 + 40 b112 <= 35.5 e274: x11 - x14 + 40 b113 <= 35.5 e275: x11 - x15 + 40 b114 <= 35 e276: x11 - x16 + 40 b115 <= 36 e277: x11 - x17 + 40 b116 <= 34 e278: x11 - x18 + 40 b117 <= 34 e279: x11 - x19 + 40 b118 <= 34.5 e280: x11 - x20 + 40 b119 <= 35.5 e281: x12 - x13 + 40 b120 <= 36 e282: x12 - x14 + 40 b121 <= 36 e283: x12 - x15 + 40 b122 <= 35.5 e284: x12 - x16 + 40 b123 <= 36.5 e285: x12 - x17 + 40 b124 <= 34.5 e286: x12 - x18 + 40 b125 <= 34.5 e287: x12 - x19 + 40 b126 <= 35 e288: x12 - x20 + 40 b127 <= 36 e289: x13 - x14 + 40 b128 <= 37 e290: x13 - x15 + 40 b129 <= 36.5 e291: x13 - x16 + 40 b130 <= 37.5 e292: x13 - x17 + 40 b131 <= 35.5 e293: x13 - x18 + 40 b132 <= 35.5 e294: x13 - x19 + 40 b133 <= 36 e295: x13 - x20 + 40 b134 <= 37 e296: x14 - x15 + 40 b135 <= 36.5 e297: x14 - x16 + 40 b136 <= 37.5 e298: x14 - x17 + 40 b137 <= 35.5 e299: x14 - x18 + 40 b138 <= 35.5 e300: x14 - x19 + 40 b139 <= 36 e301: x14 - x20 + 40 b140 <= 37 e302: x15 - x16 + 40 b141 <= 37 e303: x15 - x17 + 40 b142 <= 35 e304: x15 - x18 + 40 b143 <= 35 e305: x15 - x19 + 40 b144 <= 35.5 e306: x15 - x20 + 40 b145 <= 36.5 e307: x16 - x17 + 40 b146 <= 36 e308: x16 - x18 + 40 b147 <= 36 e309: x16 - x19 + 40 b148 <= 36.5 e310: x16 - x20 + 40 b149 <= 37.5 e311: x17 - x18 + 40 b150 <= 34 e312: x17 - x19 + 40 b151 <= 34.5 e313: x17 - x20 + 40 b152 <= 35.5 e314: x18 - x19 + 40 b153 <= 34.5 e315: x18 - x20 + 40 b154 <= 35.5 e316: x19 - x20 + 40 b155 <= 36 e317: - x11 + x12 + 40 b156 <= 34.5 e318: - x11 + x13 + 40 b157 <= 35.5 e319: - x11 + x14 + 40 b158 <= 35.5 e320: - x11 + x15 + 40 b159 <= 35 e321: - x11 + x16 + 40 b160 <= 36 e322: - x11 + x17 + 40 b161 <= 34 e323: - x11 + x18 + 40 b162 <= 34 e324: - x11 + x19 + 40 b163 <= 34.5 e325: - x11 + x20 + 40 b164 <= 35.5 e326: - x12 + x13 + 40 b165 <= 36 e327: - x12 + x14 + 40 b166 <= 36 e328: - x12 + x15 + 40 b167 <= 35.5 e329: - x12 + x16 + 40 b168 <= 36.5 e330: - x12 + x17 + 40 b169 <= 34.5 e331: - x12 + x18 + 40 b170 <= 34.5 e332: - x12 + x19 + 40 b171 <= 35 e333: - x12 + x20 + 40 b172 <= 36 e334: - x13 + x14 + 40 b173 <= 37 e335: - x13 + x15 + 40 b174 <= 36.5 e336: - x13 + x16 + 40 b175 <= 37.5 e337: - x13 + x17 + 40 b176 <= 35.5 e338: - x13 + x18 + 40 b177 <= 35.5 e339: - x13 + x19 + 40 b178 <= 36 e340: - x13 + x20 + 40 b179 <= 37 e341: - x14 + x15 + 40 b180 <= 36.5 e342: - x14 + x16 + 40 b181 <= 37.5 e343: - x14 + x17 + 40 b182 <= 35.5 e344: - x14 + x18 + 40 b183 <= 35.5 e345: - x14 + x19 + 40 b184 <= 36 e346: - x14 + x20 + 40 b185 <= 37 e347: - x15 + x16 + 40 b186 <= 37 e348: - x15 + x17 + 40 b187 <= 35 e349: - x15 + x18 + 40 b188 <= 35 e350: - x15 + x19 + 40 b189 <= 35.5 e351: - x15 + x20 + 40 b190 <= 36.5 e352: - x16 + x17 + 40 b191 <= 36 e353: - x16 + x18 + 40 b192 <= 36 e354: - x16 + x19 + 40 b193 <= 36.5 e355: - x16 + x20 + 40 b194 <= 37.5 e356: - x17 + x18 + 40 b195 <= 34 e357: - x17 + x19 + 40 b196 <= 34.5 e358: - x17 + x20 + 40 b197 <= 35.5 e359: - x18 + x19 + 40 b198 <= 34.5 e360: - x18 + x20 + 40 b199 <= 35.5 e361: - x19 + x20 + 40 b200 <= 36 e362: b21 + b66 + b111 + b156 = 1 e363: b22 + b67 + b112 + b157 = 1 e364: b23 + b68 + b113 + b158 = 1 e365: b24 + b69 + b114 + b159 = 1 e366: b25 + b70 + b115 + b160 = 1 e367: b26 + b71 + b116 + b161 = 1 e368: b27 + b72 + b117 + b162 = 1 e369: b28 + b73 + b118 + b163 = 1 e370: b29 + b74 + b119 + b164 = 1 e371: b30 + b75 + b120 + b165 = 1 e372: b31 + b76 + b121 + b166 = 1 e373: b32 + b77 + b122 + b167 = 1 e374: b33 + b78 + b123 + b168 = 1 e375: b34 + b79 + b124 + b169 = 1 e376: b35 + b80 + b125 + b170 = 1 e377: b36 + b81 + b126 + b171 = 1 e378: b37 + b82 + b127 + b172 = 1 e379: b38 + b83 + b128 + b173 = 1 e380: b39 + b84 + b129 + b174 = 1 e381: b40 + b85 + b130 + b175 = 1 e382: b41 + b86 + b131 + b176 = 1 e383: b42 + b87 + b132 + b177 = 1 e384: b43 + b88 + b133 + b178 = 1 e385: b44 + b89 + b134 + b179 = 1 e386: b45 + b90 + b135 + b180 = 1 e387: b46 + b91 + b136 + b181 = 1 e388: b47 + b92 + b137 + b182 = 1 e389: b48 + b93 + b138 + b183 = 1 e390: b49 + b94 + b139 + b184 = 1 e391: b50 + b95 + b140 + b185 = 1 e392: b51 + b96 + b141 + b186 = 1 e393: b52 + b97 + b142 + b187 = 1 e394: b53 + b98 + b143 + b188 = 1 e395: b54 + b99 + b144 + b189 = 1 e396: b55 + b100 + b145 + b190 = 1 e397: b56 + b101 + b146 + b191 = 1 e398: b57 + b102 + b147 + b192 = 1 e399: b58 + b103 + b148 + b193 = 1 e400: b59 + b104 + b149 + b194 = 1 e401: b60 + b105 + b150 + b195 = 1 e402: b61 + b106 + b151 + b196 = 1 e403: b62 + b107 + b152 + b197 = 1 e404: b63 + b108 + b153 + b198 = 1 e405: b64 + b109 + b154 + b199 = 1 e406: b65 + b110 + b155 + b200 = 1 Bounds 2.5 <= x1 <= 37.5 3.5 <= x2 <= 36.5 1.5 <= x3 <= 38.5 1 <= x4 <= 39 2 <= x5 <= 38 2.5 <= x6 <= 37.5 4 <= x7 <= 36 2 <= x8 <= 38 1 <= x9 <= 39 3 <= x10 <= 37 3 <= x11 <= 37 2.5 <= x12 <= 37.5 1.5 <= x13 <= 38.5 1.5 <= x14 <= 38.5 2 <= x15 <= 38 1 <= x16 <= 39 3 <= x17 <= 37 3 <= x18 <= 37 2.5 <= x19 <= 37.5 1.5 <= x20 <= 38.5 Binary 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 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 b136 b137 b138 b139 b140 b141 b142 b143 b144 b145 b146 b147 b148 b149 b150 b151 b152 b153 b154 b155 b156 b157 b158 b159 b160 b161 b162 b163 b164 b165 b166 b167 b168 b169 b170 b171 b172 b173 b174 b175 b176 b177 b178 b179 b180 b181 b182 b183 b184 b185 b186 b187 b188 b189 b190 b191 b192 b193 b194 b195 b196 b197 b198 b199 b200 End