\ 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