\ Equation counts \ Total E G L N X C B \ 427 47 32 348 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 191 119 72 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 1413 1157 256 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.64 x58 + 8.83 x59 + 8.83 x60 - 0.87 x61 - 0.87 x62 - 0.87 x63 - 0.4 x64 - 0.4 x65 - 0.4 x66 - 0.8 x67 - 0.8 x68 - 0.8 x69 + 8.69 x70 + 8.69 x71 + 9.34 x72 + 9.34 x73 + 0 x74 + 0 x75 + 0 x76 + 0 x77 + 0 x78 + 0 x79 + 0 x80 + 0 x81 - 0.2 b82 - 0.2 b83 - 0.2 b84 - 0.62 b85 - 0.62 b86 - 0.62 b87 - 0.35 b88 - 0.35 b89 - 0.35 b90 - 0.76 b91 - 0.76 b92 - 0.76 b93 - 0.38 b94 - 0.38 b95 - 0.38 b96 - 0.08 b97 - 0.08 b98 - 0.08 b99 - 0.93 b100 - 0.93 b101 - 0.93 b102 - 0.57 b103 - 0.57 b104 - 0.57 b105 - 0.01 b106 - 0.01 b107 - 0.01 b108 - 0.16 b109 - 0.16 b110 - 0.31 b111 - 0.31 b112 - 0.17 b113 - 0.17 b114 - 0.17 b115 - 0.26 b116 - 0.26 b117 - 0.26 b118 - 0.69 b119 - 0.69 b120 - 0.69 b121 - 0.45 b122 - 0.45 b123 - 0.45 b124 - 0.23 b125 - 0.23 b126 - 0.15 b127 - 0.15 b128 - 0.15 b129 - 0.54 b130 - 0.54 b131 - 0.54 b132 - 0.08 b133 - 0.08 b134 - 0.08 b135 - 0.11 b136 - 0.11 b137 - 0.11 b138 - 0.82 b139 - 0.82 b140 - 0.82 b141 - 0.08 b142 - 0.08 b143 - 0.08 b144 - 0.26 b145 - 0.26 b146 - 0.26 b147 - 0.43 b148 - 0.43 b149 - 0.18 b150 - 0.18 b151 + 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 b175 + 0 b176 + 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 Subject To e2: x2 + x5 + x8 + x152 = 1.9 e3: x11 + x14 + x17 + x153 = 1.8 e4: - x11 + x20 + x23 + x26 - x33 - x47 - x61 + x154 = 0.3 e5: - x2 - x14 - x20 + x33 + x36 + x39 + x42 - x50 - x64 + x155 = 1.8 e6: - x5 - x17 - x23 - x36 + x47 + x50 + x53 + x56 - x67 + x156 = 1.3 e7: - x8 - x26 - x39 - x53 + x61 + x64 + x67 + x157 = 0.2 e8: - x42 - x56 + x158 = -0.35 e9: x3 + x6 + x9 - x152 + x159 = 0.1 e10: x4 + x7 + x10 - x159 + x160 = 0.7 e11: x12 + x15 + x18 - x153 + x161 = 0.8 e12: x13 + x16 + x19 - x161 + x162 = 0.3 e13: - x12 + x21 + x24 + x27 + x29 + x31 - x34 - x48 - x62 - x154 + x163 = 0 e14: - x13 + x22 + x25 + x28 + x30 + x32 - x35 - x49 - x63 - x163 + x164 = 0 e15: - x3 - x15 - x21 + x34 + x37 + x40 + x43 + x45 - x51 - x65 - x155 + x165 = 0 e16: - x4 - x16 - x22 + x35 + x38 + x41 + x44 + x46 - x52 - x66 - x165 + x166 = 0 e17: - x6 - x18 - x24 - x37 + x48 + x51 + x54 + x57 + x59 - x68 - x156 + x167 = 0 e18: - x7 - x19 - x25 - x38 + x49 + x52 + x55 + x58 + x60 - x69 - x167 + x168 = 0 e19: - x9 - x27 - x40 - x54 + x62 + x65 + x68 + x70 + x72 - x157 + x169 = 0 e20: - x10 - x28 - x41 - x55 + x63 + x66 + x69 + x71 + x73 - x169 + x170 = 0 e21: - x29 - x43 - x57 - x70 - x158 + x171 = -0.44 e22: - x30 - x44 - x58 - x71 - x171 + x172 = -0.77 e23: - x31 - x45 - x59 - x72 + x173 = 0.69 e24: - x32 - x46 - x60 - x73 - x173 + x174 = -0.8 e25: x2 - b82 <= 0 e26: x3 - b83 <= 0 e27: x4 - b84 <= 0 e28: x5 - b85 <= 0 e29: x6 - b86 <= 0 e30: x7 - b87 <= 0 e31: x8 - b88 <= 0 e32: x9 - b89 <= 0 e33: x10 - b90 <= 0 e34: x11 - b91 <= 0 e35: x12 - b92 <= 0 e36: x13 - b93 <= 0 e37: x14 - b94 <= 0 e38: x15 - b95 <= 0 e39: x16 - b96 <= 0 e40: x17 - b97 <= 0 e41: x18 - b98 <= 0 e42: x19 - b99 <= 0 e43: x20 - b100 <= 0 e44: x21 - b101 <= 0 e45: x22 - b102 <= 0 e46: x23 - b103 <= 0 e47: x24 - b104 <= 0 e48: x25 - b105 <= 0 e49: x26 - b106 <= 0 e50: x27 - b107 <= 0 e51: x28 - b108 <= 0 e52: x29 - b109 <= 0 e53: x30 - b110 <= 0 e54: x31 - b111 <= 0 e55: x32 - b112 <= 0 e56: x33 - b113 <= 0 e57: x34 - b114 <= 0 e58: x35 - b115 <= 0 e59: x36 - b116 <= 0 e60: x37 - b117 <= 0 e61: x38 - b118 <= 0 e62: x39 - b119 <= 0 e63: x40 - b120 <= 0 e64: x41 - b121 <= 0 e65: x42 - b122 <= 0 e66: x43 - b123 <= 0 e67: x44 - b124 <= 0 e68: x45 - b125 <= 0 e69: x46 - b126 <= 0 e70: x47 - b127 <= 0 e71: x48 - b128 <= 0 e72: x49 - b129 <= 0 e73: x50 - b130 <= 0 e74: x51 - b131 <= 0 e75: x52 - b132 <= 0 e76: x53 - b133 <= 0 e77: x54 - b134 <= 0 e78: x55 - b135 <= 0 e79: x56 - b136 <= 0 e80: x57 - b137 <= 0 e81: x58 - b138 <= 0 e82: x59 - b175 <= 0 e83: x60 - b176 <= 0 e84: x61 - b139 <= 0 e85: x62 - b140 <= 0 e86: x63 - b141 <= 0 e87: x64 - b142 <= 0 e88: x65 - b143 <= 0 e89: x66 - b144 <= 0 e90: x67 - b145 <= 0 e91: x68 - b146 <= 0 e92: x69 - b147 <= 0 e93: x70 - b148 <= 0 e94: x71 - b149 <= 0 e95: x72 - b150 <= 0 e96: x73 - b151 <= 0 e97: b109 - x177 <= 0.3 e98: b110 - x178 <= 0.3 e99: b111 - x177 <= 0.2 e100: b112 - x178 <= 0.2 e101: b123 - x179 <= 0.3 e102: b124 - x180 <= 0.3 e103: b125 - x179 <= 0.2 e104: b126 - x180 <= 0.2 e105: b137 - x181 <= 0.3 e106: b138 - x182 <= 0.3 e107: b175 - x181 <= 0.2 e108: b176 - x182 <= 0.2 e109: b148 - x183 <= 0.3 e110: b149 - x184 <= 0.3 e111: b150 - x183 <= 0.2 e112: b151 - x184 <= 0.2 e113: b109 - x185 <= 0.5 e114: b110 - x186 <= 0.5 e115: b111 - x185 <= 0.9 e116: b112 - x186 <= 0.9 e117: b123 - x187 <= 0.5 e118: b124 - x188 <= 0.5 e119: b125 - x187 <= 0.9 e120: b126 - x188 <= 0.9 e121: b137 - x189 <= 0.5 e122: b138 - x190 <= 0.5 e123: b175 - x189 <= 0.9 e124: b176 - x190 <= 0.9 e125: b148 - x191 <= 0.5 e126: b149 - x192 <= 0.5 e127: b150 - x191 <= 0.9 e128: b151 - x192 <= 0.9 e129: - b109 - x177 >= -2 e130: - b110 - x178 >= -2 e131: - b111 - x177 >= -2 e132: - b112 - x178 >= -2 e133: - b123 - x179 >= -2 e134: - b124 - x180 >= -2 e135: - b125 - x179 >= -2 e136: - b126 - x180 >= -2 e137: - b137 - x181 >= -2 e138: - b138 - x182 >= -2 e139: - b175 - x181 >= -2 e140: - b176 - x182 >= -2 e141: - b148 - x183 >= -2 e142: - b149 - x184 >= -2 e143: - b150 - x183 >= -2 e144: - b151 - x184 >= -2 e145: - b109 - x185 >= -1.9 e146: - b110 - x186 >= -1.9 e147: - b111 - x185 >= -1.7 e148: - b112 - x186 >= -1.7 e149: - b123 - x187 >= -1.9 e150: - b124 - x188 >= -1.9 e151: - b125 - x187 >= -1.7 e152: - b126 - x188 >= -1.7 e153: - b137 - x189 >= -1.9 e154: - b138 - x190 >= -1.9 e155: - b175 - x189 >= -1.7 e156: - b176 - x190 >= -1.7 e157: - b148 - x191 >= -1.9 e158: - b149 - x192 >= -1.9 e159: - b150 - x191 >= -1.7 e160: - b151 - x192 >= -1.7 e161: b91 + b100 <= 1 e162: b92 + b101 <= 1 e163: b93 + b102 <= 1 e164: b91 + b103 <= 1 e165: b92 + b104 <= 1 e166: b93 + b105 <= 1 e167: b91 + b106 <= 1 e168: b92 + b107 <= 1 e169: b93 + b108 <= 1 e170: b92 + b109 <= 1 e171: b93 + b110 <= 1 e172: b92 + b111 <= 1 e173: b93 + b112 <= 1 e174: b100 + b113 <= 1 e175: b101 + b114 <= 1 e176: b102 + b115 <= 1 e177: b103 + b113 <= 1 e178: b104 + b114 <= 1 e179: b105 + b115 <= 1 e180: b106 + b113 <= 1 e181: b107 + b114 <= 1 e182: b108 + b115 <= 1 e183: b109 + b114 <= 1 e184: b110 + b115 <= 1 e185: b111 + b114 <= 1 e186: b112 + b115 <= 1 e187: b100 + b127 <= 1 e188: b101 + b128 <= 1 e189: b102 + b129 <= 1 e190: b103 + b127 <= 1 e191: b104 + b128 <= 1 e192: b105 + b129 <= 1 e193: b106 + b127 <= 1 e194: b107 + b128 <= 1 e195: b108 + b129 <= 1 e196: b109 + b128 <= 1 e197: b110 + b129 <= 1 e198: b111 + b128 <= 1 e199: b112 + b129 <= 1 e200: b100 + b139 <= 1 e201: b101 + b140 <= 1 e202: b102 + b141 <= 1 e203: b103 + b139 <= 1 e204: b104 + b140 <= 1 e205: b105 + b141 <= 1 e206: b106 + b139 <= 1 e207: b107 + b140 <= 1 e208: b108 + b141 <= 1 e209: b109 + b140 <= 1 e210: b110 + b141 <= 1 e211: b111 + b140 <= 1 e212: b112 + b141 <= 1 e213: b82 + b113 <= 1 e214: b83 + b114 <= 1 e215: b84 + b115 <= 1 e216: b82 + b116 <= 1 e217: b83 + b117 <= 1 e218: b84 + b118 <= 1 e219: b82 + b119 <= 1 e220: b83 + b120 <= 1 e221: b84 + b121 <= 1 e222: b82 + b122 <= 1 e223: b83 + b123 <= 1 e224: b84 + b124 <= 1 e225: b83 + b125 <= 1 e226: b84 + b126 <= 1 e227: b94 + b113 <= 1 e228: b95 + b114 <= 1 e229: b96 + b115 <= 1 e230: b94 + b116 <= 1 e231: b95 + b117 <= 1 e232: b96 + b118 <= 1 e233: b94 + b119 <= 1 e234: b95 + b120 <= 1 e235: b96 + b121 <= 1 e236: b94 + b122 <= 1 e237: b95 + b123 <= 1 e238: b96 + b124 <= 1 e239: b95 + b125 <= 1 e240: b96 + b126 <= 1 e241: b100 + b113 <= 1 e242: b101 + b114 <= 1 e243: b102 + b115 <= 1 e244: b100 + b116 <= 1 e245: b101 + b117 <= 1 e246: b102 + b118 <= 1 e247: b100 + b119 <= 1 e248: b101 + b120 <= 1 e249: b102 + b121 <= 1 e250: b100 + b122 <= 1 e251: b101 + b123 <= 1 e252: b102 + b124 <= 1 e253: b101 + b125 <= 1 e254: b102 + b126 <= 1 e255: b113 + b130 <= 1 e256: b114 + b131 <= 1 e257: b115 + b132 <= 1 e258: b116 + b130 <= 1 e259: b117 + b131 <= 1 e260: b118 + b132 <= 1 e261: b119 + b130 <= 1 e262: b120 + b131 <= 1 e263: b121 + b132 <= 1 e264: b122 + b130 <= 1 e265: b123 + b131 <= 1 e266: b124 + b132 <= 1 e267: b125 + b131 <= 1 e268: b126 + b132 <= 1 e269: b113 + b142 <= 1 e270: b114 + b143 <= 1 e271: b115 + b144 <= 1 e272: b116 + b142 <= 1 e273: b117 + b143 <= 1 e274: b118 + b144 <= 1 e275: b119 + b142 <= 1 e276: b120 + b143 <= 1 e277: b121 + b144 <= 1 e278: b122 + b142 <= 1 e279: b123 + b143 <= 1 e280: b124 + b144 <= 1 e281: b125 + b143 <= 1 e282: b126 + b144 <= 1 e283: b85 + b127 <= 1 e284: b86 + b128 <= 1 e285: b87 + b129 <= 1 e286: b85 + b130 <= 1 e287: b86 + b131 <= 1 e288: b87 + b132 <= 1 e289: b85 + b133 <= 1 e290: b86 + b134 <= 1 e291: b87 + b135 <= 1 e292: b85 + b136 <= 1 e293: b86 + b137 <= 1 e294: b87 + b138 <= 1 e295: b86 + b175 <= 1 e296: b87 + b176 <= 1 e297: b97 + b127 <= 1 e298: b98 + b128 <= 1 e299: b99 + b129 <= 1 e300: b97 + b130 <= 1 e301: b98 + b131 <= 1 e302: b99 + b132 <= 1 e303: b97 + b133 <= 1 e304: b98 + b134 <= 1 e305: b99 + b135 <= 1 e306: b97 + b136 <= 1 e307: b98 + b137 <= 1 e308: b99 + b138 <= 1 e309: b98 + b175 <= 1 e310: b99 + b176 <= 1 e311: b103 + b127 <= 1 e312: b104 + b128 <= 1 e313: b105 + b129 <= 1 e314: b103 + b130 <= 1 e315: b104 + b131 <= 1 e316: b105 + b132 <= 1 e317: b103 + b133 <= 1 e318: b104 + b134 <= 1 e319: b105 + b135 <= 1 e320: b103 + b136 <= 1 e321: b104 + b137 <= 1 e322: b105 + b138 <= 1 e323: b104 + b175 <= 1 e324: b105 + b176 <= 1 e325: b116 + b127 <= 1 e326: b117 + b128 <= 1 e327: b118 + b129 <= 1 e328: b116 + b130 <= 1 e329: b117 + b131 <= 1 e330: b118 + b132 <= 1 e331: b116 + b133 <= 1 e332: b117 + b134 <= 1 e333: b118 + b135 <= 1 e334: b116 + b136 <= 1 e335: b117 + b137 <= 1 e336: b118 + b138 <= 1 e337: b117 + b175 <= 1 e338: b118 + b176 <= 1 e339: b127 + b145 <= 1 e340: b128 + b146 <= 1 e341: b129 + b147 <= 1 e342: b130 + b145 <= 1 e343: b131 + b146 <= 1 e344: b132 + b147 <= 1 e345: b133 + b145 <= 1 e346: b134 + b146 <= 1 e347: b135 + b147 <= 1 e348: b136 + b145 <= 1 e349: b137 + b146 <= 1 e350: b138 + b147 <= 1 e351: b146 + b175 <= 1 e352: b147 + b176 <= 1 e353: b88 + b139 <= 1 e354: b89 + b140 <= 1 e355: b90 + b141 <= 1 e356: b88 + b142 <= 1 e357: b89 + b143 <= 1 e358: b90 + b144 <= 1 e359: b88 + b145 <= 1 e360: b89 + b146 <= 1 e361: b90 + b147 <= 1 e362: b89 + b148 <= 1 e363: b90 + b149 <= 1 e364: b89 + b150 <= 1 e365: b90 + b151 <= 1 e366: b106 + b139 <= 1 e367: b107 + b140 <= 1 e368: b108 + b141 <= 1 e369: b106 + b142 <= 1 e370: b107 + b143 <= 1 e371: b108 + b144 <= 1 e372: b106 + b145 <= 1 e373: b107 + b146 <= 1 e374: b108 + b147 <= 1 e375: b107 + b148 <= 1 e376: b108 + b149 <= 1 e377: b107 + b150 <= 1 e378: b108 + b151 <= 1 e379: b119 + b139 <= 1 e380: b120 + b140 <= 1 e381: b121 + b141 <= 1 e382: b119 + b142 <= 1 e383: b120 + b143 <= 1 e384: b121 + b144 <= 1 e385: b119 + b145 <= 1 e386: b120 + b146 <= 1 e387: b121 + b147 <= 1 e388: b120 + b148 <= 1 e389: b121 + b149 <= 1 e390: b120 + b150 <= 1 e391: b121 + b151 <= 1 e392: b133 + b139 <= 1 e393: b134 + b140 <= 1 e394: b135 + b141 <= 1 e395: b133 + b142 <= 1 e396: b134 + b143 <= 1 e397: b135 + b144 <= 1 e398: b133 + b145 <= 1 e399: b134 + b146 <= 1 e400: b135 + b147 <= 1 e401: b134 + b148 <= 1 e402: b135 + b149 <= 1 e403: b134 + b150 <= 1 e404: b135 + b151 <= 1 e405: - 0.9 x11 + 0.7 x20 + 0.7 x23 + 0.7 x26 - 0.8 x33 - 0.7 x47 - 0.7 x61 + [ x154 * x177 ] = 0.21 e406: - 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 x64 + [ x155 * x179 ] = 1.44 e407: - 0.7 x5 - 0.9 x17 - 0.7 x23 - 0.8 x36 + 0.7 x47 + 0.7 x50 + 0.7 x53 + 0.7 x56 - 0.7 x67 + [ x156 * x181 ] = 0.91 e408: - 0.7 x8 - 0.7 x26 - 0.8 x39 - 0.7 x53 + 0.7 x61 + 0.7 x64 + 0.7 x67 + [ x157 * x183 ] = 0.14 e409: - 0.9 x33 - 0.8 x47 - 0.4 x61 + [ x154 * x185 ] = 0 e410: - 0.2 x2 + 0.9 x33 + 0.9 x36 + 0.9 x39 + 0.9 x42 - 0.8 x50 - 0.4 x64 + [ x155 * x187 ] = 1.62 e411: - 0.2 x5 - 0.9 x36 + 0.8 x47 + 0.8 x50 + 0.8 x53 + 0.8 x56 - 0.4 x67 + [ x156 * x189 ] = 1.04 e412: - 0.2 x8 - 0.9 x39 - 0.8 x53 + 0.4 x61 + 0.4 x64 + 0.4 x67 + [ x157 * x191 ] = 0.08 e413: - 0.9 x12 + [ x21 * x177 + x24 * x177 + x27 * x177 + x29 * x177 + x31 * x177 - x34 * x179 - x48 * x181 - x62 * x183 - x154 * x177 + x163 * x178 ] = 0 e414: - 0.9 x13 + [ x22 * x178 + x25 * x178 + x28 * x178 + x30 * x178 + x32 * x178 - x35 * x180 - x49 * x182 - x63 * x184 + x74 * x164 - x163 * x178 ] = 0 e415: - 0.7 x3 - 0.9 x15 + [ - x21 * x177 + x34 * x179 + x37 * x179 + x40 * x179 + x43 * x179 + x45 * x179 - x51 * x181 - x65 * x183 - x155 * x179 + x165 * x180 ] = 0 e416: - 0.7 x4 - 0.9 x16 + [ - x22 * x178 + x35 * x180 + x38 * x180 + x41 * x180 + x44 * x180 + x46 * x180 - x52 * x182 - x66 * x184 + x75 * x166 - x165 * x180 ] = 0 e417: - 0.7 x6 - 0.9 x18 + [ - x24 * x177 - x37 * x179 + x48 * x181 + x51 * x181 + x54 * x181 + x57 * x181 + x59 * x181 - x68 * x183 - x156 * x181 + x167 * x182 ] = 0 e418: - 0.7 x7 - 0.9 x19 + [ - x25 * x178 - x38 * x180 + x49 * x182 + x52 * x182 + x55 * x182 + x58 * x182 + x60 * x182 - x69 * x184 + x76 * x168 - x167 * x182 ] = 0 e419: - 0.7 x9 + [ - x27 * x177 - x40 * x179 - x54 * x181 + x62 * x183 + x65 * x183 + x68 * x183 + x70 * x183 + x72 * x183 - x157 * x183 + x169 * x184 ] = 0 e420: - 0.7 x10 + [ - x28 * x178 - x41 * x180 - x55 * x182 + x63 * x184 + x66 * x184 + x69 * x184 + x71 * x184 + x73 * x184 + x77 * x170 - x169 * x184 ] = 0 e421: - 0.2 x3 + [ - x21 * x185 + x34 * x187 + x37 * x187 + x40 * x187 + x43 * x187 + x45 * x187 - x51 * x189 - x65 * x191 - x155 * x187 + x165 * x188 ] = 0 e422: - 0.2 x4 + [ - x22 * x186 + x35 * x188 + x38 * x188 + x41 * x188 + x44 * x188 + x46 * x188 - x52 * x190 - x66 * x192 + x79 * x166 - x165 * x188 ] = 0 e423: - 0.2 x6 + [ - x24 * x185 - x37 * x187 + x48 * x189 + x51 * x189 + x54 * x189 + x57 * x189 + x59 * x189 - x68 * x191 - x156 * x189 + x167 * x190 ] = 0 e424: - 0.2 x7 + [ - x25 * x186 - x38 * x188 + x49 * x190 + x52 * x190 + x55 * x190 + x58 * x190 + x60 * x190 - x69 * x192 + x80 * x168 - x167 * x190 ] = 0 e425: - 0.2 x9 + [ - x27 * x185 - x40 * x187 - x54 * x189 + x62 * x191 + x65 * x191 + x68 * x191 + x70 * x191 + x72 * x191 - x157 * x191 + x169 * x192 ] = 0 e426: - 0.2 x10 + [ - x28 * x186 - x41 * x188 - x55 * x190 + x63 * x192 + x66 * x192 + x69 * x192 + x71 * x192 + x73 * x192 + x81 * x170 - x169 * x192 ] = 0 e427: [ x21 * x185 + x24 * x185 + x27 * x185 + x29 * x185 + x31 * x185 - x34 * x187 - x48 * x189 - x62 * x191 - x154 * x185 + x163 * x186 ] = 0 e428: [ x22 * x186 + x25 * x186 + x28 * x186 + x30 * x186 + x32 * x186 - x35 * x188 - x49 * x190 - x63 * x192 + x78 * x164 - x163 * x186 ] = 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 x73 <= 1 x74 <= 1 x75 <= 1 x76 <= 1 x77 <= 1 x78 <= 1 x79 <= 1 x80 <= 1 x81 <= 1 x152 <= 2 x153 <= 2 x154 <= 2 x155 <= 2 x156 <= 2 x157 <= 2 x158 <= 2 x159 <= 2 x160 <= 2 x161 <= 2 x162 <= 2 x163 <= 2 x164 <= 2 x165 <= 2 x166 <= 2 x167 <= 2 x168 <= 2 x169 <= 2 x170 <= 2 x171 <= 2 x172 <= 2 x173 <= 2 x174 <= 2 x177 <= 1 x178 <= 1 x179 <= 1 x180 <= 1 x181 <= 1 x182 <= 1 x183 <= 1 x184 <= 1 x185 <= 1 x186 <= 1 x187 <= 1 x188 <= 1 x189 <= 1 x190 <= 1 x191 <= 1 x192 <= 1 Binary 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 b175 b176 End