\ 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 17 74 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 1530 1442 88 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 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 + 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 + x75 <= 1 e262: b51 - b53 + x76 <= 1 e263: b51 - b55 + x77 <= 1 e264: b51 - b57 + x78 <= 1 e265: b51 - b59 + x79 <= 1 e266: b51 - b61 + x80 <= 1 e267: b53 - b55 + x81 <= 1 e268: b53 - b57 + x82 <= 1 e269: b53 - b59 + x83 <= 1 e270: b53 - b61 + x84 <= 1 e271: b55 - b57 + x85 <= 1 e272: b55 - b59 + x86 <= 1 e273: b55 - b61 + x87 <= 1 e274: b57 - b59 + x88 <= 1 e275: b57 - b61 + x89 <= 1 e276: b59 - b61 + x90 <= 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 + x75 <= 1 e290: b52 - b54 + x76 <= 1 e291: b52 - b56 + x77 <= 1 e292: b52 - b58 + x78 <= 1 e293: b52 - b60 + x79 <= 1 e294: b52 - b62 + x80 <= 1 e295: b54 - b56 + x81 <= 1 e296: b54 - b58 + x82 <= 1 e297: b54 - b60 + x83 <= 1 e298: b54 - b62 + x84 <= 1 e299: b56 - b58 + x85 <= 1 e300: b56 - b60 + x86 <= 1 e301: b56 - b62 + x87 <= 1 e302: b58 - b60 + x88 <= 1 e303: b58 - b62 + x89 <= 1 e304: b60 - b62 + x90 <= 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 + x75 <= 1 e311: b64 - b65 + x76 <= 1 e312: b64 - b66 + x77 <= 1 e313: b64 - b67 + x78 <= 1 e314: b64 - b68 + x79 <= 1 e315: b64 - b69 + x80 <= 1 e316: b65 - b66 + x81 <= 1 e317: b65 - b67 + x82 <= 1 e318: b65 - b68 + x83 <= 1 e319: b65 - b69 + x84 <= 1 e320: b66 - b67 + x85 <= 1 e321: b66 - b68 + x86 <= 1 e322: b66 - b69 + x87 <= 1 e323: b67 - b68 + x88 <= 1 e324: b67 - b69 + x89 <= 1 e325: b68 - b69 + x90 <= 1 e326: b70 - b71 + x76 <= 1 e327: b70 - b72 + x77 <= 1 e328: b70 - b73 + x78 <= 1 e329: b70 - b74 + x79 <= 1 e330: b70 - x75 + x80 <= 1 e331: b71 - b72 + x81 <= 1 e332: b71 - b73 + x82 <= 1 e333: b71 - b74 + x83 <= 1 e334: b71 - x75 + x84 <= 1 e335: b72 - b73 + x85 <= 1 e336: b72 - b74 + x86 <= 1 e337: b72 - x75 + x87 <= 1 e338: b73 - b74 + x88 <= 1 e339: b73 - x75 + x89 <= 1 e340: b74 - x75 + x90 <= 1 e341: x76 - x77 + x81 <= 1 e342: x76 - x78 + x82 <= 1 e343: x76 - x79 + x83 <= 1 e344: x76 - x80 + x84 <= 1 e345: x77 - x78 + x85 <= 1 e346: x77 - x79 + x86 <= 1 e347: x77 - x80 + x87 <= 1 e348: x78 - x79 + x88 <= 1 e349: x78 - x80 + x89 <= 1 e350: x79 - x80 + x90 <= 1 e351: x81 - x82 + x85 <= 1 e352: x81 - x83 + x86 <= 1 e353: x81 - x84 + x87 <= 1 e354: x82 - x83 + x88 <= 1 e355: x82 - x84 + x89 <= 1 e356: x83 - x84 + x90 <= 1 e357: x85 - x86 + x88 <= 1 e358: x85 - x87 + x89 <= 1 e359: x86 - x87 + x90 <= 1 e360: x88 - x89 + x90 <= 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 - x75 <= 0 e382: - b51 + b53 - x76 <= 0 e383: - b51 + b55 - x77 <= 0 e384: - b51 + b57 - x78 <= 0 e385: - b51 + b59 - x79 <= 0 e386: - b51 + b61 - x80 <= 0 e387: - b53 + b55 - x81 <= 0 e388: - b53 + b57 - x82 <= 0 e389: - b53 + b59 - x83 <= 0 e390: - b53 + b61 - x84 <= 0 e391: - b55 + b57 - x85 <= 0 e392: - b55 + b59 - x86 <= 0 e393: - b55 + b61 - x87 <= 0 e394: - b57 + b59 - x88 <= 0 e395: - b57 + b61 - x89 <= 0 e396: - b59 + b61 - x90 <= 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 - x75 <= 0 e410: - b52 + b54 - x76 <= 0 e411: - b52 + b56 - x77 <= 0 e412: - b52 + b58 - x78 <= 0 e413: - b52 + b60 - x79 <= 0 e414: - b52 + b62 - x80 <= 0 e415: - b54 + b56 - x81 <= 0 e416: - b54 + b58 - x82 <= 0 e417: - b54 + b60 - x83 <= 0 e418: - b54 + b62 - x84 <= 0 e419: - b56 + b58 - x85 <= 0 e420: - b56 + b60 - x86 <= 0 e421: - b56 + b62 - x87 <= 0 e422: - b58 + b60 - x88 <= 0 e423: - b58 + b62 - x89 <= 0 e424: - b60 + b62 - x90 <= 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 - x75 <= 0 e431: - b64 + b65 - x76 <= 0 e432: - b64 + b66 - x77 <= 0 e433: - b64 + b67 - x78 <= 0 e434: - b64 + b68 - x79 <= 0 e435: - b64 + b69 - x80 <= 0 e436: - b65 + b66 - x81 <= 0 e437: - b65 + b67 - x82 <= 0 e438: - b65 + b68 - x83 <= 0 e439: - b65 + b69 - x84 <= 0 e440: - b66 + b67 - x85 <= 0 e441: - b66 + b68 - x86 <= 0 e442: - b66 + b69 - x87 <= 0 e443: - b67 + b68 - x88 <= 0 e444: - b67 + b69 - x89 <= 0 e445: - b68 + b69 - x90 <= 0 e446: - b70 + b71 - x76 <= 0 e447: - b70 + b72 - x77 <= 0 e448: - b70 + b73 - x78 <= 0 e449: - b70 + b74 - x79 <= 0 e450: - b70 + x75 - x80 <= 0 e451: - b71 + b72 - x81 <= 0 e452: - b71 + b73 - x82 <= 0 e453: - b71 + b74 - x83 <= 0 e454: - b71 + x75 - x84 <= 0 e455: - b72 + b73 - x85 <= 0 e456: - b72 + b74 - x86 <= 0 e457: - b72 + x75 - x87 <= 0 e458: - b73 + b74 - x88 <= 0 e459: - b73 + x75 - x89 <= 0 e460: - b74 + x75 - x90 <= 0 e461: - x76 + x77 - x81 <= 0 e462: - x76 + x78 - x82 <= 0 e463: - x76 + x79 - x83 <= 0 e464: - x76 + x80 - x84 <= 0 e465: - x77 + x78 - x85 <= 0 e466: - x77 + x79 - x86 <= 0 e467: - x77 + x80 - x87 <= 0 e468: - x78 + x79 - x88 <= 0 e469: - x78 + x80 - x89 <= 0 e470: - x79 + x80 - x90 <= 0 e471: - x81 + x82 - x85 <= 0 e472: - x81 + x83 - x86 <= 0 e473: - x81 + x84 - x87 <= 0 e474: - x82 + x83 - x88 <= 0 e475: - x82 + x84 - x89 <= 0 e476: - x83 + x84 - x90 <= 0 e477: - x85 + x86 - x88 <= 0 e478: - x85 + x87 - x89 <= 0 e479: - x86 + x87 - x90 <= 0 e480: - x88 + x89 - x90 <= 0 e481: - 4 b1 + 8 b2 - 11 b3 - 13 b4 + 2 b5 - 7 b6 + 7 b7 - 8 b8 + 5 b9 - 17 b10 - b11 - b12 + 9 b13 - 13 b14 + 2 b15 + 12 b17 - 9 b18 - 4 b19 - 4 b20 - 12 b21 + 2 b22 - 9 b23 + 4 b24 + 7 b25 + 4 b26 - 3 b27 + 11 b28 + 13 b30 - 2 b31 - 9 b32 + 5 b33 - 7 b34 + 8 b35 - 7 b36 + 6 b37 - 4 b38 + 7 b39 + 15 b40 + 3 b41 + 17 b42 - 11 b43 + 2 b44 + 13 b45 - 14 b46 + 2 b47 - 21 b48 - 12 b49 + 17 b50 - 18 b51 + 3 b52 - 12 b53 + 15 b54 - 8 b55 + 7 b56 - 14 b57 + 9 b58 - 12 b59 + 9 b60 - 12 b61 + 15 b62 + 11 b63 + b64 + 9 b65 + 4 b66 + 5 b67 + 6 b68 + 9 b69 - 13 b70 - b71 - 3 b72 - 7 b73 - 5 b74 - x75 + 11 x76 + 5 x77 + 5 x78 + 5 x79 + 11 x80 - 2 x81 - 5 x82 - 3 x83 - x85 + 2 x87 + x88 + 5 x89 + 3 x90 + objvar + [ 2 b1 * b47 - 2 b1 * b50 + 2 b1 * b60 - 2 b1 * b63 - 2 b1 * b64 - 2 b1 * b65 - 2 b1 * b66 - 2 b1 * b67 - 2 b1 * b69 + 2 b1 * b70 + 2 b1 * b71 + 2 b1 * b72 + 2 b1 * b73 + 2 b1 * b74 + 2 b1 * x75 + 2 b1 * x79 + 2 b1 * x83 + 2 b1 * x86 + 2 b1 * x88 - 2 b1 * x90 + 2 b2 * b47 - 2 b2 * b54 - 2 b2 * b56 + 2 b2 * b60 - 2 b2 * b62 - 2 b2 * b63 - 2 b2 * b64 - 2 b2 * b65 - 2 b2 * b66 - 2 b2 * b67 - 2 b2 * b69 - 2 b2 * b71 - 2 b2 * b72 + 2 b2 * b74 - 2 b2 * x75 - 2 b2 * x76 - 2 b2 * x77 + 2 b2 * x79 - 2 b2 * x80 + 2 b2 * x82 + 2 b2 * x83 + 2 b2 * x85 + 2 b2 * x86 + 2 b2 * x88 - 2 b2 * x89 - 2 b2 * x90 - 2 b3 * b50 + 2 b3 * b54 + 2 b3 * b56 + 2 b3 * b62 - 2 b3 * b63 + 2 b3 * b65 + 2 b3 * b66 + 2 b3 * b69 + 2 b3 * b70 + 2 b3 * b71 + 2 b3 * b72 + 2 b3 * b73 + 2 b3 * b74 + 2 b3 * x75 + 2 b3 * x76 + 2 b3 * x77 + 2 b3 * x80 - 2 b3 * x82 - 2 b3 * x83 - 2 b3 * x85 - 2 b3 * x86 + 2 b3 * x89 + 2 b3 * x90 + 2 b4 * b46 + 2 b4 * b48 - 2 b4 * b50 + 2 b4 * b51 + 2 b4 * b53 + 2 b4 * b55 + 2 b4 * b56 + 2 b4 * b57 + 2 b4 * b59 + 2 b4 * b61 - 2 b4 * b63 + 2 b4 * b66 + 2 b4 * b70 + 2 b4 * b71 + 2 b4 * b72 + 2 b4 * b73 + 2 b4 * b74 + 2 b4 * x75 + 2 b4 * x77 + 2 b4 * x81 - 2 b4 * x85 - 2 b4 * x86 - 2 b4 * x87 + 2 b5 * b46 + 2 b5 * b48 + 2 b5 * b49 + 2 b5 * b51 - 2 b5 * b54 + 2 b5 * b57 + 2 b5 * b59 - 2 b5 * b62 - 2 b5 * b65 - 2 b5 * b69 - 2 b5 * b71 - 2 b5 * x75 - 2 b5 * x76 - 2 b5 * x80 + 2 b5 * x82 + 2 b5 * x83 - 2 b5 * x89 - 2 b5 * x90 - 2 b6 * b50 + 2 b6 * b58 - 2 b6 * b63 + 2 b6 * b67 + 2 b6 * b70 + 2 b6 * b71 + 2 b6 * b72 + 2 b6 * b73 + 2 b6 * b74 + 2 b6 * x75 + 2 b6 * x78 + 2 b6 * x82 + 2 b6 * x85 - 2 b6 * x88 - 2 b6 * x89 - 2 b7 * b54 - 2 b7 * b56 + 2 b7 * b58 - 2 b7 * b62 - 2 b7 * b65 - 2 b7 * b66 + 2 b7 * b67 - 2 b7 * b69 - 2 b7 * b71 - 2 b7 * b72 + 2 b7 * b73 - 2 b7 * x75 - 2 b7 * x76 - 2 b7 * x77 + 2 b7 * x78 - 2 b7 * x80 + 2 b7 * x82 + 2 b7 * x83 + 2 b7 * x85 + 2 b7 * x86 - 2 b7 * x88 - 2 b7 * x89 - 2 b7 * x90 + 2 b8 * b46 + 2 b8 * b47 + 2 b8 * b48 - 2 b8 * b50 + 2 b8 * b51 + 2 b8 * b53 + 2 b8 * b55 + 2 b8 * b56 + 2 b8 * b57 + 2 b8 * b59 + 2 b8 * b61 - 2 b8 * b63 - 2 b8 * b64 - 2 b8 * b65 - 2 b8 * b67 - 2 b8 * b68 - 2 b8 * b69 + 2 b8 * b70 + 2 b8 * b71 + 2 b8 * b72 + 2 b8 * b73 + 2 b8 * b74 + 2 b8 * x75 + 2 b8 * x77 + 2 b8 * x81 - 2 b8 * x85 - 2 b8 * x86 - 2 b8 * x87 + 2 b9 * b46 + 2 b9 * b47 + 2 b9 * b48 + 2 b9 * b49 + 2 b9 * b51 - 2 b9 * b54 + 2 b9 * b57 + 2 b9 * b59 - 2 b9 * b62 - 2 b9 * b63 - 2 b9 * b64 - 2 b9 * b65 - 2 b9 * b67 - 2 b9 * b68 - 2 b9 * b69 - 2 b9 * b71 - 2 b9 * x75 - 2 b9 * x76 - 2 b9 * x80 + 2 b9 * x82 + 2 b9 * x83 - 2 b9 * x89 - 2 b9 * x90 + 2 b10 * b46 + 2 b10 * b48 - 2 b10 * b50 + 2 b10 * b51 + 2 b10 * b53 + 2 b10 * b55 + 2 b10 * b57 + 2 b10 * b59 + 2 b10 * b60 + 2 b10 * b61 - 2 b10 * b63 + 2 b10 * b68 + 2 b10 * b70 + 2 b10 * b71 + 2 b10 * b72 + 2 b10 * b73 + 2 b10 * b74 + 2 b10 * x75 + 2 b10 * x79 + 2 b10 * x83 + 2 b10 * x86 + 2 b10 * x88 - 2 b10 * x90 + 2 b11 * b46 + 2 b11 * b48 + 2 b11 * b49 + 2 b11 * b51 - 2 b11 * b54 - 2 b11 * b56 + 2 b11 * b57 + 2 b11 * b59 + 2 b11 * b60 - 2 b11 * b62 - 2 b11 * b65 - 2 b11 * b66 + 2 b11 * b68 - 2 b11 * b69 - 2 b11 * b71 - 2 b11 * b72 + 2 b11 * b74 - 2 b11 * x75 - 2 b11 * x76 - 2 b11 * x77 + 2 b11 * x79 - 2 b11 * x80 + 2 b11 * x82 + 2 b11 * x83 + 2 b11 * x85 + 2 b11 * x86 + 2 b11 * x88 - 2 b11 * x89 - 2 b11 * x90 - 2 b12 * b50 + 2 b12 * b52 - 2 b12 * b63 + 2 b12 * b64 + 2 b12 * b70 + 2 b12 * b71 + 2 b12 * b72 + 2 b12 * b73 + 2 b12 * b74 + 2 b12 * x75 - 2 b12 * x76 - 2 b12 * x77 - 2 b12 * x78 - 2 b12 * x79 - 2 b12 * x80 + 2 b13 * b52 - 2 b13 * b54 - 2 b13 * b56 - 2 b13 * b62 + 2 b13 * b64 - 2 b13 * b65 - 2 b13 * b66 - 2 b13 * b69 + 2 b13 * b70 - 2 b13 * b71 - 2 b13 * b72 - 2 b13 * x75 - 2 b13 * x76 - 2 b13 * x77 - 2 b13 * x78 - 2 b13 * x79 - 2 b13 * x80 + 2 b13 * x82 + 2 b13 * x83 + 2 b13 * x85 + 2 b13 * x86 - 2 b13 * x89 - 2 b13 * x90 + 2 b14 * b46 + 2 b14 * b48 - 2 b14 * b50 + 2 b14 * b51 + 2 b14 * b53 + 2 b14 * b55 + 2 b14 * b56 + 2 b14 * b57 + 2 b14 * b59 + 2 b14 * b61 - 2 b14 * b63 + 2 b14 * b66 + 2 b14 * b70 + 2 b14 * b71 + 2 b14 * b72 + 2 b14 * b73 + 2 b14 * b74 + 2 b14 * x75 + 2 b14 * x77 + 2 b14 * x81 - 2 b14 * x85 - 2 b14 * x86 - 2 b14 * x87 + 2 b15 * b46 + 2 b15 * b48 + 2 b15 * b49 + 2 b15 * b51 - 2 b15 * b54 + 2 b15 * b57 + 2 b15 * b59 - 2 b15 * b62 - 2 b15 * b65 - 2 b15 * b69 - 2 b15 * b71 - 2 b15 * x75 - 2 b15 * x76 - 2 b15 * x80 + 2 b15 * x82 + 2 b15 * x83 - 2 b15 * x89 - 2 b15 * x90 + 2 b16 * b46 + 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 * b57 - 2 b16 * b58 + 2 b16 * b59 - 2 b16 * b60 + 2 b16 * b61 - 2 b16 * b62 - 2 b16 * b63 - 2 b16 * b64 - 2 b16 * b65 - 2 b16 * b66 - 2 b16 * b67 - 2 b16 * b68 - 2 b16 * b69 + 2 b16 * b70 + 2 b16 * b71 + 2 b16 * b72 + 2 b16 * b73 + 2 b16 * b74 + 2 b16 * x75 + 2 b17 * b46 + 2 b17 * b48 + 2 b17 * b49 - 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 * b60 - 2 b17 * b62 - 2 b17 * b63 - 2 b17 * b64 - 2 b17 * b65 - 2 b17 * b66 - 2 b17 * b67 - 2 b17 * b68 - 2 b17 * b69 - 2 b17 * b71 - 2 b17 * b72 - 2 b17 * x75 - 2 b17 * x76 - 2 b17 * x77 - 2 b17 * x80 + 2 b17 * x82 + 2 b17 * x83 + 2 b17 * x85 + 2 b17 * x86 - 2 b17 * x89 - 2 b17 * x90 - 2 b18 * b47 + 2 b18 * b48 + 2 b18 * b49 + 2 b18 * b51 + 2 b18 * b53 + 2 b18 * b55 + 2 b18 * b56 + 2 b18 * b57 - 2 b18 * b60 + 2 b18 * b61 + 2 b18 * b63 + 2 b18 * b64 + 2 b18 * b65 + 2 b18 * b66 + 2 b18 * b67 + 2 b18 * b69 + 2 b18 * b72 - 2 b18 * b74 + 2 b18 * x77 - 2 b18 * x79 + 2 b18 * x81 - 2 b18 * x83 - 2 b18 * x85 - 2 b18 * x86 - 2 b18 * x87 - 2 b18 * x88 + 2 b18 * x90 - 2 b19 * b47 + 2 b19 * b58 - 2 b19 * b60 + 2 b19 * b63 + 2 b19 * b64 + 2 b19 * b65 + 2 b19 * b66 + 2 b19 * b67 + 2 b19 * b69 + 2 b19 * b73 - 2 b19 * b74 + 2 b19 * x78 - 2 b19 * x79 + 2 b19 * x82 - 2 b19 * x83 + 2 b19 * x85 - 2 b19 * x86 - 2 b19 * x88 - 2 b19 * x89 + 2 b19 * x90 + 2 b20 * b48 + 2 b20 * b49 + 2 b20 * b51 + 2 b20 * b53 + 2 b20 * b55 + 2 b20 * b56 + 2 b20 * b57 - 2 b20 * b60 + 2 b20 * b61 + 2 b20 * b72 - 2 b20 * b74 + 2 b20 * x77 - 2 b20 * x79 + 2 b20 * x81 - 2 b20 * x83 - 2 b20 * x85 - 2 b20 * x86 - 2 b20 * x87 - 2 b20 * x88 + 2 b20 * x90 - 2 b21 * b47 + 2 b21 * b48 + 2 b21 * b49 + 2 b21 * b51 + 2 b21 * b53 + 2 b21 * b55 + 2 b21 * b57 + 2 b21 * b61 + 2 b21 * b63 + 2 b21 * b64 + 2 b21 * b65 + 2 b21 * b66 + 2 b21 * b67 + 2 b21 * b69 - 2 b22 * b47 + 2 b22 * b52 - 2 b22 * b60 + 2 b22 * b63 + 2 b22 * b64 + 2 b22 * b65 + 2 b22 * b66 + 2 b22 * b67 + 2 b22 * b69 + 2 b22 * b70 - 2 b22 * b74 - 2 b22 * x76 - 2 b22 * x77 - 2 b22 * x78 - 2 b22 * x79 - 2 b22 * x80 - 2 b22 * x83 - 2 b22 * x86 - 2 b22 * x88 + 2 b22 * x90 - 2 b23 * b47 + 2 b23 * b48 + 2 b23 * b49 + 2 b23 * b51 + 2 b23 * b53 + 2 b23 * b55 + 2 b23 * b56 + 2 b23 * b57 - 2 b23 * b60 + 2 b23 * b61 + 2 b23 * b63 + 2 b23 * b64 + 2 b23 * b65 + 2 b23 * b66 + 2 b23 * b67 + 2 b23 * b69 + 2 b23 * b72 - 2 b23 * b74 + 2 b23 * x77 - 2 b23 * x79 + 2 b23 * x81 - 2 b23 * x83 - 2 b23 * x85 - 2 b23 * x86 - 2 b23 * x87 - 2 b23 * x88 + 2 b23 * x90 + 2 b24 * b48 + 2 b24 * b49 - 2 b24 * b50 + 2 b24 * b51 - 2 b24 * b52 + 2 b24 * b53 - 2 b24 * b54 + 2 b24 * b55 - 2 b24 * b56 + 2 b24 * b57 - 2 b24 * b58 - 2 b24 * b60 + 2 b24 * b61 - 2 b24 * b62 - 2 b24 * b74 - 2 b24 * x79 - 2 b24 * x83 - 2 b24 * x86 - 2 b24 * x88 + 2 b24 * x90 - 2 b25 * b46 - 2 b25 * b48 - 2 b25 * b49 - 2 b25 * b51 - 2 b25 * b53 - 2 b25 * b55 - 2 b25 * b56 + 2 b25 * b58 - 2 b25 * b59 - 2 b25 * b61 - 2 b25 * b66 + 2 b25 * b67 - 2 b25 * b72 + 2 b25 * b73 - 2 b25 * x77 + 2 b25 * x78 - 2 b25 * x81 + 2 b25 * x82 + 2 b25 * x85 + 2 b25 * x86 + 2 b25 * x87 - 2 b25 * x88 - 2 b25 * x89 + 2 b26 * b46 + 2 b26 * b47 - 2 b26 * b63 - 2 b26 * b64 - 2 b26 * b65 - 2 b26 * b67 - 2 b26 * b68 - 2 b26 * b69 - 2 b27 * b55 - 2 b27 * b56 + 2 b27 * b59 + 2 b27 * b60 - 2 b27 * b66 + 2 b27 * b68 - 2 b27 * b72 + 2 b27 * b74 - 2 b27 * x77 + 2 b27 * x79 - 2 b27 * x81 + 2 b27 * x83 + 2 b27 * x85 + 2 b27 * x86 + 2 b27 * x87 + 2 b27 * x88 - 2 b27 * x90 - 2 b28 * b46 - 2 b28 * b48 - 2 b28 * b49 + 2 b28 * b52 - 2 b28 * b53 - 2 b28 * b55 - 2 b28 * b56 - 2 b28 * b57 - 2 b28 * b59 - 2 b28 * b61 + 2 b28 * b64 - 2 b28 * b66 + 2 b28 * b70 - 2 b28 * b72 - 2 b28 * x76 - 2 b28 * x77 - 2 b28 * x78 - 2 b28 * x79 - 2 b28 * x80 - 2 b28 * x81 + 2 b28 * x85 + 2 b28 * x86 + 2 b28 * x87 + 2 b30 * b46 + 2 b30 * b48 - 2 b30 * b50 - 2 b30 * b52 - 2 b30 * b54 - 2 b30 * b55 - 2 b30 * b56 - 2 b30 * b58 - 2 b30 * b60 - 2 b30 * b62 - 2 b30 * b63 - 2 b30 * b64 - 2 b30 * b65 - 2 b30 * b66 - 2 b30 * b67 - 2 b30 * b68 - 2 b30 * b69 - 2 b30 * b72 - 2 b30 * x77 - 2 b30 * x81 + 2 b30 * x85 + 2 b30 * x86 + 2 b30 * x87 + 2 b31 * b46 + 2 b31 * b47 + 2 b31 * b48 + 2 b31 * b49 + 2 b31 * b51 + 2 b31 * b53 + 2 b31 * b55 + 2 b31 * b56 - 2 b31 * b58 + 2 b31 * b59 + 2 b31 * b61 - 2 b31 * b63 - 2 b31 * b64 - 2 b31 * b65 - 2 b31 * b67 - 2 b31 * b68 - 2 b31 * b69 + 2 b31 * b72 - 2 b31 * b73 + 2 b31 * x77 - 2 b31 * x78 + 2 b31 * x81 - 2 b31 * x82 - 2 b31 * x85 - 2 b31 * x86 - 2 b31 * x87 + 2 b31 * x88 + 2 b31 * x89 + 2 b32 * b46 + 2 b32 * b48 + 2 b32 * b49 + 2 b32 * b51 + 2 b32 * b53 + 2 b32 * b55 - 2 b32 * b58 + 2 b32 * b59 + 2 b32 * b60 + 2 b32 * b61 - 2 b32 * b67 + 2 b32 * b68 - 2 b32 * b73 + 2 b32 * b74 - 2 b32 * x78 + 2 b32 * x79 - 2 b32 * x82 + 2 b32 * x83 - 2 b32 * x85 + 2 b32 * x86 + 2 b32 * x88 + 2 b32 * x89 - 2 b32 * x90 + 2 b33 * b52 - 2 b33 * b58 + 2 b33 * b64 - 2 b33 * b67 + 2 b33 * b70 - 2 b33 * b73 - 2 b33 * x76 - 2 b33 * x77 - 2 b33 * x78 - 2 b33 * x79 - 2 b33 * x80 - 2 b33 * x82 - 2 b33 * x85 + 2 b33 * x88 + 2 b33 * x89 + 2 b34 * b46 + 2 b34 * b48 + 2 b34 * b49 + 2 b34 * b51 + 2 b34 * b53 + 2 b34 * b55 + 2 b34 * b56 - 2 b34 * b58 + 2 b34 * b59 + 2 b34 * b61 + 2 b34 * b66 - 2 b34 * b67 + 2 b34 * b72 - 2 b34 * b73 + 2 b34 * x77 - 2 b34 * x78 + 2 b34 * x81 - 2 b34 * x82 - 2 b34 * x85 - 2 b34 * x86 - 2 b34 * x87 + 2 b34 * x88 + 2 b34 * x89 + 2 b35 * b46 + 2 b35 * b48 + 2 b35 * b49 - 2 b35 * b50 + 2 b35 * b51 - 2 b35 * b52 + 2 b35 * b53 - 2 b35 * b54 + 2 b35 * b55 - 2 b35 * b56 - 2 b35 * b58 + 2 b35 * b59 - 2 b35 * b60 + 2 b35 * b61 - 2 b35 * b62 - 2 b35 * b63 - 2 b35 * b64 - 2 b35 * b65 - 2 b35 * b66 - 2 b35 * b67 - 2 b35 * b68 - 2 b35 * b69 - 2 b35 * b73 - 2 b35 * x78 - 2 b35 * x82 - 2 b35 * x85 + 2 b35 * x88 + 2 b35 * x89 - 2 b36 * b46 - 2 b36 * b47 - 2 b36 * b55 - 2 b36 * b56 + 2 b36 * b59 + 2 b36 * b60 + 2 b36 * b63 + 2 b36 * b64 + 2 b36 * b65 + 2 b36 * b67 + 2 b36 * b68 + 2 b36 * b69 - 2 b36 * b72 + 2 b36 * b74 - 2 b36 * x77 + 2 b36 * x79 - 2 b36 * x81 + 2 b36 * x83 + 2 b36 * x85 + 2 b36 * x86 + 2 b36 * x87 + 2 b36 * x88 - 2 b36 * x90 - 2 b37 * b46 - 2 b37 * b47 - 2 b37 * b48 - 2 b37 * b49 + 2 b37 * b52 - 2 b37 * b53 - 2 b37 * b55 - 2 b37 * b56 - 2 b37 * b57 - 2 b37 * b59 - 2 b37 * b61 + 2 b37 * b63 + 2 b37 * b64 + 2 b37 * b65 + 2 b37 * b67 + 2 b37 * b68 + 2 b37 * b69 + 2 b37 * b70 - 2 b37 * b72 - 2 b37 * x76 - 2 b37 * x77 - 2 b37 * x78 - 2 b37 * x79 - 2 b37 * x80 - 2 b37 * x81 + 2 b37 * x85 + 2 b37 * x86 + 2 b37 * x87 - 2 b38 * b46 - 2 b38 * b47 + 2 b38 * b63 + 2 b38 * b64 + 2 b38 * b65 + 2 b38 * b67 + 2 b38 * b68 + 2 b38 * b69 + 2 b39 * b48 - 2 b39 * b50 - 2 b39 * b52 - 2 b39 * b54 - 2 b39 * b55 - 2 b39 * b56 - 2 b39 * b58 - 2 b39 * b60 - 2 b39 * b62 - 2 b39 * b72 - 2 b39 * x77 - 2 b39 * x81 + 2 b39 * x85 + 2 b39 * x86 + 2 b39 * x87 - 2 b40 * b46 - 2 b40 * b48 - 2 b40 * b49 + 2 b40 * b52 - 2 b40 * b53 - 2 b40 * b55 - 2 b40 * b57 - 2 b40 * b59 - 2 b40 * b60 - 2 b40 * b61 + 2 b40 * b64 - 2 b40 * b68 + 2 b40 * b70 - 2 b40 * b74 - 2 b40 * x76 - 2 b40 * x77 - 2 b40 * x78 - 2 b40 * x79 - 2 b40 * x80 - 2 b40 * x83 - 2 b40 * x86 - 2 b40 * x88 + 2 b40 * x90 + 2 b41 * b55 + 2 b41 * b56 - 2 b41 * b59 - 2 b41 * b60 + 2 b41 * b66 - 2 b41 * b68 + 2 b41 * b72 - 2 b41 * b74 + 2 b41 * x77 - 2 b41 * x79 + 2 b41 * x81 - 2 b41 * x83 - 2 b41 * x85 - 2 b41 * x86 - 2 b41 * x87 - 2 b41 * x88 + 2 b41 * x90 + 2 b42 * b46 + 2 b42 * b48 - 2 b42 * b50 - 2 b42 * b52 - 2 b42 * b54 - 2 b42 * b56 - 2 b42 * b58 - 2 b42 * b59 - 2 b42 * b60 - 2 b42 * b62 - 2 b42 * b63 - 2 b42 * b64 - 2 b42 * b65 - 2 b42 * b66 - 2 b42 * b67 - 2 b42 * b68 - 2 b42 * b69 - 2 b42 * b74 - 2 b42 * x79 - 2 b42 * x83 - 2 b42 * x86 - 2 b42 * x88 + 2 b42 * x90 + 2 b43 * b46 + 2 b43 * b48 + 2 b43 * b49 - 2 b43 * b52 + 2 b43 * b53 + 2 b43 * b55 + 2 b43 * b56 + 2 b43 * b57 + 2 b43 * b59 + 2 b43 * b61 - 2 b43 * b64 + 2 b43 * b66 - 2 b43 * b70 + 2 b43 * b72 + 2 b43 * x76 + 2 b43 * x77 + 2 b43 * x78 + 2 b43 * x79 + 2 b43 * x80 + 2 b43 * x81 - 2 b43 * x85 - 2 b43 * x86 - 2 b43 * x87 + 2 b44 * b46 + 2 b44 * b48 + 2 b44 * b49 - 2 b44 * b50 - 2 b44 * b52 + 2 b44 * b53 - 2 b44 * b54 + 2 b44 * b55 - 2 b44 * b56 + 2 b44 * b57 - 2 b44 * b58 + 2 b44 * b59 - 2 b44 * b60 + 2 b44 * b61 - 2 b44 * b62 - 2 b44 * b63 - 2 b44 * b64 - 2 b44 * b65 - 2 b44 * b66 - 2 b44 * b67 - 2 b44 * b68 - 2 b44 * b69 - 2 b44 * b70 + 2 b44 * x76 + 2 b44 * x77 + 2 b44 * x78 + 2 b44 * x79 + 2 b44 * x80 + 2 b45 * b46 + 2 b45 * b48 - 2 b45 * b50 - 2 b45 * b52 - 2 b45 * b54 - 2 b45 * b55 - 2 b45 * b56 - 2 b45 * b58 - 2 b45 * b60 - 2 b45 * b62 - 2 b45 * b63 - 2 b45 * b64 - 2 b45 * b65 - 2 b45 * b66 - 2 b45 * b67 - 2 b45 * b68 - 2 b45 * b69 - 2 b45 * b72 - 2 b45 * x77 - 2 b45 * x81 + 2 b45 * x85 + 2 b45 * x86 + 2 b45 * x87 ] >= 1296 Bounds x75 <= 1 x76 <= 1 x77 <= 1 x78 <= 1 x79 <= 1 x80 <= 1 x81 <= 1 x82 <= 1 x83 <= 1 x84 <= 1 x85 <= 1 x86 <= 1 x87 <= 1 x88 <= 1 x89 <= 1 x90 <= 1 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 End