\ 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