\ Equation counts \ Total E G L N X C B \ 1457 0 1 1456 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 183 1 182 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 4543 4370 173 0 \ Minimize obj: 0 b1 + 0 b2 + 0 b3 + 0 b4 + 0 b5 + 0 b6 + 0 b7 + 0 b8 + 0 b9 + 0 b10 + 0 b11 + 0 b12 + 0 b13 + 0 b14 + 0 b15 + 0 b16 + 0 b17 + 0 b18 + 0 b19 + 0 b20 + 0 b21 + 0 b22 + 0 b23 + 0 b24 + 0 b25 + 0 b26 + 0 b27 + 0 b28 + 0 b29 + 0 b30 + 0 b31 + 0 b32 + 0 b33 + 0 b34 + 0 b35 + 0 b36 + 0 b37 + 0 b38 + 0 b39 + 0 b40 + 0 b41 + 0 b42 + 0 b43 + 0 b44 + 0 b45 + 0 b46 + 0 b47 + 0 b48 + 0 b49 + 0 b50 + 0 b51 + 0 b52 + 0 b53 + 0 b54 + 0 b55 + 0 b56 + 0 b57 + 0 b58 + 0 b59 + 0 b60 + 0 b61 + 0 b62 + 0 b63 + 0 b64 + 0 b65 + 0 b66 + 0 b67 + 0 b68 + 0 b69 + 0 b70 + 0 b71 + 0 b72 + 0 b73 + 0 b74 + 0 b75 + 0 b76 + 0 b77 + 0 b78 + 0 b79 + 0 b80 + 0 b81 + 0 b82 + 0 b83 + 0 b84 + 0 b85 + 0 b86 + 0 b87 + 0 b88 + 0 b89 + 0 b90 + 0 b91 + 0 b92 + 0 b93 + 0 b94 + 0 b95 + 0 b96 + 0 b97 + 0 b98 + 0 b99 + 0 b100 + 0 b101 + 0 b102 + 0 b103 + 0 b104 + 0 b105 + 0 b106 + 0 b107 + 0 b108 + 0 b109 + 0 b110 + 0 b111 + 0 b112 + 0 b113 + 0 b114 + 0 b115 + 0 b116 + 0 b117 + 0 b118 + 0 b119 + 0 b120 + 0 b121 + 0 b122 + 0 b123 + 0 b124 + 0 b125 + 0 b126 + 0 b127 + 0 b128 + 0 b129 + 0 b130 + 0 b131 + 0 b132 + 0 b133 + 0 b134 + 0 b135 + 0 b136 + 0 b137 + 0 b138 + 0 b139 + 0 b140 + 0 b141 + 0 b142 + 0 b143 + 0 b144 + 0 b145 + 0 b146 + 0 b147 + 0 b148 + 0 b149 + 0 b150 + 0 b151 + 0 b152 + 0 b153 + 0 b154 + 0 b155 + 0 b156 + 0 b157 + 0 b158 + 0 b159 + 0 b160 + 0 b161 + 0 b162 + 0 b163 + 0 b164 + 0 b165 + 0 b166 + 0 b167 + 0 b168 + 0 b169 + 0 b170 + 0 b171 + 0 b172 + 0 b173 + 0 b174 + 0 b175 + 0 b176 + 0 b177 + 0 b178 + 0 b179 + 0 b180 + 0 b181 + 0 b182 + 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: b3 - b18 + b19 <= 1 e10: b3 - b20 + b21 <= 1 e11: b3 - b22 + b23 <= 1 e12: b3 - b24 + b25 <= 1 e13: b1 - b4 + b26 <= 1 e14: b1 - b6 + b27 <= 1 e15: b1 - b8 + b28 <= 1 e16: b1 - b10 + b29 <= 1 e17: b1 - b12 + b30 <= 1 e18: b1 - b14 + b31 <= 1 e19: b1 - b16 + b32 <= 1 e20: b1 - b18 + b33 <= 1 e21: b1 - b20 + b34 <= 1 e22: b1 - b22 + b35 <= 1 e23: b1 - b24 + b36 <= 1 e24: b4 - b6 + b37 <= 1 e25: b4 - b8 + b38 <= 1 e26: b4 - b10 + b39 <= 1 e27: b4 - b12 + b40 <= 1 e28: b4 - b14 + b41 <= 1 e29: b4 - b16 + b42 <= 1 e30: b4 - b18 + b43 <= 1 e31: b4 - b20 + b44 <= 1 e32: b4 - b22 + b45 <= 1 e33: b4 - b24 + b46 <= 1 e34: b6 - b8 + b47 <= 1 e35: b6 - b10 + b48 <= 1 e36: b6 - b12 + b49 <= 1 e37: b6 - b14 + b50 <= 1 e38: b6 - b16 + b51 <= 1 e39: b6 - b18 + b52 <= 1 e40: b6 - b20 + b53 <= 1 e41: b6 - b22 + b54 <= 1 e42: b6 - b24 + b55 <= 1 e43: b8 - b10 + b56 <= 1 e44: b8 - b12 + b57 <= 1 e45: b8 - b14 + b58 <= 1 e46: b8 - b16 + b59 <= 1 e47: b8 - b18 + b60 <= 1 e48: b8 - b20 + b61 <= 1 e49: b8 - b22 + b62 <= 1 e50: b8 - b24 + b63 <= 1 e51: b10 - b12 + b64 <= 1 e52: b10 - b14 + b65 <= 1 e53: b10 - b16 + b66 <= 1 e54: b10 - b18 + b67 <= 1 e55: b10 - b20 + b68 <= 1 e56: b10 - b22 + b69 <= 1 e57: b10 - b24 + b70 <= 1 e58: b12 - b14 + b71 <= 1 e59: b12 - b16 + b72 <= 1 e60: b12 - b18 + b73 <= 1 e61: b12 - b20 + b74 <= 1 e62: b12 - b22 + b75 <= 1 e63: b12 - b24 + b76 <= 1 e64: b14 - b16 + b77 <= 1 e65: b14 - b18 + b78 <= 1 e66: b14 - b20 + b79 <= 1 e67: b14 - b22 + b80 <= 1 e68: b14 - b24 + b81 <= 1 e69: b16 - b18 + b82 <= 1 e70: b16 - b20 + b83 <= 1 e71: b16 - b22 + b84 <= 1 e72: b16 - b24 + b85 <= 1 e73: b18 - b20 + b86 <= 1 e74: b18 - b22 + b87 <= 1 e75: b18 - b24 + b88 <= 1 e76: b20 - b22 + b89 <= 1 e77: b20 - b24 + b90 <= 1 e78: b22 - b24 + b91 <= 1 e79: b2 - b5 + b26 <= 1 e80: b2 - b7 + b27 <= 1 e81: b2 - b9 + b28 <= 1 e82: b2 - b11 + b29 <= 1 e83: b2 - b13 + b30 <= 1 e84: b2 - b15 + b31 <= 1 e85: b2 - b17 + b32 <= 1 e86: b2 - b19 + b33 <= 1 e87: b2 - b21 + b34 <= 1 e88: b2 - b23 + b35 <= 1 e89: b2 - b25 + b36 <= 1 e90: b5 - b7 + b37 <= 1 e91: b5 - b9 + b38 <= 1 e92: b5 - b11 + b39 <= 1 e93: b5 - b13 + b40 <= 1 e94: b5 - b15 + b41 <= 1 e95: b5 - b17 + b42 <= 1 e96: b5 - b19 + b43 <= 1 e97: b5 - b21 + b44 <= 1 e98: b5 - b23 + b45 <= 1 e99: b5 - b25 + b46 <= 1 e100: b7 - b9 + b47 <= 1 e101: b7 - b11 + b48 <= 1 e102: b7 - b13 + b49 <= 1 e103: b7 - b15 + b50 <= 1 e104: b7 - b17 + b51 <= 1 e105: b7 - b19 + b52 <= 1 e106: b7 - b21 + b53 <= 1 e107: b7 - b23 + b54 <= 1 e108: b7 - b25 + b55 <= 1 e109: b9 - b11 + b56 <= 1 e110: b9 - b13 + b57 <= 1 e111: b9 - b15 + b58 <= 1 e112: b9 - b17 + b59 <= 1 e113: b9 - b19 + b60 <= 1 e114: b9 - b21 + b61 <= 1 e115: b9 - b23 + b62 <= 1 e116: b9 - b25 + b63 <= 1 e117: b11 - b13 + b64 <= 1 e118: b11 - b15 + b65 <= 1 e119: b11 - b17 + b66 <= 1 e120: b11 - b19 + b67 <= 1 e121: b11 - b21 + b68 <= 1 e122: b11 - b23 + b69 <= 1 e123: b11 - b25 + b70 <= 1 e124: b13 - b15 + b71 <= 1 e125: b13 - b17 + b72 <= 1 e126: b13 - b19 + b73 <= 1 e127: b13 - b21 + b74 <= 1 e128: b13 - b23 + b75 <= 1 e129: b13 - b25 + b76 <= 1 e130: b15 - b17 + b77 <= 1 e131: b15 - b19 + b78 <= 1 e132: b15 - b21 + b79 <= 1 e133: b15 - b23 + b80 <= 1 e134: b15 - b25 + b81 <= 1 e135: b17 - b19 + b82 <= 1 e136: b17 - b21 + b83 <= 1 e137: b17 - b23 + b84 <= 1 e138: b17 - b25 + b85 <= 1 e139: b19 - b21 + b86 <= 1 e140: b19 - b23 + b87 <= 1 e141: b19 - b25 + b88 <= 1 e142: b21 - b23 + b89 <= 1 e143: b21 - b25 + b90 <= 1 e144: b23 - b25 + b91 <= 1 e145: b26 - b27 + b37 <= 1 e146: b26 - b28 + b38 <= 1 e147: b26 - b29 + b39 <= 1 e148: b26 - b30 + b40 <= 1 e149: b26 - b31 + b41 <= 1 e150: b26 - b32 + b42 <= 1 e151: b26 - b33 + b43 <= 1 e152: b26 - b34 + b44 <= 1 e153: b26 - b35 + b45 <= 1 e154: b26 - b36 + b46 <= 1 e155: b27 - b28 + b47 <= 1 e156: b27 - b29 + b48 <= 1 e157: b27 - b30 + b49 <= 1 e158: b27 - b31 + b50 <= 1 e159: b27 - b32 + b51 <= 1 e160: b27 - b33 + b52 <= 1 e161: b27 - b34 + b53 <= 1 e162: b27 - b35 + b54 <= 1 e163: b27 - b36 + b55 <= 1 e164: b28 - b29 + b56 <= 1 e165: b28 - b30 + b57 <= 1 e166: b28 - b31 + b58 <= 1 e167: b28 - b32 + b59 <= 1 e168: b28 - b33 + b60 <= 1 e169: b28 - b34 + b61 <= 1 e170: b28 - b35 + b62 <= 1 e171: b28 - b36 + b63 <= 1 e172: b29 - b30 + b64 <= 1 e173: b29 - b31 + b65 <= 1 e174: b29 - b32 + b66 <= 1 e175: b29 - b33 + b67 <= 1 e176: b29 - b34 + b68 <= 1 e177: b29 - b35 + b69 <= 1 e178: b29 - b36 + b70 <= 1 e179: b30 - b31 + b71 <= 1 e180: b30 - b32 + b72 <= 1 e181: b30 - b33 + b73 <= 1 e182: b30 - b34 + b74 <= 1 e183: b30 - b35 + b75 <= 1 e184: b30 - b36 + b76 <= 1 e185: b31 - b32 + b77 <= 1 e186: b31 - b33 + b78 <= 1 e187: b31 - b34 + b79 <= 1 e188: b31 - b35 + b80 <= 1 e189: b31 - b36 + b81 <= 1 e190: b32 - b33 + b82 <= 1 e191: b32 - b34 + b83 <= 1 e192: b32 - b35 + b84 <= 1 e193: b32 - b36 + b85 <= 1 e194: b33 - b34 + b86 <= 1 e195: b33 - b35 + b87 <= 1 e196: b33 - b36 + b88 <= 1 e197: b34 - b35 + b89 <= 1 e198: b34 - b36 + b90 <= 1 e199: b35 - b36 + b91 <= 1 e200: b37 - b38 + b47 <= 1 e201: b37 - b39 + b48 <= 1 e202: b37 - b40 + b49 <= 1 e203: b37 - b41 + b50 <= 1 e204: b37 - b42 + b51 <= 1 e205: b37 - b43 + b52 <= 1 e206: b37 - b44 + b53 <= 1 e207: b37 - b45 + b54 <= 1 e208: b37 - b46 + b55 <= 1 e209: b38 - b39 + b56 <= 1 e210: b38 - b40 + b57 <= 1 e211: b38 - b41 + b58 <= 1 e212: b38 - b42 + b59 <= 1 e213: b38 - b43 + b60 <= 1 e214: b38 - b44 + b61 <= 1 e215: b38 - b45 + b62 <= 1 e216: b38 - b46 + b63 <= 1 e217: b39 - b40 + b64 <= 1 e218: b39 - b41 + b65 <= 1 e219: b39 - b42 + b66 <= 1 e220: b39 - b43 + b67 <= 1 e221: b39 - b44 + b68 <= 1 e222: b39 - b45 + b69 <= 1 e223: b39 - b46 + b70 <= 1 e224: b40 - b41 + b71 <= 1 e225: b40 - b42 + b72 <= 1 e226: b40 - b43 + b73 <= 1 e227: b40 - b44 + b74 <= 1 e228: b40 - b45 + b75 <= 1 e229: b40 - b46 + b76 <= 1 e230: b41 - b42 + b77 <= 1 e231: b41 - b43 + b78 <= 1 e232: b41 - b44 + b79 <= 1 e233: b41 - b45 + b80 <= 1 e234: b41 - b46 + b81 <= 1 e235: b42 - b43 + b82 <= 1 e236: b42 - b44 + b83 <= 1 e237: b42 - b45 + b84 <= 1 e238: b42 - b46 + b85 <= 1 e239: b43 - b44 + b86 <= 1 e240: b43 - b45 + b87 <= 1 e241: b43 - b46 + b88 <= 1 e242: b44 - b45 + b89 <= 1 e243: b44 - b46 + b90 <= 1 e244: b45 - b46 + b91 <= 1 e245: b47 - b48 + b56 <= 1 e246: b47 - b49 + b57 <= 1 e247: b47 - b50 + b58 <= 1 e248: b47 - b51 + b59 <= 1 e249: b47 - b52 + b60 <= 1 e250: b47 - b53 + b61 <= 1 e251: b47 - b54 + b62 <= 1 e252: b47 - b55 + b63 <= 1 e253: b48 - b49 + b64 <= 1 e254: b48 - b50 + b65 <= 1 e255: b48 - b51 + b66 <= 1 e256: b48 - b52 + b67 <= 1 e257: b48 - b53 + b68 <= 1 e258: b48 - b54 + b69 <= 1 e259: b48 - b55 + b70 <= 1 e260: b49 - b50 + b71 <= 1 e261: b49 - b51 + b72 <= 1 e262: b49 - b52 + b73 <= 1 e263: b49 - b53 + b74 <= 1 e264: b49 - b54 + b75 <= 1 e265: b49 - b55 + b76 <= 1 e266: b50 - b51 + b77 <= 1 e267: b50 - b52 + b78 <= 1 e268: b50 - b53 + b79 <= 1 e269: b50 - b54 + b80 <= 1 e270: b50 - b55 + b81 <= 1 e271: b51 - b52 + b82 <= 1 e272: b51 - b53 + b83 <= 1 e273: b51 - b54 + b84 <= 1 e274: b51 - b55 + b85 <= 1 e275: b52 - b53 + b86 <= 1 e276: b52 - b54 + b87 <= 1 e277: b52 - b55 + b88 <= 1 e278: b53 - b54 + b89 <= 1 e279: b53 - b55 + b90 <= 1 e280: b54 - b55 + b91 <= 1 e281: b56 - b57 + b64 <= 1 e282: b56 - b58 + b65 <= 1 e283: b56 - b59 + b66 <= 1 e284: b56 - b60 + b67 <= 1 e285: b56 - b61 + b68 <= 1 e286: b56 - b62 + b69 <= 1 e287: b56 - b63 + b70 <= 1 e288: b57 - b58 + b71 <= 1 e289: b57 - b59 + b72 <= 1 e290: b57 - b60 + b73 <= 1 e291: b57 - b61 + b74 <= 1 e292: b57 - b62 + b75 <= 1 e293: b57 - b63 + b76 <= 1 e294: b58 - b59 + b77 <= 1 e295: b58 - b60 + b78 <= 1 e296: b58 - b61 + b79 <= 1 e297: b58 - b62 + b80 <= 1 e298: b58 - b63 + b81 <= 1 e299: b59 - b60 + b82 <= 1 e300: b59 - b61 + b83 <= 1 e301: b59 - b62 + b84 <= 1 e302: b59 - b63 + b85 <= 1 e303: b60 - b61 + b86 <= 1 e304: b60 - b62 + b87 <= 1 e305: b60 - b63 + b88 <= 1 e306: b61 - b62 + b89 <= 1 e307: b61 - b63 + b90 <= 1 e308: b62 - b63 + b91 <= 1 e309: b64 - b65 + b71 <= 1 e310: b64 - b66 + b72 <= 1 e311: b64 - b67 + b73 <= 1 e312: b64 - b68 + b74 <= 1 e313: b64 - b69 + b75 <= 1 e314: b64 - b70 + b76 <= 1 e315: b65 - b66 + b77 <= 1 e316: b65 - b67 + b78 <= 1 e317: b65 - b68 + b79 <= 1 e318: b65 - b69 + b80 <= 1 e319: b65 - b70 + b81 <= 1 e320: b66 - b67 + b82 <= 1 e321: b66 - b68 + b83 <= 1 e322: b66 - b69 + b84 <= 1 e323: b66 - b70 + b85 <= 1 e324: b67 - b68 + b86 <= 1 e325: b67 - b69 + b87 <= 1 e326: b67 - b70 + b88 <= 1 e327: b68 - b69 + b89 <= 1 e328: b68 - b70 + b90 <= 1 e329: b69 - b70 + b91 <= 1 e330: b71 - b72 + b77 <= 1 e331: b71 - b73 + b78 <= 1 e332: b71 - b74 + b79 <= 1 e333: b71 - b75 + b80 <= 1 e334: b71 - b76 + b81 <= 1 e335: b72 - b73 + b82 <= 1 e336: b72 - b74 + b83 <= 1 e337: b72 - b75 + b84 <= 1 e338: b72 - b76 + b85 <= 1 e339: b73 - b74 + b86 <= 1 e340: b73 - b75 + b87 <= 1 e341: b73 - b76 + b88 <= 1 e342: b74 - b75 + b89 <= 1 e343: b74 - b76 + b90 <= 1 e344: b75 - b76 + b91 <= 1 e345: b77 - b78 + b82 <= 1 e346: b77 - b79 + b83 <= 1 e347: b77 - b80 + b84 <= 1 e348: b77 - b81 + b85 <= 1 e349: b78 - b79 + b86 <= 1 e350: b78 - b80 + b87 <= 1 e351: b78 - b81 + b88 <= 1 e352: b79 - b80 + b89 <= 1 e353: b79 - b81 + b90 <= 1 e354: b80 - b81 + b91 <= 1 e355: b82 - b83 + b86 <= 1 e356: b82 - b84 + b87 <= 1 e357: b82 - b85 + b88 <= 1 e358: b83 - b84 + b89 <= 1 e359: b83 - b85 + b90 <= 1 e360: b84 - b85 + b91 <= 1 e361: b86 - b87 + b89 <= 1 e362: b86 - b88 + b90 <= 1 e363: b87 - b88 + b91 <= 1 e364: b89 - b90 + b91 <= 1 e365: b1 - b2 - b3 <= 0 e366: - b3 + b4 - b5 <= 0 e367: - b3 + b6 - b7 <= 0 e368: - b3 + b8 - b9 <= 0 e369: - b3 + b10 - b11 <= 0 e370: - b3 + b12 - b13 <= 0 e371: - b3 + b14 - b15 <= 0 e372: - b3 + b16 - b17 <= 0 e373: - b3 + b18 - b19 <= 0 e374: - b3 + b20 - b21 <= 0 e375: - b3 + b22 - b23 <= 0 e376: - b3 + b24 - b25 <= 0 e377: - b1 + b4 - b26 <= 0 e378: - b1 + b6 - b27 <= 0 e379: - b1 + b8 - b28 <= 0 e380: - b1 + b10 - b29 <= 0 e381: - b1 + b12 - b30 <= 0 e382: - b1 + b14 - b31 <= 0 e383: - b1 + b16 - b32 <= 0 e384: - b1 + b18 - b33 <= 0 e385: - b1 + b20 - b34 <= 0 e386: - b1 + b22 - b35 <= 0 e387: - b1 + b24 - b36 <= 0 e388: - b4 + b6 - b37 <= 0 e389: - b4 + b8 - b38 <= 0 e390: - b4 + b10 - b39 <= 0 e391: - b4 + b12 - b40 <= 0 e392: - b4 + b14 - b41 <= 0 e393: - b4 + b16 - b42 <= 0 e394: - b4 + b18 - b43 <= 0 e395: - b4 + b20 - b44 <= 0 e396: - b4 + b22 - b45 <= 0 e397: - b4 + b24 - b46 <= 0 e398: - b6 + b8 - b47 <= 0 e399: - b6 + b10 - b48 <= 0 e400: - b6 + b12 - b49 <= 0 e401: - b6 + b14 - b50 <= 0 e402: - b6 + b16 - b51 <= 0 e403: - b6 + b18 - b52 <= 0 e404: - b6 + b20 - b53 <= 0 e405: - b6 + b22 - b54 <= 0 e406: - b6 + b24 - b55 <= 0 e407: - b8 + b10 - b56 <= 0 e408: - b8 + b12 - b57 <= 0 e409: - b8 + b14 - b58 <= 0 e410: - b8 + b16 - b59 <= 0 e411: - b8 + b18 - b60 <= 0 e412: - b8 + b20 - b61 <= 0 e413: - b8 + b22 - b62 <= 0 e414: - b8 + b24 - b63 <= 0 e415: - b10 + b12 - b64 <= 0 e416: - b10 + b14 - b65 <= 0 e417: - b10 + b16 - b66 <= 0 e418: - b10 + b18 - b67 <= 0 e419: - b10 + b20 - b68 <= 0 e420: - b10 + b22 - b69 <= 0 e421: - b10 + b24 - b70 <= 0 e422: - b12 + b14 - b71 <= 0 e423: - b12 + b16 - b72 <= 0 e424: - b12 + b18 - b73 <= 0 e425: - b12 + b20 - b74 <= 0 e426: - b12 + b22 - b75 <= 0 e427: - b12 + b24 - b76 <= 0 e428: - b14 + b16 - b77 <= 0 e429: - b14 + b18 - b78 <= 0 e430: - b14 + b20 - b79 <= 0 e431: - b14 + b22 - b80 <= 0 e432: - b14 + b24 - b81 <= 0 e433: - b16 + b18 - b82 <= 0 e434: - b16 + b20 - b83 <= 0 e435: - b16 + b22 - b84 <= 0 e436: - b16 + b24 - b85 <= 0 e437: - b18 + b20 - b86 <= 0 e438: - b18 + b22 - b87 <= 0 e439: - b18 + b24 - b88 <= 0 e440: - b20 + b22 - b89 <= 0 e441: - b20 + b24 - b90 <= 0 e442: - b22 + b24 - b91 <= 0 e443: - b2 + b5 - b26 <= 0 e444: - b2 + b7 - b27 <= 0 e445: - b2 + b9 - b28 <= 0 e446: - b2 + b11 - b29 <= 0 e447: - b2 + b13 - b30 <= 0 e448: - b2 + b15 - b31 <= 0 e449: - b2 + b17 - b32 <= 0 e450: - b2 + b19 - b33 <= 0 e451: - b2 + b21 - b34 <= 0 e452: - b2 + b23 - b35 <= 0 e453: - b2 + b25 - b36 <= 0 e454: - b5 + b7 - b37 <= 0 e455: - b5 + b9 - b38 <= 0 e456: - b5 + b11 - b39 <= 0 e457: - b5 + b13 - b40 <= 0 e458: - b5 + b15 - b41 <= 0 e459: - b5 + b17 - b42 <= 0 e460: - b5 + b19 - b43 <= 0 e461: - b5 + b21 - b44 <= 0 e462: - b5 + b23 - b45 <= 0 e463: - b5 + b25 - b46 <= 0 e464: - b7 + b9 - b47 <= 0 e465: - b7 + b11 - b48 <= 0 e466: - b7 + b13 - b49 <= 0 e467: - b7 + b15 - b50 <= 0 e468: - b7 + b17 - b51 <= 0 e469: - b7 + b19 - b52 <= 0 e470: - b7 + b21 - b53 <= 0 e471: - b7 + b23 - b54 <= 0 e472: - b7 + b25 - b55 <= 0 e473: - b9 + b11 - b56 <= 0 e474: - b9 + b13 - b57 <= 0 e475: - b9 + b15 - b58 <= 0 e476: - b9 + b17 - b59 <= 0 e477: - b9 + b19 - b60 <= 0 e478: - b9 + b21 - b61 <= 0 e479: - b9 + b23 - b62 <= 0 e480: - b9 + b25 - b63 <= 0 e481: - b11 + b13 - b64 <= 0 e482: - b11 + b15 - b65 <= 0 e483: - b11 + b17 - b66 <= 0 e484: - b11 + b19 - b67 <= 0 e485: - b11 + b21 - b68 <= 0 e486: - b11 + b23 - b69 <= 0 e487: - b11 + b25 - b70 <= 0 e488: - b13 + b15 - b71 <= 0 e489: - b13 + b17 - b72 <= 0 e490: - b13 + b19 - b73 <= 0 e491: - b13 + b21 - b74 <= 0 e492: - b13 + b23 - b75 <= 0 e493: - b13 + b25 - b76 <= 0 e494: - b15 + b17 - b77 <= 0 e495: - b15 + b19 - b78 <= 0 e496: - b15 + b21 - b79 <= 0 e497: - b15 + b23 - b80 <= 0 e498: - b15 + b25 - b81 <= 0 e499: - b17 + b19 - b82 <= 0 e500: - b17 + b21 - b83 <= 0 e501: - b17 + b23 - b84 <= 0 e502: - b17 + b25 - b85 <= 0 e503: - b19 + b21 - b86 <= 0 e504: - b19 + b23 - b87 <= 0 e505: - b19 + b25 - b88 <= 0 e506: - b21 + b23 - b89 <= 0 e507: - b21 + b25 - b90 <= 0 e508: - b23 + b25 - b91 <= 0 e509: - b26 + b27 - b37 <= 0 e510: - b26 + b28 - b38 <= 0 e511: - b26 + b29 - b39 <= 0 e512: - b26 + b30 - b40 <= 0 e513: - b26 + b31 - b41 <= 0 e514: - b26 + b32 - b42 <= 0 e515: - b26 + b33 - b43 <= 0 e516: - b26 + b34 - b44 <= 0 e517: - b26 + b35 - b45 <= 0 e518: - b26 + b36 - b46 <= 0 e519: - b27 + b28 - b47 <= 0 e520: - b27 + b29 - b48 <= 0 e521: - b27 + b30 - b49 <= 0 e522: - b27 + b31 - b50 <= 0 e523: - b27 + b32 - b51 <= 0 e524: - b27 + b33 - b52 <= 0 e525: - b27 + b34 - b53 <= 0 e526: - b27 + b35 - b54 <= 0 e527: - b27 + b36 - b55 <= 0 e528: - b28 + b29 - b56 <= 0 e529: - b28 + b30 - b57 <= 0 e530: - b28 + b31 - b58 <= 0 e531: - b28 + b32 - b59 <= 0 e532: - b28 + b33 - b60 <= 0 e533: - b28 + b34 - b61 <= 0 e534: - b28 + b35 - b62 <= 0 e535: - b28 + b36 - b63 <= 0 e536: - b29 + b30 - b64 <= 0 e537: - b29 + b31 - b65 <= 0 e538: - b29 + b32 - b66 <= 0 e539: - b29 + b33 - b67 <= 0 e540: - b29 + b34 - b68 <= 0 e541: - b29 + b35 - b69 <= 0 e542: - b29 + b36 - b70 <= 0 e543: - b30 + b31 - b71 <= 0 e544: - b30 + b32 - b72 <= 0 e545: - b30 + b33 - b73 <= 0 e546: - b30 + b34 - b74 <= 0 e547: - b30 + b35 - b75 <= 0 e548: - b30 + b36 - b76 <= 0 e549: - b31 + b32 - b77 <= 0 e550: - b31 + b33 - b78 <= 0 e551: - b31 + b34 - b79 <= 0 e552: - b31 + b35 - b80 <= 0 e553: - b31 + b36 - b81 <= 0 e554: - b32 + b33 - b82 <= 0 e555: - b32 + b34 - b83 <= 0 e556: - b32 + b35 - b84 <= 0 e557: - b32 + b36 - b85 <= 0 e558: - b33 + b34 - b86 <= 0 e559: - b33 + b35 - b87 <= 0 e560: - b33 + b36 - b88 <= 0 e561: - b34 + b35 - b89 <= 0 e562: - b34 + b36 - b90 <= 0 e563: - b35 + b36 - b91 <= 0 e564: - b37 + b38 - b47 <= 0 e565: - b37 + b39 - b48 <= 0 e566: - b37 + b40 - b49 <= 0 e567: - b37 + b41 - b50 <= 0 e568: - b37 + b42 - b51 <= 0 e569: - b37 + b43 - b52 <= 0 e570: - b37 + b44 - b53 <= 0 e571: - b37 + b45 - b54 <= 0 e572: - b37 + b46 - b55 <= 0 e573: - b38 + b39 - b56 <= 0 e574: - b38 + b40 - b57 <= 0 e575: - b38 + b41 - b58 <= 0 e576: - b38 + b42 - b59 <= 0 e577: - b38 + b43 - b60 <= 0 e578: - b38 + b44 - b61 <= 0 e579: - b38 + b45 - b62 <= 0 e580: - b38 + b46 - b63 <= 0 e581: - b39 + b40 - b64 <= 0 e582: - b39 + b41 - b65 <= 0 e583: - b39 + b42 - b66 <= 0 e584: - b39 + b43 - b67 <= 0 e585: - b39 + b44 - b68 <= 0 e586: - b39 + b45 - b69 <= 0 e587: - b39 + b46 - b70 <= 0 e588: - b40 + b41 - b71 <= 0 e589: - b40 + b42 - b72 <= 0 e590: - b40 + b43 - b73 <= 0 e591: - b40 + b44 - b74 <= 0 e592: - b40 + b45 - b75 <= 0 e593: - b40 + b46 - b76 <= 0 e594: - b41 + b42 - b77 <= 0 e595: - b41 + b43 - b78 <= 0 e596: - b41 + b44 - b79 <= 0 e597: - b41 + b45 - b80 <= 0 e598: - b41 + b46 - b81 <= 0 e599: - b42 + b43 - b82 <= 0 e600: - b42 + b44 - b83 <= 0 e601: - b42 + b45 - b84 <= 0 e602: - b42 + b46 - b85 <= 0 e603: - b43 + b44 - b86 <= 0 e604: - b43 + b45 - b87 <= 0 e605: - b43 + b46 - b88 <= 0 e606: - b44 + b45 - b89 <= 0 e607: - b44 + b46 - b90 <= 0 e608: - b45 + b46 - b91 <= 0 e609: - b47 + b48 - b56 <= 0 e610: - b47 + b49 - b57 <= 0 e611: - b47 + b50 - b58 <= 0 e612: - b47 + b51 - b59 <= 0 e613: - b47 + b52 - b60 <= 0 e614: - b47 + b53 - b61 <= 0 e615: - b47 + b54 - b62 <= 0 e616: - b47 + b55 - b63 <= 0 e617: - b48 + b49 - b64 <= 0 e618: - b48 + b50 - b65 <= 0 e619: - b48 + b51 - b66 <= 0 e620: - b48 + b52 - b67 <= 0 e621: - b48 + b53 - b68 <= 0 e622: - b48 + b54 - b69 <= 0 e623: - b48 + b55 - b70 <= 0 e624: - b49 + b50 - b71 <= 0 e625: - b49 + b51 - b72 <= 0 e626: - b49 + b52 - b73 <= 0 e627: - b49 + b53 - b74 <= 0 e628: - b49 + b54 - b75 <= 0 e629: - b49 + b55 - b76 <= 0 e630: - b50 + b51 - b77 <= 0 e631: - b50 + b52 - b78 <= 0 e632: - b50 + b53 - b79 <= 0 e633: - b50 + b54 - b80 <= 0 e634: - b50 + b55 - b81 <= 0 e635: - b51 + b52 - b82 <= 0 e636: - b51 + b53 - b83 <= 0 e637: - b51 + b54 - b84 <= 0 e638: - b51 + b55 - b85 <= 0 e639: - b52 + b53 - b86 <= 0 e640: - b52 + b54 - b87 <= 0 e641: - b52 + b55 - b88 <= 0 e642: - b53 + b54 - b89 <= 0 e643: - b53 + b55 - b90 <= 0 e644: - b54 + b55 - b91 <= 0 e645: - b56 + b57 - b64 <= 0 e646: - b56 + b58 - b65 <= 0 e647: - b56 + b59 - b66 <= 0 e648: - b56 + b60 - b67 <= 0 e649: - b56 + b61 - b68 <= 0 e650: - b56 + b62 - b69 <= 0 e651: - b56 + b63 - b70 <= 0 e652: - b57 + b58 - b71 <= 0 e653: - b57 + b59 - b72 <= 0 e654: - b57 + b60 - b73 <= 0 e655: - b57 + b61 - b74 <= 0 e656: - b57 + b62 - b75 <= 0 e657: - b57 + b63 - b76 <= 0 e658: - b58 + b59 - b77 <= 0 e659: - b58 + b60 - b78 <= 0 e660: - b58 + b61 - b79 <= 0 e661: - b58 + b62 - b80 <= 0 e662: - b58 + b63 - b81 <= 0 e663: - b59 + b60 - b82 <= 0 e664: - b59 + b61 - b83 <= 0 e665: - b59 + b62 - b84 <= 0 e666: - b59 + b63 - b85 <= 0 e667: - b60 + b61 - b86 <= 0 e668: - b60 + b62 - b87 <= 0 e669: - b60 + b63 - b88 <= 0 e670: - b61 + b62 - b89 <= 0 e671: - b61 + b63 - b90 <= 0 e672: - b62 + b63 - b91 <= 0 e673: - b64 + b65 - b71 <= 0 e674: - b64 + b66 - b72 <= 0 e675: - b64 + b67 - b73 <= 0 e676: - b64 + b68 - b74 <= 0 e677: - b64 + b69 - b75 <= 0 e678: - b64 + b70 - b76 <= 0 e679: - b65 + b66 - b77 <= 0 e680: - b65 + b67 - b78 <= 0 e681: - b65 + b68 - b79 <= 0 e682: - b65 + b69 - b80 <= 0 e683: - b65 + b70 - b81 <= 0 e684: - b66 + b67 - b82 <= 0 e685: - b66 + b68 - b83 <= 0 e686: - b66 + b69 - b84 <= 0 e687: - b66 + b70 - b85 <= 0 e688: - b67 + b68 - b86 <= 0 e689: - b67 + b69 - b87 <= 0 e690: - b67 + b70 - b88 <= 0 e691: - b68 + b69 - b89 <= 0 e692: - b68 + b70 - b90 <= 0 e693: - b69 + b70 - b91 <= 0 e694: - b71 + b72 - b77 <= 0 e695: - b71 + b73 - b78 <= 0 e696: - b71 + b74 - b79 <= 0 e697: - b71 + b75 - b80 <= 0 e698: - b71 + b76 - b81 <= 0 e699: - b72 + b73 - b82 <= 0 e700: - b72 + b74 - b83 <= 0 e701: - b72 + b75 - b84 <= 0 e702: - b72 + b76 - b85 <= 0 e703: - b73 + b74 - b86 <= 0 e704: - b73 + b75 - b87 <= 0 e705: - b73 + b76 - b88 <= 0 e706: - b74 + b75 - b89 <= 0 e707: - b74 + b76 - b90 <= 0 e708: - b75 + b76 - b91 <= 0 e709: - b77 + b78 - b82 <= 0 e710: - b77 + b79 - b83 <= 0 e711: - b77 + b80 - b84 <= 0 e712: - b77 + b81 - b85 <= 0 e713: - b78 + b79 - b86 <= 0 e714: - b78 + b80 - b87 <= 0 e715: - b78 + b81 - b88 <= 0 e716: - b79 + b80 - b89 <= 0 e717: - b79 + b81 - b90 <= 0 e718: - b80 + b81 - b91 <= 0 e719: - b82 + b83 - b86 <= 0 e720: - b82 + b84 - b87 <= 0 e721: - b82 + b85 - b88 <= 0 e722: - b83 + b84 - b89 <= 0 e723: - b83 + b85 - b90 <= 0 e724: - b84 + b85 - b91 <= 0 e725: - b86 + b87 - b89 <= 0 e726: - b86 + b88 - b90 <= 0 e727: - b87 + b88 - b91 <= 0 e728: - b89 + b90 - b91 <= 0 e729: - b92 + b93 + b94 <= 1 e730: b94 - b95 + b96 <= 1 e731: b94 - b97 + b98 <= 1 e732: b94 - b99 + b100 <= 1 e733: b94 - b101 + b102 <= 1 e734: b94 - b103 + b104 <= 1 e735: b94 - b105 + b106 <= 1 e736: b94 - b107 + b108 <= 1 e737: b94 - b109 + b110 <= 1 e738: b94 - b111 + b112 <= 1 e739: b94 - b113 + b114 <= 1 e740: b94 - b115 + b116 <= 1 e741: b92 - b95 + b117 <= 1 e742: b92 - b97 + b118 <= 1 e743: b92 - b99 + b119 <= 1 e744: b92 - b101 + b120 <= 1 e745: b92 - b103 + b121 <= 1 e746: b92 - b105 + b122 <= 1 e747: b92 - b107 + b123 <= 1 e748: b92 - b109 + b124 <= 1 e749: b92 - b111 + b125 <= 1 e750: b92 - b113 + b126 <= 1 e751: b92 - b115 + b127 <= 1 e752: b95 - b97 + b128 <= 1 e753: b95 - b99 + b129 <= 1 e754: b95 - b101 + b130 <= 1 e755: b95 - b103 + b131 <= 1 e756: b95 - b105 + b132 <= 1 e757: b95 - b107 + b133 <= 1 e758: b95 - b109 + b134 <= 1 e759: b95 - b111 + b135 <= 1 e760: b95 - b113 + b136 <= 1 e761: b95 - b115 + b137 <= 1 e762: b97 - b99 + b138 <= 1 e763: b97 - b101 + b139 <= 1 e764: b97 - b103 + b140 <= 1 e765: b97 - b105 + b141 <= 1 e766: b97 - b107 + b142 <= 1 e767: b97 - b109 + b143 <= 1 e768: b97 - b111 + b144 <= 1 e769: b97 - b113 + b145 <= 1 e770: b97 - b115 + b146 <= 1 e771: b99 - b101 + b147 <= 1 e772: b99 - b103 + b148 <= 1 e773: b99 - b105 + b149 <= 1 e774: b99 - b107 + b150 <= 1 e775: b99 - b109 + b151 <= 1 e776: b99 - b111 + b152 <= 1 e777: b99 - b113 + b153 <= 1 e778: b99 - b115 + b154 <= 1 e779: b101 - b103 + b155 <= 1 e780: b101 - b105 + b156 <= 1 e781: b101 - b107 + b157 <= 1 e782: b101 - b109 + b158 <= 1 e783: b101 - b111 + b159 <= 1 e784: b101 - b113 + b160 <= 1 e785: b101 - b115 + b161 <= 1 e786: b103 - b105 + b162 <= 1 e787: b103 - b107 + b163 <= 1 e788: b103 - b109 + b164 <= 1 e789: b103 - b111 + b165 <= 1 e790: b103 - b113 + b166 <= 1 e791: b103 - b115 + b167 <= 1 e792: b105 - b107 + b168 <= 1 e793: b105 - b109 + b169 <= 1 e794: b105 - b111 + b170 <= 1 e795: b105 - b113 + b171 <= 1 e796: b105 - b115 + b172 <= 1 e797: b107 - b109 + b173 <= 1 e798: b107 - b111 + b174 <= 1 e799: b107 - b113 + b175 <= 1 e800: b107 - b115 + b176 <= 1 e801: b109 - b111 + b177 <= 1 e802: b109 - b113 + b178 <= 1 e803: b109 - b115 + b179 <= 1 e804: b111 - b113 + b180 <= 1 e805: b111 - b115 + b181 <= 1 e806: b113 - b115 + b182 <= 1 e807: b93 - b96 + b117 <= 1 e808: b93 - b98 + b118 <= 1 e809: b93 - b100 + b119 <= 1 e810: b93 - b102 + b120 <= 1 e811: b93 - b104 + b121 <= 1 e812: b93 - b106 + b122 <= 1 e813: b93 - b108 + b123 <= 1 e814: b93 - b110 + b124 <= 1 e815: b93 - b112 + b125 <= 1 e816: b93 - b114 + b126 <= 1 e817: b93 - b116 + b127 <= 1 e818: b96 - b98 + b128 <= 1 e819: b96 - b100 + b129 <= 1 e820: b96 - b102 + b130 <= 1 e821: b96 - b104 + b131 <= 1 e822: b96 - b106 + b132 <= 1 e823: b96 - b108 + b133 <= 1 e824: b96 - b110 + b134 <= 1 e825: b96 - b112 + b135 <= 1 e826: b96 - b114 + b136 <= 1 e827: b96 - b116 + b137 <= 1 e828: b98 - b100 + b138 <= 1 e829: b98 - b102 + b139 <= 1 e830: b98 - b104 + b140 <= 1 e831: b98 - b106 + b141 <= 1 e832: b98 - b108 + b142 <= 1 e833: b98 - b110 + b143 <= 1 e834: b98 - b112 + b144 <= 1 e835: b98 - b114 + b145 <= 1 e836: b98 - b116 + b146 <= 1 e837: b100 - b102 + b147 <= 1 e838: b100 - b104 + b148 <= 1 e839: b100 - b106 + b149 <= 1 e840: b100 - b108 + b150 <= 1 e841: b100 - b110 + b151 <= 1 e842: b100 - b112 + b152 <= 1 e843: b100 - b114 + b153 <= 1 e844: b100 - b116 + b154 <= 1 e845: b102 - b104 + b155 <= 1 e846: b102 - b106 + b156 <= 1 e847: b102 - b108 + b157 <= 1 e848: b102 - b110 + b158 <= 1 e849: b102 - b112 + b159 <= 1 e850: b102 - b114 + b160 <= 1 e851: b102 - b116 + b161 <= 1 e852: b104 - b106 + b162 <= 1 e853: b104 - b108 + b163 <= 1 e854: b104 - b110 + b164 <= 1 e855: b104 - b112 + b165 <= 1 e856: b104 - b114 + b166 <= 1 e857: b104 - b116 + b167 <= 1 e858: b106 - b108 + b168 <= 1 e859: b106 - b110 + b169 <= 1 e860: b106 - b112 + b170 <= 1 e861: b106 - b114 + b171 <= 1 e862: b106 - b116 + b172 <= 1 e863: b108 - b110 + b173 <= 1 e864: b108 - b112 + b174 <= 1 e865: b108 - b114 + b175 <= 1 e866: b108 - b116 + b176 <= 1 e867: b110 - b112 + b177 <= 1 e868: b110 - b114 + b178 <= 1 e869: b110 - b116 + b179 <= 1 e870: b112 - b114 + b180 <= 1 e871: b112 - b116 + b181 <= 1 e872: b114 - b116 + b182 <= 1 e873: b117 - b118 + b128 <= 1 e874: b117 - b119 + b129 <= 1 e875: b117 - b120 + b130 <= 1 e876: b117 - b121 + b131 <= 1 e877: b117 - b122 + b132 <= 1 e878: b117 - b123 + b133 <= 1 e879: b117 - b124 + b134 <= 1 e880: b117 - b125 + b135 <= 1 e881: b117 - b126 + b136 <= 1 e882: b117 - b127 + b137 <= 1 e883: b118 - b119 + b138 <= 1 e884: b118 - b120 + b139 <= 1 e885: b118 - b121 + b140 <= 1 e886: b118 - b122 + b141 <= 1 e887: b118 - b123 + b142 <= 1 e888: b118 - b124 + b143 <= 1 e889: b118 - b125 + b144 <= 1 e890: b118 - b126 + b145 <= 1 e891: b118 - b127 + b146 <= 1 e892: b119 - b120 + b147 <= 1 e893: b119 - b121 + b148 <= 1 e894: b119 - b122 + b149 <= 1 e895: b119 - b123 + b150 <= 1 e896: b119 - b124 + b151 <= 1 e897: b119 - b125 + b152 <= 1 e898: b119 - b126 + b153 <= 1 e899: b119 - b127 + b154 <= 1 e900: b120 - b121 + b155 <= 1 e901: b120 - b122 + b156 <= 1 e902: b120 - b123 + b157 <= 1 e903: b120 - b124 + b158 <= 1 e904: b120 - b125 + b159 <= 1 e905: b120 - b126 + b160 <= 1 e906: b120 - b127 + b161 <= 1 e907: b121 - b122 + b162 <= 1 e908: b121 - b123 + b163 <= 1 e909: b121 - b124 + b164 <= 1 e910: b121 - b125 + b165 <= 1 e911: b121 - b126 + b166 <= 1 e912: b121 - b127 + b167 <= 1 e913: b122 - b123 + b168 <= 1 e914: b122 - b124 + b169 <= 1 e915: b122 - b125 + b170 <= 1 e916: b122 - b126 + b171 <= 1 e917: b122 - b127 + b172 <= 1 e918: b123 - b124 + b173 <= 1 e919: b123 - b125 + b174 <= 1 e920: b123 - b126 + b175 <= 1 e921: b123 - b127 + b176 <= 1 e922: b124 - b125 + b177 <= 1 e923: b124 - b126 + b178 <= 1 e924: b124 - b127 + b179 <= 1 e925: b125 - b126 + b180 <= 1 e926: b125 - b127 + b181 <= 1 e927: b126 - b127 + b182 <= 1 e928: b128 - b129 + b138 <= 1 e929: b128 - b130 + b139 <= 1 e930: b128 - b131 + b140 <= 1 e931: b128 - b132 + b141 <= 1 e932: b128 - b133 + b142 <= 1 e933: b128 - b134 + b143 <= 1 e934: b128 - b135 + b144 <= 1 e935: b128 - b136 + b145 <= 1 e936: b128 - b137 + b146 <= 1 e937: b129 - b130 + b147 <= 1 e938: b129 - b131 + b148 <= 1 e939: b129 - b132 + b149 <= 1 e940: b129 - b133 + b150 <= 1 e941: b129 - b134 + b151 <= 1 e942: b129 - b135 + b152 <= 1 e943: b129 - b136 + b153 <= 1 e944: b129 - b137 + b154 <= 1 e945: b130 - b131 + b155 <= 1 e946: b130 - b132 + b156 <= 1 e947: b130 - b133 + b157 <= 1 e948: b130 - b134 + b158 <= 1 e949: b130 - b135 + b159 <= 1 e950: b130 - b136 + b160 <= 1 e951: b130 - b137 + b161 <= 1 e952: b131 - b132 + b162 <= 1 e953: b131 - b133 + b163 <= 1 e954: b131 - b134 + b164 <= 1 e955: b131 - b135 + b165 <= 1 e956: b131 - b136 + b166 <= 1 e957: b131 - b137 + b167 <= 1 e958: b132 - b133 + b168 <= 1 e959: b132 - b134 + b169 <= 1 e960: b132 - b135 + b170 <= 1 e961: b132 - b136 + b171 <= 1 e962: b132 - b137 + b172 <= 1 e963: b133 - b134 + b173 <= 1 e964: b133 - b135 + b174 <= 1 e965: b133 - b136 + b175 <= 1 e966: b133 - b137 + b176 <= 1 e967: b134 - b135 + b177 <= 1 e968: b134 - b136 + b178 <= 1 e969: b134 - b137 + b179 <= 1 e970: b135 - b136 + b180 <= 1 e971: b135 - b137 + b181 <= 1 e972: b136 - b137 + b182 <= 1 e973: b138 - b139 + b147 <= 1 e974: b138 - b140 + b148 <= 1 e975: b138 - b141 + b149 <= 1 e976: b138 - b142 + b150 <= 1 e977: b138 - b143 + b151 <= 1 e978: b138 - b144 + b152 <= 1 e979: b138 - b145 + b153 <= 1 e980: b138 - b146 + b154 <= 1 e981: b139 - b140 + b155 <= 1 e982: b139 - b141 + b156 <= 1 e983: b139 - b142 + b157 <= 1 e984: b139 - b143 + b158 <= 1 e985: b139 - b144 + b159 <= 1 e986: b139 - b145 + b160 <= 1 e987: b139 - b146 + b161 <= 1 e988: b140 - b141 + b162 <= 1 e989: b140 - b142 + b163 <= 1 e990: b140 - b143 + b164 <= 1 e991: b140 - b144 + b165 <= 1 e992: b140 - b145 + b166 <= 1 e993: b140 - b146 + b167 <= 1 e994: b141 - b142 + b168 <= 1 e995: b141 - b143 + b169 <= 1 e996: b141 - b144 + b170 <= 1 e997: b141 - b145 + b171 <= 1 e998: b141 - b146 + b172 <= 1 e999: b142 - b143 + b173 <= 1 e1000: b142 - b144 + b174 <= 1 e1001: b142 - b145 + b175 <= 1 e1002: b142 - b146 + b176 <= 1 e1003: b143 - b144 + b177 <= 1 e1004: b143 - b145 + b178 <= 1 e1005: b143 - b146 + b179 <= 1 e1006: b144 - b145 + b180 <= 1 e1007: b144 - b146 + b181 <= 1 e1008: b145 - b146 + b182 <= 1 e1009: b147 - b148 + b155 <= 1 e1010: b147 - b149 + b156 <= 1 e1011: b147 - b150 + b157 <= 1 e1012: b147 - b151 + b158 <= 1 e1013: b147 - b152 + b159 <= 1 e1014: b147 - b153 + b160 <= 1 e1015: b147 - b154 + b161 <= 1 e1016: b148 - b149 + b162 <= 1 e1017: b148 - b150 + b163 <= 1 e1018: b148 - b151 + b164 <= 1 e1019: b148 - b152 + b165 <= 1 e1020: b148 - b153 + b166 <= 1 e1021: b148 - b154 + b167 <= 1 e1022: b149 - b150 + b168 <= 1 e1023: b149 - b151 + b169 <= 1 e1024: b149 - b152 + b170 <= 1 e1025: b149 - b153 + b171 <= 1 e1026: b149 - b154 + b172 <= 1 e1027: b150 - b151 + b173 <= 1 e1028: b150 - b152 + b174 <= 1 e1029: b150 - b153 + b175 <= 1 e1030: b150 - b154 + b176 <= 1 e1031: b151 - b152 + b177 <= 1 e1032: b151 - b153 + b178 <= 1 e1033: b151 - b154 + b179 <= 1 e1034: b152 - b153 + b180 <= 1 e1035: b152 - b154 + b181 <= 1 e1036: b153 - b154 + b182 <= 1 e1037: b155 - b156 + b162 <= 1 e1038: b155 - b157 + b163 <= 1 e1039: b155 - b158 + b164 <= 1 e1040: b155 - b159 + b165 <= 1 e1041: b155 - b160 + b166 <= 1 e1042: b155 - b161 + b167 <= 1 e1043: b156 - b157 + b168 <= 1 e1044: b156 - b158 + b169 <= 1 e1045: b156 - b159 + b170 <= 1 e1046: b156 - b160 + b171 <= 1 e1047: b156 - b161 + b172 <= 1 e1048: b157 - b158 + b173 <= 1 e1049: b157 - b159 + b174 <= 1 e1050: b157 - b160 + b175 <= 1 e1051: b157 - b161 + b176 <= 1 e1052: b158 - b159 + b177 <= 1 e1053: b158 - b160 + b178 <= 1 e1054: b158 - b161 + b179 <= 1 e1055: b159 - b160 + b180 <= 1 e1056: b159 - b161 + b181 <= 1 e1057: b160 - b161 + b182 <= 1 e1058: b162 - b163 + b168 <= 1 e1059: b162 - b164 + b169 <= 1 e1060: b162 - b165 + b170 <= 1 e1061: b162 - b166 + b171 <= 1 e1062: b162 - b167 + b172 <= 1 e1063: b163 - b164 + b173 <= 1 e1064: b163 - b165 + b174 <= 1 e1065: b163 - b166 + b175 <= 1 e1066: b163 - b167 + b176 <= 1 e1067: b164 - b165 + b177 <= 1 e1068: b164 - b166 + b178 <= 1 e1069: b164 - b167 + b179 <= 1 e1070: b165 - b166 + b180 <= 1 e1071: b165 - b167 + b181 <= 1 e1072: b166 - b167 + b182 <= 1 e1073: b168 - b169 + b173 <= 1 e1074: b168 - b170 + b174 <= 1 e1075: b168 - b171 + b175 <= 1 e1076: b168 - b172 + b176 <= 1 e1077: b169 - b170 + b177 <= 1 e1078: b169 - b171 + b178 <= 1 e1079: b169 - b172 + b179 <= 1 e1080: b170 - b171 + b180 <= 1 e1081: b170 - b172 + b181 <= 1 e1082: b171 - b172 + b182 <= 1 e1083: b173 - b174 + b177 <= 1 e1084: b173 - b175 + b178 <= 1 e1085: b173 - b176 + b179 <= 1 e1086: b174 - b175 + b180 <= 1 e1087: b174 - b176 + b181 <= 1 e1088: b175 - b176 + b182 <= 1 e1089: b177 - b178 + b180 <= 1 e1090: b177 - b179 + b181 <= 1 e1091: b178 - b179 + b182 <= 1 e1092: b180 - b181 + b182 <= 1 e1093: b92 - b93 - b94 <= 0 e1094: - b94 + b95 - b96 <= 0 e1095: - b94 + b97 - b98 <= 0 e1096: - b94 + b99 - b100 <= 0 e1097: - b94 + b101 - b102 <= 0 e1098: - b94 + b103 - b104 <= 0 e1099: - b94 + b105 - b106 <= 0 e1100: - b94 + b107 - b108 <= 0 e1101: - b94 + b109 - b110 <= 0 e1102: - b94 + b111 - b112 <= 0 e1103: - b94 + b113 - b114 <= 0 e1104: - b94 + b115 - b116 <= 0 e1105: - b92 + b95 - b117 <= 0 e1106: - b92 + b97 - b118 <= 0 e1107: - b92 + b99 - b119 <= 0 e1108: - b92 + b101 - b120 <= 0 e1109: - b92 + b103 - b121 <= 0 e1110: - b92 + b105 - b122 <= 0 e1111: - b92 + b107 - b123 <= 0 e1112: - b92 + b109 - b124 <= 0 e1113: - b92 + b111 - b125 <= 0 e1114: - b92 + b113 - b126 <= 0 e1115: - b92 + b115 - b127 <= 0 e1116: - b95 + b97 - b128 <= 0 e1117: - b95 + b99 - b129 <= 0 e1118: - b95 + b101 - b130 <= 0 e1119: - b95 + b103 - b131 <= 0 e1120: - b95 + b105 - b132 <= 0 e1121: - b95 + b107 - b133 <= 0 e1122: - b95 + b109 - b134 <= 0 e1123: - b95 + b111 - b135 <= 0 e1124: - b95 + b113 - b136 <= 0 e1125: - b95 + b115 - b137 <= 0 e1126: - b97 + b99 - b138 <= 0 e1127: - b97 + b101 - b139 <= 0 e1128: - b97 + b103 - b140 <= 0 e1129: - b97 + b105 - b141 <= 0 e1130: - b97 + b107 - b142 <= 0 e1131: - b97 + b109 - b143 <= 0 e1132: - b97 + b111 - b144 <= 0 e1133: - b97 + b113 - b145 <= 0 e1134: - b97 + b115 - b146 <= 0 e1135: - b99 + b101 - b147 <= 0 e1136: - b99 + b103 - b148 <= 0 e1137: - b99 + b105 - b149 <= 0 e1138: - b99 + b107 - b150 <= 0 e1139: - b99 + b109 - b151 <= 0 e1140: - b99 + b111 - b152 <= 0 e1141: - b99 + b113 - b153 <= 0 e1142: - b99 + b115 - b154 <= 0 e1143: - b101 + b103 - b155 <= 0 e1144: - b101 + b105 - b156 <= 0 e1145: - b101 + b107 - b157 <= 0 e1146: - b101 + b109 - b158 <= 0 e1147: - b101 + b111 - b159 <= 0 e1148: - b101 + b113 - b160 <= 0 e1149: - b101 + b115 - b161 <= 0 e1150: - b103 + b105 - b162 <= 0 e1151: - b103 + b107 - b163 <= 0 e1152: - b103 + b109 - b164 <= 0 e1153: - b103 + b111 - b165 <= 0 e1154: - b103 + b113 - b166 <= 0 e1155: - b103 + b115 - b167 <= 0 e1156: - b105 + b107 - b168 <= 0 e1157: - b105 + b109 - b169 <= 0 e1158: - b105 + b111 - b170 <= 0 e1159: - b105 + b113 - b171 <= 0 e1160: - b105 + b115 - b172 <= 0 e1161: - b107 + b109 - b173 <= 0 e1162: - b107 + b111 - b174 <= 0 e1163: - b107 + b113 - b175 <= 0 e1164: - b107 + b115 - b176 <= 0 e1165: - b109 + b111 - b177 <= 0 e1166: - b109 + b113 - b178 <= 0 e1167: - b109 + b115 - b179 <= 0 e1168: - b111 + b113 - b180 <= 0 e1169: - b111 + b115 - b181 <= 0 e1170: - b113 + b115 - b182 <= 0 e1171: - b93 + b96 - b117 <= 0 e1172: - b93 + b98 - b118 <= 0 e1173: - b93 + b100 - b119 <= 0 e1174: - b93 + b102 - b120 <= 0 e1175: - b93 + b104 - b121 <= 0 e1176: - b93 + b106 - b122 <= 0 e1177: - b93 + b108 - b123 <= 0 e1178: - b93 + b110 - b124 <= 0 e1179: - b93 + b112 - b125 <= 0 e1180: - b93 + b114 - b126 <= 0 e1181: - b93 + b116 - b127 <= 0 e1182: - b96 + b98 - b128 <= 0 e1183: - b96 + b100 - b129 <= 0 e1184: - b96 + b102 - b130 <= 0 e1185: - b96 + b104 - b131 <= 0 e1186: - b96 + b106 - b132 <= 0 e1187: - b96 + b108 - b133 <= 0 e1188: - b96 + b110 - b134 <= 0 e1189: - b96 + b112 - b135 <= 0 e1190: - b96 + b114 - b136 <= 0 e1191: - b96 + b116 - b137 <= 0 e1192: - b98 + b100 - b138 <= 0 e1193: - b98 + b102 - b139 <= 0 e1194: - b98 + b104 - b140 <= 0 e1195: - b98 + b106 - b141 <= 0 e1196: - b98 + b108 - b142 <= 0 e1197: - b98 + b110 - b143 <= 0 e1198: - b98 + b112 - b144 <= 0 e1199: - b98 + b114 - b145 <= 0 e1200: - b98 + b116 - b146 <= 0 e1201: - b100 + b102 - b147 <= 0 e1202: - b100 + b104 - b148 <= 0 e1203: - b100 + b106 - b149 <= 0 e1204: - b100 + b108 - b150 <= 0 e1205: - b100 + b110 - b151 <= 0 e1206: - b100 + b112 - b152 <= 0 e1207: - b100 + b114 - b153 <= 0 e1208: - b100 + b116 - b154 <= 0 e1209: - b102 + b104 - b155 <= 0 e1210: - b102 + b106 - b156 <= 0 e1211: - b102 + b108 - b157 <= 0 e1212: - b102 + b110 - b158 <= 0 e1213: - b102 + b112 - b159 <= 0 e1214: - b102 + b114 - b160 <= 0 e1215: - b102 + b116 - b161 <= 0 e1216: - b104 + b106 - b162 <= 0 e1217: - b104 + b108 - b163 <= 0 e1218: - b104 + b110 - b164 <= 0 e1219: - b104 + b112 - b165 <= 0 e1220: - b104 + b114 - b166 <= 0 e1221: - b104 + b116 - b167 <= 0 e1222: - b106 + b108 - b168 <= 0 e1223: - b106 + b110 - b169 <= 0 e1224: - b106 + b112 - b170 <= 0 e1225: - b106 + b114 - b171 <= 0 e1226: - b106 + b116 - b172 <= 0 e1227: - b108 + b110 - b173 <= 0 e1228: - b108 + b112 - b174 <= 0 e1229: - b108 + b114 - b175 <= 0 e1230: - b108 + b116 - b176 <= 0 e1231: - b110 + b112 - b177 <= 0 e1232: - b110 + b114 - b178 <= 0 e1233: - b110 + b116 - b179 <= 0 e1234: - b112 + b114 - b180 <= 0 e1235: - b112 + b116 - b181 <= 0 e1236: - b114 + b116 - b182 <= 0 e1237: - b117 + b118 - b128 <= 0 e1238: - b117 + b119 - b129 <= 0 e1239: - b117 + b120 - b130 <= 0 e1240: - b117 + b121 - b131 <= 0 e1241: - b117 + b122 - b132 <= 0 e1242: - b117 + b123 - b133 <= 0 e1243: - b117 + b124 - b134 <= 0 e1244: - b117 + b125 - b135 <= 0 e1245: - b117 + b126 - b136 <= 0 e1246: - b117 + b127 - b137 <= 0 e1247: - b118 + b119 - b138 <= 0 e1248: - b118 + b120 - b139 <= 0 e1249: - b118 + b121 - b140 <= 0 e1250: - b118 + b122 - b141 <= 0 e1251: - b118 + b123 - b142 <= 0 e1252: - b118 + b124 - b143 <= 0 e1253: - b118 + b125 - b144 <= 0 e1254: - b118 + b126 - b145 <= 0 e1255: - b118 + b127 - b146 <= 0 e1256: - b119 + b120 - b147 <= 0 e1257: - b119 + b121 - b148 <= 0 e1258: - b119 + b122 - b149 <= 0 e1259: - b119 + b123 - b150 <= 0 e1260: - b119 + b124 - b151 <= 0 e1261: - b119 + b125 - b152 <= 0 e1262: - b119 + b126 - b153 <= 0 e1263: - b119 + b127 - b154 <= 0 e1264: - b120 + b121 - b155 <= 0 e1265: - b120 + b122 - b156 <= 0 e1266: - b120 + b123 - b157 <= 0 e1267: - b120 + b124 - b158 <= 0 e1268: - b120 + b125 - b159 <= 0 e1269: - b120 + b126 - b160 <= 0 e1270: - b120 + b127 - b161 <= 0 e1271: - b121 + b122 - b162 <= 0 e1272: - b121 + b123 - b163 <= 0 e1273: - b121 + b124 - b164 <= 0 e1274: - b121 + b125 - b165 <= 0 e1275: - b121 + b126 - b166 <= 0 e1276: - b121 + b127 - b167 <= 0 e1277: - b122 + b123 - b168 <= 0 e1278: - b122 + b124 - b169 <= 0 e1279: - b122 + b125 - b170 <= 0 e1280: - b122 + b126 - b171 <= 0 e1281: - b122 + b127 - b172 <= 0 e1282: - b123 + b124 - b173 <= 0 e1283: - b123 + b125 - b174 <= 0 e1284: - b123 + b126 - b175 <= 0 e1285: - b123 + b127 - b176 <= 0 e1286: - b124 + b125 - b177 <= 0 e1287: - b124 + b126 - b178 <= 0 e1288: - b124 + b127 - b179 <= 0 e1289: - b125 + b126 - b180 <= 0 e1290: - b125 + b127 - b181 <= 0 e1291: - b126 + b127 - b182 <= 0 e1292: - b128 + b129 - b138 <= 0 e1293: - b128 + b130 - b139 <= 0 e1294: - b128 + b131 - b140 <= 0 e1295: - b128 + b132 - b141 <= 0 e1296: - b128 + b133 - b142 <= 0 e1297: - b128 + b134 - b143 <= 0 e1298: - b128 + b135 - b144 <= 0 e1299: - b128 + b136 - b145 <= 0 e1300: - b128 + b137 - b146 <= 0 e1301: - b129 + b130 - b147 <= 0 e1302: - b129 + b131 - b148 <= 0 e1303: - b129 + b132 - b149 <= 0 e1304: - b129 + b133 - b150 <= 0 e1305: - b129 + b134 - b151 <= 0 e1306: - b129 + b135 - b152 <= 0 e1307: - b129 + b136 - b153 <= 0 e1308: - b129 + b137 - b154 <= 0 e1309: - b130 + b131 - b155 <= 0 e1310: - b130 + b132 - b156 <= 0 e1311: - b130 + b133 - b157 <= 0 e1312: - b130 + b134 - b158 <= 0 e1313: - b130 + b135 - b159 <= 0 e1314: - b130 + b136 - b160 <= 0 e1315: - b130 + b137 - b161 <= 0 e1316: - b131 + b132 - b162 <= 0 e1317: - b131 + b133 - b163 <= 0 e1318: - b131 + b134 - b164 <= 0 e1319: - b131 + b135 - b165 <= 0 e1320: - b131 + b136 - b166 <= 0 e1321: - b131 + b137 - b167 <= 0 e1322: - b132 + b133 - b168 <= 0 e1323: - b132 + b134 - b169 <= 0 e1324: - b132 + b135 - b170 <= 0 e1325: - b132 + b136 - b171 <= 0 e1326: - b132 + b137 - b172 <= 0 e1327: - b133 + b134 - b173 <= 0 e1328: - b133 + b135 - b174 <= 0 e1329: - b133 + b136 - b175 <= 0 e1330: - b133 + b137 - b176 <= 0 e1331: - b134 + b135 - b177 <= 0 e1332: - b134 + b136 - b178 <= 0 e1333: - b134 + b137 - b179 <= 0 e1334: - b135 + b136 - b180 <= 0 e1335: - b135 + b137 - b181 <= 0 e1336: - b136 + b137 - b182 <= 0 e1337: - b138 + b139 - b147 <= 0 e1338: - b138 + b140 - b148 <= 0 e1339: - b138 + b141 - b149 <= 0 e1340: - b138 + b142 - b150 <= 0 e1341: - b138 + b143 - b151 <= 0 e1342: - b138 + b144 - b152 <= 0 e1343: - b138 + b145 - b153 <= 0 e1344: - b138 + b146 - b154 <= 0 e1345: - b139 + b140 - b155 <= 0 e1346: - b139 + b141 - b156 <= 0 e1347: - b139 + b142 - b157 <= 0 e1348: - b139 + b143 - b158 <= 0 e1349: - b139 + b144 - b159 <= 0 e1350: - b139 + b145 - b160 <= 0 e1351: - b139 + b146 - b161 <= 0 e1352: - b140 + b141 - b162 <= 0 e1353: - b140 + b142 - b163 <= 0 e1354: - b140 + b143 - b164 <= 0 e1355: - b140 + b144 - b165 <= 0 e1356: - b140 + b145 - b166 <= 0 e1357: - b140 + b146 - b167 <= 0 e1358: - b141 + b142 - b168 <= 0 e1359: - b141 + b143 - b169 <= 0 e1360: - b141 + b144 - b170 <= 0 e1361: - b141 + b145 - b171 <= 0 e1362: - b141 + b146 - b172 <= 0 e1363: - b142 + b143 - b173 <= 0 e1364: - b142 + b144 - b174 <= 0 e1365: - b142 + b145 - b175 <= 0 e1366: - b142 + b146 - b176 <= 0 e1367: - b143 + b144 - b177 <= 0 e1368: - b143 + b145 - b178 <= 0 e1369: - b143 + b146 - b179 <= 0 e1370: - b144 + b145 - b180 <= 0 e1371: - b144 + b146 - b181 <= 0 e1372: - b145 + b146 - b182 <= 0 e1373: - b147 + b148 - b155 <= 0 e1374: - b147 + b149 - b156 <= 0 e1375: - b147 + b150 - b157 <= 0 e1376: - b147 + b151 - b158 <= 0 e1377: - b147 + b152 - b159 <= 0 e1378: - b147 + b153 - b160 <= 0 e1379: - b147 + b154 - b161 <= 0 e1380: - b148 + b149 - b162 <= 0 e1381: - b148 + b150 - b163 <= 0 e1382: - b148 + b151 - b164 <= 0 e1383: - b148 + b152 - b165 <= 0 e1384: - b148 + b153 - b166 <= 0 e1385: - b148 + b154 - b167 <= 0 e1386: - b149 + b150 - b168 <= 0 e1387: - b149 + b151 - b169 <= 0 e1388: - b149 + b152 - b170 <= 0 e1389: - b149 + b153 - b171 <= 0 e1390: - b149 + b154 - b172 <= 0 e1391: - b150 + b151 - b173 <= 0 e1392: - b150 + b152 - b174 <= 0 e1393: - b150 + b153 - b175 <= 0 e1394: - b150 + b154 - b176 <= 0 e1395: - b151 + b152 - b177 <= 0 e1396: - b151 + b153 - b178 <= 0 e1397: - b151 + b154 - b179 <= 0 e1398: - b152 + b153 - b180 <= 0 e1399: - b152 + b154 - b181 <= 0 e1400: - b153 + b154 - b182 <= 0 e1401: - b155 + b156 - b162 <= 0 e1402: - b155 + b157 - b163 <= 0 e1403: - b155 + b158 - b164 <= 0 e1404: - b155 + b159 - b165 <= 0 e1405: - b155 + b160 - b166 <= 0 e1406: - b155 + b161 - b167 <= 0 e1407: - b156 + b157 - b168 <= 0 e1408: - b156 + b158 - b169 <= 0 e1409: - b156 + b159 - b170 <= 0 e1410: - b156 + b160 - b171 <= 0 e1411: - b156 + b161 - b172 <= 0 e1412: - b157 + b158 - b173 <= 0 e1413: - b157 + b159 - b174 <= 0 e1414: - b157 + b160 - b175 <= 0 e1415: - b157 + b161 - b176 <= 0 e1416: - b158 + b159 - b177 <= 0 e1417: - b158 + b160 - b178 <= 0 e1418: - b158 + b161 - b179 <= 0 e1419: - b159 + b160 - b180 <= 0 e1420: - b159 + b161 - b181 <= 0 e1421: - b160 + b161 - b182 <= 0 e1422: - b162 + b163 - b168 <= 0 e1423: - b162 + b164 - b169 <= 0 e1424: - b162 + b165 - b170 <= 0 e1425: - b162 + b166 - b171 <= 0 e1426: - b162 + b167 - b172 <= 0 e1427: - b163 + b164 - b173 <= 0 e1428: - b163 + b165 - b174 <= 0 e1429: - b163 + b166 - b175 <= 0 e1430: - b163 + b167 - b176 <= 0 e1431: - b164 + b165 - b177 <= 0 e1432: - b164 + b166 - b178 <= 0 e1433: - b164 + b167 - b179 <= 0 e1434: - b165 + b166 - b180 <= 0 e1435: - b165 + b167 - b181 <= 0 e1436: - b166 + b167 - b182 <= 0 e1437: - b168 + b169 - b173 <= 0 e1438: - b168 + b170 - b174 <= 0 e1439: - b168 + b171 - b175 <= 0 e1440: - b168 + b172 - b176 <= 0 e1441: - b169 + b170 - b177 <= 0 e1442: - b169 + b171 - b178 <= 0 e1443: - b169 + b172 - b179 <= 0 e1444: - b170 + b171 - b180 <= 0 e1445: - b170 + b172 - b181 <= 0 e1446: - b171 + b172 - b182 <= 0 e1447: - b173 + b174 - b177 <= 0 e1448: - b173 + b175 - b178 <= 0 e1449: - b173 + b176 - b179 <= 0 e1450: - b174 + b175 - b180 <= 0 e1451: - b174 + b176 - b181 <= 0 e1452: - b175 + b176 - b182 <= 0 e1453: - b177 + b178 - b180 <= 0 e1454: - b177 + b179 - b181 <= 0 e1455: - b178 + b179 - b182 <= 0 e1456: - b180 + b181 - b182 <= 0 e1457: - 5 b1 - 13 b2 + 9 b3 + 17 b4 + 5 b5 + 7 b6 - 3 b7 + 21 b8 + 8 b9 + 9 b10 - 3 b11 + 23 b12 + 12 b13 + 9 b14 - 3 b15 + 9 b16 - 3 b17 + 7 b18 - 5 b19 + 21 b20 + 8 b21 + 25 b22 + 12 b23 + 9 b24 - 3 b25 + 20 b26 + 11 b27 + 23 b28 + 14 b29 + 24 b30 + 14 b31 + 14 b32 + 13 b33 + 23 b34 + 26 b35 + 14 b36 - 11 b37 + 3 b38 - 9 b39 + 8 b40 - 9 b41 - 9 b42 - 9 b43 + 3 b44 + 11 b45 - 9 b46 + 13 b47 + 2 b48 + 17 b49 + 2 b50 + 2 b51 + b52 + 13 b53 + 19 b54 + 2 b55 - 13 b56 + 6 b57 - 13 b58 - 13 b59 - 13 b60 + 8 b62 - 13 b63 + 17 b64 - b67 + 13 b68 + 19 b69 - 17 b71 - 17 b72 - 17 b73 - 6 b74 + 2 b75 - 17 b76 - b78 + 13 b79 + 19 b80 - b82 + 13 b83 + 19 b84 + 13 b86 + 17 b87 + b88 + 8 b89 - 13 b90 - 19 b91 + 16 b92 + 9 b93 + 9 b94 + 7 b95 - 5 b96 - 15 b98 + 7 b99 - 5 b100 + 6 b101 - 7 b102 + b103 - 11 b104 + 14 b105 + 5 b106 + 6 b107 - 5 b108 + 14 b109 + 5 b110 + 15 b111 + 7 b112 + 13 b113 + 3 b114 + 15 b115 + 8 b116 - 15 b117 - 23 b118 - 15 b119 - 16 b120 - 19 b121 - 7 b122 - 14 b123 - 7 b124 - 5 b125 - 8 b126 - 2 b127 - 11 b128 - 2 b130 - 7 b131 + 11 b132 - b133 + 11 b134 + 13 b135 + 9 b136 + 14 b137 + 11 b138 + 8 b139 + 3 b140 + 21 b141 + 9 b142 + 21 b143 + 23 b144 + 19 b145 + 23 b146 - 2 b147 - 7 b148 + 11 b149 - b150 + 11 b151 + 13 b152 + 9 b153 + 14 b154 - 5 b155 + 11 b156 + b157 + 11 b158 + 13 b159 + 10 b160 + 15 b161 + 17 b162 + 5 b163 + 17 b164 + 19 b165 + 15 b166 + 19 b167 - 11 b168 + b170 - b171 + 5 b172 + 11 b173 + 13 b174 + 9 b175 + 13 b176 + b177 - b178 + 5 b179 - 3 b180 + 3 b181 + 6 b182 + objvar + 2 b1 b92 + 2 b1 b93 + 2 b1 b101 + 2 b1 b102 - 2 b1 b111 - 2 b1 b112 + 2 b1 b113 + 2 b1 b114 + 2 b1 b115 + 2 b1 b116 - 2 b1 b117 - 2 b1 b118 - 2 b1 b119 - 2 b1 b121 - 2 b1 b122 - 2 b1 b123 - 2 b1 b124 - 2 b1 b125 + 2 b1 b130 - 2 b1 b135 + 2 b1 b136 + 2 b1 b137 + 2 b1 b139 - 2 b1 b144 + 2 b1 b145 + 2 b1 b146 + 2 b1 b147 - 2 b1 b152 + 2 b1 b153 + 2 b1 b154 - 2 b1 b155 - 2 b1 b156 - 2 b1 b157 - 2 b1 b158 - 2 b1 b159 - 2 b1 b165 + 2 b1 b166 + 2 b1 b167 - 2 b1 b170 + 2 b1 b171 + 2 b1 b172 - 2 b1 b174 + 2 b1 b175 + 2 b1 b176 - 2 b1 b177 + 2 b1 b178 + 2 b1 b179 + 2 b1 b180 + 2 b1 b181 + 2 b2 b92 + 2 b2 b93 + 2 b2 b94 + 2 b2 b95 + 2 b2 b97 + 2 b2 b99 + 2 b2 b101 + 2 b2 b102 + 2 b2 b103 - 2 b2 b106 + 2 b2 b107 - 2 b2 b110 + 2 b2 b111 + 2 b2 b113 + 2 b2 b114 + 2 b2 b115 + 2 b2 b116 - 2 b2 b117 - 2 b2 b118 - 2 b2 b119 - 2 b2 b121 - 2 b2 b122 - 2 b2 b123 - 2 b2 b124 - 2 b2 b125 + 2 b2 b130 - 2 b2 b132 - 2 b2 b134 + 2 b2 b136 + 2 b2 b137 + 2 b2 b139 - 2 b2 b141 - 2 b2 b143 + 2 b2 b145 + 2 b2 b146 + 2 b2 b147 - 2 b2 b149 - 2 b2 b151 + 2 b2 b153 + 2 b2 b154 - 2 b2 b155 - 2 b2 b156 - 2 b2 b157 - 2 b2 b158 - 2 b2 b159 - 2 b2 b162 - 2 b2 b164 + 2 b2 b166 + 2 b2 b167 + 2 b2 b168 + 2 b2 b170 + 2 b2 b171 + 2 b2 b172 - 2 b2 b173 + 2 b2 b175 + 2 b2 b176 + 2 b2 b177 + 2 b2 b178 + 2 b2 b179 + 2 b2 b180 + 2 b2 b181 - 2 b3 b92 - 2 b3 b94 - 2 b3 b95 - 2 b3 b97 - 2 b3 b99 - 2 b3 b101 - 2 b3 b103 + 2 b3 b106 - 2 b3 b107 + 2 b3 b110 - 2 b3 b111 - 2 b3 b112 - 2 b3 b113 - 2 b3 b115 + 2 b3 b122 + 2 b3 b124 - 2 b3 b125 + 2 b3 b132 + 2 b3 b134 - 2 b3 b135 + 2 b3 b141 + 2 b3 b143 - 2 b3 b144 + 2 b3 b149 + 2 b3 b151 - 2 b3 b152 + 2 b3 b156 + 2 b3 b158 - 2 b3 b159 + 2 b3 b162 + 2 b3 b164 - 2 b3 b165 - 2 b3 b168 - 2 b3 b170 - 2 b3 b171 - 2 b3 b172 + 2 b3 b173 - 2 b3 b174 - 2 b3 b177 - 2 b3 b178 - 2 b3 b179 + 2 b3 b180 + 2 b3 b181 + 2 b4 b92 + 2 b4 b93 - 2 b4 b111 - 2 b4 b112 - 2 b4 b117 - 2 b4 b118 - 2 b4 b119 - 2 b4 b120 - 2 b4 b121 - 2 b4 b122 - 2 b4 b123 - 2 b4 b124 - 2 b4 b125 - 2 b4 b126 - 2 b4 b127 - 2 b4 b135 - 2 b4 b144 - 2 b4 b152 - 2 b4 b159 - 2 b4 b165 - 2 b4 b170 - 2 b4 b174 - 2 b4 b177 + 2 b4 b180 + 2 b4 b181 + 2 b5 b92 + 2 b5 b93 + 2 b5 b94 + 2 b5 b95 + 2 b5 b97 + 2 b5 b99 + 2 b5 b101 + 2 b5 b103 - 2 b5 b106 + 2 b5 b107 - 2 b5 b110 + 2 b5 b111 + 2 b5 b113 + 2 b5 b115 - 2 b5 b117 - 2 b5 b118 - 2 b5 b119 - 2 b5 b120 - 2 b5 b121 - 2 b5 b122 - 2 b5 b123 - 2 b5 b124 - 2 b5 b125 - 2 b5 b126 - 2 b5 b127 - 2 b5 b132 - 2 b5 b134 - 2 b5 b141 - 2 b5 b143 - 2 b5 b149 - 2 b5 b151 - 2 b5 b156 - 2 b5 b158 - 2 b5 b162 - 2 b5 b164 + 2 b5 b168 + 2 b5 b170 + 2 b5 b171 + 2 b5 b172 - 2 b5 b173 + 2 b5 b177 + 2 b5 b178 + 2 b5 b179 - 2 b6 b93 + 2 b6 b94 - 2 b6 b96 - 2 b6 b98 - 2 b6 b100 - 2 b6 b102 - 2 b6 b104 - 2 b6 b106 - 2 b6 b108 - 2 b6 b110 - 2 b6 b111 - 2 b6 b112 - 2 b6 b114 + 2 b6 b115 - 2 b6 b125 + 2 b6 b127 - 2 b6 b135 + 2 b6 b137 - 2 b6 b144 + 2 b6 b146 - 2 b6 b152 + 2 b6 b154 - 2 b6 b159 + 2 b6 b161 - 2 b6 b165 + 2 b6 b167 - 2 b6 b170 + 2 b6 b172 - 2 b6 b174 + 2 b6 b176 - 2 b6 b177 + 2 b6 b179 + 2 b6 b180 + 2 b6 b181 + 2 b6 b182 + 2 b7 b92 - 2 b7 b93 + 2 b7 b94 + 2 b7 b95 - 2 b7 b96 + 2 b7 b97 - 2 b7 b98 + 2 b7 b99 - 2 b7 b100 + 2 b7 b101 - 2 b7 b102 + 2 b7 b103 - 2 b7 b104 - 2 b7 b106 + 2 b7 b107 - 2 b7 b108 - 2 b7 b110 + 2 b7 b111 - 2 b7 b112 + 2 b7 b113 - 2 b7 b114 + 2 b7 b115 - 2 b7 b122 - 2 b7 b124 + 2 b7 b127 - 2 b7 b132 - 2 b7 b134 + 2 b7 b137 - 2 b7 b141 - 2 b7 b143 + 2 b7 b146 - 2 b7 b149 - 2 b7 b151 + 2 b7 b154 - 2 b7 b156 - 2 b7 b158 + 2 b7 b161 - 2 b7 b162 - 2 b7 b164 + 2 b7 b167 + 2 b7 b168 + 2 b7 b170 + 2 b7 b171 + 2 b7 b172 - 2 b7 b173 + 2 b7 b176 + 2 b7 b177 + 2 b7 b178 + 2 b7 b179 + 2 b7 b181 + 2 b7 b182 - 2 b8 b92 - 2 b8 b94 - 2 b8 b95 - 2 b8 b97 - 2 b8 b99 - 2 b8 b101 - 2 b8 b103 - 2 b8 b105 - 2 b8 b107 - 2 b8 b109 - 2 b8 b111 - 2 b8 b112 - 2 b8 b113 - 2 b8 b115 - 2 b8 b125 - 2 b8 b135 - 2 b8 b144 - 2 b8 b152 - 2 b8 b159 - 2 b8 b165 - 2 b8 b170 - 2 b8 b174 - 2 b8 b177 + 2 b8 b180 + 2 b8 b181 - 2 b9 b106 - 2 b9 b110 - 2 b9 b122 - 2 b9 b124 - 2 b9 b132 - 2 b9 b134 - 2 b9 b141 - 2 b9 b143 - 2 b9 b149 - 2 b9 b151 - 2 b9 b156 - 2 b9 b158 - 2 b9 b162 - 2 b9 b164 + 2 b9 b168 + 2 b9 b170 + 2 b9 b171 + 2 b9 b172 - 2 b9 b173 + 2 b9 b177 + 2 b9 b178 + 2 b9 b179 - 2 b10 b111 - 2 b10 b112 - 2 b10 b125 - 2 b10 b135 - 2 b10 b144 - 2 b10 b152 - 2 b10 b159 - 2 b10 b165 - 2 b10 b170 - 2 b10 b174 - 2 b10 b177 + 2 b10 b180 + 2 b10 b181 + 2 b11 b92 + 2 b11 b94 + 2 b11 b95 + 2 b11 b97 + 2 b11 b99 + 2 b11 b101 + 2 b11 b103 - 2 b11 b106 + 2 b11 b107 - 2 b11 b110 + 2 b11 b111 + 2 b11 b113 + 2 b11 b115 - 2 b11 b122 - 2 b11 b124 - 2 b11 b132 - 2 b11 b134 - 2 b11 b141 - 2 b11 b143 - 2 b11 b149 - 2 b11 b151 - 2 b11 b156 - 2 b11 b158 - 2 b11 b162 - 2 b11 b164 + 2 b11 b168 + 2 b11 b170 + 2 b11 b171 + 2 b11 b172 - 2 b11 b173 + 2 b11 b177 + 2 b11 b178 + 2 b11 b179 + 2 b12 b93 - 2 b12 b94 - 2 b12 b95 - 2 b12 b97 - 2 b12 b99 - 2 b12 b101 - 2 b12 b103 - 2 b12 b105 + 2 b12 b108 - 2 b12 b109 - 2 b12 b111 - 2 b12 b112 - 2 b12 b113 - 2 b12 b115 - 2 b12 b117 - 2 b12 b118 - 2 b12 b119 - 2 b12 b120 - 2 b12 b121 - 2 b12 b122 - 2 b12 b124 - 2 b12 b125 - 2 b12 b126 - 2 b12 b127 + 2 b12 b133 - 2 b12 b135 + 2 b12 b142 - 2 b12 b144 + 2 b12 b150 - 2 b12 b152 + 2 b12 b157 - 2 b12 b159 + 2 b12 b163 - 2 b12 b165 + 2 b12 b168 - 2 b12 b170 - 2 b12 b173 - 2 b12 b174 - 2 b12 b175 - 2 b12 b176 - 2 b12 b177 + 2 b12 b180 + 2 b12 b181 + 2 b13 b93 - 2 b13 b106 + 2 b13 b108 - 2 b13 b110 - 2 b13 b117 - 2 b13 b118 - 2 b13 b119 - 2 b13 b120 - 2 b13 b121 - 2 b13 b122 - 2 b13 b124 - 2 b13 b125 - 2 b13 b126 - 2 b13 b127 - 2 b13 b132 + 2 b13 b133 - 2 b13 b134 - 2 b13 b141 + 2 b13 b142 - 2 b13 b143 - 2 b13 b149 + 2 b13 b150 - 2 b13 b151 - 2 b13 b156 + 2 b13 b157 - 2 b13 b158 - 2 b13 b162 + 2 b13 b163 - 2 b13 b164 + 2 b13 b168 + 2 b13 b170 + 2 b13 b171 + 2 b13 b172 - 2 b13 b173 - 2 b13 b174 - 2 b13 b175 - 2 b13 b176 + 2 b13 b177 + 2 b13 b178 + 2 b13 b179 - 2 b14 b111 - 2 b14 b112 - 2 b14 b125 - 2 b14 b135 - 2 b14 b144 - 2 b14 b152 - 2 b14 b159 - 2 b14 b165 - 2 b14 b170 - 2 b14 b174 - 2 b14 b177 + 2 b14 b180 + 2 b14 b181 + 2 b15 b92 + 2 b15 b94 + 2 b15 b95 + 2 b15 b97 + 2 b15 b99 + 2 b15 b101 + 2 b15 b103 - 2 b15 b106 + 2 b15 b107 - 2 b15 b110 + 2 b15 b111 + 2 b15 b113 + 2 b15 b115 - 2 b15 b122 - 2 b15 b124 - 2 b15 b132 - 2 b15 b134 - 2 b15 b141 - 2 b15 b143 - 2 b15 b149 - 2 b15 b151 - 2 b15 b156 - 2 b15 b158 - 2 b15 b162 - 2 b15 b164 + 2 b15 b168 + 2 b15 b170 + 2 b15 b171 + 2 b15 b172 - 2 b15 b173 + 2 b15 b177 + 2 b15 b178 + 2 b15 b179 - 2 b16 b111 - 2 b16 b112 - 2 b16 b125 - 2 b16 b135 - 2 b16 b144 - 2 b16 b152 - 2 b16 b159 - 2 b16 b165 - 2 b16 b170 - 2 b16 b174 - 2 b16 b177 + 2 b16 b180 + 2 b16 b181 + 2 b17 b92 + 2 b17 b94 + 2 b17 b95 + 2 b17 b97 + 2 b17 b99 + 2 b17 b101 + 2 b17 b103 - 2 b17 b106 + 2 b17 b107 - 2 b17 b110 + 2 b17 b111 + 2 b17 b113 + 2 b17 b115 - 2 b17 b122 - 2 b17 b124 - 2 b17 b132 - 2 b17 b134 - 2 b17 b141 - 2 b17 b143 - 2 b17 b149 - 2 b17 b151 - 2 b17 b156 - 2 b17 b158 - 2 b17 b162 - 2 b17 b164 + 2 b17 b168 + 2 b17 b170 + 2 b17 b171 + 2 b17 b172 - 2 b17 b173 + 2 b17 b177 + 2 b17 b178 + 2 b17 b179 + 2 b18 b103 + 2 b18 b104 - 2 b18 b111 - 2 b18 b112 + 2 b18 b121 - 2 b18 b125 + 2 b18 b131 - 2 b18 b135 + 2 b18 b140 - 2 b18 b144 + 2 b18 b148 - 2 b18 b152 + 2 b18 b155 - 2 b18 b159 - 2 b18 b162 - 2 b18 b163 - 2 b18 b164 - 2 b18 b165 - 2 b18 b166 - 2 b18 b167 - 2 b18 b170 - 2 b18 b174 - 2 b18 b177 + 2 b18 b180 + 2 b18 b181 + 2 b19 b92 + 2 b19 b94 + 2 b19 b95 + 2 b19 b97 + 2 b19 b99 + 2 b19 b101 + 2 b19 b103 + 2 b19 b104 - 2 b19 b106 + 2 b19 b107 - 2 b19 b110 + 2 b19 b111 + 2 b19 b113 + 2 b19 b115 + 2 b19 b121 - 2 b19 b122 - 2 b19 b124 + 2 b19 b131 - 2 b19 b132 - 2 b19 b134 + 2 b19 b140 - 2 b19 b141 - 2 b19 b143 + 2 b19 b148 - 2 b19 b149 - 2 b19 b151 + 2 b19 b155 - 2 b19 b156 - 2 b19 b158 - 2 b19 b162 - 2 b19 b163 - 2 b19 b164 - 2 b19 b165 - 2 b19 b166 - 2 b19 b167 + 2 b19 b168 + 2 b19 b170 + 2 b19 b171 + 2 b19 b172 - 2 b19 b173 + 2 b19 b177 + 2 b19 b178 + 2 b19 b179 - 2 b20 b92 - 2 b20 b94 - 2 b20 b95 - 2 b20 b97 - 2 b20 b99 - 2 b20 b101 - 2 b20 b103 - 2 b20 b105 - 2 b20 b107 - 2 b20 b109 - 2 b20 b111 - 2 b20 b112 - 2 b20 b113 - 2 b20 b115 - 2 b20 b125 - 2 b20 b135 - 2 b20 b144 - 2 b20 b152 - 2 b20 b159 - 2 b20 b165 - 2 b20 b170 - 2 b20 b174 - 2 b20 b177 + 2 b20 b180 + 2 b20 b181 - 2 b21 b106 - 2 b21 b110 - 2 b21 b122 - 2 b21 b124 - 2 b21 b132 - 2 b21 b134 - 2 b21 b141 - 2 b21 b143 - 2 b21 b149 - 2 b21 b151 - 2 b21 b156 - 2 b21 b158 - 2 b21 b162 - 2 b21 b164 + 2 b21 b168 + 2 b21 b170 + 2 b21 b171 + 2 b21 b172 - 2 b21 b173 + 2 b21 b177 + 2 b21 b178 + 2 b21 b179 - 2 b22 b92 - 2 b22 b94 - 2 b22 b95 + 2 b22 b98 - 2 b22 b99 + 2 b22 b102 - 2 b22 b103 - 2 b22 b105 - 2 b22 b107 - 2 b22 b109 - 2 b22 b111 - 2 b22 b112 - 2 b22 b113 - 2 b22 b115 + 2 b22 b118 + 2 b22 b120 - 2 b22 b125 + 2 b22 b128 + 2 b22 b130 - 2 b22 b135 - 2 b22 b138 - 2 b22 b140 - 2 b22 b141 - 2 b22 b142 - 2 b22 b143 - 2 b22 b144 - 2 b22 b145 - 2 b22 b146 + 2 b22 b147 - 2 b22 b152 - 2 b22 b155 - 2 b22 b156 - 2 b22 b157 - 2 b22 b158 - 2 b22 b159 - 2 b22 b160 - 2 b22 b161 - 2 b22 b165 - 2 b22 b170 - 2 b22 b174 - 2 b22 b177 + 2 b22 b180 + 2 b22 b181 + 2 b23 b98 + 2 b23 b102 - 2 b23 b106 - 2 b23 b110 + 2 b23 b118 + 2 b23 b120 - 2 b23 b122 - 2 b23 b124 + 2 b23 b128 + 2 b23 b130 - 2 b23 b132 - 2 b23 b134 - 2 b23 b138 - 2 b23 b140 - 2 b23 b141 - 2 b23 b142 - 2 b23 b143 - 2 b23 b144 - 2 b23 b145 - 2 b23 b146 + 2 b23 b147 - 2 b23 b149 - 2 b23 b151 - 2 b23 b155 - 2 b23 b156 - 2 b23 b157 - 2 b23 b158 - 2 b23 b159 - 2 b23 b160 - 2 b23 b161 - 2 b23 b162 - 2 b23 b164 + 2 b23 b168 + 2 b23 b170 + 2 b23 b171 + 2 b23 b172 - 2 b23 b173 + 2 b23 b177 + 2 b23 b178 + 2 b23 b179 - 2 b24 b111 - 2 b24 b112 - 2 b24 b125 - 2 b24 b135 - 2 b24 b144 - 2 b24 b152 - 2 b24 b159 - 2 b24 b165 - 2 b24 b170 - 2 b24 b174 - 2 b24 b177 + 2 b24 b180 + 2 b24 b181 + 2 b25 b92 + 2 b25 b94 + 2 b25 b95 + 2 b25 b97 + 2 b25 b99 + 2 b25 b101 + 2 b25 b103 - 2 b25 b106 + 2 b25 b107 - 2 b25 b110 + 2 b25 b111 + 2 b25 b113 + 2 b25 b115 - 2 b25 b122 - 2 b25 b124 - 2 b25 b132 - 2 b25 b134 - 2 b25 b141 - 2 b25 b143 - 2 b25 b149 - 2 b25 b151 - 2 b25 b156 - 2 b25 b158 - 2 b25 b162 - 2 b25 b164 + 2 b25 b168 + 2 b25 b170 + 2 b25 b171 + 2 b25 b172 - 2 b25 b173 + 2 b25 b177 + 2 b25 b178 + 2 b25 b179 - 2 b26 b101 - 2 b26 b102 - 2 b26 b113 - 2 b26 b114 - 2 b26 b115 - 2 b26 b116 - 2 b26 b130 - 2 b26 b136 - 2 b26 b137 - 2 b26 b139 - 2 b26 b145 - 2 b26 b146 - 2 b26 b147 - 2 b26 b153 - 2 b26 b154 + 2 b26 b155 + 2 b26 b156 + 2 b26 b157 + 2 b26 b158 + 2 b26 b159 - 2 b26 b166 - 2 b26 b167 - 2 b26 b171 - 2 b26 b172 - 2 b26 b175 - 2 b26 b176 - 2 b26 b178 - 2 b26 b179 - 2 b26 b180 - 2 b26 b181 - 2 b27 b92 - 2 b27 b93 + 2 b27 b94 - 2 b27 b96 - 2 b27 b98 - 2 b27 b100 - 2 b27 b101 - 2 b27 b102 - 2 b27 b104 - 2 b27 b106 - 2 b27 b108 - 2 b27 b110 - 2 b27 b112 - 2 b27 b113 - 2 b27 b114 + 2 b27 b117 + 2 b27 b118 + 2 b27 b119 + 2 b27 b121 + 2 b27 b122 + 2 b27 b123 + 2 b27 b124 + 2 b27 b125 - 2 b27 b130 - 2 b27 b136 - 2 b27 b139 - 2 b27 b145 - 2 b27 b147 - 2 b27 b153 + 2 b27 b155 + 2 b27 b156 + 2 b27 b157 + 2 b27 b158 + 2 b27 b159 - 2 b27 b166 - 2 b27 b171 - 2 b27 b175 - 2 b27 b178 - 2 b27 b180 - 2 b28 b92 - 2 b28 b93 - 2 b28 b94 - 2 b28 b95 - 2 b28 b97 - 2 b28 b99 - 2 b28 b101 - 2 b28 b102 - 2 b28 b103 - 2 b28 b105 - 2 b28 b107 - 2 b28 b109 - 2 b28 b111 - 2 b28 b113 - 2 b28 b114 - 2 b28 b115 - 2 b28 b116 + 2 b28 b117 + 2 b28 b118 + 2 b28 b119 + 2 b28 b121 + 2 b28 b122 + 2 b28 b123 + 2 b28 b124 + 2 b28 b125 - 2 b28 b130 - 2 b28 b136 - 2 b28 b137 - 2 b28 b139 - 2 b28 b145 - 2 b28 b146 - 2 b28 b147 - 2 b28 b153 - 2 b28 b154 + 2 b28 b155 + 2 b28 b156 + 2 b28 b157 + 2 b28 b158 + 2 b28 b159 - 2 b28 b166 - 2 b28 b167 - 2 b28 b171 - 2 b28 b172 - 2 b28 b175 - 2 b28 b176 - 2 b28 b178 - 2 b28 b179 - 2 b28 b180 - 2 b28 b181 - 2 b29 b92 - 2 b29 b93 - 2 b29 b101 - 2 b29 b102 - 2 b29 b113 - 2 b29 b114 - 2 b29 b115 - 2 b29 b116 + 2 b29 b117 + 2 b29 b118 + 2 b29 b119 + 2 b29 b121 + 2 b29 b122 + 2 b29 b123 + 2 b29 b124 + 2 b29 b125 - 2 b29 b130 - 2 b29 b136 - 2 b29 b137 - 2 b29 b139 - 2 b29 b145 - 2 b29 b146 - 2 b29 b147 - 2 b29 b153 - 2 b29 b154 + 2 b29 b155 + 2 b29 b156 + 2 b29 b157 + 2 b29 b158 + 2 b29 b159 - 2 b29 b166 - 2 b29 b167 - 2 b29 b171 - 2 b29 b172 - 2 b29 b175 - 2 b29 b176 - 2 b29 b178 - 2 b29 b179 - 2 b29 b180 - 2 b29 b181 - 2 b30 b94 - 2 b30 b95 - 2 b30 b97 - 2 b30 b99 - 2 b30 b101 - 2 b30 b102 - 2 b30 b103 - 2 b30 b105 + 2 b30 b108 - 2 b30 b109 - 2 b30 b111 - 2 b30 b113 - 2 b30 b114 - 2 b30 b115 - 2 b30 b116 - 2 b30 b130 + 2 b30 b133 - 2 b30 b136 - 2 b30 b137 - 2 b30 b139 + 2 b30 b142 - 2 b30 b145 - 2 b30 b146 - 2 b30 b147 + 2 b30 b150 - 2 b30 b153 - 2 b30 b154 + 2 b30 b155 + 2 b30 b156 + 2 b30 b157 + 2 b30 b158 + 2 b30 b159 + 2 b30 b163 - 2 b30 b166 - 2 b30 b167 + 2 b30 b168 - 2 b30 b171 - 2 b30 b172 - 2 b30 b173 - 2 b30 b174 - 2 b30 b175 - 2 b30 b176 - 2 b30 b178 - 2 b30 b179 - 2 b30 b180 - 2 b30 b181 - 2 b31 b92 - 2 b31 b93 - 2 b31 b101 - 2 b31 b102 - 2 b31 b113 - 2 b31 b114 - 2 b31 b115 - 2 b31 b116 + 2 b31 b117 + 2 b31 b118 + 2 b31 b119 + 2 b31 b121 + 2 b31 b122 + 2 b31 b123 + 2 b31 b124 + 2 b31 b125 - 2 b31 b130 - 2 b31 b136 - 2 b31 b137 - 2 b31 b139 - 2 b31 b145 - 2 b31 b146 - 2 b31 b147 - 2 b31 b153 - 2 b31 b154 + 2 b31 b155 + 2 b31 b156 + 2 b31 b157 + 2 b31 b158 + 2 b31 b159 - 2 b31 b166 - 2 b31 b167 - 2 b31 b171 - 2 b31 b172 - 2 b31 b175 - 2 b31 b176 - 2 b31 b178 - 2 b31 b179 - 2 b31 b180 - 2 b31 b181 - 2 b32 b92 - 2 b32 b93 - 2 b32 b101 - 2 b32 b102 - 2 b32 b113 - 2 b32 b114 - 2 b32 b115 - 2 b32 b116 + 2 b32 b117 + 2 b32 b118 + 2 b32 b119 + 2 b32 b121 + 2 b32 b122 + 2 b32 b123 + 2 b32 b124 + 2 b32 b125 - 2 b32 b130 - 2 b32 b136 - 2 b32 b137 - 2 b32 b139 - 2 b32 b145 - 2 b32 b146 - 2 b32 b147 - 2 b32 b153 - 2 b32 b154 + 2 b32 b155 + 2 b32 b156 + 2 b32 b157 + 2 b32 b158 + 2 b32 b159 - 2 b32 b166 - 2 b32 b167 - 2 b32 b171 - 2 b32 b172 - 2 b32 b175 - 2 b32 b176 - 2 b32 b178 - 2 b32 b179 - 2 b32 b180 - 2 b32 b181 - 2 b33 b92 - 2 b33 b93 - 2 b33 b101 - 2 b33 b102 + 2 b33 b103 + 2 b33 b104 - 2 b33 b113 - 2 b33 b114 - 2 b33 b115 - 2 b33 b116 + 2 b33 b117 + 2 b33 b118 + 2 b33 b119 + 2 b33 b121 + 2 b33 b122 + 2 b33 b123 + 2 b33 b124 + 2 b33 b125 - 2 b33 b130 + 2 b33 b131 - 2 b33 b136 - 2 b33 b137 - 2 b33 b139 + 2 b33 b140 - 2 b33 b145 - 2 b33 b146 - 2 b33 b147 + 2 b33 b148 - 2 b33 b153 - 2 b33 b154 + 2 b33 b155 + 2 b33 b156 + 2 b33 b157 + 2 b33 b158 + 2 b33 b159 - 2 b33 b162 - 2 b33 b163 - 2 b33 b164 - 2 b33 b165 - 2 b33 b166 - 2 b33 b167 - 2 b33 b171 - 2 b33 b172 - 2 b33 b175 - 2 b33 b176 - 2 b33 b178 - 2 b33 b179 - 2 b33 b180 - 2 b33 b181 - 2 b34 b92 - 2 b34 b93 - 2 b34 b94 - 2 b34 b95 - 2 b34 b97 - 2 b34 b99 - 2 b34 b101 - 2 b34 b102 - 2 b34 b103 - 2 b34 b105 - 2 b34 b107 - 2 b34 b109 - 2 b34 b111 - 2 b34 b113 - 2 b34 b114 - 2 b34 b115 - 2 b34 b116 + 2 b34 b117 + 2 b34 b118 + 2 b34 b119 + 2 b34 b121 + 2 b34 b122 + 2 b34 b123 + 2 b34 b124 + 2 b34 b125 - 2 b34 b130 - 2 b34 b136 - 2 b34 b137 - 2 b34 b139 - 2 b34 b145 - 2 b34 b146 - 2 b34 b147 - 2 b34 b153 - 2 b34 b154 + 2 b34 b155 + 2 b34 b156 + 2 b34 b157 + 2 b34 b158 + 2 b34 b159 - 2 b34 b166 - 2 b34 b167 - 2 b34 b171 - 2 b34 b172 - 2 b34 b175 - 2 b34 b176 - 2 b34 b178 - 2 b34 b179 - 2 b34 b180 - 2 b34 b181 - 2 b35 b92 - 2 b35 b93 - 2 b35 b94 - 2 b35 b95 + 2 b35 b98 - 2 b35 b99 - 2 b35 b103 - 2 b35 b105 - 2 b35 b107 - 2 b35 b109 - 2 b35 b111 - 2 b35 b113 - 2 b35 b114 - 2 b35 b115 - 2 b35 b116 + 2 b35 b117 + 2 b35 b118 + 2 b35 b119 + 2 b35 b121 + 2 b35 b122 + 2 b35 b123 + 2 b35 b124 + 2 b35 b125 + 2 b35 b128 - 2 b35 b136 - 2 b35 b137 - 2 b35 b138 - 2 b35 b140 - 2 b35 b141 - 2 b35 b142 - 2 b35 b143 - 2 b35 b144 - 2 b35 b145 - 2 b35 b146 - 2 b35 b153 - 2 b35 b154 - 2 b35 b166 - 2 b35 b167 - 2 b35 b171 - 2 b35 b172 - 2 b35 b175 - 2 b35 b176 - 2 b35 b178 - 2 b35 b179 - 2 b35 b180 - 2 b35 b181 - 2 b36 b92 - 2 b36 b93 - 2 b36 b101 - 2 b36 b102 - 2 b36 b113 - 2 b36 b114 - 2 b36 b115 - 2 b36 b116 + 2 b36 b117 + 2 b36 b118 + 2 b36 b119 + 2 b36 b121 + 2 b36 b122 + 2 b36 b123 + 2 b36 b124 + 2 b36 b125 - 2 b36 b130 - 2 b36 b136 - 2 b36 b137 - 2 b36 b139 - 2 b36 b145 - 2 b36 b146 - 2 b36 b147 - 2 b36 b153 - 2 b36 b154 + 2 b36 b155 + 2 b36 b156 + 2 b36 b157 + 2 b36 b158 + 2 b36 b159 - 2 b36 b166 - 2 b36 b167 - 2 b36 b171 - 2 b36 b172 - 2 b36 b175 - 2 b36 b176 - 2 b36 b178 - 2 b36 b179 - 2 b36 b180 - 2 b36 b181 - 2 b37 b92 - 2 b37 b93 + 2 b37 b94 - 2 b37 b96 - 2 b37 b98 - 2 b37 b100 - 2 b37 b102 - 2 b37 b104 - 2 b37 b106 - 2 b37 b108 - 2 b37 b110 - 2 b37 b112 - 2 b37 b114 + 2 b37 b115 + 2 b37 b117 + 2 b37 b118 + 2 b37 b119 + 2 b37 b120 + 2 b37 b121 + 2 b37 b122 + 2 b37 b123 + 2 b37 b124 + 2 b37 b125 + 2 b37 b126 + 2 b37 b127 + 2 b37 b137 + 2 b37 b146 + 2 b37 b154 + 2 b37 b161 + 2 b37 b167 + 2 b37 b172 + 2 b37 b176 + 2 b37 b179 + 2 b37 b181 + 2 b37 b182 - 2 b38 b92 - 2 b38 b93 - 2 b38 b94 - 2 b38 b95 - 2 b38 b97 - 2 b38 b99 - 2 b38 b101 - 2 b38 b103 - 2 b38 b105 - 2 b38 b107 - 2 b38 b109 - 2 b38 b111 - 2 b38 b113 - 2 b38 b115 + 2 b38 b117 + 2 b38 b118 + 2 b38 b119 + 2 b38 b120 + 2 b38 b121 + 2 b38 b122 + 2 b38 b123 + 2 b38 b124 + 2 b38 b125 + 2 b38 b126 + 2 b38 b127 - 2 b39 b92 - 2 b39 b93 + 2 b39 b117 + 2 b39 b118 + 2 b39 b119 + 2 b39 b120 + 2 b39 b121 + 2 b39 b122 + 2 b39 b123 + 2 b39 b124 + 2 b39 b125 + 2 b39 b126 + 2 b39 b127 - 2 b40 b94 - 2 b40 b95 - 2 b40 b97 - 2 b40 b99 - 2 b40 b101 - 2 b40 b103 - 2 b40 b105 + 2 b40 b108 - 2 b40 b109 - 2 b40 b111 - 2 b40 b113 - 2 b40 b115 + 2 b40 b133 + 2 b40 b142 + 2 b40 b150 + 2 b40 b157 + 2 b40 b163 + 2 b40 b168 - 2 b40 b173 - 2 b40 b174 - 2 b40 b175 - 2 b40 b176 - 2 b41 b92 - 2 b41 b93 + 2 b41 b117 + 2 b41 b118 + 2 b41 b119 + 2 b41 b120 + 2 b41 b121 + 2 b41 b122 + 2 b41 b123 + 2 b41 b124 + 2 b41 b125 + 2 b41 b126 + 2 b41 b127 - 2 b42 b92 - 2 b42 b93 + 2 b42 b117 + 2 b42 b118 + 2 b42 b119 + 2 b42 b120 + 2 b42 b121 + 2 b42 b122 + 2 b42 b123 + 2 b42 b124 + 2 b42 b125 + 2 b42 b126 + 2 b42 b127 - 2 b43 b92 - 2 b43 b93 + 2 b43 b103 + 2 b43 b104 + 2 b43 b117 + 2 b43 b118 + 2 b43 b119 + 2 b43 b120 + 2 b43 b121 + 2 b43 b122 + 2 b43 b123 + 2 b43 b124 + 2 b43 b125 + 2 b43 b126 + 2 b43 b127 + 2 b43 b131 + 2 b43 b140 + 2 b43 b148 + 2 b43 b155 - 2 b43 b162 - 2 b43 b163 - 2 b43 b164 - 2 b43 b165 - 2 b43 b166 - 2 b43 b167 - 2 b44 b92 - 2 b44 b93 - 2 b44 b94 - 2 b44 b95 - 2 b44 b97 - 2 b44 b99 - 2 b44 b101 - 2 b44 b103 - 2 b44 b105 - 2 b44 b107 - 2 b44 b109 - 2 b44 b111 - 2 b44 b113 - 2 b44 b115 + 2 b44 b117 + 2 b44 b118 + 2 b44 b119 + 2 b44 b120 + 2 b44 b121 + 2 b44 b122 + 2 b44 b123 + 2 b44 b124 + 2 b44 b125 + 2 b44 b126 + 2 b44 b127 - 2 b45 b92 - 2 b45 b93 - 2 b45 b94 - 2 b45 b95 + 2 b45 b98 - 2 b45 b99 + 2 b45 b102 - 2 b45 b103 - 2 b45 b105 - 2 b45 b107 - 2 b45 b109 - 2 b45 b111 - 2 b45 b113 - 2 b45 b115 + 2 b45 b117 + 2 b45 b118 + 2 b45 b119 + 2 b45 b120 + 2 b45 b121 + 2 b45 b122 + 2 b45 b123 + 2 b45 b124 + 2 b45 b125 + 2 b45 b126 + 2 b45 b127 + 2 b45 b128 + 2 b45 b130 - 2 b45 b138 - 2 b45 b140 - 2 b45 b141 - 2 b45 b142 - 2 b45 b143 - 2 b45 b144 - 2 b45 b145 - 2 b45 b146 + 2 b45 b147 - 2 b45 b155 - 2 b45 b156 - 2 b45 b157 - 2 b45 b158 - 2 b45 b159 - 2 b45 b160 - 2 b45 b161 - 2 b46 b92 - 2 b46 b93 + 2 b46 b117 + 2 b46 b118 + 2 b46 b119 + 2 b46 b120 + 2 b46 b121 + 2 b46 b122 + 2 b46 b123 + 2 b46 b124 + 2 b46 b125 + 2 b46 b126 + 2 b46 b127 - 2 b47 b92 + 2 b47 b93 - 2 b47 b94 - 2 b47 b95 + 2 b47 b96 - 2 b47 b97 + 2 b47 b98 - 2 b47 b99 + 2 b47 b100 - 2 b47 b101 + 2 b47 b102 - 2 b47 b103 + 2 b47 b104 - 2 b47 b105 + 2 b47 b106 - 2 b47 b107 + 2 b47 b108 - 2 b47 b109 + 2 b47 b110 - 2 b47 b111 + 2 b47 b112 - 2 b47 b113 + 2 b47 b114 - 2 b47 b115 - 2 b47 b127 - 2 b47 b137 - 2 b47 b146 - 2 b47 b154 - 2 b47 b161 - 2 b47 b167 - 2 b47 b172 - 2 b47 b176 - 2 b47 b179 - 2 b47 b181 - 2 b47 b182 + 2 b48 b93 - 2 b48 b94 + 2 b48 b96 + 2 b48 b98 + 2 b48 b100 + 2 b48 b102 + 2 b48 b104 + 2 b48 b106 + 2 b48 b108 + 2 b48 b110 + 2 b48 b112 + 2 b48 b114 - 2 b48 b115 - 2 b48 b127 - 2 b48 b137 - 2 b48 b146 - 2 b48 b154 - 2 b48 b161 - 2 b48 b167 - 2 b48 b172 - 2 b48 b176 - 2 b48 b179 - 2 b48 b181 - 2 b48 b182 + 2 b49 b93 - 2 b49 b94 - 2 b49 b95 + 2 b49 b96 - 2 b49 b97 + 2 b49 b98 - 2 b49 b99 + 2 b49 b100 - 2 b49 b101 + 2 b49 b102 - 2 b49 b103 + 2 b49 b104 - 2 b49 b105 + 2 b49 b106 + 2 b49 b108 - 2 b49 b109 + 2 b49 b110 - 2 b49 b111 + 2 b49 b112 - 2 b49 b113 + 2 b49 b114 - 2 b49 b115 - 2 b49 b117 - 2 b49 b118 - 2 b49 b119 - 2 b49 b120 - 2 b49 b121 - 2 b49 b122 - 2 b49 b124 - 2 b49 b125 - 2 b49 b126 - 2 b49 b127 + 2 b49 b133 - 2 b49 b137 + 2 b49 b142 - 2 b49 b146 + 2 b49 b150 - 2 b49 b154 + 2 b49 b157 - 2 b49 b161 + 2 b49 b163 - 2 b49 b167 + 2 b49 b168 - 2 b49 b172 - 2 b49 b173 - 2 b49 b174 - 2 b49 b175 - 2 b49 b176 - 2 b49 b179 - 2 b49 b181 - 2 b49 b182 + 2 b50 b93 - 2 b50 b94 + 2 b50 b96 + 2 b50 b98 + 2 b50 b100 + 2 b50 b102 + 2 b50 b104 + 2 b50 b106 + 2 b50 b108 + 2 b50 b110 + 2 b50 b112 + 2 b50 b114 - 2 b50 b115 - 2 b50 b127 - 2 b50 b137 - 2 b50 b146 - 2 b50 b154 - 2 b50 b161 - 2 b50 b167 - 2 b50 b172 - 2 b50 b176 - 2 b50 b179 - 2 b50 b181 - 2 b50 b182 + 2 b51 b93 - 2 b51 b94 + 2 b51 b96 + 2 b51 b98 + 2 b51 b100 + 2 b51 b102 + 2 b51 b104 + 2 b51 b106 + 2 b51 b108 + 2 b51 b110 + 2 b51 b112 + 2 b51 b114 - 2 b51 b115 - 2 b51 b127 - 2 b51 b137 - 2 b51 b146 - 2 b51 b154 - 2 b51 b161 - 2 b51 b167 - 2 b51 b172 - 2 b51 b176 - 2 b51 b179 - 2 b51 b181 - 2 b51 b182 + 2 b52 b93 - 2 b52 b94 + 2 b52 b96 + 2 b52 b98 + 2 b52 b100 + 2 b52 b102 + 2 b52 b103 + 2 b52 b104 + 2 b52 b106 + 2 b52 b108 + 2 b52 b110 + 2 b52 b112 + 2 b52 b114 - 2 b52 b115 + 2 b52 b121 - 2 b52 b127 + 2 b52 b131 - 2 b52 b137 + 2 b52 b140 - 2 b52 b146 + 2 b52 b148 - 2 b52 b154 + 2 b52 b155 - 2 b52 b161 - 2 b52 b162 - 2 b52 b163 - 2 b52 b164 - 2 b52 b165 - 2 b52 b166 - 2 b52 b167 - 2 b52 b172 - 2 b52 b176 - 2 b52 b179 - 2 b52 b181 - 2 b52 b182 - 2 b53 b92 + 2 b53 b93 - 2 b53 b94 - 2 b53 b95 + 2 b53 b96 - 2 b53 b97 + 2 b53 b98 - 2 b53 b99 + 2 b53 b100 - 2 b53 b101 + 2 b53 b102 - 2 b53 b103 + 2 b53 b104 - 2 b53 b105 + 2 b53 b106 - 2 b53 b107 + 2 b53 b108 - 2 b53 b109 + 2 b53 b110 - 2 b53 b111 + 2 b53 b112 - 2 b53 b113 + 2 b53 b114 - 2 b53 b115 - 2 b53 b127 - 2 b53 b137 - 2 b53 b146 - 2 b53 b154 - 2 b53 b161 - 2 b53 b167 - 2 b53 b172 - 2 b53 b176 - 2 b53 b179 - 2 b53 b181 - 2 b53 b182 - 2 b54 b92 + 2 b54 b93 - 2 b54 b94 - 2 b54 b95 + 2 b54 b96 + 2 b54 b98 - 2 b54 b99 + 2 b54 b100 + 2 b54 b102 - 2 b54 b103 + 2 b54 b104 - 2 b54 b105 + 2 b54 b106 - 2 b54 b107 + 2 b54 b108 - 2 b54 b109 + 2 b54 b110 - 2 b54 b111 + 2 b54 b112 - 2 b54 b113 + 2 b54 b114 - 2 b54 b115 + 2 b54 b118 + 2 b54 b120 - 2 b54 b127 + 2 b54 b128 + 2 b54 b130 - 2 b54 b137 - 2 b54 b138 - 2 b54 b140 - 2 b54 b141 - 2 b54 b142 - 2 b54 b143 - 2 b54 b144 - 2 b54 b145 - 2 b54 b146 + 2 b54 b147 - 2 b54 b154 - 2 b54 b155 - 2 b54 b156 - 2 b54 b157 - 2 b54 b158 - 2 b54 b159 - 2 b54 b160 - 2 b54 b161 - 2 b54 b167 - 2 b54 b172 - 2 b54 b176 - 2 b54 b179 - 2 b54 b181 - 2 b54 b182 + 2 b55 b93 - 2 b55 b94 + 2 b55 b96 + 2 b55 b98 + 2 b55 b100 + 2 b55 b102 + 2 b55 b104 + 2 b55 b106 + 2 b55 b108 + 2 b55 b110 + 2 b55 b112 + 2 b55 b114 - 2 b55 b115 - 2 b55 b127 - 2 b55 b137 - 2 b55 b146 - 2 b55 b154 - 2 b55 b161 - 2 b55 b167 - 2 b55 b172 - 2 b55 b176 - 2 b55 b179 - 2 b55 b181 - 2 b55 b182 + 2 b56 b92 + 2 b56 b94 + 2 b56 b95 + 2 b56 b97 + 2 b56 b99 + 2 b56 b101 + 2 b56 b103 + 2 b56 b105 + 2 b56 b107 + 2 b56 b109 + 2 b56 b111 + 2 b56 b113 + 2 b56 b115 + 2 b57 b93 + 2 b57 b108 - 2 b57 b117 - 2 b57 b118 - 2 b57 b119 - 2 b57 b120 - 2 b57 b121 - 2 b57 b122 - 2 b57 b124 - 2 b57 b125 - 2 b57 b126 - 2 b57 b127 + 2 b57 b133 + 2 b57 b142 + 2 b57 b150 + 2 b57 b157 + 2 b57 b163 + 2 b57 b168 - 2 b57 b173 - 2 b57 b174 - 2 b57 b175 - 2 b57 b176 + 2 b58 b92 + 2 b58 b94 + 2 b58 b95 + 2 b58 b97 + 2 b58 b99 + 2 b58 b101 + 2 b58 b103 + 2 b58 b105 + 2 b58 b107 + 2 b58 b109 + 2 b58 b111 + 2 b58 b113 + 2 b58 b115 + 2 b59 b92 + 2 b59 b94 + 2 b59 b95 + 2 b59 b97 + 2 b59 b99 + 2 b59 b101 + 2 b59 b103 + 2 b59 b105 + 2 b59 b107 + 2 b59 b109 + 2 b59 b111 + 2 b59 b113 + 2 b59 b115 + 2 b60 b92 + 2 b60 b94 + 2 b60 b95 + 2 b60 b97 + 2 b60 b99 + 2 b60 b101 + 2 b60 b103 + 2 b60 b104 + 2 b60 b105 + 2 b60 b107 + 2 b60 b109 + 2 b60 b111 + 2 b60 b113 + 2 b60 b115 + 2 b60 b121 + 2 b60 b131 + 2 b60 b140 + 2 b60 b148 + 2 b60 b155 - 2 b60 b162 - 2 b60 b163 - 2 b60 b164 - 2 b60 b165 - 2 b60 b166 - 2 b60 b167 + 2 b62 b98 + 2 b62 b102 + 2 b62 b118 + 2 b62 b120 + 2 b62 b128 + 2 b62 b130 - 2 b62 b138 - 2 b62 b140 - 2 b62 b141 - 2 b62 b142 - 2 b62 b143 - 2 b62 b144 - 2 b62 b145 - 2 b62 b146 + 2 b62 b147 - 2 b62 b155 - 2 b62 b156 - 2 b62 b157 - 2 b62 b158 - 2 b62 b159 - 2 b62 b160 - 2 b62 b161 + 2 b63 b92 + 2 b63 b94 + 2 b63 b95 + 2 b63 b97 + 2 b63 b99 + 2 b63 b101 + 2 b63 b103 + 2 b63 b105 + 2 b63 b107 + 2 b63 b109 + 2 b63 b111 + 2 b63 b113 + 2 b63 b115 + 2 b64 b93 - 2 b64 b94 - 2 b64 b95 - 2 b64 b97 - 2 b64 b99 - 2 b64 b101 - 2 b64 b103 - 2 b64 b105 + 2 b64 b108 - 2 b64 b109 - 2 b64 b111 - 2 b64 b113 - 2 b64 b115 - 2 b64 b117 - 2 b64 b118 - 2 b64 b119 - 2 b64 b120 - 2 b64 b121 - 2 b64 b122 - 2 b64 b124 - 2 b64 b125 - 2 b64 b126 - 2 b64 b127 + 2 b64 b133 + 2 b64 b142 + 2 b64 b150 + 2 b64 b157 + 2 b64 b163 + 2 b64 b168 - 2 b64 b173 - 2 b64 b174 - 2 b64 b175 - 2 b64 b176 + 2 b67 b103 + 2 b67 b104 + 2 b67 b121 + 2 b67 b131 + 2 b67 b140 + 2 b67 b148 + 2 b67 b155 - 2 b67 b162 - 2 b67 b163 - 2 b67 b164 - 2 b67 b165 - 2 b67 b166 - 2 b67 b167 - 2 b68 b92 - 2 b68 b94 - 2 b68 b95 - 2 b68 b97 - 2 b68 b99 - 2 b68 b101 - 2 b68 b103 - 2 b68 b105 - 2 b68 b107 - 2 b68 b109 - 2 b68 b111 - 2 b68 b113 - 2 b68 b115 - 2 b69 b92 - 2 b69 b94 - 2 b69 b95 + 2 b69 b98 - 2 b69 b99 + 2 b69 b102 - 2 b69 b103 - 2 b69 b105 - 2 b69 b107 - 2 b69 b109 - 2 b69 b111 - 2 b69 b113 - 2 b69 b115 + 2 b69 b118 + 2 b69 b120 + 2 b69 b128 + 2 b69 b130 - 2 b69 b138 - 2 b69 b140 - 2 b69 b141 - 2 b69 b142 - 2 b69 b143 - 2 b69 b144 - 2 b69 b145 - 2 b69 b146 + 2 b69 b147 - 2 b69 b155 - 2 b69 b156 - 2 b69 b157 - 2 b69 b158 - 2 b69 b159 - 2 b69 b160 - 2 b69 b161 - 2 b71 b93 + 2 b71 b94 + 2 b71 b95 + 2 b71 b97 + 2 b71 b99 + 2 b71 b101 + 2 b71 b103 + 2 b71 b105 - 2 b71 b108 + 2 b71 b109 + 2 b71 b111 + 2 b71 b113 + 2 b71 b115 + 2 b71 b117 + 2 b71 b118 + 2 b71 b119 + 2 b71 b120 + 2 b71 b121 + 2 b71 b122 + 2 b71 b124 + 2 b71 b125 + 2 b71 b126 + 2 b71 b127 - 2 b71 b133 - 2 b71 b142 - 2 b71 b150 - 2 b71 b157 - 2 b71 b163 - 2 b71 b168 + 2 b71 b173 + 2 b71 b174 + 2 b71 b175 + 2 b71 b176 - 2 b72 b93 + 2 b72 b94 + 2 b72 b95 + 2 b72 b97 + 2 b72 b99 + 2 b72 b101 + 2 b72 b103 + 2 b72 b105 - 2 b72 b108 + 2 b72 b109 + 2 b72 b111 + 2 b72 b113 + 2 b72 b115 + 2 b72 b117 + 2 b72 b118 + 2 b72 b119 + 2 b72 b120 + 2 b72 b121 + 2 b72 b122 + 2 b72 b124 + 2 b72 b125 + 2 b72 b126 + 2 b72 b127 - 2 b72 b133 - 2 b72 b142 - 2 b72 b150 - 2 b72 b157 - 2 b72 b163 - 2 b72 b168 + 2 b72 b173 + 2 b72 b174 + 2 b72 b175 + 2 b72 b176 - 2 b73 b93 + 2 b73 b94 + 2 b73 b95 + 2 b73 b97 + 2 b73 b99 + 2 b73 b101 + 2 b73 b103 + 2 b73 b104 + 2 b73 b105 - 2 b73 b108 + 2 b73 b109 + 2 b73 b111 + 2 b73 b113 + 2 b73 b115 + 2 b73 b117 + 2 b73 b118 + 2 b73 b119 + 2 b73 b120 + 2 b73 b121 + 2 b73 b122 + 2 b73 b124 + 2 b73 b125 + 2 b73 b126 + 2 b73 b127 + 2 b73 b131 - 2 b73 b133 + 2 b73 b140 - 2 b73 b142 + 2 b73 b148 - 2 b73 b150 + 2 b73 b155 - 2 b73 b157 - 2 b73 b162 - 2 b73 b163 - 2 b73 b164 - 2 b73 b165 - 2 b73 b166 - 2 b73 b167 - 2 b73 b168 + 2 b73 b173 + 2 b73 b174 + 2 b73 b175 + 2 b73 b176 - 2 b74 b93 - 2 b74 b108 + 2 b74 b117 + 2 b74 b118 + 2 b74 b119 + 2 b74 b120 + 2 b74 b121 + 2 b74 b122 + 2 b74 b124 + 2 b74 b125 + 2 b74 b126 + 2 b74 b127 - 2 b74 b133 - 2 b74 b142 - 2 b74 b150 - 2 b74 b157 - 2 b74 b163 - 2 b74 b168 + 2 b74 b173 + 2 b74 b174 + 2 b74 b175 + 2 b74 b176 - 2 b75 b93 + 2 b75 b98 + 2 b75 b102 - 2 b75 b108 + 2 b75 b117 + 2 b75 b118 + 2 b75 b119 + 2 b75 b120 + 2 b75 b121 + 2 b75 b122 + 2 b75 b124 + 2 b75 b125 + 2 b75 b126 + 2 b75 b127 + 2 b75 b128 + 2 b75 b130 - 2 b75 b133 - 2 b75 b138 - 2 b75 b140 - 2 b75 b141 - 2 b75 b142 - 2 b75 b143 - 2 b75 b144 - 2 b75 b145 - 2 b75 b146 + 2 b75 b147 - 2 b75 b150 - 2 b75 b155 - 2 b75 b156 - 2 b75 b157 - 2 b75 b158 - 2 b75 b159 - 2 b75 b160 - 2 b75 b161 - 2 b75 b163 - 2 b75 b168 + 2 b75 b173 + 2 b75 b174 + 2 b75 b175 + 2 b75 b176 - 2 b76 b93 + 2 b76 b94 + 2 b76 b95 + 2 b76 b97 + 2 b76 b99 + 2 b76 b101 + 2 b76 b103 + 2 b76 b105 - 2 b76 b108 + 2 b76 b109 + 2 b76 b111 + 2 b76 b113 + 2 b76 b115 + 2 b76 b117 + 2 b76 b118 + 2 b76 b119 + 2 b76 b120 + 2 b76 b121 + 2 b76 b122 + 2 b76 b124 + 2 b76 b125 + 2 b76 b126 + 2 b76 b127 - 2 b76 b133 - 2 b76 b142 - 2 b76 b150 - 2 b76 b157 - 2 b76 b163 - 2 b76 b168 + 2 b76 b173 + 2 b76 b174 + 2 b76 b175 + 2 b76 b176 + 2 b78 b103 + 2 b78 b104 + 2 b78 b121 + 2 b78 b131 + 2 b78 b140 + 2 b78 b148 + 2 b78 b155 - 2 b78 b162 - 2 b78 b163 - 2 b78 b164 - 2 b78 b165 - 2 b78 b166 - 2 b78 b167 - 2 b79 b92 - 2 b79 b94 - 2 b79 b95 - 2 b79 b97 - 2 b79 b99 - 2 b79 b101 - 2 b79 b103 - 2 b79 b105 - 2 b79 b107 - 2 b79 b109 - 2 b79 b111 - 2 b79 b113 - 2 b79 b115 - 2 b80 b92 - 2 b80 b94 - 2 b80 b95 + 2 b80 b98 - 2 b80 b99 + 2 b80 b102 - 2 b80 b103 - 2 b80 b105 - 2 b80 b107 - 2 b80 b109 - 2 b80 b111 - 2 b80 b113 - 2 b80 b115 + 2 b80 b118 + 2 b80 b120 + 2 b80 b128 + 2 b80 b130 - 2 b80 b138 - 2 b80 b140 - 2 b80 b141 - 2 b80 b142 - 2 b80 b143 - 2 b80 b144 - 2 b80 b145 - 2 b80 b146 + 2 b80 b147 - 2 b80 b155 - 2 b80 b156 - 2 b80 b157 - 2 b80 b158 - 2 b80 b159 - 2 b80 b160 - 2 b80 b161 + 2 b82 b103 + 2 b82 b104 + 2 b82 b121 + 2 b82 b131 + 2 b82 b140 + 2 b82 b148 + 2 b82 b155 - 2 b82 b162 - 2 b82 b163 - 2 b82 b164 - 2 b82 b165 - 2 b82 b166 - 2 b82 b167 - 2 b83 b92 - 2 b83 b94 - 2 b83 b95 - 2 b83 b97 - 2 b83 b99 - 2 b83 b101 - 2 b83 b103 - 2 b83 b105 - 2 b83 b107 - 2 b83 b109 - 2 b83 b111 - 2 b83 b113 - 2 b83 b115 - 2 b84 b92 - 2 b84 b94 - 2 b84 b95 + 2 b84 b98 - 2 b84 b99 + 2 b84 b102 - 2 b84 b103 - 2 b84 b105 - 2 b84 b107 - 2 b84 b109 - 2 b84 b111 - 2 b84 b113 - 2 b84 b115 + 2 b84 b118 + 2 b84 b120 + 2 b84 b128 + 2 b84 b130 - 2 b84 b138 - 2 b84 b140 - 2 b84 b141 - 2 b84 b142 - 2 b84 b143 - 2 b84 b144 - 2 b84 b145 - 2 b84 b146 + 2 b84 b147 - 2 b84 b155 - 2 b84 b156 - 2 b84 b157 - 2 b84 b158 - 2 b84 b159 - 2 b84 b160 - 2 b84 b161 - 2 b86 b92 - 2 b86 b94 - 2 b86 b95 - 2 b86 b97 - 2 b86 b99 - 2 b86 b101 - 2 b86 b103 - 2 b86 b104 - 2 b86 b105 - 2 b86 b107 - 2 b86 b109 - 2 b86 b111 - 2 b86 b113 - 2 b86 b115 - 2 b86 b121 - 2 b86 b131 - 2 b86 b140 - 2 b86 b148 - 2 b86 b155 + 2 b86 b162 + 2 b86 b163 + 2 b86 b164 + 2 b86 b165 + 2 b86 b166 + 2 b86 b167 - 2 b87 b92 - 2 b87 b94 - 2 b87 b95 + 2 b87 b98 - 2 b87 b99 + 2 b87 b102 - 2 b87 b103 - 2 b87 b104 - 2 b87 b105 - 2 b87 b107 - 2 b87 b109 - 2 b87 b111 - 2 b87 b113 - 2 b87 b115 + 2 b87 b118 + 2 b87 b120 - 2 b87 b121 + 2 b87 b128 + 2 b87 b130 - 2 b87 b131 - 2 b87 b138 - 2 b87 b140 - 2 b87 b141 - 2 b87 b142 - 2 b87 b143 - 2 b87 b144 - 2 b87 b145 - 2 b87 b146 + 2 b87 b147 - 2 b87 b148 - 2 b87 b155 - 2 b87 b156 - 2 b87 b157 - 2 b87 b158 - 2 b87 b159 - 2 b87 b160 - 2 b87 b161 + 2 b87 b162 + 2 b87 b163 + 2 b87 b164 + 2 b87 b165 + 2 b87 b166 + 2 b87 b167 - 2 b88 b103 - 2 b88 b104 - 2 b88 b121 - 2 b88 b131 - 2 b88 b140 - 2 b88 b148 - 2 b88 b155 + 2 b88 b162 + 2 b88 b163 + 2 b88 b164 + 2 b88 b165 + 2 b88 b166 + 2 b88 b167 + 2 b89 b98 + 2 b89 b102 + 2 b89 b118 + 2 b89 b120 + 2 b89 b128 + 2 b89 b130 - 2 b89 b138 - 2 b89 b140 - 2 b89 b141 - 2 b89 b142 - 2 b89 b143 - 2 b89 b144 - 2 b89 b145 - 2 b89 b146 + 2 b89 b147 - 2 b89 b155 - 2 b89 b156 - 2 b89 b157 - 2 b89 b158 - 2 b89 b159 - 2 b89 b160 - 2 b89 b161 + 2 b90 b92 + 2 b90 b94 + 2 b90 b95 + 2 b90 b97 + 2 b90 b99 + 2 b90 b101 + 2 b90 b103 + 2 b90 b105 + 2 b90 b107 + 2 b90 b109 + 2 b90 b111 + 2 b90 b113 + 2 b90 b115 + 2 b91 b92 + 2 b91 b94 + 2 b91 b95 - 2 b91 b98 + 2 b91 b99 - 2 b91 b102 + 2 b91 b103 + 2 b91 b105 + 2 b91 b107 + 2 b91 b109 + 2 b91 b111 + 2 b91 b113 + 2 b91 b115 - 2 b91 b118 - 2 b91 b120 - 2 b91 b128 - 2 b91 b130 + 2 b91 b138 + 2 b91 b140 + 2 b91 b141 + 2 b91 b142 + 2 b91 b143 + 2 b91 b144 + 2 b91 b145 + 2 b91 b146 - 2 b91 b147 + 2 b91 b155 + 2 b91 b156 + 2 b91 b157 + 2 b91 b158 + 2 b91 b159 + 2 b91 b160 + 2 b91 b161 >= 6872 Bounds objvar Free Binary b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 b14 b15 b16 b17 b18 b19 b20 b21 b22 b23 b24 b25 b26 b27 b28 b29 b30 b31 b32 b33 b34 b35 b36 b37 b38 b39 b40 b41 b42 b43 b44 b45 b46 b47 b48 b49 b50 b51 b52 b53 b54 b55 b56 b57 b58 b59 b60 b61 b62 b63 b64 b65 b66 b67 b68 b69 b70 b71 b72 b73 b74 b75 b76 b77 b78 b79 b80 b81 b82 b83 b84 b85 b86 b87 b88 b89 b90 b91 b92 b93 b94 b95 b96 b97 b98 b99 b100 b101 b102 b103 b104 b105 b106 b107 b108 b109 b110 b111 b112 b113 b114 b115 b116 b117 b118 b119 b120 b121 b122 b123 b124 b125 b126 b127 b128 b129 b130 b131 b132 b133 b134 b135 b136 b137 b138 b139 b140 b141 b142 b143 b144 b145 b146 b147 b148 b149 b150 b151 b152 b153 b154 b155 b156 b157 b158 b159 b160 b161 b162 b163 b164 b165 b166 b167 b168 b169 b170 b171 b172 b173 b174 b175 b176 b177 b178 b179 b180 b181 b182 End