\ 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 47 44 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 x45 + 0 x46 + 0 x47 + 0 x48 + 0 x49 + 0 x50 + 0 x51 + 0 x52 + 0 x53 + 0 x54 + 0 x55 + 0 x56 + 0 x57 + 0 x58 + 0 x59 + 0 x60 + 0 x61 + 0 x62 + 0 x63 + 0 x64 + 0 x65 + 0 x66 + 0 x67 + 0 x68 + 0 x69 + 0 x70 + 0 x71 + 0 x72 + 0 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 + 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 + x45 <= 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 + x45 <= 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 + x45 <= 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 + x45 <= 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 + x45 <= 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 + x45 <= 1 e117: b40 - b41 + b43 <= 1 e118: b40 - b42 + b44 <= 1 e119: b41 - b42 + x45 <= 1 e120: b43 - b44 + x45 <= 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 - x45 <= 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 - x45 <= 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 - x45 <= 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 - x45 <= 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 - x45 <= 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 - x45 <= 0 e237: - b40 + b41 - b43 <= 0 e238: - b40 + b42 - b44 <= 0 e239: - b41 + b42 - x45 <= 0 e240: - b43 + b44 - x45 <= 0 e241: - x46 + x47 + x48 <= 1 e242: x48 - x49 + x50 <= 1 e243: x48 - x51 + x52 <= 1 e244: x48 - x53 + x54 <= 1 e245: x48 - x55 + x56 <= 1 e246: x48 - x57 + x58 <= 1 e247: x48 - x59 + x60 <= 1 e248: x48 - x61 + x62 <= 1 e249: x46 - x49 + x63 <= 1 e250: x46 - x51 + x64 <= 1 e251: x46 - x53 + x65 <= 1 e252: x46 - x55 + x66 <= 1 e253: x46 - x57 + x67 <= 1 e254: x46 - x59 + x68 <= 1 e255: x46 - x61 + x69 <= 1 e256: x49 - x51 + x70 <= 1 e257: x49 - x53 + x71 <= 1 e258: x49 - x55 + x72 <= 1 e259: x49 - x57 + x73 <= 1 e260: x49 - x59 + x74 <= 1 e261: x49 - x61 + x75 <= 1 e262: x51 - x53 + x76 <= 1 e263: x51 - x55 + x77 <= 1 e264: x51 - x57 + x78 <= 1 e265: x51 - x59 + x79 <= 1 e266: x51 - x61 + x80 <= 1 e267: x53 - x55 + x81 <= 1 e268: x53 - x57 + x82 <= 1 e269: x53 - x59 + x83 <= 1 e270: x53 - x61 + x84 <= 1 e271: x55 - x57 + x85 <= 1 e272: x55 - x59 + x86 <= 1 e273: x55 - x61 + x87 <= 1 e274: x57 - x59 + x88 <= 1 e275: x57 - x61 + x89 <= 1 e276: x59 - x61 + x90 <= 1 e277: x47 - x50 + x63 <= 1 e278: x47 - x52 + x64 <= 1 e279: x47 - x54 + x65 <= 1 e280: x47 - x56 + x66 <= 1 e281: x47 - x58 + x67 <= 1 e282: x47 - x60 + x68 <= 1 e283: x47 - x62 + x69 <= 1 e284: x50 - x52 + x70 <= 1 e285: x50 - x54 + x71 <= 1 e286: x50 - x56 + x72 <= 1 e287: x50 - x58 + x73 <= 1 e288: x50 - x60 + x74 <= 1 e289: x50 - x62 + x75 <= 1 e290: x52 - x54 + x76 <= 1 e291: x52 - x56 + x77 <= 1 e292: x52 - x58 + x78 <= 1 e293: x52 - x60 + x79 <= 1 e294: x52 - x62 + x80 <= 1 e295: x54 - x56 + x81 <= 1 e296: x54 - x58 + x82 <= 1 e297: x54 - x60 + x83 <= 1 e298: x54 - x62 + x84 <= 1 e299: x56 - x58 + x85 <= 1 e300: x56 - x60 + x86 <= 1 e301: x56 - x62 + x87 <= 1 e302: x58 - x60 + x88 <= 1 e303: x58 - x62 + x89 <= 1 e304: x60 - x62 + x90 <= 1 e305: x63 - x64 + x70 <= 1 e306: x63 - x65 + x71 <= 1 e307: x63 - x66 + x72 <= 1 e308: x63 - x67 + x73 <= 1 e309: x63 - x68 + x74 <= 1 e310: x63 - x69 + x75 <= 1 e311: x64 - x65 + x76 <= 1 e312: x64 - x66 + x77 <= 1 e313: x64 - x67 + x78 <= 1 e314: x64 - x68 + x79 <= 1 e315: x64 - x69 + x80 <= 1 e316: x65 - x66 + x81 <= 1 e317: x65 - x67 + x82 <= 1 e318: x65 - x68 + x83 <= 1 e319: x65 - x69 + x84 <= 1 e320: x66 - x67 + x85 <= 1 e321: x66 - x68 + x86 <= 1 e322: x66 - x69 + x87 <= 1 e323: x67 - x68 + x88 <= 1 e324: x67 - x69 + x89 <= 1 e325: x68 - x69 + x90 <= 1 e326: x70 - x71 + x76 <= 1 e327: x70 - x72 + x77 <= 1 e328: x70 - x73 + x78 <= 1 e329: x70 - x74 + x79 <= 1 e330: x70 - x75 + x80 <= 1 e331: x71 - x72 + x81 <= 1 e332: x71 - x73 + x82 <= 1 e333: x71 - x74 + x83 <= 1 e334: x71 - x75 + x84 <= 1 e335: x72 - x73 + x85 <= 1 e336: x72 - x74 + x86 <= 1 e337: x72 - x75 + x87 <= 1 e338: x73 - x74 + x88 <= 1 e339: x73 - x75 + x89 <= 1 e340: x74 - 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: x46 - x47 - x48 <= 0 e362: - x48 + x49 - x50 <= 0 e363: - x48 + x51 - x52 <= 0 e364: - x48 + x53 - x54 <= 0 e365: - x48 + x55 - x56 <= 0 e366: - x48 + x57 - x58 <= 0 e367: - x48 + x59 - x60 <= 0 e368: - x48 + x61 - x62 <= 0 e369: - x46 + x49 - x63 <= 0 e370: - x46 + x51 - x64 <= 0 e371: - x46 + x53 - x65 <= 0 e372: - x46 + x55 - x66 <= 0 e373: - x46 + x57 - x67 <= 0 e374: - x46 + x59 - x68 <= 0 e375: - x46 + x61 - x69 <= 0 e376: - x49 + x51 - x70 <= 0 e377: - x49 + x53 - x71 <= 0 e378: - x49 + x55 - x72 <= 0 e379: - x49 + x57 - x73 <= 0 e380: - x49 + x59 - x74 <= 0 e381: - x49 + x61 - x75 <= 0 e382: - x51 + x53 - x76 <= 0 e383: - x51 + x55 - x77 <= 0 e384: - x51 + x57 - x78 <= 0 e385: - x51 + x59 - x79 <= 0 e386: - x51 + x61 - x80 <= 0 e387: - x53 + x55 - x81 <= 0 e388: - x53 + x57 - x82 <= 0 e389: - x53 + x59 - x83 <= 0 e390: - x53 + x61 - x84 <= 0 e391: - x55 + x57 - x85 <= 0 e392: - x55 + x59 - x86 <= 0 e393: - x55 + x61 - x87 <= 0 e394: - x57 + x59 - x88 <= 0 e395: - x57 + x61 - x89 <= 0 e396: - x59 + x61 - x90 <= 0 e397: - x47 + x50 - x63 <= 0 e398: - x47 + x52 - x64 <= 0 e399: - x47 + x54 - x65 <= 0 e400: - x47 + x56 - x66 <= 0 e401: - x47 + x58 - x67 <= 0 e402: - x47 + x60 - x68 <= 0 e403: - x47 + x62 - x69 <= 0 e404: - x50 + x52 - x70 <= 0 e405: - x50 + x54 - x71 <= 0 e406: - x50 + x56 - x72 <= 0 e407: - x50 + x58 - x73 <= 0 e408: - x50 + x60 - x74 <= 0 e409: - x50 + x62 - x75 <= 0 e410: - x52 + x54 - x76 <= 0 e411: - x52 + x56 - x77 <= 0 e412: - x52 + x58 - x78 <= 0 e413: - x52 + x60 - x79 <= 0 e414: - x52 + x62 - x80 <= 0 e415: - x54 + x56 - x81 <= 0 e416: - x54 + x58 - x82 <= 0 e417: - x54 + x60 - x83 <= 0 e418: - x54 + x62 - x84 <= 0 e419: - x56 + x58 - x85 <= 0 e420: - x56 + x60 - x86 <= 0 e421: - x56 + x62 - x87 <= 0 e422: - x58 + x60 - x88 <= 0 e423: - x58 + x62 - x89 <= 0 e424: - x60 + x62 - x90 <= 0 e425: - x63 + x64 - x70 <= 0 e426: - x63 + x65 - x71 <= 0 e427: - x63 + x66 - x72 <= 0 e428: - x63 + x67 - x73 <= 0 e429: - x63 + x68 - x74 <= 0 e430: - x63 + x69 - x75 <= 0 e431: - x64 + x65 - x76 <= 0 e432: - x64 + x66 - x77 <= 0 e433: - x64 + x67 - x78 <= 0 e434: - x64 + x68 - x79 <= 0 e435: - x64 + x69 - x80 <= 0 e436: - x65 + x66 - x81 <= 0 e437: - x65 + x67 - x82 <= 0 e438: - x65 + x68 - x83 <= 0 e439: - x65 + x69 - x84 <= 0 e440: - x66 + x67 - x85 <= 0 e441: - x66 + x68 - x86 <= 0 e442: - x66 + x69 - x87 <= 0 e443: - x67 + x68 - x88 <= 0 e444: - x67 + x69 - x89 <= 0 e445: - x68 + x69 - x90 <= 0 e446: - x70 + x71 - x76 <= 0 e447: - x70 + x72 - x77 <= 0 e448: - x70 + x73 - x78 <= 0 e449: - x70 + x74 - x79 <= 0 e450: - x70 + x75 - x80 <= 0 e451: - x71 + x72 - x81 <= 0 e452: - x71 + x73 - x82 <= 0 e453: - x71 + x74 - x83 <= 0 e454: - x71 + x75 - x84 <= 0 e455: - x72 + x73 - x85 <= 0 e456: - x72 + x74 - x86 <= 0 e457: - x72 + x75 - x87 <= 0 e458: - x73 + x74 - x88 <= 0 e459: - x73 + x75 - x89 <= 0 e460: - x74 + 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: 2 b1 + 2 b2 + 2 b3 - 6 b4 - 5 b5 + 10 b6 + 7 b7 + 3 b8 - 4 b10 - 4 b11 + 10 b12 + 5 b13 + b14 + 6 b16 + 3 b17 - 10 b18 + 5 b19 - b20 - 5 b21 + 4 b22 - 5 b23 + 3 b24 + 12 b25 + 3 b26 + 12 b28 + 8 b29 + 12 b30 - 4 b31 - 10 b32 - 4 b33 - 11 b34 - 4 b35 - 4 b36 + 3 b37 + b39 + 11 b40 + 5 b41 + 8 b42 - 9 b43 - 3 b44 + 7 x45 - 12 x46 + 3 x47 - 14 x48 - 6 x49 + 17 x50 - 11 x51 + x52 - 4 x53 + 7 x54 - 7 x55 + 6 x56 - 8 x57 + 8 x58 - 6 x59 + 8 x60 - 5 x61 + 16 x62 + 13 x63 - 2 x64 + 6 x65 + 4 x66 + 6 x67 + 7 x68 + 12 x69 - 14 x70 - 2 x71 - 6 x72 - 6 x73 - 3 x74 + 4 x76 + 5 x77 + 5 x78 + 6 x79 + 12 x80 - 2 x81 - 2 x82 - 2 x83 + 3 x84 + x85 + 2 x86 + 6 x87 + x88 + 6 x89 + 3 x90 + objvar + [ 2 b1 * x47 - 2 b1 * x50 + 2 b1 * x58 - 2 b1 * x62 - 2 b1 * x63 - 2 b1 * x64 - 2 b1 * x65 - 2 b1 * x66 - 2 b1 * x69 + 2 b1 * x70 + 2 b1 * x71 + 2 b1 * x72 + 2 b1 * x73 + 2 b1 * x78 - 2 b1 * x80 + 2 b1 * x82 - 2 b1 * x84 + 2 b1 * x85 - 2 b1 * x87 - 2 b1 * x89 + 2 b2 * x47 - 2 b2 * x50 - 2 b2 * x54 - 2 b2 * x56 + 2 b2 * x58 + 2 b2 * x60 - 2 b2 * x62 - 2 b2 * x63 - 2 b2 * x64 - 2 b2 * x65 - 2 b2 * x66 - 2 b2 * x69 + 2 b2 * x70 + 2 b2 * x73 + 2 b2 * x74 - 2 b2 * x76 - 2 b2 * x77 + 2 b2 * x78 + 2 b2 * x79 - 2 b2 * x80 + 2 b2 * x82 + 2 b2 * x83 + 2 b2 * x85 + 2 b2 * x86 - 2 b2 * x89 - 2 b2 * x90 + 2 b3 * x54 + 2 b3 * x56 - 2 b3 * x60 + 2 b3 * x65 + 2 b3 * x66 - 2 b3 * x68 + 2 b3 * x76 + 2 b3 * x77 - 2 b3 * x79 - 2 b3 * x82 - 2 b3 * x83 - 2 b3 * x85 - 2 b3 * x86 - 2 b3 * x88 + 2 b4 * x46 + 2 b4 * x48 - 2 b4 * x50 + 2 b4 * x51 + 2 b4 * x53 + 2 b4 * x54 + 2 b4 * x55 + 2 b4 * x56 + 2 b4 * x57 - 2 b4 * x62 - 2 b4 * x63 + 2 b4 * x65 + 2 b4 * x66 - 2 b4 * x69 + 2 b4 * x70 + 2 b4 * x71 + 2 b4 * x72 + 2 b4 * x73 + 2 b4 * x76 + 2 b4 * x77 - 2 b4 * x80 - 2 b4 * x82 - 2 b4 * x84 - 2 b4 * x85 - 2 b4 * x87 - 2 b4 * x89 + 2 b5 * x46 + 2 b5 * x48 - 2 b5 * x50 + 2 b5 * x51 + 2 b5 * x57 + 2 b5 * x59 + 2 b5 * x60 - 2 b5 * x62 - 2 b5 * x63 + 2 b5 * x68 - 2 b5 * x69 + 2 b5 * x70 + 2 b5 * x73 + 2 b5 * x74 + 2 b5 * x79 - 2 b5 * x80 + 2 b5 * x88 - 2 b5 * x89 - 2 b5 * x90 - 2 b6 * x47 - 2 b6 * x50 - 2 b6 * x56 - 2 b6 * x60 - 2 b6 * x62 - 2 b6 * x63 + 2 b6 * x64 + 2 b6 * x65 + 2 b6 * x67 - 2 b6 * x68 - 2 b6 * x69 + 2 b6 * x70 + 2 b6 * x71 + 2 b6 * x72 + 2 b6 * x73 - 2 b6 * x77 - 2 b6 * x79 - 2 b6 * x80 - 2 b6 * x81 - 2 b6 * x83 - 2 b6 * x84 + 2 b6 * x85 - 2 b6 * x86 - 2 b6 * x87 - 2 b6 * x88 - 2 b6 * x89 - 2 b7 * x47 - 2 b7 * x50 - 2 b7 * x56 - 2 b7 * x60 - 2 b7 * x62 - 2 b7 * x63 + 2 b7 * x64 - 2 b7 * x66 + 2 b7 * x67 - 2 b7 * x69 + 2 b7 * x70 + 2 b7 * x73 + 2 b7 * x74 - 2 b7 * x77 - 2 b7 * x79 - 2 b7 * x80 + 2 b7 * x85 + 2 b7 * x86 - 2 b7 * x88 - 2 b7 * x89 - 2 b7 * x90 + 2 b8 * x46 + 2 b8 * x48 - 2 b8 * x50 + 2 b8 * x51 + 2 b8 * x53 + 2 b8 * x55 + 2 b8 * x57 - 2 b8 * x58 - 2 b8 * x60 - 2 b8 * x63 - 2 b8 * x67 - 2 b8 * x68 + 2 b8 * x70 + 2 b8 * x71 + 2 b8 * x72 + 2 b8 * x73 - 2 b8 * x78 - 2 b8 * x79 - 2 b8 * x82 - 2 b8 * x83 - 2 b8 * x85 - 2 b8 * x86 - 2 b8 * x88 + 2 b9 * x46 + 2 b9 * x48 - 2 b9 * x50 + 2 b9 * x51 + 2 b9 * x57 - 2 b9 * x58 + 2 b9 * x59 - 2 b9 * x60 - 2 b9 * x63 - 2 b9 * x67 - 2 b9 * x68 + 2 b9 * x70 + 2 b9 * x73 + 2 b9 * x74 - 2 b9 * x78 - 2 b9 * x79 + 2 b10 * x52 + 2 b10 * x58 + 2 b10 * x64 + 2 b10 * x67 - 2 b10 * x76 - 2 b10 * x77 + 2 b10 * x82 + 2 b10 * x85 + 2 b11 * x52 - 2 b11 * x54 - 2 b11 * x56 + 2 b11 * x58 + 2 b11 * x60 + 2 b11 * x64 - 2 b11 * x65 - 2 b11 * x66 + 2 b11 * x67 + 2 b11 * x68 - 2 b11 * x76 - 2 b11 * x77 + 2 b11 * x82 + 2 b11 * x83 + 2 b11 * x85 + 2 b11 * x86 - 2 b12 * x50 + 2 b12 * x52 + 2 b12 * x54 - 2 b12 * x60 - 2 b12 * x62 - 2 b12 * x63 + 2 b12 * x64 + 2 b12 * x65 - 2 b12 * x68 - 2 b12 * x69 + 2 b12 * x70 + 2 b12 * x71 + 2 b12 * x72 + 2 b12 * x73 - 2 b12 * x77 - 2 b12 * x78 - 2 b12 * x79 - 2 b12 * x80 - 2 b12 * x81 - 2 b12 * x82 - 2 b12 * x83 - 2 b12 * x84 - 2 b12 * x86 - 2 b12 * x87 - 2 b12 * x88 - 2 b12 * x89 - 2 b13 * x50 + 2 b13 * x52 - 2 b13 * x56 - 2 b13 * x62 - 2 b13 * x63 + 2 b13 * x64 - 2 b13 * x66 - 2 b13 * x69 + 2 b13 * x70 + 2 b13 * x73 + 2 b13 * x74 - 2 b13 * x77 - 2 b13 * x78 - 2 b13 * x79 - 2 b13 * x80 + 2 b13 * x85 + 2 b13 * x86 - 2 b13 * x89 - 2 b13 * x90 + 2 b14 * x46 + 2 b14 * x48 - 2 b14 * x50 + 2 b14 * x51 + 2 b14 * x53 + 2 b14 * x55 + 2 b14 * x56 + 2 b14 * x57 - 2 b14 * x60 - 2 b14 * x62 - 2 b14 * x63 + 2 b14 * x66 - 2 b14 * x68 - 2 b14 * x69 + 2 b14 * x70 + 2 b14 * x71 + 2 b14 * x72 + 2 b14 * x73 + 2 b14 * x77 - 2 b14 * x79 - 2 b14 * x80 + 2 b14 * x81 - 2 b14 * x83 - 2 b14 * x84 - 2 b14 * x85 - 2 b14 * x86 - 2 b14 * x87 - 2 b14 * x88 - 2 b14 * x89 + 2 b15 * x46 + 2 b15 * x48 - 2 b15 * x50 + 2 b15 * x51 - 2 b15 * x54 + 2 b15 * x57 + 2 b15 * x59 - 2 b15 * x62 - 2 b15 * x63 - 2 b15 * x65 - 2 b15 * x69 + 2 b15 * x70 + 2 b15 * x73 + 2 b15 * x74 - 2 b15 * x76 - 2 b15 * x80 + 2 b15 * x82 + 2 b15 * x83 - 2 b15 * x89 - 2 b15 * x90 + 2 b16 * x46 + 2 b16 * x48 - 2 b16 * x50 + 2 b16 * x51 - 2 b16 * x52 + 2 b16 * x53 - 2 b16 * x54 + 2 b16 * x55 - 2 b16 * x56 + 2 b16 * x57 - 2 b16 * x58 - 2 b16 * x62 - 2 b16 * x63 - 2 b16 * x64 - 2 b16 * x65 - 2 b16 * x66 - 2 b16 * x67 - 2 b16 * x69 + 2 b16 * x70 + 2 b16 * x71 + 2 b16 * x72 + 2 b16 * x73 - 2 b16 * x80 - 2 b16 * x84 - 2 b16 * x87 - 2 b16 * x89 + 2 b17 * x46 + 2 b17 * x48 - 2 b17 * x50 + 2 b17 * x51 - 2 b17 * x52 - 2 b17 * x54 - 2 b17 * x56 + 2 b17 * x57 - 2 b17 * x58 + 2 b17 * x59 - 2 b17 * x62 - 2 b17 * x63 - 2 b17 * x64 - 2 b17 * x65 - 2 b17 * x66 - 2 b17 * x67 - 2 b17 * x69 + 2 b17 * x70 + 2 b17 * x73 + 2 b17 * x74 - 2 b17 * x76 - 2 b17 * x77 + 2 b17 * x79 - 2 b17 * x80 + 2 b17 * x82 + 2 b17 * x83 + 2 b17 * x85 + 2 b17 * x86 + 2 b17 * x88 - 2 b17 * x89 - 2 b17 * x90 - 2 b18 * x47 + 2 b18 * x48 + 2 b18 * x49 + 2 b18 * x51 + 2 b18 * x53 + 2 b18 * x54 + 2 b18 * x55 + 2 b18 * x56 - 2 b18 * x58 + 2 b18 * x61 + 2 b18 * x63 + 2 b18 * x64 + 2 b18 * x65 + 2 b18 * x66 + 2 b18 * x69 + 2 b18 * x71 + 2 b18 * x72 - 2 b18 * x73 + 2 b18 * x76 + 2 b18 * x77 - 2 b18 * x78 - 2 b18 * x82 - 2 b18 * x84 - 2 b18 * x85 - 2 b18 * x87 + 2 b18 * x89 - 2 b19 * x47 - 2 b19 * x50 - 2 b19 * x56 - 2 b19 * x60 - 2 b19 * x62 + 2 b19 * x63 + 2 b19 * x64 + 2 b19 * x65 + 2 b19 * x66 + 2 b19 * x69 + 2 b19 * x70 + 2 b19 * x71 - 2 b19 * x74 - 2 b19 * x77 - 2 b19 * x79 - 2 b19 * x80 - 2 b19 * x81 - 2 b19 * x83 - 2 b19 * x84 - 2 b19 * x86 + 2 b19 * x90 + 2 b20 * x48 + 2 b20 * x49 - 2 b20 * x50 + 2 b20 * x51 + 2 b20 * x53 + 2 b20 * x55 - 2 b20 * x58 - 2 b20 * x60 + 2 b20 * x61 + 2 b20 * x70 + 2 b20 * x71 + 2 b20 * x72 - 2 b20 * x73 - 2 b20 * x74 + 2 b20 * x75 - 2 b20 * x78 - 2 b20 * x79 - 2 b20 * x82 - 2 b20 * x83 - 2 b20 * x85 - 2 b20 * x86 + 2 b20 * x89 + 2 b20 * x90 - 2 b21 * x47 + 2 b21 * x50 + 2 b21 * x52 + 2 b21 * x62 + 2 b21 * x63 + 2 b21 * x64 + 2 b21 * x65 + 2 b21 * x66 + 2 b21 * x69 - 2 b21 * x71 - 2 b21 * x72 - 2 b21 * x76 - 2 b21 * x77 + 2 b21 * x84 + 2 b21 * x87 - 2 b22 * x47 + 2 b22 * x52 + 2 b22 * x54 - 2 b22 * x58 - 2 b22 * x60 + 2 b22 * x63 + 2 b22 * x64 + 2 b22 * x65 + 2 b22 * x66 + 2 b22 * x69 + 2 b22 * x70 + 2 b22 * x71 - 2 b22 * x73 - 2 b22 * x74 - 2 b22 * x77 - 2 b22 * x78 - 2 b22 * x79 - 2 b22 * x80 - 2 b22 * x81 - 2 b22 * x82 - 2 b22 * x83 - 2 b22 * x84 - 2 b22 * x85 - 2 b22 * x86 + 2 b22 * x89 + 2 b22 * x90 - 2 b23 * x47 + 2 b23 * x48 + 2 b23 * x49 + 2 b23 * x51 + 2 b23 * x53 + 2 b23 * x55 + 2 b23 * x56 - 2 b23 * x58 - 2 b23 * x60 + 2 b23 * x61 + 2 b23 * x63 + 2 b23 * x64 + 2 b23 * x65 + 2 b23 * x66 + 2 b23 * x69 + 2 b23 * x72 - 2 b23 * x73 - 2 b23 * x74 + 2 b23 * x77 - 2 b23 * x78 - 2 b23 * x79 + 2 b23 * x81 - 2 b23 * x82 - 2 b23 * x83 - 2 b23 * x85 - 2 b23 * x86 - 2 b23 * x87 + 2 b23 * x89 + 2 b23 * x90 + 2 b24 * x48 + 2 b24 * x49 - 2 b24 * x50 + 2 b24 * x51 - 2 b24 * x52 + 2 b24 * x53 - 2 b24 * x54 + 2 b24 * x55 - 2 b24 * x56 - 2 b24 * x58 + 2 b24 * x61 - 2 b24 * x62 - 2 b24 * x73 - 2 b24 * x78 - 2 b24 * x82 - 2 b24 * x85 + 2 b24 * x89 - 2 b25 * x46 - 2 b25 * x47 - 2 b25 * x49 - 2 b25 * x50 - 2 b25 * x55 - 2 b25 * x56 - 2 b25 * x59 - 2 b25 * x60 - 2 b25 * x61 - 2 b25 * x62 + 2 b25 * x64 - 2 b25 * x66 + 2 b25 * x67 - 2 b25 * x68 + 2 b25 * x70 - 2 b25 * x72 + 2 b25 * x73 - 2 b25 * x74 - 2 b25 * x77 - 2 b25 * x79 - 2 b25 * x80 + 2 b25 * x85 + 2 b25 * x87 - 2 b25 * x88 - 2 b25 * x89 + 2 b25 * x90 + 2 b26 * x46 + 2 b26 * x48 - 2 b26 * x50 + 2 b26 * x51 - 2 b26 * x58 - 2 b26 * x59 - 2 b26 * x60 + 2 b26 * x61 - 2 b26 * x63 - 2 b26 * x67 - 2 b26 * x68 + 2 b26 * x70 - 2 b26 * x74 + 2 b26 * x75 - 2 b26 * x78 - 2 b26 * x79 - 2 b26 * x88 + 2 b26 * x89 + 2 b26 * x90 - 2 b27 * x46 - 2 b27 * x48 + 2 b27 * x50 + 2 b27 * x52 - 2 b27 * x53 - 2 b27 * x54 - 2 b27 * x55 - 2 b27 * x56 + 2 b27 * x58 + 2 b27 * x62 + 2 b27 * x63 + 2 b27 * x64 - 2 b27 * x65 - 2 b27 * x66 + 2 b27 * x67 + 2 b27 * x69 - 2 b27 * x71 - 2 b27 * x72 - 2 b27 * x76 - 2 b27 * x77 + 2 b27 * x82 + 2 b27 * x84 + 2 b27 * x85 + 2 b27 * x87 - 2 b28 * x46 - 2 b28 * x48 - 2 b28 * x49 + 2 b28 * x52 - 2 b28 * x55 - 2 b28 * x56 - 2 b28 * x57 - 2 b28 * x59 - 2 b28 * x60 - 2 b28 * x61 + 2 b28 * x64 - 2 b28 * x66 - 2 b28 * x68 + 2 b28 * x70 - 2 b28 * x72 - 2 b28 * x74 - 2 b28 * x77 - 2 b28 * x78 - 2 b28 * x79 - 2 b28 * x80 + 2 b28 * x85 + 2 b28 * x87 - 2 b28 * x88 + 2 b28 * x90 - 2 b29 * x53 - 2 b29 * x54 - 2 b29 * x59 - 2 b29 * x60 - 2 b29 * x65 - 2 b29 * x68 - 2 b29 * x71 - 2 b29 * x74 - 2 b29 * x76 - 2 b29 * x79 + 2 b29 * x82 + 2 b29 * x84 - 2 b29 * x88 + 2 b29 * x90 + 2 b30 * x46 + 2 b30 * x48 - 2 b30 * x50 - 2 b30 * x52 - 2 b30 * x53 - 2 b30 * x54 - 2 b30 * x55 - 2 b30 * x56 - 2 b30 * x58 - 2 b30 * x62 - 2 b30 * x63 - 2 b30 * x64 - 2 b30 * x65 - 2 b30 * x66 - 2 b30 * x67 - 2 b30 * x69 - 2 b30 * x71 - 2 b30 * x72 - 2 b30 * x76 - 2 b30 * x77 + 2 b30 * x82 + 2 b30 * x84 + 2 b30 * x85 + 2 b30 * x87 + 2 b31 * x46 + 2 b31 * x49 + 2 b31 * x55 + 2 b31 * x59 + 2 b31 * x61 - 2 b31 * x63 - 2 b31 * x67 - 2 b31 * x68 + 2 b31 * x72 - 2 b31 * x73 + 2 b31 * x75 - 2 b31 * x85 - 2 b31 * x86 + 2 b31 * x88 + 2 b31 * x89 + 2 b31 * x90 + 2 b32 * x47 + 2 b32 * x50 + 2 b32 * x56 + 2 b32 * x60 + 2 b32 * x62 + 2 b32 * x63 - 2 b32 * x65 + 2 b32 * x68 + 2 b32 * x69 - 2 b32 * x71 - 2 b32 * x72 + 2 b32 * x81 + 2 b32 * x83 + 2 b32 * x84 + 2 b32 * x86 + 2 b32 * x87 + 2 b33 * x47 + 2 b33 * x50 + 2 b33 * x56 + 2 b33 * x60 + 2 b33 * x62 - 2 b33 * x67 - 2 b33 * x73 - 2 b33 * x85 + 2 b33 * x88 + 2 b33 * x89 + 2 b34 * x46 + 2 b34 * x47 + 2 b34 * x49 + 2 b34 * x50 + 2 b34 * x55 + 2 b34 * x56 + 2 b34 * x59 + 2 b34 * x60 + 2 b34 * x61 + 2 b34 * x62 - 2 b34 * x64 - 2 b34 * x65 + 2 b34 * x66 - 2 b34 * x67 - 2 b34 * x70 - 2 b34 * x71 + 2 b34 * x72 - 2 b34 * x73 + 2 b34 * x77 + 2 b34 * x79 + 2 b34 * x80 + 2 b34 * x81 + 2 b34 * x83 + 2 b34 * x84 - 2 b34 * x85 - 2 b34 * x86 - 2 b34 * x87 + 2 b34 * x88 + 2 b34 * x89 + 2 b35 * x46 + 2 b35 * x49 + 2 b35 * x55 + 2 b35 * x59 + 2 b35 * x61 - 2 b35 * x63 - 2 b35 * x64 - 2 b35 * x65 - 2 b35 * x66 - 2 b35 * x67 - 2 b35 * x69 - 2 b35 * x70 - 2 b35 * x71 - 2 b35 * x73 + 2 b35 * x74 + 2 b35 * x77 + 2 b35 * x79 + 2 b35 * x80 + 2 b35 * x81 + 2 b35 * x83 + 2 b35 * x84 - 2 b35 * x85 + 2 b35 * x86 + 2 b35 * x88 + 2 b35 * x89 - 2 b35 * x90 - 2 b36 * x46 - 2 b36 * x48 + 2 b36 * x50 - 2 b36 * x53 - 2 b36 * x55 + 2 b36 * x58 + 2 b36 * x60 + 2 b36 * x63 + 2 b36 * x67 + 2 b36 * x68 - 2 b36 * x71 - 2 b36 * x72 + 2 b36 * x82 + 2 b36 * x83 + 2 b36 * x85 + 2 b36 * x86 - 2 b37 * x46 - 2 b37 * x48 - 2 b37 * x49 + 2 b37 * x50 - 2 b37 * x55 - 2 b37 * x57 + 2 b37 * x58 - 2 b37 * x59 + 2 b37 * x60 - 2 b37 * x61 + 2 b37 * x63 + 2 b37 * x67 + 2 b37 * x68 - 2 b37 * x72 - 2 b37 * x75 + 2 b37 * x85 + 2 b37 * x86 - 2 b37 * x89 - 2 b37 * x90 - 2 b38 * x46 - 2 b38 * x48 + 2 b38 * x50 - 2 b38 * x51 - 2 b38 * x53 + 2 b38 * x58 + 2 b38 * x60 - 2 b38 * x61 + 2 b38 * x63 + 2 b38 * x67 + 2 b38 * x68 - 2 b38 * x70 - 2 b38 * x71 - 2 b38 * x75 + 2 b38 * x78 + 2 b38 * x79 + 2 b38 * x82 + 2 b38 * x83 - 2 b38 * x89 - 2 b38 * x90 - 2 b39 * x51 - 2 b39 * x53 - 2 b39 * x55 + 2 b39 * x59 - 2 b39 * x61 - 2 b39 * x70 - 2 b39 * x71 - 2 b39 * x72 + 2 b39 * x74 - 2 b39 * x75 + 2 b39 * x78 + 2 b39 * x79 + 2 b39 * x82 + 2 b39 * x83 + 2 b39 * x85 + 2 b39 * x86 + 2 b39 * x88 - 2 b39 * x89 - 2 b39 * x90 - 2 b40 * x50 + 2 b40 * x54 - 2 b40 * x58 - 2 b40 * x60 - 2 b40 * x62 - 2 b40 * x63 + 2 b40 * x65 - 2 b40 * x67 - 2 b40 * x68 - 2 b40 * x69 + 2 b40 * x71 + 2 b40 * x72 - 2 b40 * x81 - 2 b40 * x82 - 2 b40 * x83 - 2 b40 * x84 - 2 b40 * x85 - 2 b40 * x86 - 2 b40 * x87 + 2 b41 * x46 + 2 b41 * x48 - 2 b41 * x50 - 2 b41 * x52 + 2 b41 * x53 + 2 b41 * x55 + 2 b41 * x56 - 2 b41 * x58 - 2 b41 * x60 - 2 b41 * x62 - 2 b41 * x63 - 2 b41 * x64 + 2 b41 * x66 - 2 b41 * x67 - 2 b41 * x68 - 2 b41 * x69 + 2 b41 * x71 + 2 b41 * x72 + 2 b41 * x76 + 2 b41 * x77 + 2 b41 * x81 - 2 b41 * x82 - 2 b41 * x83 - 2 b41 * x84 - 2 b41 * x85 - 2 b41 * x86 - 2 b41 * x87 + 2 b42 * x46 + 2 b42 * x48 - 2 b42 * x50 - 2 b42 * x52 + 2 b42 * x53 - 2 b42 * x54 + 2 b42 * x55 - 2 b42 * x56 - 2 b42 * x58 - 2 b42 * x62 - 2 b42 * x63 - 2 b42 * x64 - 2 b42 * x65 - 2 b42 * x66 - 2 b42 * x67 - 2 b42 * x69 + 2 b42 * x71 + 2 b42 * x72 + 2 b42 * x76 + 2 b42 * x77 - 2 b42 * x82 - 2 b42 * x84 - 2 b42 * x85 - 2 b42 * x87 + 2 b43 * x46 + 2 b43 * x48 + 2 b43 * x49 - 2 b43 * x52 - 2 b43 * x54 + 2 b43 * x55 + 2 b43 * x56 + 2 b43 * x57 + 2 b43 * x59 + 2 b43 * x61 - 2 b43 * x64 - 2 b43 * x65 + 2 b43 * x66 - 2 b43 * x70 - 2 b43 * x71 + 2 b43 * x72 + 2 b43 * x77 + 2 b43 * x78 + 2 b43 * x79 + 2 b43 * x80 + 2 b43 * x81 + 2 b43 * x82 + 2 b43 * x83 + 2 b43 * x84 - 2 b43 * x85 - 2 b43 * x86 - 2 b43 * x87 + 2 b44 * x46 + 2 b44 * x48 + 2 b44 * x49 - 2 b44 * x50 - 2 b44 * x52 - 2 b44 * x54 + 2 b44 * x55 - 2 b44 * x56 + 2 b44 * x57 - 2 b44 * x58 + 2 b44 * x59 + 2 b44 * x61 - 2 b44 * x62 - 2 b44 * x63 - 2 b44 * x64 - 2 b44 * x65 - 2 b44 * x66 - 2 b44 * x67 - 2 b44 * x69 - 2 b44 * x70 - 2 b44 * x71 + 2 b44 * x74 + 2 b44 * x77 + 2 b44 * x78 + 2 b44 * x79 + 2 b44 * x80 + 2 b44 * x81 + 2 b44 * x82 + 2 b44 * x83 + 2 b44 * x84 + 2 b44 * x86 + 2 b44 * x88 - 2 b44 * x90 + 2 x45 * x46 + 2 x45 * x48 - 2 x45 * x50 - 2 x45 * x52 - 2 x45 * x54 - 2 x45 * x55 - 2 x45 * x56 - 2 x45 * x58 + 2 x45 * x59 - 2 x45 * x62 - 2 x45 * x63 - 2 x45 * x64 - 2 x45 * x65 - 2 x45 * x66 - 2 x45 * x67 - 2 x45 * x69 - 2 x45 * x72 + 2 x45 * x74 - 2 x45 * x77 + 2 x45 * x79 - 2 x45 * x81 + 2 x45 * x83 + 2 x45 * x85 + 2 x45 * x86 + 2 x45 * x87 + 2 x45 * x88 - 2 x45 * x90 ] >= 755 Bounds 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 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 End