\ 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 \ 1532 1442 90 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: 5 b1 + 6 b2 + 2 b3 - 4 b4 - 5 b5 + 3 b6 + 2 b7 - 2 b8 - 2 b9 - 4 b10 - 5 b11 + 11 b12 + 9 b13 + 5 b16 + 3 b17 - 14 b18 - 4 b19 - 6 b20 - 10 b21 + 3 b22 - 9 b23 - 2 b24 + 6 b25 - b26 - 3 b27 + 16 b28 + 6 b29 + 12 b30 - 2 b31 - 7 b32 + 6 b33 - 2 b34 + 2 b35 - b36 + 6 b37 + 3 b38 + 5 b39 + 13 b40 + 6 b41 + 10 b42 - 10 b43 - 8 b44 + 6 b45 - 3 b46 + 8 b47 - 6 b48 - 2 b49 + 13 b50 - 8 b51 + 2 b52 - 3 b53 + 2 b54 - 4 b55 + 4 b56 - b57 + 10 b58 - 3 b59 + 3 b60 - b61 + 11 b62 + 6 b63 - 7 b64 - 3 b65 - 2 b66 + 6 b67 - 3 b68 + 7 b69 - 14 b70 - 6 b71 - 7 b72 + b73 - 7 b74 + 2 b75 + b76 + 3 b77 + 8 b78 + 3 b79 + 10 b80 + b81 + 5 b82 + 6 b84 + 5 b85 + 6 b87 - 6 b88 + b89 + 7 b90 + objvar - 2 b1 b50 - 2 b1 b52 - 2 b1 b54 - 2 b1 b56 - 2 b1 b62 + 2 b1 b70 + 2 b1 b71 + 2 b1 b72 - 2 b1 b80 - 2 b1 b84 - 2 b1 b87 - 2 b2 b50 - 2 b2 b52 - 2 b2 b54 - 2 b2 b56 - 2 b2 b62 - 2 b2 b63 - 2 b2 b64 - 2 b2 b65 - 2 b2 b66 - 2 b2 b69 + 2 b2 b70 + 2 b2 b73 + 2 b2 b74 - 2 b2 b76 - 2 b2 b77 + 2 b2 b78 + 2 b2 b79 - 2 b2 b80 + 2 b2 b82 + 2 b2 b83 + 2 b2 b85 + 2 b2 b86 - 2 b2 b89 - 2 b2 b90 - 2 b3 b47 + 2 b3 b54 + 2 b3 b56 - 2 b3 b58 - 2 b3 b60 + 2 b3 b64 + 2 b3 b65 + 2 b3 b66 + 2 b3 b76 + 2 b3 b77 - 2 b3 b78 - 2 b3 b79 - 2 b3 b82 - 2 b3 b83 - 2 b3 b85 - 2 b3 b86 - 2 b4 b47 + 2 b4 b48 - 2 b4 b50 + 2 b4 b51 + 2 b4 b53 + 2 b4 b54 + 2 b4 b55 + 2 b4 b56 - 2 b4 b58 - 2 b4 b62 + 2 b4 b64 + 2 b4 b65 + 2 b4 b66 + 2 b4 b70 + 2 b4 b71 + 2 b4 b72 + 2 b4 b76 + 2 b4 b77 - 2 b4 b78 - 2 b4 b80 - 2 b4 b82 - 2 b4 b84 - 2 b4 b85 - 2 b4 b87 + 2 b5 b46 + 2 b5 b48 - 2 b5 b50 + 2 b5 b51 + 2 b5 b57 + 2 b5 b59 + 2 b5 b60 - 2 b5 b62 - 2 b5 b63 + 2 b5 b68 - 2 b5 b69 + 2 b5 b70 + 2 b5 b73 + 2 b5 b74 + 2 b5 b79 - 2 b5 b80 + 2 b5 b88 - 2 b5 b89 - 2 b5 b90 - 2 b6 b47 - 2 b6 b50 - 2 b6 b56 - 2 b6 b60 + 2 b6 b64 + 2 b6 b65 + 2 b6 b66 + 2 b6 b70 + 2 b6 b71 + 2 b6 b72 - 2 b6 b77 - 2 b6 b79 - 2 b6 b81 - 2 b6 b83 - 2 b6 b86 - 2 b7 b47 - 2 b7 b50 - 2 b7 b56 - 2 b7 b60 - 2 b7 b63 + 2 b7 b64 - 2 b7 b66 + 2 b7 b67 + 2 b7 b70 + 2 b7 b73 + 2 b7 b74 - 2 b7 b77 - 2 b7 b79 + 2 b7 b85 + 2 b7 b86 - 2 b7 b88 + 2 b8 b48 - 2 b8 b50 + 2 b8 b51 + 2 b8 b53 + 2 b8 b55 - 2 b8 b60 + 2 b8 b70 + 2 b8 b71 + 2 b8 b72 - 2 b8 b79 - 2 b8 b83 - 2 b8 b86 + 2 b9 b46 + 2 b9 b48 - 2 b9 b50 + 2 b9 b51 + 2 b9 b57 + 2 b9 b59 - 2 b9 b60 - 2 b9 b63 - 2 b9 b68 + 2 b9 b70 + 2 b9 b73 + 2 b9 b74 - 2 b9 b79 - 2 b9 b88 - 2 b10 b47 + 2 b10 b52 + 2 b10 b56 + 2 b10 b64 + 2 b10 b65 + 2 b10 b66 - 2 b10 b76 + 2 b10 b81 + 2 b11 b52 - 2 b11 b54 + 2 b11 b58 + 2 b11 b60 + 2 b11 b64 - 2 b11 b65 + 2 b11 b67 + 2 b11 b68 - 2 b11 b76 + 2 b11 b82 + 2 b11 b83 - 2 b12 b47 - 2 b12 b50 - 2 b12 b56 - 2 b12 b58 - 2 b12 b60 - 2 b12 b62 + 2 b12 b64 + 2 b12 b65 + 2 b12 b66 + 2 b12 b70 + 2 b12 b71 + 2 b12 b72 - 2 b12 b77 - 2 b12 b78 - 2 b12 b79 - 2 b12 b80 - 2 b12 b81 - 2 b12 b82 - 2 b12 b83 - 2 b12 b84 - 2 b12 b85 - 2 b12 b86 - 2 b12 b87 - 2 b13 b47 - 2 b13 b50 - 2 b13 b56 - 2 b13 b58 - 2 b13 b60 - 2 b13 b62 - 2 b13 b63 + 2 b13 b64 - 2 b13 b66 - 2 b13 b69 + 2 b13 b70 + 2 b13 b73 + 2 b13 b74 - 2 b13 b77 - 2 b13 b78 - 2 b13 b79 - 2 b13 b80 + 2 b13 b85 + 2 b13 b86 - 2 b13 b89 - 2 b13 b90 - 2 b14 b47 - 2 b14 b50 + 2 b14 b54 + 2 b14 b56 - 2 b14 b58 - 2 b14 b62 + 2 b14 b64 + 2 b14 b65 + 2 b14 b66 + 2 b14 b70 + 2 b14 b71 + 2 b14 b72 + 2 b14 b76 + 2 b14 b77 - 2 b14 b78 - 2 b14 b80 - 2 b14 b82 - 2 b14 b84 - 2 b14 b85 - 2 b14 b87 - 2 b15 b50 + 2 b15 b60 - 2 b15 b62 - 2 b15 b63 + 2 b15 b68 - 2 b15 b69 + 2 b15 b70 + 2 b15 b73 + 2 b15 b74 + 2 b15 b79 - 2 b15 b80 + 2 b15 b88 - 2 b15 b89 - 2 b15 b90 + 2 b16 b48 - 2 b16 b50 + 2 b16 b51 - 2 b16 b52 + 2 b16 b53 - 2 b16 b54 + 2 b16 b55 - 2 b16 b56 - 2 b16 b58 - 2 b16 b62 + 2 b16 b70 + 2 b16 b71 + 2 b16 b72 - 2 b16 b78 - 2 b16 b80 - 2 b16 b82 - 2 b16 b84 - 2 b16 b85 - 2 b16 b87 + 2 b17 b46 + 2 b17 b48 - 2 b17 b50 + 2 b17 b51 - 2 b17 b52 - 2 b17 b54 - 2 b17 b56 + 2 b17 b57 - 2 b17 b58 + 2 b17 b59 - 2 b17 b62 - 2 b17 b63 - 2 b17 b64 - 2 b17 b65 - 2 b17 b66 - 2 b17 b67 - 2 b17 b69 + 2 b17 b70 + 2 b17 b73 + 2 b17 b74 - 2 b17 b76 - 2 b17 b77 + 2 b17 b79 - 2 b17 b80 + 2 b17 b82 + 2 b17 b83 + 2 b17 b85 + 2 b17 b86 + 2 b17 b88 - 2 b17 b89 - 2 b17 b90 + 2 b18 b49 + 2 b18 b50 + 2 b18 b51 + 2 b18 b52 + 2 b18 b53 + 2 b18 b54 + 2 b18 b55 + 2 b18 b56 + 2 b18 b61 + 2 b18 b62 + 2 b18 b63 + 2 b18 b64 + 2 b18 b65 + 2 b18 b66 + 2 b18 b69 + 2 b18 b71 + 2 b18 b72 - 2 b18 b73 + 2 b18 b76 + 2 b18 b77 - 2 b18 b78 - 2 b18 b82 - 2 b18 b84 - 2 b18 b85 - 2 b18 b87 + 2 b18 b89 + 2 b19 b63 + 2 b19 b64 + 2 b19 b65 + 2 b19 b66 + 2 b19 b69 + 2 b19 b70 + 2 b19 b71 - 2 b19 b74 + 2 b19 b75 - 2 b19 b77 - 2 b19 b79 - 2 b19 b81 - 2 b19 b83 - 2 b19 b86 + 2 b19 b87 + 2 b19 b90 + 2 b20 b49 + 2 b20 b51 + 2 b20 b53 + 2 b20 b55 + 2 b20 b61 + 2 b20 b70 + 2 b20 b71 + 2 b20 b72 - 2 b20 b74 + 2 b20 b75 - 2 b20 b79 - 2 b20 b83 - 2 b20 b86 + 2 b20 b90 + 2 b21 b50 + 2 b21 b52 + 2 b21 b54 + 2 b21 b56 + 2 b21 b62 + 2 b21 b63 + 2 b21 b64 + 2 b21 b65 + 2 b21 b66 + 2 b21 b69 - 2 b21 b71 - 2 b21 b76 + 2 b21 b81 + 2 b21 b84 + 2 b22 b63 + 2 b22 b64 + 2 b22 b65 + 2 b22 b66 + 2 b22 b69 + 2 b22 b70 + 2 b22 b71 - 2 b22 b73 - 2 b22 b74 - 2 b22 b77 - 2 b22 b78 - 2 b22 b79 - 2 b22 b80 - 2 b22 b81 - 2 b22 b82 - 2 b22 b83 - 2 b22 b84 - 2 b22 b85 - 2 b22 b86 + 2 b22 b89 + 2 b22 b90 + 2 b23 b50 + 2 b23 b52 + 2 b23 b54 + 2 b23 b56 + 2 b23 b62 + 2 b23 b63 + 2 b23 b64 + 2 b23 b65 + 2 b23 b66 + 2 b23 b69 + 2 b23 b71 + 2 b23 b72 - 2 b23 b73 + 2 b23 b76 + 2 b23 b77 - 2 b23 b78 - 2 b23 b82 - 2 b23 b84 - 2 b23 b85 - 2 b23 b87 + 2 b23 b89 + 2 b24 b49 + 2 b24 b51 + 2 b24 b53 + 2 b24 b55 + 2 b24 b61 - 2 b24 b73 - 2 b24 b78 - 2 b24 b82 - 2 b24 b85 + 2 b24 b89 - 2 b25 b46 - 2 b25 b47 - 2 b25 b49 - 2 b25 b50 - 2 b25 b55 - 2 b25 b56 - 2 b25 b59 - 2 b25 b60 + 2 b25 b64 - 2 b25 b66 + 2 b25 b67 - 2 b25 b68 + 2 b25 b69 + 2 b25 b70 - 2 b25 b72 + 2 b25 b73 - 2 b25 b74 + 2 b25 b75 - 2 b25 b77 - 2 b25 b79 + 2 b25 b85 + 2 b25 b87 - 2 b25 b88 + 2 b25 b90 + 2 b26 b46 + 2 b26 b48 - 2 b26 b50 + 2 b26 b51 + 2 b26 b57 - 2 b26 b59 - 2 b26 b60 + 2 b26 b61 - 2 b26 b63 - 2 b26 b68 + 2 b26 b70 + 2 b26 b73 - 2 b26 b74 + 2 b26 b75 - 2 b26 b79 - 2 b26 b88 + 2 b26 b90 - 2 b27 b46 - 2 b27 b48 + 2 b27 b50 + 2 b27 b52 - 2 b27 b53 - 2 b27 b54 + 2 b27 b58 + 2 b27 b62 + 2 b27 b63 + 2 b27 b64 - 2 b27 b65 + 2 b27 b67 + 2 b27 b69 - 2 b27 b71 - 2 b27 b76 + 2 b27 b82 + 2 b27 b84 - 2 b28 b46 - 2 b28 b47 - 2 b28 b49 - 2 b28 b50 - 2 b28 b55 - 2 b28 b56 - 2 b28 b57 - 2 b28 b58 - 2 b28 b59 - 2 b28 b60 - 2 b28 b61 - 2 b28 b62 + 2 b28 b64 - 2 b28 b66 - 2 b28 b68 + 2 b28 b70 - 2 b28 b72 - 2 b28 b74 - 2 b28 b77 - 2 b28 b78 - 2 b28 b79 - 2 b28 b80 + 2 b28 b85 + 2 b28 b87 - 2 b28 b88 + 2 b28 b90 - 2 b29 b46 - 2 b29 b48 - 2 b29 b49 - 2 b29 b51 - 2 b29 b57 - 2 b29 b61 + 2 b30 b46 + 2 b30 b48 - 2 b30 b50 - 2 b30 b52 - 2 b30 b53 - 2 b30 b54 - 2 b30 b55 - 2 b30 b56 - 2 b30 b58 - 2 b30 b62 - 2 b30 b63 - 2 b30 b64 - 2 b30 b65 - 2 b30 b66 - 2 b30 b67 - 2 b30 b69 - 2 b30 b71 - 2 b30 b72 - 2 b30 b76 - 2 b30 b77 + 2 b30 b82 + 2 b30 b84 + 2 b30 b85 + 2 b30 b87 + 2 b31 b46 + 2 b31 b49 + 2 b31 b55 + 2 b31 b59 - 2 b31 b63 - 2 b31 b68 + 2 b31 b72 - 2 b31 b86 + 2 b32 b47 + 2 b32 b50 + 2 b32 b56 + 2 b32 b60 + 2 b32 b63 - 2 b32 b65 + 2 b32 b66 + 2 b32 b68 - 2 b32 b71 + 2 b32 b81 + 2 b32 b83 - 2 b33 b67 - 2 b33 b69 - 2 b33 b73 - 2 b33 b75 - 2 b33 b85 - 2 b33 b87 + 2 b33 b88 - 2 b33 b90 + 2 b34 b47 + 2 b34 b50 + 2 b34 b56 + 2 b34 b60 - 2 b34 b64 + 2 b34 b66 - 2 b34 b67 + 2 b34 b68 - 2 b34 b69 - 2 b34 b70 + 2 b34 b72 - 2 b34 b73 + 2 b34 b74 - 2 b34 b75 + 2 b34 b77 + 2 b34 b79 - 2 b34 b85 - 2 b34 b87 + 2 b34 b88 - 2 b34 b90 + 2 b35 b46 + 2 b35 b49 + 2 b35 b55 + 2 b35 b59 - 2 b35 b63 - 2 b35 b64 - 2 b35 b65 - 2 b35 b66 - 2 b35 b67 - 2 b35 b69 - 2 b35 b70 - 2 b35 b71 - 2 b35 b73 + 2 b35 b74 - 2 b35 b75 + 2 b35 b77 + 2 b35 b79 + 2 b35 b81 + 2 b35 b83 - 2 b35 b85 + 2 b35 b86 - 2 b35 b87 + 2 b35 b88 - 2 b35 b90 - 2 b36 b46 - 2 b36 b48 + 2 b36 b50 - 2 b36 b53 + 2 b36 b60 + 2 b36 b63 + 2 b36 b68 - 2 b36 b71 + 2 b36 b83 - 2 b37 b46 - 2 b37 b49 - 2 b37 b55 - 2 b37 b57 - 2 b37 b59 - 2 b37 b61 + 2 b37 b63 + 2 b37 b68 - 2 b37 b72 - 2 b37 b73 - 2 b37 b75 + 2 b37 b86 + 2 b37 b88 - 2 b37 b90 - 2 b38 b46 - 2 b38 b48 - 2 b38 b49 + 2 b38 b50 - 2 b38 b51 - 2 b38 b57 + 2 b38 b60 - 2 b38 b61 + 2 b38 b63 + 2 b38 b68 - 2 b38 b70 - 2 b38 b73 + 2 b38 b74 - 2 b38 b75 + 2 b38 b79 + 2 b38 b88 - 2 b38 b90 - 2 b39 b51 - 2 b39 b53 - 2 b39 b55 - 2 b39 b57 + 2 b39 b59 - 2 b39 b61 - 2 b39 b70 - 2 b39 b71 - 2 b39 b72 - 2 b39 b73 + 2 b39 b74 - 2 b39 b75 + 2 b39 b79 + 2 b39 b83 + 2 b39 b86 + 2 b39 b88 - 2 b39 b90 - 2 b40 b47 - 2 b40 b50 - 2 b40 b56 - 2 b40 b58 - 2 b40 b60 - 2 b40 b62 - 2 b40 b63 + 2 b40 b65 - 2 b40 b66 - 2 b40 b67 - 2 b40 b68 - 2 b40 b69 + 2 b40 b71 - 2 b40 b81 - 2 b40 b82 - 2 b40 b83 - 2 b40 b84 - 2 b41 b50 - 2 b41 b52 + 2 b41 b54 - 2 b41 b58 - 2 b41 b62 - 2 b41 b63 - 2 b41 b64 + 2 b41 b65 - 2 b41 b67 - 2 b41 b69 + 2 b41 b71 + 2 b41 b76 - 2 b41 b82 - 2 b41 b84 + 2 b42 b46 + 2 b42 b48 - 2 b42 b50 - 2 b42 b52 + 2 b42 b53 - 2 b42 b54 - 2 b42 b56 - 2 b42 b58 - 2 b42 b62 - 2 b42 b63 - 2 b42 b64 - 2 b42 b65 - 2 b42 b66 - 2 b42 b67 - 2 b42 b69 + 2 b42 b71 + 2 b42 b76 - 2 b42 b81 - 2 b42 b82 - 2 b42 b84 + 2 b43 b47 + 2 b43 b50 + 2 b43 b56 + 2 b43 b58 + 2 b43 b60 + 2 b43 b62 - 2 b43 b64 + 2 b43 b66 + 2 b43 b68 - 2 b43 b70 + 2 b43 b72 + 2 b43 b74 + 2 b43 b77 + 2 b43 b78 + 2 b43 b79 + 2 b43 b80 - 2 b43 b85 - 2 b43 b87 + 2 b43 b88 - 2 b43 b90 + 2 b44 b46 + 2 b44 b49 + 2 b44 b55 + 2 b44 b57 + 2 b44 b59 + 2 b44 b61 - 2 b44 b63 - 2 b44 b64 - 2 b44 b65 - 2 b44 b66 - 2 b44 b67 - 2 b44 b69 - 2 b44 b70 - 2 b44 b71 + 2 b44 b74 + 2 b44 b77 + 2 b44 b78 + 2 b44 b79 + 2 b44 b80 + 2 b44 b81 + 2 b44 b82 + 2 b44 b83 + 2 b44 b84 + 2 b44 b86 + 2 b44 b88 - 2 b44 b90 + 2 b45 b46 + 2 b45 b48 + 2 b45 b49 - 2 b45 b50 + 2 b45 b51 - 2 b45 b52 - 2 b45 b54 - 2 b45 b56 + 2 b45 b57 - 2 b45 b58 + 2 b45 b61 - 2 b45 b62 - 2 b45 b63 - 2 b45 b64 - 2 b45 b65 - 2 b45 b66 - 2 b45 b67 - 2 b45 b69 - 2 b45 b71 - 2 b45 b72 - 2 b45 b76 - 2 b45 b77 + 2 b45 b82 + 2 b45 b84 + 2 b45 b85 + 2 b45 b87 >= 527 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