\ Equation counts \ Total E G L N X C B \ 481 0 1 480 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 91 1 90 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 1508 1442 66 0 \ Minimize obj: 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 b81 + 0 b82 + 0 b83 + 0 b84 + 0 b85 + 0 b86 + 0 b87 + 0 b88 + 0 b89 + 0 b90 + objvar Subject To e1: - b1 + b2 + b3 <= 1 e2: b3 - b4 + b5 <= 1 e3: b3 - b6 + b7 <= 1 e4: b3 - b8 + b9 <= 1 e5: b3 - b10 + b11 <= 1 e6: b3 - b12 + b13 <= 1 e7: b3 - b14 + b15 <= 1 e8: b3 - b16 + b17 <= 1 e9: b1 - b4 + b18 <= 1 e10: b1 - b6 + b19 <= 1 e11: b1 - b8 + b20 <= 1 e12: b1 - b10 + b21 <= 1 e13: b1 - b12 + b22 <= 1 e14: b1 - b14 + b23 <= 1 e15: b1 - b16 + b24 <= 1 e16: b4 - b6 + b25 <= 1 e17: b4 - b8 + b26 <= 1 e18: b4 - b10 + b27 <= 1 e19: b4 - b12 + b28 <= 1 e20: b4 - b14 + b29 <= 1 e21: b4 - b16 + b30 <= 1 e22: b6 - b8 + b31 <= 1 e23: b6 - b10 + b32 <= 1 e24: b6 - b12 + b33 <= 1 e25: b6 - b14 + b34 <= 1 e26: b6 - b16 + b35 <= 1 e27: b8 - b10 + b36 <= 1 e28: b8 - b12 + b37 <= 1 e29: b8 - b14 + b38 <= 1 e30: b8 - b16 + b39 <= 1 e31: b10 - b12 + b40 <= 1 e32: b10 - b14 + b41 <= 1 e33: b10 - b16 + b42 <= 1 e34: b12 - b14 + b43 <= 1 e35: b12 - b16 + b44 <= 1 e36: b14 - b16 + b45 <= 1 e37: b2 - b5 + b18 <= 1 e38: b2 - b7 + b19 <= 1 e39: b2 - b9 + b20 <= 1 e40: b2 - b11 + b21 <= 1 e41: b2 - b13 + b22 <= 1 e42: b2 - b15 + b23 <= 1 e43: b2 - b17 + b24 <= 1 e44: b5 - b7 + b25 <= 1 e45: b5 - b9 + b26 <= 1 e46: b5 - b11 + b27 <= 1 e47: b5 - b13 + b28 <= 1 e48: b5 - b15 + b29 <= 1 e49: b5 - b17 + b30 <= 1 e50: b7 - b9 + b31 <= 1 e51: b7 - b11 + b32 <= 1 e52: b7 - b13 + b33 <= 1 e53: b7 - b15 + b34 <= 1 e54: b7 - b17 + b35 <= 1 e55: b9 - b11 + b36 <= 1 e56: b9 - b13 + b37 <= 1 e57: b9 - b15 + b38 <= 1 e58: b9 - b17 + b39 <= 1 e59: b11 - b13 + b40 <= 1 e60: b11 - b15 + b41 <= 1 e61: b11 - b17 + b42 <= 1 e62: b13 - b15 + b43 <= 1 e63: b13 - b17 + b44 <= 1 e64: b15 - b17 + b45 <= 1 e65: b18 - b19 + b25 <= 1 e66: b18 - b20 + b26 <= 1 e67: b18 - b21 + b27 <= 1 e68: b18 - b22 + b28 <= 1 e69: b18 - b23 + b29 <= 1 e70: b18 - b24 + b30 <= 1 e71: b19 - b20 + b31 <= 1 e72: b19 - b21 + b32 <= 1 e73: b19 - b22 + b33 <= 1 e74: b19 - b23 + b34 <= 1 e75: b19 - b24 + b35 <= 1 e76: b20 - b21 + b36 <= 1 e77: b20 - b22 + b37 <= 1 e78: b20 - b23 + b38 <= 1 e79: b20 - b24 + b39 <= 1 e80: b21 - b22 + b40 <= 1 e81: b21 - b23 + b41 <= 1 e82: b21 - b24 + b42 <= 1 e83: b22 - b23 + b43 <= 1 e84: b22 - b24 + b44 <= 1 e85: b23 - b24 + b45 <= 1 e86: b25 - b26 + b31 <= 1 e87: b25 - b27 + b32 <= 1 e88: b25 - b28 + b33 <= 1 e89: b25 - b29 + b34 <= 1 e90: b25 - b30 + b35 <= 1 e91: b26 - b27 + b36 <= 1 e92: b26 - b28 + b37 <= 1 e93: b26 - b29 + b38 <= 1 e94: b26 - b30 + b39 <= 1 e95: b27 - b28 + b40 <= 1 e96: b27 - b29 + b41 <= 1 e97: b27 - b30 + b42 <= 1 e98: b28 - b29 + b43 <= 1 e99: b28 - b30 + b44 <= 1 e100: b29 - b30 + b45 <= 1 e101: b31 - b32 + b36 <= 1 e102: b31 - b33 + b37 <= 1 e103: b31 - b34 + b38 <= 1 e104: b31 - b35 + b39 <= 1 e105: b32 - b33 + b40 <= 1 e106: b32 - b34 + b41 <= 1 e107: b32 - b35 + b42 <= 1 e108: b33 - b34 + b43 <= 1 e109: b33 - b35 + b44 <= 1 e110: b34 - b35 + b45 <= 1 e111: b36 - b37 + b40 <= 1 e112: b36 - b38 + b41 <= 1 e113: b36 - b39 + b42 <= 1 e114: b37 - b38 + b43 <= 1 e115: b37 - b39 + b44 <= 1 e116: b38 - b39 + b45 <= 1 e117: b40 - b41 + b43 <= 1 e118: b40 - b42 + b44 <= 1 e119: b41 - b42 + b45 <= 1 e120: b43 - b44 + b45 <= 1 e121: b1 - b2 - b3 <= 0 e122: - b3 + b4 - b5 <= 0 e123: - b3 + b6 - b7 <= 0 e124: - b3 + b8 - b9 <= 0 e125: - b3 + b10 - b11 <= 0 e126: - b3 + b12 - b13 <= 0 e127: - b3 + b14 - b15 <= 0 e128: - b3 + b16 - b17 <= 0 e129: - b1 + b4 - b18 <= 0 e130: - b1 + b6 - b19 <= 0 e131: - b1 + b8 - b20 <= 0 e132: - b1 + b10 - b21 <= 0 e133: - b1 + b12 - b22 <= 0 e134: - b1 + b14 - b23 <= 0 e135: - b1 + b16 - b24 <= 0 e136: - b4 + b6 - b25 <= 0 e137: - b4 + b8 - b26 <= 0 e138: - b4 + b10 - b27 <= 0 e139: - b4 + b12 - b28 <= 0 e140: - b4 + b14 - b29 <= 0 e141: - b4 + b16 - b30 <= 0 e142: - b6 + b8 - b31 <= 0 e143: - b6 + b10 - b32 <= 0 e144: - b6 + b12 - b33 <= 0 e145: - b6 + b14 - b34 <= 0 e146: - b6 + b16 - b35 <= 0 e147: - b8 + b10 - b36 <= 0 e148: - b8 + b12 - b37 <= 0 e149: - b8 + b14 - b38 <= 0 e150: - b8 + b16 - b39 <= 0 e151: - b10 + b12 - b40 <= 0 e152: - b10 + b14 - b41 <= 0 e153: - b10 + b16 - b42 <= 0 e154: - b12 + b14 - b43 <= 0 e155: - b12 + b16 - b44 <= 0 e156: - b14 + b16 - b45 <= 0 e157: - b2 + b5 - b18 <= 0 e158: - b2 + b7 - b19 <= 0 e159: - b2 + b9 - b20 <= 0 e160: - b2 + b11 - b21 <= 0 e161: - b2 + b13 - b22 <= 0 e162: - b2 + b15 - b23 <= 0 e163: - b2 + b17 - b24 <= 0 e164: - b5 + b7 - b25 <= 0 e165: - b5 + b9 - b26 <= 0 e166: - b5 + b11 - b27 <= 0 e167: - b5 + b13 - b28 <= 0 e168: - b5 + b15 - b29 <= 0 e169: - b5 + b17 - b30 <= 0 e170: - b7 + b9 - b31 <= 0 e171: - b7 + b11 - b32 <= 0 e172: - b7 + b13 - b33 <= 0 e173: - b7 + b15 - b34 <= 0 e174: - b7 + b17 - b35 <= 0 e175: - b9 + b11 - b36 <= 0 e176: - b9 + b13 - b37 <= 0 e177: - b9 + b15 - b38 <= 0 e178: - b9 + b17 - b39 <= 0 e179: - b11 + b13 - b40 <= 0 e180: - b11 + b15 - b41 <= 0 e181: - b11 + b17 - b42 <= 0 e182: - b13 + b15 - b43 <= 0 e183: - b13 + b17 - b44 <= 0 e184: - b15 + b17 - b45 <= 0 e185: - b18 + b19 - b25 <= 0 e186: - b18 + b20 - b26 <= 0 e187: - b18 + b21 - b27 <= 0 e188: - b18 + b22 - b28 <= 0 e189: - b18 + b23 - b29 <= 0 e190: - b18 + b24 - b30 <= 0 e191: - b19 + b20 - b31 <= 0 e192: - b19 + b21 - b32 <= 0 e193: - b19 + b22 - b33 <= 0 e194: - b19 + b23 - b34 <= 0 e195: - b19 + b24 - b35 <= 0 e196: - b20 + b21 - b36 <= 0 e197: - b20 + b22 - b37 <= 0 e198: - b20 + b23 - b38 <= 0 e199: - b20 + b24 - b39 <= 0 e200: - b21 + b22 - b40 <= 0 e201: - b21 + b23 - b41 <= 0 e202: - b21 + b24 - b42 <= 0 e203: - b22 + b23 - b43 <= 0 e204: - b22 + b24 - b44 <= 0 e205: - b23 + b24 - b45 <= 0 e206: - b25 + b26 - b31 <= 0 e207: - b25 + b27 - b32 <= 0 e208: - b25 + b28 - b33 <= 0 e209: - b25 + b29 - b34 <= 0 e210: - b25 + b30 - b35 <= 0 e211: - b26 + b27 - b36 <= 0 e212: - b26 + b28 - b37 <= 0 e213: - b26 + b29 - b38 <= 0 e214: - b26 + b30 - b39 <= 0 e215: - b27 + b28 - b40 <= 0 e216: - b27 + b29 - b41 <= 0 e217: - b27 + b30 - b42 <= 0 e218: - b28 + b29 - b43 <= 0 e219: - b28 + b30 - b44 <= 0 e220: - b29 + b30 - b45 <= 0 e221: - b31 + b32 - b36 <= 0 e222: - b31 + b33 - b37 <= 0 e223: - b31 + b34 - b38 <= 0 e224: - b31 + b35 - b39 <= 0 e225: - b32 + b33 - b40 <= 0 e226: - b32 + b34 - b41 <= 0 e227: - b32 + b35 - b42 <= 0 e228: - b33 + b34 - b43 <= 0 e229: - b33 + b35 - b44 <= 0 e230: - b34 + b35 - b45 <= 0 e231: - b36 + b37 - b40 <= 0 e232: - b36 + b38 - b41 <= 0 e233: - b36 + b39 - b42 <= 0 e234: - b37 + b38 - b43 <= 0 e235: - b37 + b39 - b44 <= 0 e236: - b38 + b39 - b45 <= 0 e237: - b40 + b41 - b43 <= 0 e238: - b40 + b42 - b44 <= 0 e239: - b41 + b42 - b45 <= 0 e240: - b43 + b44 - b45 <= 0 e241: - b46 + b47 + b48 <= 1 e242: b48 - b49 + b50 <= 1 e243: b48 - b51 + b52 <= 1 e244: b48 - b53 + b54 <= 1 e245: b48 - b55 + b56 <= 1 e246: b48 - b57 + b58 <= 1 e247: b48 - b59 + b60 <= 1 e248: b48 - b61 + b62 <= 1 e249: b46 - b49 + b63 <= 1 e250: b46 - b51 + b64 <= 1 e251: b46 - b53 + b65 <= 1 e252: b46 - b55 + b66 <= 1 e253: b46 - b57 + b67 <= 1 e254: b46 - b59 + b68 <= 1 e255: b46 - b61 + b69 <= 1 e256: b49 - b51 + b70 <= 1 e257: b49 - b53 + b71 <= 1 e258: b49 - b55 + b72 <= 1 e259: b49 - b57 + b73 <= 1 e260: b49 - b59 + b74 <= 1 e261: b49 - b61 + b75 <= 1 e262: b51 - b53 + b76 <= 1 e263: b51 - b55 + b77 <= 1 e264: b51 - b57 + b78 <= 1 e265: b51 - b59 + b79 <= 1 e266: b51 - b61 + b80 <= 1 e267: b53 - b55 + b81 <= 1 e268: b53 - b57 + b82 <= 1 e269: b53 - b59 + b83 <= 1 e270: b53 - b61 + b84 <= 1 e271: b55 - b57 + b85 <= 1 e272: b55 - b59 + b86 <= 1 e273: b55 - b61 + b87 <= 1 e274: b57 - b59 + b88 <= 1 e275: b57 - b61 + b89 <= 1 e276: b59 - b61 + b90 <= 1 e277: b47 - b50 + b63 <= 1 e278: b47 - b52 + b64 <= 1 e279: b47 - b54 + b65 <= 1 e280: b47 - b56 + b66 <= 1 e281: b47 - b58 + b67 <= 1 e282: b47 - b60 + b68 <= 1 e283: b47 - b62 + b69 <= 1 e284: b50 - b52 + b70 <= 1 e285: b50 - b54 + b71 <= 1 e286: b50 - b56 + b72 <= 1 e287: b50 - b58 + b73 <= 1 e288: b50 - b60 + b74 <= 1 e289: b50 - b62 + b75 <= 1 e290: b52 - b54 + b76 <= 1 e291: b52 - b56 + b77 <= 1 e292: b52 - b58 + b78 <= 1 e293: b52 - b60 + b79 <= 1 e294: b52 - b62 + b80 <= 1 e295: b54 - b56 + b81 <= 1 e296: b54 - b58 + b82 <= 1 e297: b54 - b60 + b83 <= 1 e298: b54 - b62 + b84 <= 1 e299: b56 - b58 + b85 <= 1 e300: b56 - b60 + b86 <= 1 e301: b56 - b62 + b87 <= 1 e302: b58 - b60 + b88 <= 1 e303: b58 - b62 + b89 <= 1 e304: b60 - b62 + b90 <= 1 e305: b63 - b64 + b70 <= 1 e306: b63 - b65 + b71 <= 1 e307: b63 - b66 + b72 <= 1 e308: b63 - b67 + b73 <= 1 e309: b63 - b68 + b74 <= 1 e310: b63 - b69 + b75 <= 1 e311: b64 - b65 + b76 <= 1 e312: b64 - b66 + b77 <= 1 e313: b64 - b67 + b78 <= 1 e314: b64 - b68 + b79 <= 1 e315: b64 - b69 + b80 <= 1 e316: b65 - b66 + b81 <= 1 e317: b65 - b67 + b82 <= 1 e318: b65 - b68 + b83 <= 1 e319: b65 - b69 + b84 <= 1 e320: b66 - b67 + b85 <= 1 e321: b66 - b68 + b86 <= 1 e322: b66 - b69 + b87 <= 1 e323: b67 - b68 + b88 <= 1 e324: b67 - b69 + b89 <= 1 e325: b68 - b69 + b90 <= 1 e326: b70 - b71 + b76 <= 1 e327: b70 - b72 + b77 <= 1 e328: b70 - b73 + b78 <= 1 e329: b70 - b74 + b79 <= 1 e330: b70 - b75 + b80 <= 1 e331: b71 - b72 + b81 <= 1 e332: b71 - b73 + b82 <= 1 e333: b71 - b74 + b83 <= 1 e334: b71 - b75 + b84 <= 1 e335: b72 - b73 + b85 <= 1 e336: b72 - b74 + b86 <= 1 e337: b72 - b75 + b87 <= 1 e338: b73 - b74 + b88 <= 1 e339: b73 - b75 + b89 <= 1 e340: b74 - b75 + b90 <= 1 e341: b76 - b77 + b81 <= 1 e342: b76 - b78 + b82 <= 1 e343: b76 - b79 + b83 <= 1 e344: b76 - b80 + b84 <= 1 e345: b77 - b78 + b85 <= 1 e346: b77 - b79 + b86 <= 1 e347: b77 - b80 + b87 <= 1 e348: b78 - b79 + b88 <= 1 e349: b78 - b80 + b89 <= 1 e350: b79 - b80 + b90 <= 1 e351: b81 - b82 + b85 <= 1 e352: b81 - b83 + b86 <= 1 e353: b81 - b84 + b87 <= 1 e354: b82 - b83 + b88 <= 1 e355: b82 - b84 + b89 <= 1 e356: b83 - b84 + b90 <= 1 e357: b85 - b86 + b88 <= 1 e358: b85 - b87 + b89 <= 1 e359: b86 - b87 + b90 <= 1 e360: b88 - b89 + b90 <= 1 e361: b46 - b47 - b48 <= 0 e362: - b48 + b49 - b50 <= 0 e363: - b48 + b51 - b52 <= 0 e364: - b48 + b53 - b54 <= 0 e365: - b48 + b55 - b56 <= 0 e366: - b48 + b57 - b58 <= 0 e367: - b48 + b59 - b60 <= 0 e368: - b48 + b61 - b62 <= 0 e369: - b46 + b49 - b63 <= 0 e370: - b46 + b51 - b64 <= 0 e371: - b46 + b53 - b65 <= 0 e372: - b46 + b55 - b66 <= 0 e373: - b46 + b57 - b67 <= 0 e374: - b46 + b59 - b68 <= 0 e375: - b46 + b61 - b69 <= 0 e376: - b49 + b51 - b70 <= 0 e377: - b49 + b53 - b71 <= 0 e378: - b49 + b55 - b72 <= 0 e379: - b49 + b57 - b73 <= 0 e380: - b49 + b59 - b74 <= 0 e381: - b49 + b61 - b75 <= 0 e382: - b51 + b53 - b76 <= 0 e383: - b51 + b55 - b77 <= 0 e384: - b51 + b57 - b78 <= 0 e385: - b51 + b59 - b79 <= 0 e386: - b51 + b61 - b80 <= 0 e387: - b53 + b55 - b81 <= 0 e388: - b53 + b57 - b82 <= 0 e389: - b53 + b59 - b83 <= 0 e390: - b53 + b61 - b84 <= 0 e391: - b55 + b57 - b85 <= 0 e392: - b55 + b59 - b86 <= 0 e393: - b55 + b61 - b87 <= 0 e394: - b57 + b59 - b88 <= 0 e395: - b57 + b61 - b89 <= 0 e396: - b59 + b61 - b90 <= 0 e397: - b47 + b50 - b63 <= 0 e398: - b47 + b52 - b64 <= 0 e399: - b47 + b54 - b65 <= 0 e400: - b47 + b56 - b66 <= 0 e401: - b47 + b58 - b67 <= 0 e402: - b47 + b60 - b68 <= 0 e403: - b47 + b62 - b69 <= 0 e404: - b50 + b52 - b70 <= 0 e405: - b50 + b54 - b71 <= 0 e406: - b50 + b56 - b72 <= 0 e407: - b50 + b58 - b73 <= 0 e408: - b50 + b60 - b74 <= 0 e409: - b50 + b62 - b75 <= 0 e410: - b52 + b54 - b76 <= 0 e411: - b52 + b56 - b77 <= 0 e412: - b52 + b58 - b78 <= 0 e413: - b52 + b60 - b79 <= 0 e414: - b52 + b62 - b80 <= 0 e415: - b54 + b56 - b81 <= 0 e416: - b54 + b58 - b82 <= 0 e417: - b54 + b60 - b83 <= 0 e418: - b54 + b62 - b84 <= 0 e419: - b56 + b58 - b85 <= 0 e420: - b56 + b60 - b86 <= 0 e421: - b56 + b62 - b87 <= 0 e422: - b58 + b60 - b88 <= 0 e423: - b58 + b62 - b89 <= 0 e424: - b60 + b62 - b90 <= 0 e425: - b63 + b64 - b70 <= 0 e426: - b63 + b65 - b71 <= 0 e427: - b63 + b66 - b72 <= 0 e428: - b63 + b67 - b73 <= 0 e429: - b63 + b68 - b74 <= 0 e430: - b63 + b69 - b75 <= 0 e431: - b64 + b65 - b76 <= 0 e432: - b64 + b66 - b77 <= 0 e433: - b64 + b67 - b78 <= 0 e434: - b64 + b68 - b79 <= 0 e435: - b64 + b69 - b80 <= 0 e436: - b65 + b66 - b81 <= 0 e437: - b65 + b67 - b82 <= 0 e438: - b65 + b68 - b83 <= 0 e439: - b65 + b69 - b84 <= 0 e440: - b66 + b67 - b85 <= 0 e441: - b66 + b68 - b86 <= 0 e442: - b66 + b69 - b87 <= 0 e443: - b67 + b68 - b88 <= 0 e444: - b67 + b69 - b89 <= 0 e445: - b68 + b69 - b90 <= 0 e446: - b70 + b71 - b76 <= 0 e447: - b70 + b72 - b77 <= 0 e448: - b70 + b73 - b78 <= 0 e449: - b70 + b74 - b79 <= 0 e450: - b70 + b75 - b80 <= 0 e451: - b71 + b72 - b81 <= 0 e452: - b71 + b73 - b82 <= 0 e453: - b71 + b74 - b83 <= 0 e454: - b71 + b75 - b84 <= 0 e455: - b72 + b73 - b85 <= 0 e456: - b72 + b74 - b86 <= 0 e457: - b72 + b75 - b87 <= 0 e458: - b73 + b74 - b88 <= 0 e459: - b73 + b75 - b89 <= 0 e460: - b74 + b75 - b90 <= 0 e461: - b76 + b77 - b81 <= 0 e462: - b76 + b78 - b82 <= 0 e463: - b76 + b79 - b83 <= 0 e464: - b76 + b80 - b84 <= 0 e465: - b77 + b78 - b85 <= 0 e466: - b77 + b79 - b86 <= 0 e467: - b77 + b80 - b87 <= 0 e468: - b78 + b79 - b88 <= 0 e469: - b78 + b80 - b89 <= 0 e470: - b79 + b80 - b90 <= 0 e471: - b81 + b82 - b85 <= 0 e472: - b81 + b83 - b86 <= 0 e473: - b81 + b84 - b87 <= 0 e474: - b82 + b83 - b88 <= 0 e475: - b82 + b84 - b89 <= 0 e476: - b83 + b84 - b90 <= 0 e477: - b85 + b86 - b88 <= 0 e478: - b85 + b87 - b89 <= 0 e479: - b86 + b87 - b90 <= 0 e480: - b88 + b89 - b90 <= 0 e481: b1 - 2 b4 + b5 + 3 b6 + b7 + b9 - 2 b10 - b11 + b12 + b13 - 2 b14 + 2 b15 + 2 b16 + 2 b17 - b18 + b19 - b21 - b23 + b24 + 2 b25 + b26 - 2 b27 + 2 b28 + b29 + 2 b30 - b31 - 2 b32 - 2 b33 - 2 b34 + 2 b35 - 2 b36 - b38 + 2 b39 + 3 b40 + 3 b41 + b42 - 2 b43 + 3 b44 + 2 b45 + 3 b47 + 7 b50 - 3 b54 + 3 b60 + 6 b62 - 3 b63 - b65 - 4 b66 - 4 b68 - 4 b71 - 9 b72 - 6 b74 + 4 b75 + 3 b81 + 4 b83 + 3 b84 + 4 b86 + 8 b87 + 6 b90 + objvar - 2 b1 b81 - 2 b2 b56 + 2 b2 b86 + 2 b3 b54 + 2 b3 b56 - 2 b3 b83 - 2 b3 b86 + 2 b4 b54 + 2 b4 b56 + 2 b4 b71 + 2 b4 b72 - 2 b4 b84 - 2 b4 b87 - 2 b5 b50 + 2 b5 b60 - 2 b5 b62 + 2 b5 b74 - 2 b5 b90 - 2 b6 b81 - 2 b6 b83 - 2 b6 b86 - 2 b7 b56 - 2 b7 b60 + 2 b7 b86 + 2 b8 b71 + 2 b8 b72 - 2 b8 b83 - 2 b8 b86 - 2 b9 b50 - 2 b9 b60 + 2 b9 b74 + 2 b10 b54 + 2 b10 b56 + 2 b11 b60 + 2 b12 b71 + 2 b12 b72 - 2 b12 b81 - 2 b12 b83 - 2 b12 b86 - 2 b13 b50 - 2 b13 b56 - 2 b13 b60 + 2 b13 b74 + 2 b13 b86 + 2 b14 b65 + 2 b14 b66 + 2 b14 b71 + 2 b14 b72 - 2 b14 b84 - 2 b14 b87 - 2 b15 b47 - 2 b15 b50 - 2 b15 b62 + 2 b15 b68 + 2 b15 b74 - 2 b15 b90 - 2 b16 b84 - 2 b16 b87 - 2 b17 b62 - 2 b17 b90 + 2 b18 b56 + 2 b18 b72 - 2 b18 b87 - 2 b19 b86 + 2 b20 b72 - 2 b20 b86 + 2 b21 b56 + 2 b22 b72 - 2 b22 b86 + 2 b23 b66 + 2 b23 b72 - 2 b23 b87 - 2 b24 b87 - 2 b25 b56 - 2 b25 b60 - 2 b25 b72 - 2 b25 b74 + 2 b25 b87 + 2 b25 b90 - 2 b26 b50 - 2 b26 b60 - 2 b26 b74 + 2 b26 b75 + 2 b26 b90 + 2 b27 b50 + 2 b27 b62 - 2 b28 b50 - 2 b28 b56 - 2 b28 b60 - 2 b28 b72 - 2 b28 b74 + 2 b28 b75 + 2 b28 b87 + 2 b28 b90 - 2 b29 b47 - 2 b29 b50 - 2 b29 b62 + 2 b29 b63 + 2 b29 b69 - 2 b30 b62 - 2 b30 b75 + 2 b31 b72 + 2 b31 b74 - 2 b31 b86 + 2 b32 b56 + 2 b32 b60 + 2 b33 b72 + 2 b33 b74 + 2 b34 b66 + 2 b34 b68 + 2 b34 b72 + 2 b34 b74 - 2 b34 b87 - 2 b34 b90 - 2 b35 b87 - 2 b35 b90 + 2 b36 b50 + 2 b36 b60 - 2 b37 b72 + 2 b37 b86 + 2 b38 b63 + 2 b38 b68 + 2 b38 b74 - 2 b38 b75 - 2 b38 b90 - 2 b39 b75 - 2 b39 b90 - 2 b40 b50 - 2 b40 b56 - 2 b40 b60 - 2 b41 b47 - 2 b41 b50 - 2 b41 b62 - 2 b42 b62 + 2 b43 b63 + 2 b43 b66 + 2 b43 b68 + 2 b43 b72 + 2 b43 b74 - 2 b43 b75 - 2 b43 b87 - 2 b43 b90 - 2 b44 b75 - 2 b44 b87 - 2 b44 b90 - 2 b45 b69 - 2 b45 b75 >= 85 Bounds objvar Free 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 b81 b82 b83 b84 b85 b86 b87 b88 b89 b90 End