\ Equation counts \ Total E G L N X C B \ 597 119 56 422 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 261 190 71 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 2608 1584 1024 0 \ Maximize obj: - 0.45 x2 - 0.45 x3 - 0.45 x4 - 0.67 x5 - 0.67 x6 - 0.67 x7 - 1.03 x8 - 1.03 x9 - 1.03 x10 - 1.75 x11 - 1.75 x12 - 1.75 x13 - 1.57 x14 - 1.57 x15 - 1.57 x16 - 1.05 x17 - 1.05 x18 - 1.05 x19 - 0.13 x20 - 0.13 x21 - 0.13 x22 - 0.47 x23 - 0.47 x24 - 0.47 x25 - 0.34 x26 - 0.34 x27 - 0.34 x28 + 8.81 x29 + 8.81 x30 + 9.07 x31 + 9.07 x32 - 0.6 x33 - 0.6 x34 - 0.6 x35 - 0.65 x36 - 0.65 x37 - 0.65 x38 - 0.75 x39 - 0.75 x40 - 0.75 x41 + 9.52 x42 + 9.52 x43 + 9.52 x44 + 8.69 x45 + 8.69 x46 - 0.83 x47 - 0.83 x48 - 0.83 x49 - x50 - x51 - x52 - 0.44 x53 - 0.44 x54 - 0.44 x55 + 8.64 x56 + 8.64 x57 + 8.83 x58 + 8.83 x59 - 0.87 x60 - 0.87 x61 - 0.87 x62 - 0.4 x63 - 0.4 x64 - 0.4 x65 - 0.8 x66 - 0.8 x67 - 0.8 x68 + 8.69 x69 + 8.69 x70 + 9.34 x71 + 9.34 x72 + 0 x73 + 0 x74 + 0 x75 + 0 x76 + 0 x77 + 0 x78 + 0 x79 + 0 x80 + 0 x81 + 0 x82 + 0 x83 + 0 x84 + 0 x85 + 0 x86 + 0 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.2 b105 - 0.2 b106 - 0.2 b107 - 0.62 b108 - 0.62 b109 - 0.62 b110 - 0.35 b111 - 0.35 b112 - 0.35 b113 - 0.76 b114 - 0.76 b115 - 0.76 b116 - 0.38 b117 - 0.38 b118 - 0.38 b119 - 0.08 b120 - 0.08 b121 - 0.08 b122 - 0.93 b123 - 0.93 b124 - 0.93 b125 - 0.57 b126 - 0.57 b127 - 0.57 b128 - 0.01 b129 - 0.01 b130 - 0.01 b131 - 0.16 b132 - 0.16 b133 - 0.31 b134 - 0.31 b135 - 0.17 b136 - 0.17 b137 - 0.17 b138 - 0.26 b139 - 0.26 b140 - 0.26 b141 - 0.69 b142 - 0.69 b143 - 0.69 b144 - 0.45 b145 - 0.45 b146 - 0.45 b147 - 0.23 b148 - 0.23 b149 - 0.15 b150 - 0.15 b151 - 0.15 b152 - 0.54 b153 - 0.54 b154 - 0.54 b155 - 0.08 b156 - 0.08 b157 - 0.08 b158 - 0.11 b159 - 0.11 b160 - 0.82 b161 - 0.82 b162 - 0.82 b163 - 0.08 b164 - 0.08 b165 - 0.08 b166 - 0.26 b167 - 0.26 b168 - 0.26 b169 - 0.43 b170 - 0.43 b171 - 0.18 b172 - 0.18 b173 + 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 b197 + 0 b198 + 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 Subject To e2: x2 + x5 + x8 + x174 = 1.9 e3: x11 + x14 + x17 + x175 = 1.8 e4: - x11 + x20 + x23 + x26 - x33 - x47 - x60 + x176 = 0.3 e5: - x2 - x14 - x20 + x33 + x36 + x39 + x42 - x50 - x63 + x177 = 1.8 e6: - x5 - x17 - x23 - x36 + x47 + x50 + x53 - x66 + x178 = 1.3 e7: - x8 - x26 - x39 - x53 + x60 + x63 + x66 + x179 = 0.2 e8: - x42 + x180 = -0.35 e9: x3 + x6 + x9 - x174 + x181 = 0.1 e10: x4 + x7 + x10 - x181 + x182 = 0.7 e11: x12 + x15 + x18 - x175 + x183 = 0.8 e12: x13 + x16 + x19 - x183 + x184 = 0.3 e13: - x12 + x21 + x24 + x27 + x29 + x31 - x34 - x48 - x61 - x176 + x185 = 0 e14: - x13 + x22 + x25 + x28 + x30 + x32 - x35 - x49 - x62 - x185 + x186 = 0 e15: - x3 - x15 - x21 + x34 + x37 + x40 + x43 + x45 - x51 - x64 - x177 + x187 = 0 e16: - x4 - x16 - x22 + x35 + x38 + x41 + x44 + x46 - x52 - x65 - x187 + x188 = 0 e17: - x6 - x18 - x24 - x37 + x48 + x51 + x54 + x56 + x58 - x67 - x178 + x189 = 0 e18: - x7 - x19 - x25 - x38 + x49 + x52 + x55 + x57 + x59 - x68 - x189 + x190 = 0 e19: - x9 - x27 - x40 - x54 + x61 + x64 + x67 + x69 + x71 - x179 + x191 = 0 e20: - x10 - x28 - x41 - x55 + x62 + x65 + x68 + x70 + x72 - x191 + x192 = 0 e21: - x29 - x43 - x56 - x69 - x180 + x193 = -0.44 e22: - x30 - x44 - x57 - x70 - x193 + x194 = -0.77 e23: - x31 - x45 - x58 - x71 + x195 = 0.69 e24: - x32 - x46 - x59 - x72 - x195 + x196 = -0.8 e25: x2 - b105 <= 0 e26: x3 - b106 <= 0 e27: x4 - b107 <= 0 e28: x5 - b108 <= 0 e29: x6 - b109 <= 0 e30: x7 - b110 <= 0 e31: x8 - b111 <= 0 e32: x9 - b112 <= 0 e33: x10 - b113 <= 0 e34: x11 - b114 <= 0 e35: x12 - b115 <= 0 e36: x13 - b116 <= 0 e37: x14 - b117 <= 0 e38: x15 - b118 <= 0 e39: x16 - b119 <= 0 e40: x17 - b120 <= 0 e41: x18 - b121 <= 0 e42: x19 - b122 <= 0 e43: x20 - b123 <= 0 e44: x21 - b124 <= 0 e45: x22 - b125 <= 0 e46: x23 - b126 <= 0 e47: x24 - b127 <= 0 e48: x25 - b128 <= 0 e49: x26 - b129 <= 0 e50: x27 - b130 <= 0 e51: x28 - b131 <= 0 e52: x29 - b132 <= 0 e53: x30 - b133 <= 0 e54: x31 - b134 <= 0 e55: x32 - b135 <= 0 e56: x33 - b136 <= 0 e57: x34 - b137 <= 0 e58: x35 - b138 <= 0 e59: x36 - b139 <= 0 e60: x37 - b140 <= 0 e61: x38 - b141 <= 0 e62: x39 - b142 <= 0 e63: x40 - b143 <= 0 e64: x41 - b144 <= 0 e65: x42 - b145 <= 0 e66: x43 - b146 <= 0 e67: x44 - b147 <= 0 e68: x45 - b148 <= 0 e69: x46 - b149 <= 0 e70: x47 - b150 <= 0 e71: x48 - b151 <= 0 e72: x49 - b152 <= 0 e73: x50 - b153 <= 0 e74: x51 - b154 <= 0 e75: x52 - b155 <= 0 e76: x53 - b156 <= 0 e77: x54 - b157 <= 0 e78: x55 - b158 <= 0 e79: x56 - b159 <= 0 e80: x57 - b160 <= 0 e81: x58 - b197 <= 0 e82: x59 - b198 <= 0 e83: x60 - b161 <= 0 e84: x61 - b162 <= 0 e85: x62 - b163 <= 0 e86: x63 - b164 <= 0 e87: x64 - b165 <= 0 e88: x65 - b166 <= 0 e89: x66 - b167 <= 0 e90: x67 - b168 <= 0 e91: x68 - b169 <= 0 e92: x69 - b170 <= 0 e93: x70 - b171 <= 0 e94: x71 - b172 <= 0 e95: x72 - b173 <= 0 e96: 0.1 b134 - x199 <= -0.7 e97: 0.1 b135 - x200 <= -0.7 e98: 0.1 b148 - x201 <= -0.7 e99: 0.1 b149 - x202 <= -0.7 e100: 0.1 b197 - x203 <= -0.7 e101: 0.1 b198 - x204 <= -0.7 e102: 0.1 b172 - x205 <= -0.7 e103: 0.1 b173 - x206 <= -0.7 e104: 0.5 b132 - x207 <= 0 e105: 0.5 b133 - x208 <= 0 e106: 0.1 b134 - x207 <= 0 e107: 0.1 b135 - x208 <= 0 e108: 0.5 b146 - x209 <= 0 e109: 0.5 b147 - x210 <= 0 e110: 0.1 b148 - x209 <= 0 e111: 0.1 b149 - x210 <= 0 e112: 0.5 b159 - x211 <= 0 e113: 0.5 b160 - x212 <= 0 e114: 0.1 b197 - x211 <= 0 e115: 0.1 b198 - x212 <= 0 e116: 0.5 b170 - x213 <= 0 e117: 0.5 b171 - x214 <= 0 e118: 0.1 b172 - x213 <= 0 e119: 0.1 b173 - x214 <= 0 e120: 0.05 b132 - x215 <= -0.66 e121: 0.05 b133 - x216 <= -0.66 e122: 0.13 b134 - x215 <= -0.66 e123: 0.13 b135 - x216 <= -0.66 e124: 0.05 b146 - x217 <= -0.66 e125: 0.05 b147 - x218 <= -0.66 e126: 0.13 b148 - x217 <= -0.66 e127: 0.13 b149 - x218 <= -0.66 e128: 0.05 b159 - x219 <= -0.66 e129: 0.05 b160 - x220 <= -0.66 e130: 0.13 b197 - x219 <= -0.66 e131: 0.13 b198 - x220 <= -0.66 e132: 0.05 b170 - x221 <= -0.66 e133: 0.05 b171 - x222 <= -0.66 e134: 0.13 b172 - x221 <= -0.66 e135: 0.13 b173 - x222 <= -0.66 e136: 0.48 b132 - x223 <= 0 e137: 0.48 b133 - x224 <= 0 e138: 0.09 b134 - x223 <= 0 e139: 0.09 b135 - x224 <= 0 e140: 0.48 b146 - x225 <= 0 e141: 0.48 b147 - x226 <= 0 e142: 0.09 b148 - x225 <= 0 e143: 0.09 b149 - x226 <= 0 e144: 0.48 b159 - x227 <= 0 e145: 0.48 b160 - x228 <= 0 e146: 0.09 b197 - x227 <= 0 e147: 0.09 b198 - x228 <= 0 e148: 0.48 b170 - x229 <= 0 e149: 0.48 b171 - x230 <= 0 e150: 0.09 b172 - x229 <= 0 e151: 0.09 b173 - x230 <= 0 e152: 0.16 b134 - x231 <= -0.67 e153: 0.16 b135 - x232 <= -0.67 e154: 0.16 b148 - x233 <= -0.67 e155: 0.16 b149 - x234 <= -0.67 e156: 0.16 b197 - x235 <= -0.67 e157: 0.16 b198 - x236 <= -0.67 e158: 0.16 b172 - x237 <= -0.67 e159: 0.16 b173 - x238 <= -0.67 e160: 0.51 b132 - x239 <= 0 e161: 0.51 b133 - x240 <= 0 e162: 0.07 b134 - x239 <= 0 e163: 0.07 b135 - x240 <= 0 e164: 0.51 b146 - x241 <= 0 e165: 0.51 b147 - x242 <= 0 e166: 0.07 b148 - x241 <= 0 e167: 0.07 b149 - x242 <= 0 e168: 0.51 b159 - x243 <= 0 e169: 0.51 b160 - x244 <= 0 e170: 0.07 b197 - x243 <= 0 e171: 0.07 b198 - x244 <= 0 e172: 0.51 b170 - x245 <= 0 e173: 0.51 b171 - x246 <= 0 e174: 0.07 b172 - x245 <= 0 e175: 0.07 b173 - x246 <= 0 e176: 0.06 b132 - x247 <= -0.66 e177: 0.06 b133 - x248 <= -0.66 e178: 0.17 b134 - x247 <= -0.66 e179: 0.17 b135 - x248 <= -0.66 e180: 0.06 b146 - x249 <= -0.66 e181: 0.06 b147 - x250 <= -0.66 e182: 0.17 b148 - x249 <= -0.66 e183: 0.17 b149 - x250 <= -0.66 e184: 0.06 b159 - x251 <= -0.66 e185: 0.06 b160 - x252 <= -0.66 e186: 0.17 b197 - x251 <= -0.66 e187: 0.17 b198 - x252 <= -0.66 e188: 0.06 b170 - x253 <= -0.66 e189: 0.06 b171 - x254 <= -0.66 e190: 0.17 b172 - x253 <= -0.66 e191: 0.17 b173 - x254 <= -0.66 e192: 0.47 b132 - x255 <= 0 e193: 0.47 b133 - x256 <= 0 e194: 0.11 b134 - x255 <= 0 e195: 0.11 b135 - x256 <= 0 e196: 0.47 b146 - x257 <= 0 e197: 0.47 b147 - x258 <= 0 e198: 0.11 b148 - x257 <= 0 e199: 0.11 b149 - x258 <= 0 e200: 0.47 b159 - x259 <= 0 e201: 0.47 b160 - x260 <= 0 e202: 0.11 b197 - x259 <= 0 e203: 0.11 b198 - x260 <= 0 e204: 0.47 b170 - x261 <= 0 e205: 0.47 b171 - x262 <= 0 e206: 0.11 b172 - x261 <= 0 e207: 0.11 b173 - x262 <= 0 e208: - 0.2 b134 - x207 >= -0.9 e209: - 0.2 b135 - x208 >= -0.9 e210: - 0.2 b148 - x209 >= -0.9 e211: - 0.2 b149 - x210 >= -0.9 e212: - 0.2 b197 - x211 >= -0.9 e213: - 0.2 b198 - x212 >= -0.9 e214: - 0.2 b172 - x213 >= -0.9 e215: - 0.2 b173 - x214 >= -0.9 e216: - 0.05 b132 - x215 >= -1 e217: - 0.05 b133 - x216 >= -1 e218: - 0.05 b146 - x217 >= -1 e219: - 0.05 b147 - x218 >= -1 e220: - 0.05 b159 - x219 >= -1 e221: - 0.05 b160 - x220 >= -1 e222: - 0.05 b170 - x221 >= -1 e223: - 0.05 b171 - x222 >= -1 e224: - 0.12 b134 - x223 >= -0.92 e225: - 0.12 b135 - x224 >= -0.92 e226: - 0.12 b148 - x225 >= -0.92 e227: - 0.12 b149 - x226 >= -0.92 e228: - 0.12 b197 - x227 >= -0.92 e229: - 0.12 b198 - x228 >= -0.92 e230: - 0.12 b172 - x229 >= -0.92 e231: - 0.12 b173 - x230 >= -0.92 e232: - 0.1 b132 - x231 >= -0.99 e233: - 0.1 b133 - x232 >= -0.99 e234: - 0.1 b146 - x233 >= -0.99 e235: - 0.1 b147 - x234 >= -0.99 e236: - 0.1 b159 - x235 >= -0.99 e237: - 0.1 b160 - x236 >= -0.99 e238: - 0.1 b170 - x237 >= -0.99 e239: - 0.1 b171 - x238 >= -0.99 e240: - 0.23 b134 - x239 >= -0.96 e241: - 0.23 b135 - x240 >= -0.96 e242: - 0.23 b148 - x241 >= -0.96 e243: - 0.23 b149 - x242 >= -0.96 e244: - 0.23 b197 - x243 >= -0.96 e245: - 0.23 b198 - x244 >= -0.96 e246: - 0.23 b172 - x245 >= -0.96 e247: - 0.23 b173 - x246 >= -0.96 e248: - 0.12 b134 - x247 >= -1 e249: - 0.12 b135 - x248 >= -1 e250: - 0.12 b148 - x249 >= -1 e251: - 0.12 b149 - x250 >= -1 e252: - 0.12 b197 - x251 >= -1 e253: - 0.12 b198 - x252 >= -1 e254: - 0.12 b172 - x253 >= -1 e255: - 0.12 b173 - x254 >= -1 e256: - 0.1 b134 - x255 >= -0.91 e257: - 0.1 b135 - x256 >= -0.91 e258: - 0.1 b148 - x257 >= -0.91 e259: - 0.1 b149 - x258 >= -0.91 e260: - 0.1 b197 - x259 >= -0.91 e261: - 0.1 b198 - x260 >= -0.91 e262: - 0.1 b172 - x261 >= -0.91 e263: - 0.1 b173 - x262 >= -0.91 e264: b114 + b123 <= 1 e265: b115 + b124 <= 1 e266: b116 + b125 <= 1 e267: b114 + b126 <= 1 e268: b115 + b127 <= 1 e269: b116 + b128 <= 1 e270: b114 + b129 <= 1 e271: b115 + b130 <= 1 e272: b116 + b131 <= 1 e273: b115 + b132 <= 1 e274: b116 + b133 <= 1 e275: b115 + b134 <= 1 e276: b116 + b135 <= 1 e277: b123 + b136 <= 1 e278: b124 + b137 <= 1 e279: b125 + b138 <= 1 e280: b126 + b136 <= 1 e281: b127 + b137 <= 1 e282: b128 + b138 <= 1 e283: b129 + b136 <= 1 e284: b130 + b137 <= 1 e285: b131 + b138 <= 1 e286: b132 + b137 <= 1 e287: b133 + b138 <= 1 e288: b134 + b137 <= 1 e289: b135 + b138 <= 1 e290: b123 + b150 <= 1 e291: b124 + b151 <= 1 e292: b125 + b152 <= 1 e293: b126 + b150 <= 1 e294: b127 + b151 <= 1 e295: b128 + b152 <= 1 e296: b129 + b150 <= 1 e297: b130 + b151 <= 1 e298: b131 + b152 <= 1 e299: b132 + b151 <= 1 e300: b133 + b152 <= 1 e301: b134 + b151 <= 1 e302: b135 + b152 <= 1 e303: b123 + b161 <= 1 e304: b124 + b162 <= 1 e305: b125 + b163 <= 1 e306: b126 + b161 <= 1 e307: b127 + b162 <= 1 e308: b128 + b163 <= 1 e309: b129 + b161 <= 1 e310: b130 + b162 <= 1 e311: b131 + b163 <= 1 e312: b132 + b162 <= 1 e313: b133 + b163 <= 1 e314: b134 + b162 <= 1 e315: b135 + b163 <= 1 e316: b105 + b136 <= 1 e317: b106 + b137 <= 1 e318: b107 + b138 <= 1 e319: b105 + b139 <= 1 e320: b106 + b140 <= 1 e321: b107 + b141 <= 1 e322: b105 + b142 <= 1 e323: b106 + b143 <= 1 e324: b107 + b144 <= 1 e325: b105 + b145 <= 1 e326: b106 + b146 <= 1 e327: b107 + b147 <= 1 e328: b106 + b148 <= 1 e329: b107 + b149 <= 1 e330: b117 + b136 <= 1 e331: b118 + b137 <= 1 e332: b119 + b138 <= 1 e333: b117 + b139 <= 1 e334: b118 + b140 <= 1 e335: b119 + b141 <= 1 e336: b117 + b142 <= 1 e337: b118 + b143 <= 1 e338: b119 + b144 <= 1 e339: b117 + b145 <= 1 e340: b118 + b146 <= 1 e341: b119 + b147 <= 1 e342: b118 + b148 <= 1 e343: b119 + b149 <= 1 e344: b123 + b136 <= 1 e345: b124 + b137 <= 1 e346: b125 + b138 <= 1 e347: b123 + b139 <= 1 e348: b124 + b140 <= 1 e349: b125 + b141 <= 1 e350: b123 + b142 <= 1 e351: b124 + b143 <= 1 e352: b125 + b144 <= 1 e353: b123 + b145 <= 1 e354: b124 + b146 <= 1 e355: b125 + b147 <= 1 e356: b124 + b148 <= 1 e357: b125 + b149 <= 1 e358: b136 + b153 <= 1 e359: b137 + b154 <= 1 e360: b138 + b155 <= 1 e361: b139 + b153 <= 1 e362: b140 + b154 <= 1 e363: b141 + b155 <= 1 e364: b142 + b153 <= 1 e365: b143 + b154 <= 1 e366: b144 + b155 <= 1 e367: b145 + b153 <= 1 e368: b146 + b154 <= 1 e369: b147 + b155 <= 1 e370: b148 + b154 <= 1 e371: b149 + b155 <= 1 e372: b136 + b164 <= 1 e373: b137 + b165 <= 1 e374: b138 + b166 <= 1 e375: b139 + b164 <= 1 e376: b140 + b165 <= 1 e377: b141 + b166 <= 1 e378: b142 + b164 <= 1 e379: b143 + b165 <= 1 e380: b144 + b166 <= 1 e381: b145 + b164 <= 1 e382: b146 + b165 <= 1 e383: b147 + b166 <= 1 e384: b148 + b165 <= 1 e385: b149 + b166 <= 1 e386: b108 + b150 <= 1 e387: b109 + b151 <= 1 e388: b110 + b152 <= 1 e389: b108 + b153 <= 1 e390: b109 + b154 <= 1 e391: b110 + b155 <= 1 e392: b108 + b156 <= 1 e393: b109 + b157 <= 1 e394: b110 + b158 <= 1 e395: b109 + b159 <= 1 e396: b110 + b160 <= 1 e397: b109 + b197 <= 1 e398: b110 + b198 <= 1 e399: b120 + b150 <= 1 e400: b121 + b151 <= 1 e401: b122 + b152 <= 1 e402: b120 + b153 <= 1 e403: b121 + b154 <= 1 e404: b122 + b155 <= 1 e405: b120 + b156 <= 1 e406: b121 + b157 <= 1 e407: b122 + b158 <= 1 e408: b121 + b159 <= 1 e409: b122 + b160 <= 1 e410: b121 + b197 <= 1 e411: b122 + b198 <= 1 e412: b126 + b150 <= 1 e413: b127 + b151 <= 1 e414: b128 + b152 <= 1 e415: b126 + b153 <= 1 e416: b127 + b154 <= 1 e417: b128 + b155 <= 1 e418: b126 + b156 <= 1 e419: b127 + b157 <= 1 e420: b128 + b158 <= 1 e421: b127 + b159 <= 1 e422: b128 + b160 <= 1 e423: b127 + b197 <= 1 e424: b128 + b198 <= 1 e425: b139 + b150 <= 1 e426: b140 + b151 <= 1 e427: b141 + b152 <= 1 e428: b139 + b153 <= 1 e429: b140 + b154 <= 1 e430: b141 + b155 <= 1 e431: b139 + b156 <= 1 e432: b140 + b157 <= 1 e433: b141 + b158 <= 1 e434: b140 + b159 <= 1 e435: b141 + b160 <= 1 e436: b140 + b197 <= 1 e437: b141 + b198 <= 1 e438: b150 + b167 <= 1 e439: b151 + b168 <= 1 e440: b152 + b169 <= 1 e441: b153 + b167 <= 1 e442: b154 + b168 <= 1 e443: b155 + b169 <= 1 e444: b156 + b167 <= 1 e445: b157 + b168 <= 1 e446: b158 + b169 <= 1 e447: b159 + b168 <= 1 e448: b160 + b169 <= 1 e449: b168 + b197 <= 1 e450: b169 + b198 <= 1 e451: b111 + b161 <= 1 e452: b112 + b162 <= 1 e453: b113 + b163 <= 1 e454: b111 + b164 <= 1 e455: b112 + b165 <= 1 e456: b113 + b166 <= 1 e457: b111 + b167 <= 1 e458: b112 + b168 <= 1 e459: b113 + b169 <= 1 e460: b112 + b170 <= 1 e461: b113 + b171 <= 1 e462: b112 + b172 <= 1 e463: b113 + b173 <= 1 e464: b129 + b161 <= 1 e465: b130 + b162 <= 1 e466: b131 + b163 <= 1 e467: b129 + b164 <= 1 e468: b130 + b165 <= 1 e469: b131 + b166 <= 1 e470: b129 + b167 <= 1 e471: b130 + b168 <= 1 e472: b131 + b169 <= 1 e473: b130 + b170 <= 1 e474: b131 + b171 <= 1 e475: b130 + b172 <= 1 e476: b131 + b173 <= 1 e477: b142 + b161 <= 1 e478: b143 + b162 <= 1 e479: b144 + b163 <= 1 e480: b142 + b164 <= 1 e481: b143 + b165 <= 1 e482: b144 + b166 <= 1 e483: b142 + b167 <= 1 e484: b143 + b168 <= 1 e485: b144 + b169 <= 1 e486: b143 + b170 <= 1 e487: b144 + b171 <= 1 e488: b143 + b172 <= 1 e489: b144 + b173 <= 1 e490: b156 + b161 <= 1 e491: b157 + b162 <= 1 e492: b158 + b163 <= 1 e493: b156 + b164 <= 1 e494: b157 + b165 <= 1 e495: b158 + b166 <= 1 e496: b156 + b167 <= 1 e497: b157 + b168 <= 1 e498: b158 + b169 <= 1 e499: b157 + b170 <= 1 e500: b158 + b171 <= 1 e501: b157 + b172 <= 1 e502: b158 + b173 <= 1 e503: - 0.9 x11 + 0.7 x20 + 0.7 x23 + 0.7 x26 - 0.8 x33 - 0.7 x47 - 0.7 x60 + [ x176 * x199 ] = 0.21 e504: - 0.7 x2 - 0.9 x14 - 0.7 x20 + 0.8 x33 + 0.8 x36 + 0.8 x39 + 0.8 x42 - 0.7 x50 - 0.7 x63 + [ x177 * x201 ] = 1.44 e505: - 0.7 x5 - 0.9 x17 - 0.7 x23 - 0.8 x36 + 0.7 x47 + 0.7 x50 + 0.7 x53 - 0.7 x66 + [ x178 * x203 ] = 0.91 e506: - 0.7 x8 - 0.7 x26 - 0.8 x39 - 0.7 x53 + 0.7 x60 + 0.7 x63 + 0.7 x66 + [ x179 * x205 ] = 0.14 e507: - 0.01 x11 - 0.9 x33 - 0.8 x47 - 0.3 x60 + [ x176 * x207 ] = 0 e508: - 0.2 x2 - 0.01 x14 + 0.9 x33 + 0.9 x36 + 0.9 x39 + 0.9 x42 - 0.8 x50 - 0.3 x63 + [ x177 * x209 ] = 1.62 e509: - 0.2 x5 - 0.01 x17 - 0.9 x36 + 0.8 x47 + 0.8 x50 + 0.8 x53 - 0.3 x66 + [ x178 * x211 ] = 1.04 e510: - 0.2 x8 - 0.9 x39 - 0.8 x53 + 0.3 x60 + 0.3 x63 + 0.3 x66 + [ x179 * x213 ] = 0.06 e511: - 0.88 x11 + 0.68 x20 + 0.68 x23 + 0.68 x26 - 0.81 x33 - 0.71 x47 - 0.66 x60 + [ x176 * x215 ] = 0.204 e512: - 0.69 x2 - 0.88 x14 - 0.68 x20 + 0.81 x33 + 0.81 x36 + 0.81 x39 + 0.81 x42 - 0.71 x50 - 0.66 x63 + [ x177 * x217 ] = 1.458 e513: - 0.69 x5 - 0.88 x17 - 0.68 x23 - 0.81 x36 + 0.71 x47 + 0.71 x50 + 0.71 x53 - 0.66 x66 + [ x178 * x219 ] = 0.923 e514: - 0.69 x8 - 0.68 x26 - 0.81 x39 - 0.71 x53 + 0.66 x60 + 0.66 x63 + 0.66 x66 + [ x179 * x221 ] = 0.132 e515: 0.01 x20 + 0.01 x23 + 0.01 x26 - 0.9 x33 - 0.8 x47 - 0.4 x60 + [ x176 * x223 ] = 0.003 e516: - 0.18 x2 - 0.01 x20 + 0.9 x33 + 0.9 x36 + 0.9 x39 + 0.9 x42 - 0.8 x50 - 0.4 x63 + [ x177 * x225 ] = 1.62 e517: - 0.18 x5 - 0.01 x23 - 0.9 x36 + 0.8 x47 + 0.8 x50 + 0.8 x53 - 0.4 x66 + [ x178 * x227 ] = 1.04 e518: - 0.18 x8 - 0.01 x26 - 0.9 x39 - 0.8 x53 + 0.4 x60 + 0.4 x63 + 0.4 x66 + [ x179 * x229 ] = 0.08 e519: - 0.92 x11 + 0.72 x20 + 0.72 x23 + 0.72 x26 - 0.79 x33 - 0.73 x47 - 0.8 x60 + [ x176 * x231 ] = 0.216 e520: - 0.72 x2 - 0.92 x14 - 0.72 x20 + 0.79 x33 + 0.79 x36 + 0.79 x39 + 0.79 x42 - 0.73 x50 - 0.8 x63 + [ x177 * x233 ] = 1.422 e521: - 0.72 x5 - 0.92 x17 - 0.72 x23 - 0.79 x36 + 0.73 x47 + 0.73 x50 + 0.73 x53 - 0.8 x66 + [ x178 * x235 ] = 0.949 e522: - 0.72 x8 - 0.72 x26 - 0.79 x39 - 0.73 x53 + 0.8 x60 + 0.8 x63 + 0.8 x66 + [ x179 * x237 ] = 0.16 e523: - 0.05 x11 - 0.92 x33 - 0.21 x47 - 0.29 x60 + [ x176 * x239 ] = 0 e524: - 0.22 x2 - 0.05 x14 + 0.92 x33 + 0.92 x36 + 0.92 x39 + 0.92 x42 - 0.21 x50 - 0.29 x63 + [ x177 * x241 ] = 1.656 e525: - 0.22 x5 - 0.05 x17 - 0.92 x36 + 0.21 x47 + 0.21 x50 + 0.21 x53 - 0.29 x66 + [ x178 * x243 ] = 0.273 e526: - 0.22 x8 - 0.92 x39 - 0.21 x53 + 0.29 x60 + 0.29 x63 + 0.29 x66 + [ x179 * x245 ] = 0.058 e527: - 0.87 x11 + 0.66 x20 + 0.66 x23 + 0.66 x26 - 0.78 x33 - 0.75 x47 - 0.7 x60 + [ x176 * x247 ] = 0.198 e528: - 0.68 x2 - 0.87 x14 - 0.66 x20 + 0.78 x33 + 0.78 x36 + 0.78 x39 + 0.78 x42 - 0.75 x50 - 0.7 x63 + [ x177 * x249 ] = 1.404 e529: - 0.68 x5 - 0.87 x17 - 0.66 x23 - 0.78 x36 + 0.75 x47 + 0.75 x50 + 0.75 x53 - 0.7 x66 + [ x178 * x251 ] = 0.975 e530: - 0.68 x8 - 0.66 x26 - 0.78 x39 - 0.75 x53 + 0.7 x60 + 0.7 x63 + 0.7 x66 + [ x179 * x253 ] = 0.14 e531: - 0.91 x33 - 0.89 x47 - 0.43 x60 + [ x176 * x255 ] = 0 e532: - 0.21 x2 + 0.91 x33 + 0.91 x36 + 0.91 x39 + 0.91 x42 - 0.89 x50 - 0.43 x63 + [ x177 * x257 ] = 1.638 e533: - 0.21 x5 - 0.91 x36 + 0.89 x47 + 0.89 x50 + 0.89 x53 - 0.43 x66 + [ x178 * x259 ] = 1.157 e534: - 0.21 x8 - 0.91 x39 - 0.89 x53 + 0.43 x60 + 0.43 x63 + 0.43 x66 + [ x179 * x261 ] = 0.086 e535: - 0.9 x12 + [ x21 * x199 + x24 * x199 + x27 * x199 + x29 * x199 + x31 * x199 - x34 * x201 - x48 * x203 - x61 * x205 - x176 * x199 + x185 * x200 ] = 0 e536: - 0.9 x13 + [ x22 * x200 + x25 * x200 + x28 * x200 + x30 * x200 + x32 * x200 - x35 * x202 - x49 * x204 - x62 * x206 + x73 * x186 - x185 * x200 ] = 0 e537: - 0.7 x3 - 0.9 x15 + [ - x21 * x199 + x34 * x201 + x37 * x201 + x40 * x201 + x43 * x201 + x45 * x201 - x51 * x203 - x64 * x205 - x177 * x201 + x187 * x202 ] = 0 e538: - 0.7 x4 - 0.9 x16 + [ - x22 * x200 + x35 * x202 + x38 * x202 + x41 * x202 + x44 * x202 + x46 * x202 - x52 * x204 - x65 * x206 + x74 * x188 - x187 * x202 ] = 0 e539: - 0.7 x6 - 0.9 x18 + [ - x24 * x199 - x37 * x201 + x48 * x203 + x51 * x203 + x54 * x203 + x56 * x203 + x58 * x203 - x67 * x205 - x178 * x203 + x189 * x204 ] = 0 e540: - 0.7 x7 - 0.9 x19 + [ - x25 * x200 - x38 * x202 + x49 * x204 + x52 * x204 + x55 * x204 + x57 * x204 + x59 * x204 - x68 * x206 + x75 * x190 - x189 * x204 ] = 0 e541: - 0.7 x9 + [ - x27 * x199 - x40 * x201 - x54 * x203 + x61 * x205 + x64 * x205 + x67 * x205 + x69 * x205 + x71 * x205 - x179 * x205 + x191 * x206 ] = 0 e542: - 0.7 x10 + [ - x28 * x200 - x41 * x202 - x55 * x204 + x62 * x206 + x65 * x206 + x68 * x206 + x70 * x206 + x72 * x206 + x76 * x192 - x191 * x206 ] = 0 e543: - 0.01 x12 + [ x21 * x207 + x24 * x207 + x27 * x207 + x29 * x207 + x31 * x207 - x34 * x209 - x48 * x211 - x61 * x213 - x176 * x207 + x185 * x208 ] = 0 e544: - 0.01 x13 + [ x22 * x208 + x25 * x208 + x28 * x208 + x30 * x208 + x32 * x208 - x35 * x210 - x49 * x212 - x62 * x214 + x77 * x186 - x185 * x208 ] = 0 e545: - 0.2 x3 - 0.01 x15 + [ - x21 * x207 + x34 * x209 + x37 * x209 + x40 * x209 + x43 * x209 + x45 * x209 - x51 * x211 - x64 * x213 - x177 * x209 + x187 * x210 ] = 0 e546: - 0.2 x4 - 0.01 x16 + [ - x22 * x208 + x35 * x210 + x38 * x210 + x41 * x210 + x44 * x210 + x46 * x210 - x52 * x212 - x65 * x214 + x78 * x188 - x187 * x210 ] = 0 e547: - 0.2 x6 - 0.01 x18 + [ - x24 * x207 - x37 * x209 + x48 * x211 + x51 * x211 + x54 * x211 + x56 * x211 + x58 * x211 - x67 * x213 - x178 * x211 + x189 * x212 ] = 0 e548: - 0.2 x7 - 0.01 x19 + [ - x25 * x208 - x38 * x210 + x49 * x212 + x52 * x212 + x55 * x212 + x57 * x212 + x59 * x212 - x68 * x214 + x79 * x190 - x189 * x212 ] = 0 e549: - 0.2 x9 + [ - x27 * x207 - x40 * x209 - x54 * x211 + x61 * x213 + x64 * x213 + x67 * x213 + x69 * x213 + x71 * x213 - x179 * x213 + x191 * x214 ] = 0 e550: - 0.2 x10 + [ - x28 * x208 - x41 * x210 - x55 * x212 + x62 * x214 + x65 * x214 + x68 * x214 + x70 * x214 + x72 * x214 + x80 * x192 - x191 * x214 ] = 0 e551: - 0.88 x12 + [ x21 * x215 + x24 * x215 + x27 * x215 + x29 * x215 + x31 * x215 - x34 * x217 - x48 * x219 - x61 * x221 - x176 * x215 + x185 * x216 ] = 0 e552: - 0.88 x13 + [ x22 * x216 + x25 * x216 + x28 * x216 + x30 * x216 + x32 * x216 - x35 * x218 - x49 * x220 - x62 * x222 + x81 * x186 - x185 * x216 ] = 0 e553: - 0.69 x3 - 0.88 x15 + [ - x21 * x215 + x34 * x217 + x37 * x217 + x40 * x217 + x43 * x217 + x45 * x217 - x51 * x219 - x64 * x221 - x177 * x217 + x187 * x218 ] = 0 e554: - 0.69 x4 - 0.88 x16 + [ - x22 * x216 + x35 * x218 + x38 * x218 + x41 * x218 + x44 * x218 + x46 * x218 - x52 * x220 - x65 * x222 + x82 * x188 - x187 * x218 ] = 0 e555: - 0.69 x6 - 0.88 x18 + [ - x24 * x215 - x37 * x217 + x48 * x219 + x51 * x219 + x54 * x219 + x56 * x219 + x58 * x219 - x67 * x221 - x178 * x219 + x189 * x220 ] = 0 e556: - 0.69 x7 - 0.88 x19 + [ - x25 * x216 - x38 * x218 + x49 * x220 + x52 * x220 + x55 * x220 + x57 * x220 + x59 * x220 - x68 * x222 + x83 * x190 - x189 * x220 ] = 0 e557: - 0.69 x9 + [ - x27 * x215 - x40 * x217 - x54 * x219 + x61 * x221 + x64 * x221 + x67 * x221 + x69 * x221 + x71 * x221 - x179 * x221 + x191 * x222 ] = 0 e558: - 0.69 x10 + [ - x28 * x216 - x41 * x218 - x55 * x220 + x62 * x222 + x65 * x222 + x68 * x222 + x70 * x222 + x72 * x222 + x84 * x192 - x191 * x222 ] = 0 e559: - 0.18 x3 + [ - x21 * x223 + x34 * x225 + x37 * x225 + x40 * x225 + x43 * x225 + x45 * x225 - x51 * x227 - x64 * x229 - x177 * x225 + x187 * x226 ] = 0 e560: - 0.18 x4 + [ - x22 * x224 + x35 * x226 + x38 * x226 + x41 * x226 + x44 * x226 + x46 * x226 - x52 * x228 - x65 * x230 + x86 * x188 - x187 * x226 ] = 0 e561: - 0.18 x6 + [ - x24 * x223 - x37 * x225 + x48 * x227 + x51 * x227 + x54 * x227 + x56 * x227 + x58 * x227 - x67 * x229 - x178 * x227 + x189 * x228 ] = 0 e562: - 0.18 x7 + [ - x25 * x224 - x38 * x226 + x49 * x228 + x52 * x228 + x55 * x228 + x57 * x228 + x59 * x228 - x68 * x230 + x87 * x190 - x189 * x228 ] = 0 e563: - 0.18 x9 + [ - x27 * x223 - x40 * x225 - x54 * x227 + x61 * x229 + x64 * x229 + x67 * x229 + x69 * x229 + x71 * x229 - x179 * x229 + x191 * x230 ] = 0 e564: - 0.18 x10 + [ - x28 * x224 - x41 * x226 - x55 * x228 + x62 * x230 + x65 * x230 + x68 * x230 + x70 * x230 + x72 * x230 + x88 * x192 - x191 * x230 ] = 0 e565: - 0.92 x12 + [ x21 * x231 + x24 * x231 + x27 * x231 + x29 * x231 + x31 * x231 - x34 * x233 - x48 * x235 - x61 * x237 - x176 * x231 + x185 * x232 ] = 0 e566: - 0.92 x13 + [ x22 * x232 + x25 * x232 + x28 * x232 + x30 * x232 + x32 * x232 - x35 * x234 - x49 * x236 - x62 * x238 + x89 * x186 - x185 * x232 ] = 0 e567: - 0.72 x3 - 0.92 x15 + [ - x21 * x231 + x34 * x233 + x37 * x233 + x40 * x233 + x43 * x233 + x45 * x233 - x51 * x235 - x64 * x237 - x177 * x233 + x187 * x234 ] = 0 e568: - 0.72 x4 - 0.92 x16 + [ - x22 * x232 + x35 * x234 + x38 * x234 + x41 * x234 + x44 * x234 + x46 * x234 - x52 * x236 - x65 * x238 + x90 * x188 - x187 * x234 ] = 0 e569: - 0.72 x6 - 0.92 x18 + [ - x24 * x231 - x37 * x233 + x48 * x235 + x51 * x235 + x54 * x235 + x56 * x235 + x58 * x235 - x67 * x237 - x178 * x235 + x189 * x236 ] = 0 e570: - 0.72 x7 - 0.92 x19 + [ - x25 * x232 - x38 * x234 + x49 * x236 + x52 * x236 + x55 * x236 + x57 * x236 + x59 * x236 - x68 * x238 + x91 * x190 - x189 * x236 ] = 0 e571: - 0.72 x9 + [ - x27 * x231 - x40 * x233 - x54 * x235 + x61 * x237 + x64 * x237 + x67 * x237 + x69 * x237 + x71 * x237 - x179 * x237 + x191 * x238 ] = 0 e572: - 0.72 x10 + [ - x28 * x232 - x41 * x234 - x55 * x236 + x62 * x238 + x65 * x238 + x68 * x238 + x70 * x238 + x72 * x238 + x92 * x192 - x191 * x238 ] = 0 e573: - 0.05 x12 + [ x21 * x239 + x24 * x239 + x27 * x239 + x29 * x239 + x31 * x239 - x34 * x241 - x48 * x243 - x61 * x245 - x176 * x239 + x185 * x240 ] = 0 e574: - 0.05 x13 + [ x22 * x240 + x25 * x240 + x28 * x240 + x30 * x240 + x32 * x240 - x35 * x242 - x49 * x244 - x62 * x246 + x93 * x186 - x185 * x240 ] = 0 e575: - 0.22 x3 - 0.05 x15 + [ - x21 * x239 + x34 * x241 + x37 * x241 + x40 * x241 + x43 * x241 + x45 * x241 - x51 * x243 - x64 * x245 - x177 * x241 + x187 * x242 ] = 0 e576: - 0.22 x4 - 0.05 x16 + [ - x22 * x240 + x35 * x242 + x38 * x242 + x41 * x242 + x44 * x242 + x46 * x242 - x52 * x244 - x65 * x246 + x94 * x188 - x187 * x242 ] = 0 e577: - 0.22 x6 - 0.05 x18 + [ - x24 * x239 - x37 * x241 + x48 * x243 + x51 * x243 + x54 * x243 + x56 * x243 + x58 * x243 - x67 * x245 - x178 * x243 + x189 * x244 ] = 0 e578: - 0.22 x7 - 0.05 x19 + [ - x25 * x240 - x38 * x242 + x49 * x244 + x52 * x244 + x55 * x244 + x57 * x244 + x59 * x244 - x68 * x246 + x95 * x190 - x189 * x244 ] = 0 e579: - 0.22 x9 + [ - x27 * x239 - x40 * x241 - x54 * x243 + x61 * x245 + x64 * x245 + x67 * x245 + x69 * x245 + x71 * x245 - x179 * x245 + x191 * x246 ] = 0 e580: - 0.22 x10 + [ - x28 * x240 - x41 * x242 - x55 * x244 + x62 * x246 + x65 * x246 + x68 * x246 + x70 * x246 + x72 * x246 + x96 * x192 - x191 * x246 ] = 0 e581: - 0.87 x12 + [ x21 * x247 + x24 * x247 + x27 * x247 + x29 * x247 + x31 * x247 - x34 * x249 - x48 * x251 - x61 * x253 - x176 * x247 + x185 * x248 ] = 0 e582: - 0.87 x13 + [ x22 * x248 + x25 * x248 + x28 * x248 + x30 * x248 + x32 * x248 - x35 * x250 - x49 * x252 - x62 * x254 + x97 * x186 - x185 * x248 ] = 0 e583: - 0.68 x3 - 0.87 x15 + [ - x21 * x247 + x34 * x249 + x37 * x249 + x40 * x249 + x43 * x249 + x45 * x249 - x51 * x251 - x64 * x253 - x177 * x249 + x187 * x250 ] = 0 e584: - 0.68 x4 - 0.87 x16 + [ - x22 * x248 + x35 * x250 + x38 * x250 + x41 * x250 + x44 * x250 + x46 * x250 - x52 * x252 - x65 * x254 + x98 * x188 - x187 * x250 ] = 0 e585: - 0.68 x6 - 0.87 x18 + [ - x24 * x247 - x37 * x249 + x48 * x251 + x51 * x251 + x54 * x251 + x56 * x251 + x58 * x251 - x67 * x253 - x178 * x251 + x189 * x252 ] = 0 e586: - 0.68 x7 - 0.87 x19 + [ - x25 * x248 - x38 * x250 + x49 * x252 + x52 * x252 + x55 * x252 + x57 * x252 + x59 * x252 - x68 * x254 + x99 * x190 - x189 * x252 ] = 0 e587: - 0.68 x9 + [ - x27 * x247 - x40 * x249 - x54 * x251 + x61 * x253 + x64 * x253 + x67 * x253 + x69 * x253 + x71 * x253 - x179 * x253 + x191 * x254 ] = 0 e588: - 0.68 x10 + [ - x28 * x248 - x41 * x250 - x55 * x252 + x62 * x254 + x65 * x254 + x68 * x254 + x70 * x254 + x72 * x254 + x100 * x192 - x191 * x254 ] = 0 e589: - 0.21 x3 + [ - x21 * x255 + x34 * x257 + x37 * x257 + x40 * x257 + x43 * x257 + x45 * x257 - x51 * x259 - x64 * x261 - x177 * x257 + x187 * x258 ] = 0 e590: - 0.21 x4 + [ - x22 * x256 + x35 * x258 + x38 * x258 + x41 * x258 + x44 * x258 + x46 * x258 - x52 * x260 - x65 * x262 + x102 * x188 - x187 * x258 ] = 0 e591: - 0.21 x6 + [ - x24 * x255 - x37 * x257 + x48 * x259 + x51 * x259 + x54 * x259 + x56 * x259 + x58 * x259 - x67 * x261 - x178 * x259 + x189 * x260 ] = 0 e592: - 0.21 x7 + [ - x25 * x256 - x38 * x258 + x49 * x260 + x52 * x260 + x55 * x260 + x57 * x260 + x59 * x260 - x68 * x262 + x103 * x190 - x189 * x260 ] = 0 e593: - 0.21 x9 + [ - x27 * x255 - x40 * x257 - x54 * x259 + x61 * x261 + x64 * x261 + x67 * x261 + x69 * x261 + x71 * x261 - x179 * x261 + x191 * x262 ] = 0 e594: - 0.21 x10 + [ - x28 * x256 - x41 * x258 - x55 * x260 + x62 * x262 + x65 * x262 + x68 * x262 + x70 * x262 + x72 * x262 + x104 * x192 - x191 * x262 ] = 0 e595: [ x21 * x223 + x24 * x223 + x27 * x223 + x29 * x223 + x31 * x223 - x34 * x225 - x48 * x227 - x61 * x229 - x176 * x223 + x185 * x224 ] = 0 e596: [ x22 * x224 + x25 * x224 + x28 * x224 + x30 * x224 + x32 * x224 - x35 * x226 - x49 * x228 - x62 * x230 + x85 * x186 - x185 * x224 ] = 0 e597: [ x21 * x255 + x24 * x255 + x27 * x255 + x29 * x255 + x31 * x255 - x34 * x257 - x48 * x259 - x61 * x261 - x176 * x255 + x185 * x256 ] = 0 e598: [ x22 * x256 + x25 * x256 + x28 * x256 + x30 * x256 + x32 * x256 - x35 * x258 - x49 * x260 - x62 * x262 + x101 * x186 - x185 * x256 ] = 0 Bounds x2 <= 1 x3 <= 1 x4 <= 1 x5 <= 1 x6 <= 1 x7 <= 1 x8 <= 1 x9 <= 1 x10 <= 1 x11 <= 1 x12 <= 1 x13 <= 1 x14 <= 1 x15 <= 1 x16 <= 1 x17 <= 1 x18 <= 1 x19 <= 1 x20 <= 1 x21 <= 1 x22 <= 1 x23 <= 1 x24 <= 1 x25 <= 1 x26 <= 1 x27 <= 1 x28 <= 1 x29 <= 1 x30 <= 1 x31 <= 1 x32 <= 1 x33 <= 1 x34 <= 1 x35 <= 1 x36 <= 1 x37 <= 1 x38 <= 1 x39 <= 1 x40 <= 1 x41 <= 1 x42 <= 1 x43 <= 1 x44 <= 1 x45 <= 1 x46 <= 1 x47 <= 1 x48 <= 1 x49 <= 1 x50 <= 1 x51 <= 1 x52 <= 1 x53 <= 1 x54 <= 1 x55 <= 1 x56 <= 1 x57 <= 1 x58 <= 1 x59 <= 1 x60 <= 1 x61 <= 1 x62 <= 1 x63 <= 1 x64 <= 1 x65 <= 1 x66 <= 1 x67 <= 1 x68 <= 1 x69 <= 1 x70 <= 1 x71 <= 1 x72 <= 1 0.7 <= x73 <= 1 0.7 <= x74 <= 1 0.7 <= x75 <= 1 0.7 <= x76 <= 1 x77 <= 0.9 x78 <= 0.9 x79 <= 0.9 x80 <= 0.9 0.66 <= x81 <= 1 0.66 <= x82 <= 1 0.66 <= x83 <= 1 0.66 <= x84 <= 1 x85 <= 0.92 x86 <= 0.92 x87 <= 0.92 x88 <= 0.92 0.67 <= x89 <= 0.99 0.67 <= x90 <= 0.99 0.67 <= x91 <= 0.99 0.67 <= x92 <= 0.99 x93 <= 0.96 x94 <= 0.96 x95 <= 0.96 x96 <= 0.96 0.66 <= x97 <= 1 0.66 <= x98 <= 1 0.66 <= x99 <= 1 0.66 <= x100 <= 1 x101 <= 0.91 x102 <= 0.91 x103 <= 0.91 x104 <= 0.91 x174 <= 2 x175 <= 2 x176 <= 2 x177 <= 2 x178 <= 2 x179 <= 2 x180 <= 2 x181 <= 2 x182 <= 2 x183 <= 2 x184 <= 2 x185 <= 2 x186 <= 2 x187 <= 2 x188 <= 2 x189 <= 2 x190 <= 2 x191 <= 2 x192 <= 2 x193 <= 2 x194 <= 2 x195 <= 2 x196 <= 2 0.7 <= x199 <= 1 0.7 <= x200 <= 1 0.7 <= x201 <= 1 0.7 <= x202 <= 1 0.7 <= x203 <= 1 0.7 <= x204 <= 1 0.7 <= x205 <= 1 0.7 <= x206 <= 1 x207 <= 0.9 x208 <= 0.9 x209 <= 0.9 x210 <= 0.9 x211 <= 0.9 x212 <= 0.9 x213 <= 0.9 x214 <= 0.9 0.66 <= x215 <= 1 0.66 <= x216 <= 1 0.66 <= x217 <= 1 0.66 <= x218 <= 1 0.66 <= x219 <= 1 0.66 <= x220 <= 1 0.66 <= x221 <= 1 0.66 <= x222 <= 1 x223 <= 0.92 x224 <= 0.92 x225 <= 0.92 x226 <= 0.92 x227 <= 0.92 x228 <= 0.92 x229 <= 0.92 x230 <= 0.92 0.67 <= x231 <= 0.99 0.67 <= x232 <= 0.99 0.67 <= x233 <= 0.99 0.67 <= x234 <= 0.99 0.67 <= x235 <= 0.99 0.67 <= x236 <= 0.99 0.67 <= x237 <= 0.99 0.67 <= x238 <= 0.99 x239 <= 0.96 x240 <= 0.96 x241 <= 0.96 x242 <= 0.96 x243 <= 0.96 x244 <= 0.96 x245 <= 0.96 x246 <= 0.96 0.66 <= x247 <= 1 0.66 <= x248 <= 1 0.66 <= x249 <= 1 0.66 <= x250 <= 1 0.66 <= x251 <= 1 0.66 <= x252 <= 1 0.66 <= x253 <= 1 0.66 <= x254 <= 1 x255 <= 0.91 x256 <= 0.91 x257 <= 0.91 x258 <= 0.91 x259 <= 0.91 x260 <= 0.91 x261 <= 0.91 x262 <= 0.91 Binary 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 b197 b198 End