\ Equation counts \ Total E G L N X C B \ 467 71 24 372 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 215 143 72 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 1789 1277 512 0 \ Maximize obj: - .45 x2 - .45 x3 - .45 x4 - .67 x5 - .67 x6 - .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 - .13 x20 - .13 x21 - .13 x22 - .47 x23 - .47 x24 - .47 x25 - .34 x26 - .34 x27 - .34 x28 + 8.81 x29 + 8.81 x30 + 9.07 x31 + 9.07 x32 - .6 x33 - .6 x34 - .6 x35 - .65 x36 - .65 x37 - .65 x38 - .75 x39 - .75 x40 - .75 x41 + 9.52 x42 + 9.52 x43 + 9.52 x44 + 8.69 x45 + 8.69 x46 - .83 x47 - .83 x48 - .83 x49 - x50 - x51 - x52 - .44 x53 - .44 x54 - .44 x55 + 8.64 x56 + 8.64 x57 + 8.64 x58 + 8.83 x59 + 8.83 x60 - .87 x61 - .87 x62 - .87 x63 - .4 x64 - .4 x65 - .4 x66 - .8 x67 - .8 x68 - .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 x82 + 0 x83 + 0 x84 + 0 x85 + 0 x86 + 0 x87 + 0 x88 + 0 x89 - .2 b90 - .2 b91 - .2 b92 - .62 b93 - .62 b94 - .62 b95 - .35 b96 - .35 b97 - .35 b98 - .76 b99 - .76 b100 - .76 b101 - .38 b102 - .38 b103 - .38 b104 - 8e-2 b105 - 8e-2 b106 - 8e-2 b107 - .93 b108 - .93 b109 - .93 b110 - .57 b111 - .57 b112 - .57 b113 - 1e-2 b114 - 1e-2 b115 - 1e-2 b116 - .16 b117 - .16 b118 - .31 b119 - .31 b120 - .17 b121 - .17 b122 - .17 b123 - .26 b124 - .26 b125 - .26 b126 - .69 b127 - .69 b128 - .69 b129 - .45 b130 - .45 b131 - .45 b132 - .23 b133 - .23 b134 - .15 b135 - .15 b136 - .15 b137 - .54 b138 - .54 b139 - .54 b140 - 8e-2 b141 - 8e-2 b142 - 8e-2 b143 - .11 b144 - .11 b145 - .11 b146 - .82 b147 - .82 b148 - .82 b149 - 8e-2 b150 - 8e-2 b151 - 8e-2 b152 - .26 b153 - .26 b154 - .26 b155 - .43 b156 - .43 b157 - .18 b158 - .18 b159 + 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 b183 + 0 b184 + 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 Subject To e2: x2 + x5 + x8 + x160 = 1.9 e3: x11 + x14 + x17 + x161 = 1.8 e4: - x11 + x20 + x23 + x26 - x33 - x47 - x61 + x162 = .3 e5: - x2 - x14 - x20 + x33 + x36 + x39 + x42 - x50 - x64 + x163 = 1.8 e6: - x5 - x17 - x23 - x36 + x47 + x50 + x53 + x56 - x67 + x164 = 1.3 e7: - x8 - x26 - x39 - x53 + x61 + x64 + x67 + x165 = .2 e8: - x42 - x56 + x166 = -.35 e9: x3 + x6 + x9 - x160 + x167 = .1 e10: x4 + x7 + x10 - x167 + x168 = .7 e11: x12 + x15 + x18 - x161 + x169 = .8 e12: x13 + x16 + x19 - x169 + x170 = .3 e13: - x12 + x21 + x24 + x27 + x29 + x31 - x34 - x48 - x62 - x162 + x171 = 0 e14: - x13 + x22 + x25 + x28 + x30 + x32 - x35 - x49 - x63 - x171 + x172 = 0 e15: - x3 - x15 - x21 + x34 + x37 + x40 + x43 + x45 - x51 - x65 - x163 + x173 = 0 e16: - x4 - x16 - x22 + x35 + x38 + x41 + x44 + x46 - x52 - x66 - x173 + x174 = 0 e17: - x6 - x18 - x24 - x37 + x48 + x51 + x54 + x57 + x59 - x68 - x164 + x175 = 0 e18: - x7 - x19 - x25 - x38 + x49 + x52 + x55 + x58 + x60 - x69 - x175 + x176 = 0 e19: - x9 - x27 - x40 - x54 + x62 + x65 + x68 + x70 + x72 - x165 + x177 = 0 e20: - x10 - x28 - x41 - x55 + x63 + x66 + x69 + x71 + x73 - x177 + x178 = 0 e21: - x29 - x43 - x57 - x70 - x166 + x179 = -.44 e22: - x30 - x44 - x58 - x71 - x179 + x180 = -.77 e23: - x31 - x45 - x59 - x72 + x181 = .69 e24: - x32 - x46 - x60 - x73 - x181 + x182 = -.8 e25: x2 - b90 <= 0 e26: x3 - b91 <= 0 e27: x4 - b92 <= 0 e28: x5 - b93 <= 0 e29: x6 - b94 <= 0 e30: x7 - b95 <= 0 e31: x8 - b96 <= 0 e32: x9 - b97 <= 0 e33: x10 - b98 <= 0 e34: x11 - b99 <= 0 e35: x12 - b100 <= 0 e36: x13 - b101 <= 0 e37: x14 - b102 <= 0 e38: x15 - b103 <= 0 e39: x16 - b104 <= 0 e40: x17 - b105 <= 0 e41: x18 - b106 <= 0 e42: x19 - b107 <= 0 e43: x20 - b108 <= 0 e44: x21 - b109 <= 0 e45: x22 - b110 <= 0 e46: x23 - b111 <= 0 e47: x24 - b112 <= 0 e48: x25 - b113 <= 0 e49: x26 - b114 <= 0 e50: x27 - b115 <= 0 e51: x28 - b116 <= 0 e52: x29 - b117 <= 0 e53: x30 - b118 <= 0 e54: x31 - b119 <= 0 e55: x32 - b120 <= 0 e56: x33 - b121 <= 0 e57: x34 - b122 <= 0 e58: x35 - b123 <= 0 e59: x36 - b124 <= 0 e60: x37 - b125 <= 0 e61: x38 - b126 <= 0 e62: x39 - b127 <= 0 e63: x40 - b128 <= 0 e64: x41 - b129 <= 0 e65: x42 - b130 <= 0 e66: x43 - b131 <= 0 e67: x44 - b132 <= 0 e68: x45 - b133 <= 0 e69: x46 - b134 <= 0 e70: x47 - b135 <= 0 e71: x48 - b136 <= 0 e72: x49 - b137 <= 0 e73: x50 - b138 <= 0 e74: x51 - b139 <= 0 e75: x52 - b140 <= 0 e76: x53 - b141 <= 0 e77: x54 - b142 <= 0 e78: x55 - b143 <= 0 e79: x56 - b144 <= 0 e80: x57 - b145 <= 0 e81: x58 - b146 <= 0 e82: x59 - b183 <= 0 e83: x60 - b184 <= 0 e84: x61 - b147 <= 0 e85: x62 - b148 <= 0 e86: x63 - b149 <= 0 e87: x64 - b150 <= 0 e88: x65 - b151 <= 0 e89: x66 - b152 <= 0 e90: x67 - b153 <= 0 e91: x68 - b154 <= 0 e92: x69 - b155 <= 0 e93: x70 - b156 <= 0 e94: x71 - b157 <= 0 e95: x72 - b158 <= 0 e96: x73 - b159 <= 0 e97: .1 b119 - x185 <= -.7 e98: .1 b120 - x186 <= -.7 e99: .1 b133 - x187 <= -.7 e100: .1 b134 - x188 <= -.7 e101: .1 b183 - x189 <= -.7 e102: .1 b184 - x190 <= -.7 e103: .1 b158 - x191 <= -.7 e104: .1 b159 - x192 <= -.7 e105: .5 b117 - x193 <= 0 e106: .5 b118 - x194 <= 0 e107: .1 b119 - x193 <= 0 e108: .1 b120 - x194 <= 0 e109: .5 b131 - x195 <= 0 e110: .5 b132 - x196 <= 0 e111: .1 b133 - x195 <= 0 e112: .1 b134 - x196 <= 0 e113: .5 b145 - x197 <= 0 e114: .5 b146 - x198 <= 0 e115: .1 b183 - x197 <= 0 e116: .1 b184 - x198 <= 0 e117: .5 b156 - x199 <= 0 e118: .5 b157 - x200 <= 0 e119: .1 b158 - x199 <= 0 e120: .1 b159 - x200 <= 0 e121: 5e-2 b117 - x201 <= -.66 e122: 5e-2 b118 - x202 <= -.66 e123: .13 b119 - x201 <= -.66 e124: .13 b120 - x202 <= -.66 e125: 5e-2 b131 - x203 <= -.66 e126: 5e-2 b132 - x204 <= -.66 e127: .13 b133 - x203 <= -.66 e128: .13 b134 - x204 <= -.66 e129: 5e-2 b145 - x205 <= -.66 e130: 5e-2 b146 - x206 <= -.66 e131: .13 b183 - x205 <= -.66 e132: .13 b184 - x206 <= -.66 e133: 5e-2 b156 - x207 <= -.66 e134: 5e-2 b157 - x208 <= -.66 e135: .13 b158 - x207 <= -.66 e136: .13 b159 - x208 <= -.66 e137: .48 b117 - x209 <= 0 e138: .48 b118 - x210 <= 0 e139: 9e-2 b119 - x209 <= 0 e140: 9e-2 b120 - x210 <= 0 e141: .48 b131 - x211 <= 0 e142: .48 b132 - x212 <= 0 e143: 9e-2 b133 - x211 <= 0 e144: 9e-2 b134 - x212 <= 0 e145: .48 b145 - x213 <= 0 e146: .48 b146 - x214 <= 0 e147: 9e-2 b183 - x213 <= 0 e148: 9e-2 b184 - x214 <= 0 e149: .48 b156 - x215 <= 0 e150: .48 b157 - x216 <= 0 e151: 9e-2 b158 - x215 <= 0 e152: 9e-2 b159 - x216 <= 0 e153: - .2 b119 - x193 >= -.9 e154: - .2 b120 - x194 >= -.9 e155: - .2 b133 - x195 >= -.9 e156: - .2 b134 - x196 >= -.9 e157: - .2 b183 - x197 >= -.9 e158: - .2 b184 - x198 >= -.9 e159: - .2 b158 - x199 >= -.9 e160: - .2 b159 - x200 >= -.9 e161: - 5e-2 b117 - x201 >= -1 e162: - 5e-2 b118 - x202 >= -1 e163: - 5e-2 b131 - x203 >= -1 e164: - 5e-2 b132 - x204 >= -1 e165: - 5e-2 b145 - x205 >= -1 e166: - 5e-2 b146 - x206 >= -1 e167: - 5e-2 b156 - x207 >= -1 e168: - 5e-2 b157 - x208 >= -1 e169: - .12 b119 - x209 >= -.92 e170: - .12 b120 - x210 >= -.92 e171: - .12 b133 - x211 >= -.92 e172: - .12 b134 - x212 >= -.92 e173: - .12 b183 - x213 >= -.92 e174: - .12 b184 - x214 >= -.92 e175: - .12 b158 - x215 >= -.92 e176: - .12 b159 - x216 >= -.92 e177: b99 + b108 <= 1 e178: b100 + b109 <= 1 e179: b101 + b110 <= 1 e180: b99 + b111 <= 1 e181: b100 + b112 <= 1 e182: b101 + b113 <= 1 e183: b99 + b114 <= 1 e184: b100 + b115 <= 1 e185: b101 + b116 <= 1 e186: b100 + b117 <= 1 e187: b101 + b118 <= 1 e188: b100 + b119 <= 1 e189: b101 + b120 <= 1 e190: b108 + b121 <= 1 e191: b109 + b122 <= 1 e192: b110 + b123 <= 1 e193: b111 + b121 <= 1 e194: b112 + b122 <= 1 e195: b113 + b123 <= 1 e196: b114 + b121 <= 1 e197: b115 + b122 <= 1 e198: b116 + b123 <= 1 e199: b117 + b122 <= 1 e200: b118 + b123 <= 1 e201: b119 + b122 <= 1 e202: b120 + b123 <= 1 e203: b108 + b135 <= 1 e204: b109 + b136 <= 1 e205: b110 + b137 <= 1 e206: b111 + b135 <= 1 e207: b112 + b136 <= 1 e208: b113 + b137 <= 1 e209: b114 + b135 <= 1 e210: b115 + b136 <= 1 e211: b116 + b137 <= 1 e212: b117 + b136 <= 1 e213: b118 + b137 <= 1 e214: b119 + b136 <= 1 e215: b120 + b137 <= 1 e216: b108 + b147 <= 1 e217: b109 + b148 <= 1 e218: b110 + b149 <= 1 e219: b111 + b147 <= 1 e220: b112 + b148 <= 1 e221: b113 + b149 <= 1 e222: b114 + b147 <= 1 e223: b115 + b148 <= 1 e224: b116 + b149 <= 1 e225: b117 + b148 <= 1 e226: b118 + b149 <= 1 e227: b119 + b148 <= 1 e228: b120 + b149 <= 1 e229: b90 + b121 <= 1 e230: b91 + b122 <= 1 e231: b92 + b123 <= 1 e232: b90 + b124 <= 1 e233: b91 + b125 <= 1 e234: b92 + b126 <= 1 e235: b90 + b127 <= 1 e236: b91 + b128 <= 1 e237: b92 + b129 <= 1 e238: b90 + b130 <= 1 e239: b91 + b131 <= 1 e240: b92 + b132 <= 1 e241: b91 + b133 <= 1 e242: b92 + b134 <= 1 e243: b102 + b121 <= 1 e244: b103 + b122 <= 1 e245: b104 + b123 <= 1 e246: b102 + b124 <= 1 e247: b103 + b125 <= 1 e248: b104 + b126 <= 1 e249: b102 + b127 <= 1 e250: b103 + b128 <= 1 e251: b104 + b129 <= 1 e252: b102 + b130 <= 1 e253: b103 + b131 <= 1 e254: b104 + b132 <= 1 e255: b103 + b133 <= 1 e256: b104 + b134 <= 1 e257: b108 + b121 <= 1 e258: b109 + b122 <= 1 e259: b110 + b123 <= 1 e260: b108 + b124 <= 1 e261: b109 + b125 <= 1 e262: b110 + b126 <= 1 e263: b108 + b127 <= 1 e264: b109 + b128 <= 1 e265: b110 + b129 <= 1 e266: b108 + b130 <= 1 e267: b109 + b131 <= 1 e268: b110 + b132 <= 1 e269: b109 + b133 <= 1 e270: b110 + b134 <= 1 e271: b121 + b138 <= 1 e272: b122 + b139 <= 1 e273: b123 + b140 <= 1 e274: b124 + b138 <= 1 e275: b125 + b139 <= 1 e276: b126 + b140 <= 1 e277: b127 + b138 <= 1 e278: b128 + b139 <= 1 e279: b129 + b140 <= 1 e280: b130 + b138 <= 1 e281: b131 + b139 <= 1 e282: b132 + b140 <= 1 e283: b133 + b139 <= 1 e284: b134 + b140 <= 1 e285: b121 + b150 <= 1 e286: b122 + b151 <= 1 e287: b123 + b152 <= 1 e288: b124 + b150 <= 1 e289: b125 + b151 <= 1 e290: b126 + b152 <= 1 e291: b127 + b150 <= 1 e292: b128 + b151 <= 1 e293: b129 + b152 <= 1 e294: b130 + b150 <= 1 e295: b131 + b151 <= 1 e296: b132 + b152 <= 1 e297: b133 + b151 <= 1 e298: b134 + b152 <= 1 e299: b93 + b135 <= 1 e300: b94 + b136 <= 1 e301: b95 + b137 <= 1 e302: b93 + b138 <= 1 e303: b94 + b139 <= 1 e304: b95 + b140 <= 1 e305: b93 + b141 <= 1 e306: b94 + b142 <= 1 e307: b95 + b143 <= 1 e308: b93 + b144 <= 1 e309: b94 + b145 <= 1 e310: b95 + b146 <= 1 e311: b94 + b183 <= 1 e312: b95 + b184 <= 1 e313: b105 + b135 <= 1 e314: b106 + b136 <= 1 e315: b107 + b137 <= 1 e316: b105 + b138 <= 1 e317: b106 + b139 <= 1 e318: b107 + b140 <= 1 e319: b105 + b141 <= 1 e320: b106 + b142 <= 1 e321: b107 + b143 <= 1 e322: b105 + b144 <= 1 e323: b106 + b145 <= 1 e324: b107 + b146 <= 1 e325: b106 + b183 <= 1 e326: b107 + b184 <= 1 e327: b111 + b135 <= 1 e328: b112 + b136 <= 1 e329: b113 + b137 <= 1 e330: b111 + b138 <= 1 e331: b112 + b139 <= 1 e332: b113 + b140 <= 1 e333: b111 + b141 <= 1 e334: b112 + b142 <= 1 e335: b113 + b143 <= 1 e336: b111 + b144 <= 1 e337: b112 + b145 <= 1 e338: b113 + b146 <= 1 e339: b112 + b183 <= 1 e340: b113 + b184 <= 1 e341: b124 + b135 <= 1 e342: b125 + b136 <= 1 e343: b126 + b137 <= 1 e344: b124 + b138 <= 1 e345: b125 + b139 <= 1 e346: b126 + b140 <= 1 e347: b124 + b141 <= 1 e348: b125 + b142 <= 1 e349: b126 + b143 <= 1 e350: b124 + b144 <= 1 e351: b125 + b145 <= 1 e352: b126 + b146 <= 1 e353: b125 + b183 <= 1 e354: b126 + b184 <= 1 e355: b135 + b153 <= 1 e356: b136 + b154 <= 1 e357: b137 + b155 <= 1 e358: b138 + b153 <= 1 e359: b139 + b154 <= 1 e360: b140 + b155 <= 1 e361: b141 + b153 <= 1 e362: b142 + b154 <= 1 e363: b143 + b155 <= 1 e364: b144 + b153 <= 1 e365: b145 + b154 <= 1 e366: b146 + b155 <= 1 e367: b154 + b183 <= 1 e368: b155 + b184 <= 1 e369: b96 + b147 <= 1 e370: b97 + b148 <= 1 e371: b98 + b149 <= 1 e372: b96 + b150 <= 1 e373: b97 + b151 <= 1 e374: b98 + b152 <= 1 e375: b96 + b153 <= 1 e376: b97 + b154 <= 1 e377: b98 + b155 <= 1 e378: b97 + b156 <= 1 e379: b98 + b157 <= 1 e380: b97 + b158 <= 1 e381: b98 + b159 <= 1 e382: b114 + b147 <= 1 e383: b115 + b148 <= 1 e384: b116 + b149 <= 1 e385: b114 + b150 <= 1 e386: b115 + b151 <= 1 e387: b116 + b152 <= 1 e388: b114 + b153 <= 1 e389: b115 + b154 <= 1 e390: b116 + b155 <= 1 e391: b115 + b156 <= 1 e392: b116 + b157 <= 1 e393: b115 + b158 <= 1 e394: b116 + b159 <= 1 e395: b127 + b147 <= 1 e396: b128 + b148 <= 1 e397: b129 + b149 <= 1 e398: b127 + b150 <= 1 e399: b128 + b151 <= 1 e400: b129 + b152 <= 1 e401: b127 + b153 <= 1 e402: b128 + b154 <= 1 e403: b129 + b155 <= 1 e404: b128 + b156 <= 1 e405: b129 + b157 <= 1 e406: b128 + b158 <= 1 e407: b129 + b159 <= 1 e408: b141 + b147 <= 1 e409: b142 + b148 <= 1 e410: b143 + b149 <= 1 e411: b141 + b150 <= 1 e412: b142 + b151 <= 1 e413: b143 + b152 <= 1 e414: b141 + b153 <= 1 e415: b142 + b154 <= 1 e416: b143 + b155 <= 1 e417: b142 + b156 <= 1 e418: b143 + b157 <= 1 e419: b142 + b158 <= 1 e420: b143 + b159 <= 1 e421: - .9 x11 + .7 x20 + .7 x23 + .7 x26 - .8 x33 - .7 x47 - .7 x61 + [ x162 * x185 ] = .21 e422: - .7 x2 - .9 x14 - .7 x20 + .8 x33 + .8 x36 + .8 x39 + .8 x42 - .7 x50 - .7 x64 + [ x163 * x187 ] = 1.44 e423: - .7 x5 - .9 x17 - .7 x23 - .8 x36 + .7 x47 + .7 x50 + .7 x53 + .7 x56 - .7 x67 + [ x164 * x189 ] = .91 e424: - .7 x8 - .7 x26 - .8 x39 - .7 x53 + .7 x61 + .7 x64 + .7 x67 + [ x165 * x191 ] = .14 e425: - 1e-2 x11 - .9 x33 - .8 x47 - .3 x61 + [ x162 * x193 ] = 0 e426: - .2 x2 - 1e-2 x14 + .9 x33 + .9 x36 + .9 x39 + .9 x42 - .8 x50 - .3 x64 + [ x163 * x195 ] = 1.62 e427: - .2 x5 - 1e-2 x17 - .9 x36 + .8 x47 + .8 x50 + .8 x53 + .8 x56 - .3 x67 + [ x164 * x197 ] = 1.04 e428: - .2 x8 - .9 x39 - .8 x53 + .3 x61 + .3 x64 + .3 x67 + [ x165 * x199 ] = 6e-2 e429: - .88 x11 + .68 x20 + .68 x23 + .68 x26 - .81 x33 - .71 x47 - .66 x61 + [ x162 * x201 ] = .204 e430: - .69 x2 - .88 x14 - .68 x20 + .81 x33 + .81 x36 + .81 x39 + .81 x42 - .71 x50 - .66 x64 + [ x163 * x203 ] = 1.458 e431: - .69 x5 - .88 x17 - .68 x23 - .81 x36 + .71 x47 + .71 x50 + .71 x53 + .71 x56 - .66 x67 + [ x164 * x205 ] = .923 e432: - .69 x8 - .68 x26 - .81 x39 - .71 x53 + .66 x61 + .66 x64 + .66 x67 + [ x165 * x207 ] = .132 e433: 1e-2 x20 + 1e-2 x23 + 1e-2 x26 - .9 x33 - .8 x47 - .4 x61 + [ x162 * x209 ] = 3e-3 e434: - .18 x2 - 1e-2 x20 + .9 x33 + .9 x36 + .9 x39 + .9 x42 - .8 x50 - .4 x64 + [ x163 * x211 ] = 1.62 e435: - .18 x5 - 1e-2 x23 - .9 x36 + .8 x47 + .8 x50 + .8 x53 + .8 x56 - .4 x67 + [ x164 * x213 ] = 1.04 e436: - .18 x8 - 1e-2 x26 - .9 x39 - .8 x53 + .4 x61 + .4 x64 + .4 x67 + [ x165 * x215 ] = 8e-2 e437: - .9 x12 + [ x21 * x185 + x24 * x185 + x27 * x185 + x29 * x185 + x31 * x185 - x34 * x187 - x48 * x189 - x62 * x191 - x162 * x185 + x171 * x186 ] = 0 e438: - .9 x13 + [ x22 * x186 + x25 * x186 + x28 * x186 + x30 * x186 + x32 * x186 - x35 * x188 - x49 * x190 - x63 * x192 + x74 * x172 - x171 * x186 ] = 0 e439: - .7 x3 - .9 x15 + [ - x21 * x185 + x34 * x187 + x37 * x187 + x40 * x187 + x43 * x187 + x45 * x187 - x51 * x189 - x65 * x191 - x163 * x187 + x173 * x188 ] = 0 e440: - .7 x4 - .9 x16 + [ - x22 * x186 + x35 * x188 + x38 * x188 + x41 * x188 + x44 * x188 + x46 * x188 - x52 * x190 - x66 * x192 + x75 * x174 - x173 * x188 ] = 0 e441: - .7 x6 - .9 x18 + [ - x24 * x185 - x37 * x187 + x48 * x189 + x51 * x189 + x54 * x189 + x57 * x189 + x59 * x189 - x68 * x191 - x164 * x189 + x175 * x190 ] = 0 e442: - .7 x7 - .9 x19 + [ - x25 * x186 - x38 * x188 + x49 * x190 + x52 * x190 + x55 * x190 + x58 * x190 + x60 * x190 - x69 * x192 + x76 * x176 - x175 * x190 ] = 0 e443: - .7 x9 + [ - x27 * x185 - x40 * x187 - x54 * x189 + x62 * x191 + x65 * x191 + x68 * x191 + x70 * x191 + x72 * x191 - x165 * x191 + x177 * x192 ] = 0 e444: - .7 x10 + [ - x28 * x186 - x41 * x188 - x55 * x190 + x63 * x192 + x66 * x192 + x69 * x192 + x71 * x192 + x73 * x192 + x77 * x178 - x177 * x192 ] = 0 e445: - 1e-2 x12 + [ x21 * x193 + x24 * x193 + x27 * x193 + x29 * x193 + x31 * x193 - x34 * x195 - x48 * x197 - x62 * x199 - x162 * x193 + x171 * x194 ] = 0 e446: - 1e-2 x13 + [ x22 * x194 + x25 * x194 + x28 * x194 + x30 * x194 + x32 * x194 - x35 * x196 - x49 * x198 - x63 * x200 + x78 * x172 - x171 * x194 ] = 0 e447: - .2 x3 - 1e-2 x15 + [ - x21 * x193 + x34 * x195 + x37 * x195 + x40 * x195 + x43 * x195 + x45 * x195 - x51 * x197 - x65 * x199 - x163 * x195 + x173 * x196 ] = 0 e448: - .2 x4 - 1e-2 x16 + [ - x22 * x194 + x35 * x196 + x38 * x196 + x41 * x196 + x44 * x196 + x46 * x196 - x52 * x198 - x66 * x200 + x79 * x174 - x173 * x196 ] = 0 e449: - .2 x6 - 1e-2 x18 + [ - x24 * x193 - x37 * x195 + x48 * x197 + x51 * x197 + x54 * x197 + x57 * x197 + x59 * x197 - x68 * x199 - x164 * x197 + x175 * x198 ] = 0 e450: - .2 x7 - 1e-2 x19 + [ - x25 * x194 - x38 * x196 + x49 * x198 + x52 * x198 + x55 * x198 + x58 * x198 + x60 * x198 - x69 * x200 + x80 * x176 - x175 * x198 ] = 0 e451: - .2 x9 + [ - x27 * x193 - x40 * x195 - x54 * x197 + x62 * x199 + x65 * x199 + x68 * x199 + x70 * x199 + x72 * x199 - x165 * x199 + x177 * x200 ] = 0 e452: - .2 x10 + [ - x28 * x194 - x41 * x196 - x55 * x198 + x63 * x200 + x66 * x200 + x69 * x200 + x71 * x200 + x73 * x200 + x81 * x178 - x177 * x200 ] = 0 e453: - .88 x12 + [ x21 * x201 + x24 * x201 + x27 * x201 + x29 * x201 + x31 * x201 - x34 * x203 - x48 * x205 - x62 * x207 - x162 * x201 + x171 * x202 ] = 0 e454: - .88 x13 + [ x22 * x202 + x25 * x202 + x28 * x202 + x30 * x202 + x32 * x202 - x35 * x204 - x49 * x206 - x63 * x208 + x82 * x172 - x171 * x202 ] = 0 e455: - .69 x3 - .88 x15 + [ - x21 * x201 + x34 * x203 + x37 * x203 + x40 * x203 + x43 * x203 + x45 * x203 - x51 * x205 - x65 * x207 - x163 * x203 + x173 * x204 ] = 0 e456: - .69 x4 - .88 x16 + [ - x22 * x202 + x35 * x204 + x38 * x204 + x41 * x204 + x44 * x204 + x46 * x204 - x52 * x206 - x66 * x208 + x83 * x174 - x173 * x204 ] = 0 e457: - .69 x6 - .88 x18 + [ - x24 * x201 - x37 * x203 + x48 * x205 + x51 * x205 + x54 * x205 + x57 * x205 + x59 * x205 - x68 * x207 - x164 * x205 + x175 * x206 ] = 0 e458: - .69 x7 - .88 x19 + [ - x25 * x202 - x38 * x204 + x49 * x206 + x52 * x206 + x55 * x206 + x58 * x206 + x60 * x206 - x69 * x208 + x84 * x176 - x175 * x206 ] = 0 e459: - .69 x9 + [ - x27 * x201 - x40 * x203 - x54 * x205 + x62 * x207 + x65 * x207 + x68 * x207 + x70 * x207 + x72 * x207 - x165 * x207 + x177 * x208 ] = 0 e460: - .69 x10 + [ - x28 * x202 - x41 * x204 - x55 * x206 + x63 * x208 + x66 * x208 + x69 * x208 + x71 * x208 + x73 * x208 + x85 * x178 - x177 * x208 ] = 0 e461: - .18 x3 + [ - x21 * x209 + x34 * x211 + x37 * x211 + x40 * x211 + x43 * x211 + x45 * x211 - x51 * x213 - x65 * x215 - x163 * x211 + x173 * x212 ] = 0 e462: - .18 x4 + [ - x22 * x210 + x35 * x212 + x38 * x212 + x41 * x212 + x44 * x212 + x46 * x212 - x52 * x214 - x66 * x216 + x87 * x174 - x173 * x212 ] = 0 e463: - .18 x6 + [ - x24 * x209 - x37 * x211 + x48 * x213 + x51 * x213 + x54 * x213 + x57 * x213 + x59 * x213 - x68 * x215 - x164 * x213 + x175 * x214 ] = 0 e464: - .18 x7 + [ - x25 * x210 - x38 * x212 + x49 * x214 + x52 * x214 + x55 * x214 + x58 * x214 + x60 * x214 - x69 * x216 + x88 * x176 - x175 * x214 ] = 0 e465: - .18 x9 + [ - x27 * x209 - x40 * x211 - x54 * x213 + x62 * x215 + x65 * x215 + x68 * x215 + x70 * x215 + x72 * x215 - x165 * x215 + x177 * x216 ] = 0 e466: - .18 x10 + [ - x28 * x210 - x41 * x212 - x55 * x214 + x63 * x216 + x66 * x216 + x69 * x216 + x71 * x216 + x73 * x216 + x89 * x178 - x177 * x216 ] = 0 e467: [ x21 * x209 + x24 * x209 + x27 * x209 + x29 * x209 + x31 * x209 - x34 * x211 - x48 * x213 - x62 * x215 - x162 * x209 + x171 * x210 ] = 0 e468: [ x22 * x210 + x25 * x210 + x28 * x210 + x30 * x210 + x32 * x210 - x35 * x212 - x49 * x214 - x63 * x216 + x86 * x172 - x171 * x210 ] = 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 .7 <= x74 <= 1 .7 <= x75 <= 1 .7 <= x76 <= 1 .7 <= x77 <= 1 x78 <= .9 x79 <= .9 x80 <= .9 x81 <= .9 .66 <= x82 <= 1 .66 <= x83 <= 1 .66 <= x84 <= 1 .66 <= x85 <= 1 x86 <= .92 x87 <= .92 x88 <= .92 x89 <= .92 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 x175 <= 2 x176 <= 2 x177 <= 2 x178 <= 2 x179 <= 2 x180 <= 2 x181 <= 2 x182 <= 2 .7 <= x185 <= 1 .7 <= x186 <= 1 .7 <= x187 <= 1 .7 <= x188 <= 1 .7 <= x189 <= 1 .7 <= x190 <= 1 .7 <= x191 <= 1 .7 <= x192 <= 1 x193 <= .9 x194 <= .9 x195 <= .9 x196 <= .9 x197 <= .9 x198 <= .9 x199 <= .9 x200 <= .9 .66 <= x201 <= 1 .66 <= x202 <= 1 .66 <= x203 <= 1 .66 <= x204 <= 1 .66 <= x205 <= 1 .66 <= x206 <= 1 .66 <= x207 <= 1 .66 <= x208 <= 1 x209 <= .92 x210 <= .92 x211 <= .92 x212 <= .92 x213 <= .92 x214 <= .92 x215 <= .92 x216 <= .92 Binary 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 b183 b184 End