\ 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 \ 4552 4370 182 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: - b1 - 7 b2 + 4 b3 + 13 b4 + 2 b5 + 16 b6 + 5 b7 + 16 b8 + 9 b9 + 2 b10 + 3 b11 + 4 b12 + 2 b13 + 12 b14 + 6 b15 + 10 b16 + 6 b17 + 12 b18 + 3 b19 + 14 b20 + 2 b21 + 13 b22 + 7 b23 + 5 b24 - 4 b25 + 17 b26 + 21 b27 + 28 b28 + 7 b29 + 9 b30 + 15 b31 + 16 b32 + 17 b33 + 19 b34 + 19 b35 + 6 b36 + 5 b37 + 12 b38 + 4 b39 + 3 b40 + 10 b41 + 9 b42 - b43 - 5 b44 + 10 b45 - 14 b46 + 8 b47 + 5 b48 + b49 + 8 b50 + 7 b51 - 5 b52 - 11 b53 + 7 b54 - 19 b55 + 2 b56 - b57 + 2 b58 - 11 b60 - 21 b61 + 2 b62 - 22 b63 - 2 b64 + b65 - b66 - 3 b67 - 7 b68 - 5 b70 + 2 b71 + b72 - b73 - 4 b74 + 2 b75 - 6 b76 - 12 b78 - 15 b79 - 16 b81 - 9 b82 - 13 b83 + b84 - 14 b85 - 3 b86 + 11 b87 - 12 b88 + 17 b89 - 14 b90 - 18 b91 + 8 b92 + 11 b93 + 4 b94 + 2 b95 - 2 b96 + 13 b97 + 13 b98 + 2 b99 - 2 b100 + 9 b101 + 7 b102 + 13 b103 + 15 b104 + 4 b105 + b106 + b107 - 7 b108 + 19 b109 + 19 b110 + 8 b111 + 13 b113 + 9 b114 + 10 b115 + 9 b116 - 7 b117 - 4 b118 - 11 b119 - 7 b120 - 4 b121 - 9 b122 - 16 b123 - 5 b124 - 12 b125 - 9 b126 - 6 b127 + 7 b128 - b129 + 7 b130 + 7 b131 + 2 b132 - b133 + 12 b134 + 6 b135 + 9 b136 + 6 b137 - 14 b138 - b139 - 2 b140 - 9 b141 - 20 b142 + b143 - 11 b144 - 5 b145 - 4 b146 + 11 b147 + 17 b148 + 5 b149 - 2 b150 + 23 b151 + 7 b152 + 15 b153 + 13 b154 + b155 - 7 b156 - 16 b157 + 4 b158 - 7 b159 - 2 b160 - b161 - 11 b162 - 24 b163 + 4 b164 - 13 b165 - 5 b166 - 2 b167 - 7 b168 + 17 b169 + 5 b170 + 11 b171 + 9 b172 + 32 b173 + 13 b174 + 22 b175 + 18 b176 - 18 b177 - 10 b178 - 6 b179 + 7 b180 + 9 b181 + 3 b182 + objvar + 2 b1 b92 + 2 b1 b93 - 2 b1 b99 - 2 b1 b100 - 2 b1 b103 - 2 b1 b104 - 2 b1 b105 - 2 b1 b106 + 2 b1 b115 + 2 b1 b116 - 2 b1 b119 - 2 b1 b121 - 2 b1 b122 - 2 b1 b123 + 2 b1 b150 + 2 b1 b154 + 2 b1 b163 + 2 b1 b167 + 2 b1 b168 + 2 b1 b172 + 2 b1 b176 + 2 b2 b94 + 2 b2 b99 - 2 b2 b104 - 2 b2 b106 + 2 b2 b107 + 2 b2 b111 + 2 b2 b112 - 2 b2 b148 - 2 b2 b149 + 2 b2 b152 + 2 b2 b163 + 2 b2 b165 + 2 b2 b168 + 2 b2 b170 + 2 b2 b174 + 2 b3 b93 - 2 b3 b94 - 2 b3 b99 - 2 b3 b100 - 2 b3 b107 - 2 b3 b111 - 2 b3 b112 + 2 b3 b116 - 2 b3 b119 - 2 b3 b123 - 2 b3 b125 + 2 b3 b150 + 2 b3 b154 - 2 b3 b174 + 2 b3 b176 + 2 b3 b181 + 2 b4 b92 + 2 b4 b94 - 2 b4 b95 - 2 b4 b96 - 2 b4 b97 - 2 b4 b98 - 2 b4 b99 - 2 b4 b100 - 2 b4 b103 - 2 b4 b104 - 2 b4 b105 - 2 b4 b106 - 2 b4 b108 - 2 b4 b109 - 2 b4 b110 - 2 b4 b113 - 2 b4 b114 - 2 b4 b116 - 2 b4 b117 - 2 b4 b118 - 2 b4 b119 - 2 b4 b121 - 2 b4 b122 - 2 b4 b123 - 2 b4 b124 - 2 b4 b126 - 2 b4 b127 + 2 b4 b133 + 2 b4 b137 + 2 b4 b142 + 2 b4 b146 + 2 b4 b150 + 2 b4 b154 + 2 b4 b163 + 2 b4 b167 + 2 b4 b168 + 2 b4 b172 - 2 b4 b173 - 2 b4 b175 + 2 b4 b179 + 2 b4 b182 + 2 b5 b94 - 2 b5 b96 - 2 b5 b98 + 2 b5 b99 - 2 b5 b100 - 2 b5 b104 - 2 b5 b106 + 2 b5 b107 - 2 b5 b108 - 2 b5 b110 + 2 b5 b111 - 2 b5 b114 - 2 b5 b116 + 2 b5 b129 + 2 b5 b133 + 2 b5 b135 + 2 b5 b138 + 2 b5 b142 + 2 b5 b144 - 2 b5 b148 - 2 b5 b149 - 2 b5 b151 + 2 b5 b152 - 2 b5 b153 - 2 b5 b154 + 2 b5 b163 + 2 b5 b165 + 2 b5 b168 + 2 b5 b170 - 2 b5 b173 + 2 b5 b174 - 2 b5 b175 - 2 b5 b176 + 2 b5 b177 - 2 b5 b180 - 2 b5 b181 - 2 b6 b95 - 2 b6 b96 - 2 b6 b97 - 2 b6 b98 - 2 b6 b99 - 2 b6 b100 - 2 b6 b101 - 2 b6 b102 - 2 b6 b105 - 2 b6 b106 - 2 b6 b107 - 2 b6 b108 - 2 b6 b109 - 2 b6 b110 - 2 b6 b111 - 2 b6 b112 - 2 b6 b113 - 2 b6 b114 - 2 b6 b117 - 2 b6 b118 - 2 b6 b119 - 2 b6 b120 - 2 b6 b122 - 2 b6 b123 - 2 b6 b124 - 2 b6 b125 - 2 b6 b126 + 2 b6 b133 + 2 b6 b137 + 2 b6 b142 + 2 b6 b146 + 2 b6 b150 + 2 b6 b154 + 2 b6 b157 + 2 b6 b161 + 2 b6 b168 + 2 b6 b172 - 2 b6 b173 - 2 b6 b174 - 2 b6 b175 + 2 b6 b176 + 2 b6 b179 + 2 b6 b181 + 2 b6 b182 - 2 b7 b96 - 2 b7 b98 - 2 b7 b100 - 2 b7 b102 - 2 b7 b106 - 2 b7 b108 - 2 b7 b110 - 2 b7 b112 - 2 b7 b114 + 2 b7 b129 + 2 b7 b133 + 2 b7 b135 + 2 b7 b138 + 2 b7 b142 + 2 b7 b144 - 2 b7 b147 - 2 b7 b149 - 2 b7 b151 - 2 b7 b153 + 2 b7 b157 + 2 b7 b159 + 2 b7 b168 + 2 b7 b170 - 2 b7 b173 - 2 b7 b175 + 2 b7 b177 - 2 b7 b180 - 2 b8 b92 - 2 b8 b94 - 2 b8 b101 - 2 b8 b102 - 2 b8 b103 - 2 b8 b104 - 2 b8 b105 - 2 b8 b106 - 2 b8 b107 - 2 b8 b109 - 2 b8 b110 - 2 b8 b111 - 2 b8 b112 - 2 b8 b113 - 2 b8 b114 - 2 b8 b115 - 2 b8 b120 - 2 b8 b121 - 2 b8 b122 - 2 b8 b124 - 2 b8 b125 - 2 b8 b126 + 2 b8 b157 + 2 b8 b161 + 2 b8 b163 + 2 b8 b167 + 2 b8 b168 + 2 b8 b172 - 2 b8 b173 - 2 b8 b174 - 2 b8 b175 + 2 b8 b179 + 2 b8 b181 + 2 b8 b182 - 2 b9 b93 + 2 b9 b100 - 2 b9 b102 - 2 b9 b104 - 2 b9 b106 - 2 b9 b110 - 2 b9 b114 - 2 b9 b116 + 2 b9 b119 + 2 b9 b123 + 2 b9 b125 - 2 b9 b147 - 2 b9 b148 - 2 b9 b149 - 2 b9 b150 - 2 b9 b151 - 2 b9 b152 - 2 b9 b153 - 2 b9 b154 + 2 b9 b157 + 2 b9 b159 + 2 b9 b163 + 2 b9 b165 + 2 b9 b168 + 2 b9 b170 - 2 b9 b173 - 2 b9 b175 - 2 b9 b176 + 2 b9 b177 - 2 b9 b180 - 2 b9 b181 + 2 b10 b92 + 2 b10 b94 + 2 b10 b107 - 2 b10 b111 - 2 b10 b112 - 2 b10 b113 - 2 b10 b114 + 2 b10 b115 - 2 b10 b125 - 2 b10 b126 - 2 b10 b174 - 2 b10 b175 + 2 b10 b181 + 2 b10 b182 + 2 b11 b94 + 2 b11 b99 + 2 b11 b107 + 2 b11 b111 - 2 b11 b112 - 2 b11 b114 - 2 b11 b152 - 2 b11 b153 - 2 b11 b174 - 2 b11 b175 - 2 b11 b180 + 2 b12 b93 - 2 b12 b94 + 2 b12 b108 - 2 b12 b109 - 2 b12 b110 - 2 b12 b111 - 2 b12 b112 + 2 b12 b116 - 2 b12 b124 - 2 b12 b125 - 2 b12 b173 - 2 b12 b174 + 2 b12 b179 + 2 b12 b181 + 2 b13 b100 + 2 b13 b108 - 2 b13 b110 - 2 b13 b151 - 2 b13 b152 - 2 b13 b173 - 2 b13 b174 + 2 b13 b177 - 2 b14 b97 - 2 b14 b98 - 2 b14 b99 - 2 b14 b100 - 2 b14 b103 - 2 b14 b104 - 2 b14 b107 - 2 b14 b108 - 2 b14 b113 - 2 b14 b114 - 2 b14 b115 - 2 b14 b116 - 2 b14 b118 - 2 b14 b119 - 2 b14 b121 - 2 b14 b123 - 2 b14 b126 - 2 b14 b127 + 2 b14 b142 + 2 b14 b146 + 2 b14 b150 + 2 b14 b154 + 2 b14 b163 + 2 b14 b167 - 2 b14 b175 + 2 b14 b182 - 2 b15 b98 - 2 b15 b100 - 2 b15 b104 - 2 b15 b108 - 2 b15 b114 - 2 b15 b116 + 2 b15 b138 + 2 b15 b142 + 2 b15 b144 - 2 b15 b148 + 2 b15 b152 - 2 b15 b153 - 2 b15 b154 + 2 b15 b163 + 2 b15 b165 + 2 b15 b174 - 2 b15 b175 - 2 b15 b176 - 2 b15 b180 - 2 b15 b181 + 2 b16 b93 - 2 b16 b94 - 2 b16 b101 - 2 b16 b102 - 2 b16 b103 - 2 b16 b104 + 2 b16 b108 - 2 b16 b109 - 2 b16 b110 - 2 b16 b111 - 2 b16 b112 - 2 b16 b115 - 2 b16 b120 - 2 b16 b121 - 2 b16 b124 - 2 b16 b125 - 2 b16 b127 + 2 b16 b157 + 2 b16 b161 + 2 b16 b163 + 2 b16 b167 - 2 b16 b173 - 2 b16 b174 - 2 b16 b176 + 2 b16 b179 + 2 b16 b181 + 2 b17 b100 - 2 b17 b102 - 2 b17 b104 + 2 b17 b108 - 2 b17 b110 - 2 b17 b116 - 2 b17 b147 - 2 b17 b148 - 2 b17 b151 - 2 b17 b152 - 2 b17 b154 + 2 b17 b157 + 2 b17 b159 + 2 b17 b163 + 2 b17 b165 - 2 b17 b173 - 2 b17 b174 - 2 b17 b176 + 2 b17 b177 - 2 b17 b181 + 2 b18 b92 + 2 b18 b93 - 2 b18 b95 - 2 b18 b96 - 2 b18 b97 - 2 b18 b98 - 2 b18 b101 - 2 b18 b102 - 2 b18 b109 - 2 b18 b110 - 2 b18 b111 - 2 b18 b112 - 2 b18 b113 - 2 b18 b114 - 2 b18 b117 - 2 b18 b118 - 2 b18 b120 - 2 b18 b123 - 2 b18 b124 - 2 b18 b125 - 2 b18 b126 - 2 b18 b127 + 2 b18 b133 + 2 b18 b137 + 2 b18 b142 + 2 b18 b146 + 2 b18 b157 + 2 b18 b161 - 2 b18 b173 - 2 b18 b174 - 2 b18 b175 + 2 b18 b179 + 2 b18 b181 + 2 b18 b182 + 2 b19 b94 - 2 b19 b96 - 2 b19 b98 + 2 b19 b99 + 2 b19 b100 - 2 b19 b102 + 2 b19 b107 - 2 b19 b110 + 2 b19 b111 - 2 b19 b114 - 2 b19 b116 + 2 b19 b129 + 2 b19 b133 + 2 b19 b135 + 2 b19 b138 + 2 b19 b142 + 2 b19 b144 - 2 b19 b147 - 2 b19 b150 - 2 b19 b151 - 2 b19 b152 - 2 b19 b153 - 2 b19 b154 + 2 b19 b157 + 2 b19 b159 - 2 b19 b173 - 2 b19 b175 - 2 b19 b176 + 2 b19 b177 - 2 b19 b180 - 2 b19 b181 - 2 b20 b92 - 2 b20 b94 - 2 b20 b97 - 2 b20 b98 - 2 b20 b99 - 2 b20 b100 - 2 b20 b101 - 2 b20 b102 - 2 b20 b103 - 2 b20 b104 - 2 b20 b105 - 2 b20 b106 - 2 b20 b107 - 2 b20 b109 - 2 b20 b110 - 2 b20 b111 - 2 b20 b112 - 2 b20 b113 - 2 b20 b114 + 2 b20 b116 - 2 b20 b118 - 2 b20 b119 - 2 b20 b120 - 2 b20 b121 - 2 b20 b122 - 2 b20 b124 - 2 b20 b125 - 2 b20 b126 + 2 b20 b127 + 2 b20 b142 + 2 b20 b146 + 2 b20 b150 + 2 b20 b154 + 2 b20 b157 + 2 b20 b161 + 2 b20 b163 + 2 b20 b167 + 2 b20 b168 + 2 b20 b172 - 2 b20 b173 - 2 b20 b174 - 2 b20 b175 + 2 b20 b176 + 2 b20 b179 + 2 b20 b181 + 2 b20 b182 - 2 b21 b93 - 2 b21 b98 - 2 b21 b102 - 2 b21 b104 - 2 b21 b106 - 2 b21 b110 - 2 b21 b114 + 2 b21 b119 + 2 b21 b123 + 2 b21 b125 + 2 b21 b138 + 2 b21 b142 + 2 b21 b144 - 2 b21 b147 - 2 b21 b148 - 2 b21 b149 - 2 b21 b151 - 2 b21 b153 + 2 b21 b157 + 2 b21 b159 + 2 b21 b163 + 2 b21 b165 + 2 b21 b168 + 2 b21 b170 - 2 b21 b173 - 2 b21 b175 + 2 b21 b177 - 2 b21 b180 - 2 b22 b92 - 2 b22 b93 - 2 b22 b99 - 2 b22 b100 - 2 b22 b103 - 2 b22 b104 - 2 b22 b105 - 2 b22 b106 - 2 b22 b109 - 2 b22 b110 - 2 b22 b113 - 2 b22 b114 - 2 b22 b115 - 2 b22 b116 - 2 b22 b119 - 2 b22 b121 - 2 b22 b122 + 2 b22 b123 - 2 b22 b124 - 2 b22 b126 + 2 b22 b150 + 2 b22 b154 + 2 b22 b163 + 2 b22 b167 + 2 b22 b168 + 2 b22 b172 - 2 b22 b173 - 2 b22 b175 - 2 b22 b176 + 2 b22 b179 + 2 b22 b182 - 2 b23 b93 - 2 b23 b100 - 2 b23 b104 - 2 b23 b106 - 2 b23 b110 - 2 b23 b114 - 2 b23 b116 + 2 b23 b119 + 2 b23 b123 + 2 b23 b125 - 2 b23 b148 - 2 b23 b149 + 2 b23 b150 - 2 b23 b151 + 2 b23 b152 - 2 b23 b153 - 2 b23 b154 + 2 b23 b163 + 2 b23 b165 + 2 b23 b168 + 2 b23 b170 - 2 b23 b173 - 2 b23 b175 - 2 b23 b176 + 2 b23 b177 - 2 b23 b180 - 2 b23 b181 - 2 b24 b97 - 2 b24 b98 - 2 b24 b103 - 2 b24 b104 - 2 b24 b109 - 2 b24 b110 - 2 b24 b118 - 2 b24 b121 - 2 b24 b124 + 2 b24 b142 + 2 b24 b146 + 2 b24 b163 + 2 b24 b167 - 2 b24 b173 + 2 b24 b179 - 2 b25 b93 + 2 b25 b94 - 2 b25 b98 + 2 b25 b99 + 2 b25 b100 - 2 b25 b104 + 2 b25 b107 - 2 b25 b110 + 2 b25 b111 + 2 b25 b112 - 2 b25 b116 + 2 b25 b119 + 2 b25 b123 + 2 b25 b125 + 2 b25 b138 + 2 b25 b142 + 2 b25 b144 - 2 b25 b148 - 2 b25 b150 - 2 b25 b151 - 2 b25 b154 + 2 b25 b163 + 2 b25 b165 - 2 b25 b173 + 2 b25 b174 - 2 b25 b176 + 2 b25 b177 - 2 b25 b181 + 2 b26 b94 - 2 b26 b95 - 2 b26 b96 - 2 b26 b97 - 2 b26 b98 - 2 b26 b100 - 2 b26 b104 - 2 b26 b106 - 2 b26 b108 - 2 b26 b109 - 2 b26 b110 - 2 b26 b113 - 2 b26 b114 - 2 b26 b115 - 2 b26 b116 + 2 b26 b129 + 2 b26 b131 + 2 b26 b132 + 2 b26 b133 + 2 b26 b138 + 2 b26 b140 + 2 b26 b141 + 2 b26 b142 - 2 b26 b151 - 2 b26 b153 - 2 b26 b154 - 2 b26 b164 - 2 b26 b166 - 2 b26 b167 - 2 b26 b169 - 2 b26 b171 - 2 b26 b172 - 2 b26 b173 - 2 b26 b175 - 2 b26 b176 - 2 b27 b95 - 2 b27 b96 - 2 b27 b97 - 2 b27 b98 - 2 b27 b99 - 2 b27 b100 - 2 b27 b101 - 2 b27 b102 - 2 b27 b105 - 2 b27 b106 - 2 b27 b107 - 2 b27 b108 - 2 b27 b109 - 2 b27 b110 - 2 b27 b111 - 2 b27 b112 - 2 b27 b113 - 2 b27 b114 + 2 b27 b129 + 2 b27 b131 + 2 b27 b132 + 2 b27 b133 + 2 b27 b138 + 2 b27 b140 + 2 b27 b141 + 2 b27 b142 - 2 b27 b147 + 2 b27 b148 - 2 b27 b151 - 2 b27 b152 - 2 b27 b153 + 2 b27 b155 + 2 b27 b156 + 2 b27 b157 - 2 b27 b162 - 2 b27 b163 - 2 b27 b164 - 2 b27 b165 - 2 b27 b166 - 2 b27 b169 - 2 b27 b170 - 2 b27 b171 - 2 b27 b173 - 2 b27 b174 - 2 b27 b175 - 2 b28 b92 - 2 b28 b93 - 2 b28 b94 + 2 b28 b100 - 2 b28 b101 - 2 b28 b102 - 2 b28 b103 - 2 b28 b105 - 2 b28 b107 - 2 b28 b109 - 2 b28 b110 - 2 b28 b111 - 2 b28 b112 - 2 b28 b113 - 2 b28 b114 - 2 b28 b115 - 2 b28 b116 + 2 b28 b119 + 2 b28 b121 + 2 b28 b122 + 2 b28 b123 - 2 b28 b147 - 2 b28 b148 - 2 b28 b149 - 2 b28 b150 - 2 b28 b151 - 2 b28 b152 - 2 b28 b153 - 2 b28 b154 + 2 b28 b155 + 2 b28 b156 + 2 b28 b157 - 2 b28 b164 - 2 b28 b165 - 2 b28 b166 - 2 b28 b167 - 2 b28 b169 - 2 b28 b170 - 2 b28 b171 - 2 b28 b172 - 2 b28 b173 - 2 b28 b174 - 2 b28 b175 - 2 b28 b176 + 2 b29 b94 + 2 b29 b99 + 2 b29 b103 + 2 b29 b105 + 2 b29 b107 - 2 b29 b111 - 2 b29 b112 - 2 b29 b113 - 2 b29 b114 - 2 b29 b152 - 2 b29 b153 - 2 b29 b165 - 2 b29 b166 - 2 b29 b170 - 2 b29 b171 - 2 b29 b174 - 2 b29 b175 - 2 b30 b94 + 2 b30 b100 + 2 b30 b104 + 2 b30 b106 + 2 b30 b108 - 2 b30 b109 - 2 b30 b110 - 2 b30 b111 - 2 b30 b112 - 2 b30 b151 - 2 b30 b152 - 2 b30 b164 - 2 b30 b165 - 2 b30 b169 - 2 b30 b170 - 2 b30 b173 - 2 b30 b174 - 2 b31 b97 - 2 b31 b98 - 2 b31 b99 - 2 b31 b100 - 2 b31 b103 - 2 b31 b104 - 2 b31 b107 - 2 b31 b108 - 2 b31 b113 - 2 b31 b114 - 2 b31 b115 - 2 b31 b116 + 2 b31 b138 + 2 b31 b140 + 2 b31 b141 + 2 b31 b142 + 2 b31 b149 - 2 b31 b153 - 2 b31 b154 + 2 b31 b162 - 2 b31 b166 - 2 b31 b167 - 2 b31 b168 - 2 b31 b171 - 2 b31 b172 - 2 b31 b175 - 2 b31 b176 - 2 b32 b94 + 2 b32 b100 - 2 b32 b101 - 2 b32 b102 - 2 b32 b103 + 2 b32 b106 + 2 b32 b108 - 2 b32 b109 - 2 b32 b110 - 2 b32 b111 - 2 b32 b112 - 2 b32 b115 - 2 b32 b116 - 2 b32 b147 - 2 b32 b148 - 2 b32 b151 - 2 b32 b152 - 2 b32 b154 + 2 b32 b155 + 2 b32 b156 + 2 b32 b157 + 2 b32 b162 + 2 b32 b163 - 2 b32 b164 - 2 b32 b165 - 2 b32 b167 - 2 b32 b169 - 2 b32 b170 - 2 b32 b172 - 2 b32 b173 - 2 b32 b174 - 2 b32 b176 - 2 b33 b95 - 2 b33 b96 - 2 b33 b97 - 2 b33 b98 + 2 b33 b99 + 2 b33 b100 - 2 b33 b101 - 2 b33 b102 + 2 b33 b103 + 2 b33 b104 + 2 b33 b105 + 2 b33 b106 - 2 b33 b109 - 2 b33 b110 - 2 b33 b111 - 2 b33 b112 - 2 b33 b113 - 2 b33 b114 - 2 b33 b115 - 2 b33 b116 + 2 b33 b129 + 2 b33 b131 + 2 b33 b132 + 2 b33 b133 + 2 b33 b138 + 2 b33 b140 + 2 b33 b141 + 2 b33 b142 - 2 b33 b147 - 2 b33 b150 - 2 b33 b151 - 2 b33 b152 - 2 b33 b153 - 2 b33 b154 + 2 b33 b155 + 2 b33 b156 + 2 b33 b157 - 2 b33 b163 - 2 b33 b164 - 2 b33 b165 - 2 b33 b166 - 2 b33 b167 - 2 b33 b168 - 2 b33 b169 - 2 b33 b170 - 2 b33 b171 - 2 b33 b172 - 2 b33 b173 - 2 b33 b174 - 2 b33 b175 - 2 b33 b176 - 2 b34 b92 - 2 b34 b93 - 2 b34 b94 - 2 b34 b97 - 2 b34 b98 - 2 b34 b99 - 2 b34 b101 - 2 b34 b102 - 2 b34 b103 - 2 b34 b105 - 2 b34 b107 - 2 b34 b109 - 2 b34 b110 - 2 b34 b111 - 2 b34 b112 - 2 b34 b113 - 2 b34 b114 + 2 b34 b119 + 2 b34 b121 + 2 b34 b122 + 2 b34 b123 + 2 b34 b138 + 2 b34 b140 + 2 b34 b141 + 2 b34 b142 - 2 b34 b147 - 2 b34 b151 - 2 b34 b152 - 2 b34 b153 + 2 b34 b155 + 2 b34 b156 + 2 b34 b157 - 2 b34 b164 - 2 b34 b165 - 2 b34 b166 - 2 b34 b169 - 2 b34 b170 - 2 b34 b171 - 2 b34 b173 - 2 b34 b174 - 2 b34 b175 - 2 b35 b92 - 2 b35 b93 - 2 b35 b99 - 2 b35 b100 - 2 b35 b103 - 2 b35 b104 - 2 b35 b105 - 2 b35 b106 - 2 b35 b109 - 2 b35 b110 - 2 b35 b113 - 2 b35 b114 - 2 b35 b115 - 2 b35 b116 + 2 b35 b119 + 2 b35 b121 + 2 b35 b122 + 2 b35 b123 + 2 b35 b150 - 2 b35 b151 - 2 b35 b153 - 2 b35 b154 + 2 b35 b163 - 2 b35 b164 - 2 b35 b166 - 2 b35 b167 + 2 b35 b168 - 2 b35 b169 - 2 b35 b171 - 2 b35 b172 - 2 b35 b173 - 2 b35 b175 - 2 b35 b176 - 2 b36 b92 - 2 b36 b93 - 2 b36 b97 - 2 b36 b98 + 2 b36 b99 + 2 b36 b100 + 2 b36 b105 + 2 b36 b106 - 2 b36 b109 - 2 b36 b110 - 2 b36 b115 - 2 b36 b116 + 2 b36 b119 + 2 b36 b121 + 2 b36 b122 + 2 b36 b123 + 2 b36 b138 + 2 b36 b140 + 2 b36 b141 + 2 b36 b142 - 2 b36 b148 - 2 b36 b150 - 2 b36 b151 - 2 b36 b154 + 2 b36 b162 - 2 b36 b164 - 2 b36 b167 - 2 b36 b168 - 2 b36 b169 - 2 b36 b172 - 2 b36 b173 - 2 b36 b176 - 2 b37 b95 - 2 b37 b97 - 2 b37 b99 - 2 b37 b101 - 2 b37 b105 - 2 b37 b107 - 2 b37 b109 - 2 b37 b111 - 2 b37 b113 - 2 b37 b130 + 2 b37 b131 - 2 b37 b135 + 2 b37 b137 - 2 b37 b139 + 2 b37 b140 - 2 b37 b144 + 2 b37 b146 - 2 b37 b147 + 2 b37 b148 - 2 b37 b152 + 2 b37 b154 + 2 b37 b155 + 2 b37 b156 + 2 b37 b157 + 2 b37 b158 + 2 b37 b160 + 2 b37 b161 - 2 b37 b162 - 2 b37 b163 - 2 b37 b164 - 2 b37 b165 - 2 b37 b166 - 2 b37 b170 + 2 b37 b172 - 2 b37 b174 + 2 b37 b176 - 2 b37 b177 + 2 b37 b179 + 2 b37 b180 + 2 b37 b181 + 2 b37 b182 - 2 b38 b92 - 2 b38 b94 + 2 b38 b96 + 2 b38 b98 + 2 b38 b100 - 2 b38 b101 - 2 b38 b103 + 2 b38 b104 - 2 b38 b105 + 2 b38 b106 - 2 b38 b107 + 2 b38 b108 - 2 b38 b109 + 2 b38 b110 - 2 b38 b111 - 2 b38 b113 + 2 b38 b114 - 2 b38 b115 + 2 b38 b116 + 2 b38 b117 + 2 b38 b118 + 2 b38 b119 + 2 b38 b121 + 2 b38 b122 + 2 b38 b123 + 2 b38 b124 + 2 b38 b126 + 2 b38 b127 - 2 b38 b130 - 2 b38 b131 - 2 b38 b132 - 2 b38 b133 - 2 b38 b134 - 2 b38 b135 - 2 b38 b136 - 2 b38 b137 - 2 b38 b139 - 2 b38 b140 - 2 b38 b141 - 2 b38 b142 - 2 b38 b143 - 2 b38 b144 - 2 b38 b145 - 2 b38 b146 - 2 b38 b147 - 2 b38 b148 - 2 b38 b149 - 2 b38 b150 - 2 b38 b151 - 2 b38 b152 - 2 b38 b153 - 2 b38 b154 + 2 b38 b155 + 2 b38 b156 + 2 b38 b157 + 2 b38 b158 + 2 b38 b160 + 2 b38 b161 - 2 b38 b165 - 2 b38 b170 - 2 b38 b174 - 2 b38 b177 + 2 b38 b180 + 2 b38 b181 + 2 b39 b95 + 2 b39 b97 + 2 b39 b99 + 2 b39 b103 + 2 b39 b105 + 2 b39 b107 + 2 b39 b109 - 2 b39 b111 + 2 b39 b115 - 2 b39 b135 - 2 b39 b136 - 2 b39 b144 - 2 b39 b145 - 2 b39 b152 - 2 b39 b153 - 2 b39 b165 - 2 b39 b166 - 2 b39 b170 - 2 b39 b171 - 2 b39 b174 - 2 b39 b175 - 2 b39 b177 - 2 b39 b178 + 2 b39 b180 + 2 b39 b181 + 2 b39 b182 - 2 b40 b94 + 2 b40 b96 + 2 b40 b98 + 2 b40 b100 + 2 b40 b104 + 2 b40 b106 + 2 b40 b108 - 2 b40 b109 + 2 b40 b110 - 2 b40 b111 + 2 b40 b114 + 2 b40 b116 - 2 b40 b134 - 2 b40 b135 - 2 b40 b143 - 2 b40 b144 - 2 b40 b151 - 2 b40 b152 - 2 b40 b164 - 2 b40 b165 - 2 b40 b169 - 2 b40 b170 - 2 b40 b173 - 2 b40 b174 - 2 b40 b177 + 2 b40 b178 + 2 b40 b179 + 2 b40 b180 + 2 b40 b181 - 2 b41 b97 - 2 b41 b99 - 2 b41 b103 - 2 b41 b107 - 2 b41 b113 - 2 b41 b115 - 2 b41 b128 - 2 b41 b129 - 2 b41 b131 - 2 b41 b133 - 2 b41 b136 - 2 b41 b137 + 2 b41 b141 + 2 b41 b143 + 2 b41 b149 + 2 b41 b151 + 2 b41 b162 + 2 b41 b164 - 2 b41 b168 - 2 b41 b171 - 2 b41 b172 + 2 b41 b173 - 2 b41 b178 - 2 b41 b179 - 2 b42 b94 + 2 b42 b96 + 2 b42 b98 + 2 b42 b100 - 2 b42 b101 - 2 b42 b103 + 2 b42 b104 + 2 b42 b106 + 2 b42 b108 - 2 b42 b109 + 2 b42 b110 - 2 b42 b111 + 2 b42 b114 - 2 b42 b115 + 2 b42 b116 - 2 b42 b130 - 2 b42 b131 - 2 b42 b134 - 2 b42 b135 - 2 b42 b137 - 2 b42 b139 - 2 b42 b140 - 2 b42 b143 - 2 b42 b144 - 2 b42 b146 - 2 b42 b147 - 2 b42 b148 - 2 b42 b151 - 2 b42 b152 - 2 b42 b154 + 2 b42 b155 + 2 b42 b156 + 2 b42 b157 + 2 b42 b158 + 2 b42 b160 + 2 b42 b161 + 2 b42 b162 + 2 b42 b163 - 2 b42 b165 + 2 b42 b166 - 2 b42 b169 - 2 b42 b170 - 2 b42 b172 - 2 b42 b173 - 2 b42 b174 - 2 b42 b176 - 2 b42 b177 + 2 b42 b178 + 2 b42 b180 + 2 b42 b181 - 2 b42 b182 - 2 b43 b94 + 2 b43 b96 + 2 b43 b98 + 2 b43 b99 + 2 b43 b100 - 2 b43 b101 + 2 b43 b103 + 2 b43 b104 + 2 b43 b105 + 2 b43 b106 + 2 b43 b108 + 2 b43 b110 - 2 b43 b111 + 2 b43 b114 + 2 b43 b116 + 2 b43 b129 - 2 b43 b130 + 2 b43 b131 + 2 b43 b132 - 2 b43 b135 + 2 b43 b138 - 2 b43 b139 + 2 b43 b140 + 2 b43 b141 - 2 b43 b144 - 2 b43 b147 - 2 b43 b150 - 2 b43 b151 - 2 b43 b152 - 2 b43 b153 - 2 b43 b154 + 2 b43 b155 + 2 b43 b156 + 2 b43 b157 + 2 b43 b158 + 2 b43 b160 + 2 b43 b161 - 2 b43 b163 - 2 b43 b164 - 2 b43 b165 - 2 b43 b166 - 2 b43 b167 - 2 b43 b168 - 2 b43 b169 - 2 b43 b170 - 2 b43 b171 - 2 b43 b172 - 2 b43 b174 - 2 b43 b177 + 2 b43 b180 + 2 b43 b181 - 2 b44 b92 - 2 b44 b94 + 2 b44 b96 - 2 b44 b97 + 2 b44 b98 - 2 b44 b99 + 2 b44 b100 - 2 b44 b101 - 2 b44 b103 + 2 b44 b104 - 2 b44 b105 + 2 b44 b106 - 2 b44 b107 + 2 b44 b108 - 2 b44 b109 + 2 b44 b110 - 2 b44 b111 - 2 b44 b113 + 2 b44 b114 + 2 b44 b116 + 2 b44 b117 + 2 b44 b118 + 2 b44 b119 + 2 b44 b121 + 2 b44 b122 + 2 b44 b123 + 2 b44 b124 + 2 b44 b126 + 2 b44 b127 - 2 b44 b128 - 2 b44 b129 - 2 b44 b130 - 2 b44 b131 - 2 b44 b132 - 2 b44 b133 - 2 b44 b134 - 2 b44 b135 - 2 b44 b136 - 2 b44 b139 - 2 b44 b144 + 2 b44 b146 - 2 b44 b147 - 2 b44 b152 + 2 b44 b154 + 2 b44 b155 + 2 b44 b156 + 2 b44 b157 + 2 b44 b158 + 2 b44 b160 + 2 b44 b161 - 2 b44 b165 + 2 b44 b167 - 2 b44 b170 + 2 b44 b172 - 2 b44 b174 + 2 b44 b176 - 2 b44 b177 + 2 b44 b179 + 2 b44 b180 + 2 b44 b181 + 2 b44 b182 - 2 b45 b92 - 2 b45 b99 - 2 b45 b103 - 2 b45 b105 - 2 b45 b109 - 2 b45 b113 - 2 b45 b115 + 2 b45 b117 + 2 b45 b118 + 2 b45 b119 + 2 b45 b121 + 2 b45 b122 + 2 b45 b123 + 2 b45 b124 + 2 b45 b126 + 2 b45 b127 - 2 b45 b129 - 2 b45 b131 - 2 b45 b132 - 2 b45 b134 - 2 b45 b136 - 2 b45 b137 - 2 b45 b138 - 2 b45 b140 - 2 b45 b141 - 2 b45 b143 - 2 b45 b145 - 2 b45 b146 + 2 b45 b150 + 2 b45 b163 + 2 b45 b168 - 2 b45 b173 - 2 b45 b175 - 2 b45 b176 - 2 b46 b92 - 2 b46 b94 + 2 b46 b95 + 2 b46 b96 + 2 b46 b98 + 2 b46 b99 + 2 b46 b100 + 2 b46 b104 + 2 b46 b105 + 2 b46 b106 + 2 b46 b108 + 2 b46 b110 + 2 b46 b113 + 2 b46 b114 + 2 b46 b116 + 2 b46 b117 + 2 b46 b118 + 2 b46 b119 + 2 b46 b121 + 2 b46 b122 + 2 b46 b123 + 2 b46 b124 + 2 b46 b126 + 2 b46 b127 - 2 b46 b128 - 2 b46 b131 - 2 b46 b133 - 2 b46 b134 - 2 b46 b137 + 2 b46 b138 + 2 b46 b141 + 2 b46 b145 - 2 b46 b148 - 2 b46 b150 - 2 b46 b151 - 2 b46 b154 + 2 b46 b162 + 2 b46 b166 - 2 b46 b168 - 2 b46 b169 - 2 b46 b172 + 2 b46 b175 + 2 b46 b178 - 2 b46 b182 + 2 b47 b96 + 2 b47 b98 + 2 b47 b100 + 2 b47 b102 + 2 b47 b106 + 2 b47 b108 + 2 b47 b110 + 2 b47 b112 + 2 b47 b114 + 2 b47 b117 + 2 b47 b118 + 2 b47 b119 + 2 b47 b120 + 2 b47 b122 + 2 b47 b123 + 2 b47 b124 + 2 b47 b125 + 2 b47 b126 - 2 b47 b130 - 2 b47 b131 - 2 b47 b132 - 2 b47 b133 - 2 b47 b134 - 2 b47 b135 - 2 b47 b136 - 2 b47 b137 - 2 b47 b139 - 2 b47 b140 - 2 b47 b141 - 2 b47 b142 - 2 b47 b143 - 2 b47 b144 - 2 b47 b145 - 2 b47 b146 - 2 b47 b147 - 2 b47 b148 - 2 b47 b149 - 2 b47 b150 - 2 b47 b151 - 2 b47 b152 - 2 b47 b153 - 2 b47 b154 - 2 b47 b155 - 2 b47 b161 + 2 b47 b162 + 2 b47 b163 + 2 b47 b164 + 2 b47 b165 + 2 b47 b166 - 2 b47 b172 - 2 b47 b176 - 2 b47 b179 - 2 b47 b181 - 2 b47 b182 + 2 b48 b95 + 2 b48 b97 + 2 b48 b99 + 2 b48 b101 + 2 b48 b105 + 2 b48 b107 + 2 b48 b109 + 2 b48 b111 + 2 b48 b113 - 2 b48 b135 - 2 b48 b136 - 2 b48 b144 - 2 b48 b145 - 2 b48 b152 - 2 b48 b153 - 2 b48 b159 - 2 b48 b160 - 2 b48 b170 - 2 b48 b171 - 2 b48 b174 - 2 b48 b175 - 2 b48 b177 - 2 b48 b178 + 2 b49 b96 + 2 b49 b98 + 2 b49 b100 + 2 b49 b102 + 2 b49 b106 + 2 b49 b108 + 2 b49 b110 + 2 b49 b112 + 2 b49 b114 - 2 b49 b134 - 2 b49 b135 - 2 b49 b143 - 2 b49 b144 - 2 b49 b151 - 2 b49 b152 - 2 b49 b158 - 2 b49 b159 - 2 b49 b169 - 2 b49 b170 - 2 b49 b173 - 2 b49 b174 + 2 b49 b178 + 2 b49 b180 - 2 b50 b128 - 2 b50 b129 - 2 b50 b131 - 2 b50 b133 - 2 b50 b136 - 2 b50 b137 + 2 b50 b139 - 2 b50 b140 + 2 b50 b141 + 2 b50 b143 + 2 b50 b144 - 2 b50 b146 + 2 b50 b147 - 2 b50 b148 + 2 b50 b149 + 2 b50 b151 + 2 b50 b152 - 2 b50 b154 - 2 b50 b155 - 2 b50 b157 - 2 b50 b160 - 2 b50 b161 + 2 b50 b162 + 2 b50 b163 + 2 b50 b164 + 2 b50 b165 + 2 b50 b166 - 2 b50 b168 - 2 b50 b171 - 2 b50 b172 + 2 b50 b173 + 2 b50 b174 - 2 b50 b176 - 2 b50 b178 - 2 b50 b179 - 2 b50 b180 - 2 b50 b181 - 2 b50 b182 + 2 b51 b96 + 2 b51 b98 + 2 b51 b100 + 2 b51 b102 + 2 b51 b106 + 2 b51 b108 + 2 b51 b110 + 2 b51 b112 + 2 b51 b114 - 2 b51 b130 - 2 b51 b131 - 2 b51 b134 - 2 b51 b135 - 2 b51 b137 - 2 b51 b139 - 2 b51 b140 - 2 b51 b143 - 2 b51 b144 - 2 b51 b146 - 2 b51 b147 - 2 b51 b148 - 2 b51 b151 - 2 b51 b152 - 2 b51 b154 - 2 b51 b155 + 2 b51 b156 + 2 b51 b157 + 2 b51 b160 - 2 b51 b161 + 2 b51 b162 + 2 b51 b163 + 2 b51 b164 + 2 b51 b165 + 2 b51 b166 - 2 b51 b169 - 2 b51 b170 - 2 b51 b172 - 2 b51 b173 - 2 b51 b174 - 2 b51 b176 + 2 b51 b178 - 2 b51 b179 + 2 b51 b180 - 2 b51 b181 - 2 b51 b182 + 2 b52 b95 + 2 b52 b96 + 2 b52 b97 + 2 b52 b98 + 2 b52 b99 + 2 b52 b100 + 2 b52 b101 + 2 b52 b102 + 2 b52 b105 + 2 b52 b106 + 2 b52 b107 + 2 b52 b108 + 2 b52 b109 + 2 b52 b110 + 2 b52 b111 + 2 b52 b112 + 2 b52 b113 + 2 b52 b114 + 2 b52 b129 + 2 b52 b132 - 2 b52 b137 + 2 b52 b138 + 2 b52 b141 - 2 b52 b146 - 2 b52 b147 - 2 b52 b150 - 2 b52 b151 - 2 b52 b152 - 2 b52 b153 - 2 b52 b154 + 2 b52 b156 - 2 b52 b161 - 2 b52 b168 - 2 b52 b169 - 2 b52 b170 - 2 b52 b171 - 2 b52 b172 - 2 b52 b176 - 2 b52 b179 - 2 b52 b181 - 2 b52 b182 + 2 b53 b96 + 2 b53 b98 + 2 b53 b100 + 2 b53 b102 + 2 b53 b106 + 2 b53 b108 + 2 b53 b110 + 2 b53 b112 + 2 b53 b114 + 2 b53 b117 + 2 b53 b118 + 2 b53 b119 + 2 b53 b120 + 2 b53 b122 + 2 b53 b123 + 2 b53 b124 + 2 b53 b125 + 2 b53 b126 - 2 b53 b128 - 2 b53 b129 - 2 b53 b130 - 2 b53 b131 - 2 b53 b132 - 2 b53 b133 - 2 b53 b134 - 2 b53 b135 - 2 b53 b136 - 2 b53 b140 - 2 b53 b148 - 2 b53 b155 + 2 b53 b162 + 2 b53 b163 + 2 b53 b164 + 2 b53 b165 + 2 b53 b166 + 2 b54 b117 + 2 b54 b118 + 2 b54 b119 + 2 b54 b120 + 2 b54 b122 + 2 b54 b123 + 2 b54 b124 + 2 b54 b125 + 2 b54 b126 - 2 b54 b129 - 2 b54 b131 - 2 b54 b132 - 2 b54 b134 - 2 b54 b136 - 2 b54 b137 - 2 b54 b138 - 2 b54 b140 - 2 b54 b141 - 2 b54 b143 - 2 b54 b145 - 2 b54 b146 + 2 b54 b147 - 2 b54 b148 + 2 b54 b150 + 2 b54 b152 - 2 b54 b154 - 2 b54 b155 - 2 b54 b156 - 2 b54 b158 - 2 b54 b160 - 2 b54 b161 + 2 b54 b162 + 2 b54 b163 + 2 b54 b164 + 2 b54 b165 + 2 b54 b166 + 2 b54 b168 + 2 b54 b170 - 2 b54 b172 - 2 b54 b173 - 2 b54 b175 - 2 b54 b176 + 2 b54 b177 - 2 b54 b179 - 2 b54 b180 - 2 b54 b181 - 2 b54 b182 + 2 b55 b95 + 2 b55 b96 + 2 b55 b97 + 2 b55 b98 + 2 b55 b99 + 2 b55 b100 + 2 b55 b101 + 2 b55 b102 + 2 b55 b105 + 2 b55 b106 + 2 b55 b107 + 2 b55 b108 + 2 b55 b109 + 2 b55 b110 + 2 b55 b111 + 2 b55 b112 + 2 b55 b113 + 2 b55 b114 + 2 b55 b117 + 2 b55 b118 + 2 b55 b119 + 2 b55 b120 + 2 b55 b122 + 2 b55 b123 + 2 b55 b124 + 2 b55 b125 + 2 b55 b126 - 2 b55 b128 - 2 b55 b131 - 2 b55 b133 - 2 b55 b134 - 2 b55 b137 + 2 b55 b138 + 2 b55 b139 - 2 b55 b140 + 2 b55 b141 + 2 b55 b144 + 2 b55 b145 - 2 b55 b146 - 2 b55 b148 - 2 b55 b150 - 2 b55 b151 - 2 b55 b154 - 2 b55 b155 - 2 b55 b157 - 2 b55 b158 - 2 b55 b161 + 2 b55 b162 + 2 b55 b163 + 2 b55 b164 + 2 b55 b165 + 2 b55 b166 - 2 b55 b168 - 2 b55 b169 - 2 b55 b172 + 2 b55 b174 + 2 b55 b175 - 2 b55 b176 + 2 b55 b177 + 2 b55 b178 - 2 b55 b179 - 2 b55 b181 - 2 b55 b182 + 2 b56 b92 + 2 b56 b94 + 2 b56 b101 + 2 b56 b103 + 2 b56 b105 + 2 b56 b107 + 2 b56 b109 + 2 b56 b111 - 2 b56 b112 + 2 b56 b113 - 2 b56 b114 + 2 b56 b115 - 2 b56 b125 - 2 b56 b126 - 2 b56 b159 - 2 b56 b160 - 2 b56 b165 - 2 b56 b166 - 2 b56 b170 - 2 b56 b171 - 2 b56 b174 - 2 b56 b175 - 2 b56 b177 - 2 b56 b178 + 2 b56 b181 + 2 b56 b182 + 2 b57 b93 + 2 b57 b102 + 2 b57 b104 + 2 b57 b106 + 2 b57 b108 + 2 b57 b114 + 2 b57 b116 - 2 b57 b124 - 2 b57 b125 - 2 b57 b158 - 2 b57 b159 - 2 b57 b164 - 2 b57 b165 - 2 b57 b169 - 2 b57 b170 - 2 b57 b173 - 2 b57 b174 + 2 b57 b178 + 2 b57 b179 + 2 b57 b180 + 2 b57 b181 - 2 b58 b98 - 2 b58 b100 - 2 b58 b104 - 2 b58 b108 - 2 b58 b114 - 2 b58 b116 - 2 b58 b118 - 2 b58 b119 - 2 b58 b121 - 2 b58 b123 - 2 b58 b126 - 2 b58 b127 + 2 b58 b139 + 2 b58 b140 + 2 b58 b141 + 2 b58 b142 + 2 b58 b143 + 2 b58 b144 + 2 b58 b145 + 2 b58 b146 + 2 b58 b147 + 2 b58 b148 + 2 b58 b149 + 2 b58 b150 + 2 b58 b151 + 2 b58 b152 + 2 b58 b153 + 2 b58 b154 - 2 b58 b155 - 2 b58 b157 - 2 b58 b160 - 2 b58 b161 + 2 b58 b162 + 2 b58 b164 + 2 b58 b165 - 2 b58 b168 - 2 b58 b171 - 2 b58 b172 + 2 b58 b173 + 2 b58 b174 - 2 b58 b178 - 2 b58 b179 - 2 b58 b180 - 2 b58 b181 + 2 b59 b93 + 2 b59 b106 + 2 b59 b108 + 2 b59 b114 - 2 b59 b120 - 2 b59 b121 - 2 b59 b124 - 2 b59 b125 - 2 b59 b127 + 2 b59 b156 + 2 b59 b157 + 2 b59 b160 + 2 b59 b162 + 2 b59 b163 + 2 b59 b166 - 2 b59 b169 - 2 b59 b170 - 2 b59 b172 - 2 b59 b173 - 2 b59 b174 - 2 b59 b176 + 2 b59 b178 + 2 b59 b180 - 2 b59 b182 + 2 b60 b92 + 2 b60 b93 + 2 b60 b94 - 2 b60 b96 - 2 b60 b98 + 2 b60 b101 + 2 b60 b103 + 2 b60 b104 + 2 b60 b105 + 2 b60 b106 + 2 b60 b107 + 2 b60 b109 + 2 b60 b111 + 2 b60 b113 + 2 b60 b115 - 2 b60 b117 - 2 b60 b118 - 2 b60 b120 - 2 b60 b123 - 2 b60 b124 - 2 b60 b125 - 2 b60 b126 - 2 b60 b127 + 2 b60 b130 + 2 b60 b131 + 2 b60 b132 + 2 b60 b133 + 2 b60 b134 + 2 b60 b135 + 2 b60 b136 + 2 b60 b137 + 2 b60 b139 + 2 b60 b140 + 2 b60 b141 + 2 b60 b142 + 2 b60 b143 + 2 b60 b144 + 2 b60 b145 + 2 b60 b146 + 2 b60 b155 + 2 b60 b156 - 2 b60 b163 - 2 b60 b164 - 2 b60 b165 - 2 b60 b166 - 2 b60 b167 - 2 b60 b168 - 2 b60 b169 - 2 b60 b170 - 2 b60 b171 - 2 b60 b172 - 2 b61 b98 - 2 b61 b100 + 2 b61 b116 - 2 b61 b118 - 2 b61 b119 + 2 b61 b127 + 2 b61 b139 + 2 b61 b140 + 2 b61 b141 + 2 b61 b142 + 2 b61 b143 + 2 b61 b144 + 2 b61 b145 + 2 b61 b146 + 2 b61 b147 + 2 b61 b148 + 2 b61 b149 + 2 b61 b150 + 2 b61 b151 + 2 b61 b152 + 2 b61 b153 + 2 b61 b154 + 2 b61 b161 + 2 b61 b167 + 2 b61 b172 + 2 b61 b176 + 2 b61 b179 + 2 b61 b181 + 2 b61 b182 - 2 b62 b93 - 2 b62 b100 - 2 b62 b104 - 2 b62 b106 - 2 b62 b110 - 2 b62 b114 - 2 b62 b116 - 2 b62 b119 + 2 b62 b120 + 2 b62 b123 + 2 b62 b125 + 2 b62 b147 + 2 b62 b148 + 2 b62 b149 + 2 b62 b150 + 2 b62 b151 + 2 b62 b152 + 2 b62 b153 + 2 b62 b154 - 2 b62 b155 - 2 b62 b156 - 2 b62 b158 - 2 b62 b160 - 2 b62 b161 + 2 b62 b163 + 2 b62 b165 + 2 b62 b168 + 2 b62 b170 - 2 b62 b173 - 2 b62 b175 - 2 b62 b176 + 2 b62 b177 - 2 b62 b180 - 2 b62 b181 + 2 b63 b92 + 2 b63 b94 - 2 b63 b98 + 2 b63 b101 + 2 b63 b102 + 2 b63 b103 + 2 b63 b105 + 2 b63 b106 + 2 b63 b107 + 2 b63 b109 + 2 b63 b111 + 2 b63 b112 + 2 b63 b113 + 2 b63 b114 + 2 b63 b115 - 2 b63 b118 + 2 b63 b120 + 2 b63 b122 + 2 b63 b125 + 2 b63 b126 + 2 b63 b139 + 2 b63 b140 + 2 b63 b141 + 2 b63 b142 + 2 b63 b143 + 2 b63 b144 + 2 b63 b145 + 2 b63 b146 - 2 b63 b155 - 2 b63 b157 - 2 b63 b158 - 2 b63 b161 + 2 b63 b162 + 2 b63 b165 + 2 b63 b166 - 2 b63 b168 - 2 b63 b169 - 2 b63 b172 + 2 b63 b174 + 2 b63 b175 + 2 b63 b177 + 2 b63 b178 - 2 b63 b181 - 2 b63 b182 - 2 b64 b94 - 2 b64 b109 - 2 b64 b111 + 2 b64 b112 + 2 b64 b114 + 2 b64 b177 + 2 b64 b178 + 2 b64 b180 - 2 b65 b97 - 2 b65 b99 - 2 b65 b103 - 2 b65 b107 - 2 b65 b113 - 2 b65 b115 + 2 b65 b144 + 2 b65 b145 + 2 b65 b152 + 2 b65 b153 + 2 b65 b165 + 2 b65 b166 + 2 b65 b174 + 2 b65 b175 - 2 b65 b180 - 2 b65 b181 - 2 b65 b182 - 2 b66 b94 - 2 b66 b101 - 2 b66 b103 - 2 b66 b109 - 2 b66 b111 + 2 b66 b112 + 2 b66 b114 - 2 b66 b115 + 2 b66 b159 + 2 b66 b160 + 2 b66 b165 + 2 b66 b166 + 2 b66 b177 + 2 b66 b178 + 2 b66 b180 - 2 b66 b181 - 2 b66 b182 - 2 b67 b94 - 2 b67 b95 - 2 b67 b97 - 2 b67 b101 - 2 b67 b107 - 2 b67 b109 + 2 b67 b112 + 2 b67 b114 - 2 b67 b115 + 2 b67 b135 + 2 b67 b136 + 2 b67 b144 + 2 b67 b145 + 2 b67 b159 + 2 b67 b160 + 2 b67 b174 + 2 b67 b175 + 2 b67 b177 + 2 b67 b178 - 2 b67 b181 - 2 b67 b182 - 2 b68 b92 - 2 b68 b94 - 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 b112 - 2 b68 b113 + 2 b68 b114 + 2 b68 b125 + 2 b68 b126 + 2 b68 b144 + 2 b68 b145 + 2 b68 b152 + 2 b68 b153 + 2 b68 b159 + 2 b68 b160 + 2 b68 b165 + 2 b68 b166 + 2 b68 b170 + 2 b68 b171 + 2 b68 b174 + 2 b68 b175 + 2 b68 b177 + 2 b68 b178 - 2 b69 b92 - 2 b69 b99 - 2 b69 b103 - 2 b69 b105 - 2 b69 b109 - 2 b69 b113 - 2 b69 b115 + 2 b69 b125 + 2 b69 b126 + 2 b69 b152 + 2 b69 b153 + 2 b69 b165 + 2 b69 b166 + 2 b69 b170 + 2 b69 b171 + 2 b69 b177 + 2 b69 b178 - 2 b69 b180 - 2 b69 b181 - 2 b69 b182 - 2 b70 b92 - 2 b70 b94 - 2 b70 b97 - 2 b70 b103 - 2 b70 b107 - 2 b70 b109 + 2 b70 b111 + 2 b70 b112 + 2 b70 b113 + 2 b70 b114 - 2 b70 b115 + 2 b70 b125 + 2 b70 b126 + 2 b70 b144 + 2 b70 b145 + 2 b70 b165 + 2 b70 b166 + 2 b70 b174 + 2 b70 b175 + 2 b70 b177 + 2 b70 b178 - 2 b70 b181 - 2 b70 b182 - 2 b71 b98 - 2 b71 b100 - 2 b71 b104 - 2 b71 b108 - 2 b71 b114 - 2 b71 b116 + 2 b71 b143 + 2 b71 b144 + 2 b71 b151 + 2 b71 b152 + 2 b71 b164 + 2 b71 b165 + 2 b71 b173 + 2 b71 b174 - 2 b71 b178 - 2 b71 b179 - 2 b71 b180 - 2 b71 b181 - 2 b72 b102 - 2 b72 b104 - 2 b72 b116 + 2 b72 b158 + 2 b72 b159 + 2 b72 b164 + 2 b72 b165 - 2 b72 b179 - 2 b72 b181 + 2 b73 b94 - 2 b73 b96 - 2 b73 b98 - 2 b73 b102 - 2 b73 b108 + 2 b73 b109 + 2 b73 b111 - 2 b73 b114 - 2 b73 b116 + 2 b73 b134 + 2 b73 b135 + 2 b73 b143 + 2 b73 b144 + 2 b73 b158 + 2 b73 b159 + 2 b73 b173 + 2 b73 b174 - 2 b73 b178 - 2 b73 b179 - 2 b73 b180 - 2 b73 b181 - 2 b74 b93 - 2 b74 b98 - 2 b74 b100 - 2 b74 b102 - 2 b74 b104 - 2 b74 b106 - 2 b74 b108 - 2 b74 b114 + 2 b74 b124 + 2 b74 b125 + 2 b74 b143 + 2 b74 b144 + 2 b74 b151 + 2 b74 b152 + 2 b74 b158 + 2 b74 b159 + 2 b74 b164 + 2 b74 b165 + 2 b74 b169 + 2 b74 b170 + 2 b74 b173 + 2 b74 b174 - 2 b74 b178 - 2 b74 b180 - 2 b75 b93 - 2 b75 b100 - 2 b75 b104 - 2 b75 b106 - 2 b75 b110 - 2 b75 b114 - 2 b75 b116 + 2 b75 b124 + 2 b75 b125 + 2 b75 b151 + 2 b75 b152 + 2 b75 b164 + 2 b75 b165 + 2 b75 b169 + 2 b75 b170 + 2 b75 b177 - 2 b75 b178 - 2 b75 b179 - 2 b75 b180 - 2 b75 b181 - 2 b76 b93 + 2 b76 b94 - 2 b76 b98 - 2 b76 b104 - 2 b76 b108 + 2 b76 b109 + 2 b76 b111 + 2 b76 b112 - 2 b76 b116 + 2 b76 b124 + 2 b76 b125 + 2 b76 b143 + 2 b76 b144 + 2 b76 b164 + 2 b76 b165 + 2 b76 b173 + 2 b76 b174 + 2 b76 b177 - 2 b76 b179 - 2 b76 b181 + 2 b77 b98 + 2 b77 b100 + 2 b77 b104 + 2 b77 b108 + 2 b77 b114 + 2 b77 b116 - 2 b77 b139 - 2 b77 b140 - 2 b77 b143 - 2 b77 b144 - 2 b77 b146 - 2 b77 b147 - 2 b77 b148 - 2 b77 b151 - 2 b77 b152 - 2 b77 b154 + 2 b77 b155 + 2 b77 b157 + 2 b77 b160 + 2 b77 b161 + 2 b77 b163 - 2 b77 b164 - 2 b77 b165 + 2 b77 b166 - 2 b77 b173 - 2 b77 b174 - 2 b77 b176 + 2 b77 b178 + 2 b77 b179 + 2 b77 b180 + 2 b77 b181 - 2 b77 b182 + 2 b78 b97 + 2 b78 b98 + 2 b78 b99 + 2 b78 b100 + 2 b78 b103 + 2 b78 b104 + 2 b78 b107 + 2 b78 b108 + 2 b78 b113 + 2 b78 b114 + 2 b78 b115 + 2 b78 b116 + 2 b78 b128 + 2 b78 b129 + 2 b78 b131 + 2 b78 b133 + 2 b78 b136 + 2 b78 b137 + 2 b78 b138 - 2 b78 b139 + 2 b78 b140 - 2 b78 b143 - 2 b78 b144 - 2 b78 b147 - 2 b78 b150 - 2 b78 b151 - 2 b78 b152 - 2 b78 b153 - 2 b78 b154 + 2 b78 b155 + 2 b78 b157 + 2 b78 b160 + 2 b78 b161 - 2 b78 b163 - 2 b78 b164 - 2 b78 b165 - 2 b78 b166 - 2 b78 b167 - 2 b78 b173 - 2 b78 b174 + 2 b78 b178 + 2 b78 b179 + 2 b78 b180 + 2 b78 b181 + 2 b79 b98 + 2 b79 b100 + 2 b79 b104 + 2 b79 b108 + 2 b79 b114 + 2 b79 b116 + 2 b79 b118 + 2 b79 b119 + 2 b79 b121 + 2 b79 b123 + 2 b79 b126 + 2 b79 b127 - 2 b79 b139 - 2 b79 b141 - 2 b79 b143 - 2 b79 b144 + 2 b79 b146 - 2 b79 b147 - 2 b79 b149 - 2 b79 b151 - 2 b79 b152 + 2 b79 b154 + 2 b79 b155 + 2 b79 b157 + 2 b79 b160 + 2 b79 b161 - 2 b79 b162 - 2 b79 b164 - 2 b79 b165 + 2 b79 b167 + 2 b79 b168 + 2 b79 b171 + 2 b79 b172 - 2 b79 b173 - 2 b79 b174 + 2 b79 b176 + 2 b79 b178 + 2 b79 b179 + 2 b79 b180 + 2 b79 b181 + 2 b79 b182 + 2 b80 b118 + 2 b80 b119 + 2 b80 b121 + 2 b80 b123 + 2 b80 b126 + 2 b80 b127 - 2 b80 b138 - 2 b80 b140 - 2 b80 b141 - 2 b80 b143 - 2 b80 b145 - 2 b80 b146 - 2 b80 b149 + 2 b80 b150 - 2 b80 b151 - 2 b80 b162 + 2 b80 b163 - 2 b80 b164 + 2 b80 b168 + 2 b80 b171 + 2 b80 b172 - 2 b80 b173 - 2 b80 b175 - 2 b80 b176 + 2 b80 b178 + 2 b80 b179 + 2 b81 b97 + 2 b81 b98 + 2 b81 b99 + 2 b81 b100 + 2 b81 b103 + 2 b81 b104 + 2 b81 b107 + 2 b81 b108 + 2 b81 b113 + 2 b81 b114 + 2 b81 b115 + 2 b81 b116 + 2 b81 b118 + 2 b81 b119 + 2 b81 b121 + 2 b81 b123 + 2 b81 b126 + 2 b81 b127 + 2 b81 b138 - 2 b81 b143 + 2 b81 b145 - 2 b81 b148 - 2 b81 b150 - 2 b81 b151 - 2 b81 b154 - 2 b81 b164 + 2 b81 b166 - 2 b81 b173 + 2 b81 b175 + 2 b81 b178 + 2 b81 b179 - 2 b81 b182 + 2 b82 b94 - 2 b82 b96 - 2 b82 b98 + 2 b82 b101 + 2 b82 b103 + 2 b82 b104 - 2 b82 b108 + 2 b82 b109 + 2 b82 b111 - 2 b82 b114 + 2 b82 b115 + 2 b82 b130 + 2 b82 b131 + 2 b82 b134 + 2 b82 b135 + 2 b82 b137 + 2 b82 b139 + 2 b82 b140 + 2 b82 b143 + 2 b82 b144 + 2 b82 b146 + 2 b82 b155 - 2 b82 b157 - 2 b82 b160 - 2 b82 b163 - 2 b82 b164 - 2 b82 b165 - 2 b82 b166 - 2 b82 b167 + 2 b82 b173 + 2 b82 b174 + 2 b82 b176 - 2 b82 b178 - 2 b82 b180 + 2 b82 b182 - 2 b83 b93 - 2 b83 b98 - 2 b83 b100 - 2 b83 b106 - 2 b83 b108 - 2 b83 b114 + 2 b83 b116 + 2 b83 b120 + 2 b83 b121 + 2 b83 b124 + 2 b83 b125 + 2 b83 b127 + 2 b83 b139 + 2 b83 b140 + 2 b83 b143 + 2 b83 b144 + 2 b83 b146 + 2 b83 b147 + 2 b83 b148 + 2 b83 b151 + 2 b83 b152 + 2 b83 b154 - 2 b83 b156 - 2 b83 b157 - 2 b83 b160 + 2 b83 b161 - 2 b83 b162 - 2 b83 b163 - 2 b83 b166 + 2 b83 b167 + 2 b83 b169 + 2 b83 b170 + 2 b83 b172 + 2 b83 b173 + 2 b83 b174 + 2 b83 b176 - 2 b83 b178 + 2 b83 b179 - 2 b83 b180 + 2 b83 b181 + 2 b83 b182 - 2 b84 b93 - 2 b84 b100 - 2 b84 b104 - 2 b84 b106 - 2 b84 b110 - 2 b84 b114 - 2 b84 b116 + 2 b84 b120 + 2 b84 b121 + 2 b84 b124 + 2 b84 b125 + 2 b84 b127 + 2 b84 b147 + 2 b84 b148 + 2 b84 b151 + 2 b84 b152 + 2 b84 b154 - 2 b84 b155 - 2 b84 b156 - 2 b84 b158 - 2 b84 b160 - 2 b84 b161 - 2 b84 b162 + 2 b84 b165 - 2 b84 b166 + 2 b84 b169 + 2 b84 b170 + 2 b84 b172 + 2 b84 b177 - 2 b84 b178 - 2 b84 b180 - 2 b84 b181 + 2 b84 b182 - 2 b85 b93 + 2 b85 b94 - 2 b85 b98 + 2 b85 b101 + 2 b85 b102 + 2 b85 b103 - 2 b85 b108 + 2 b85 b109 + 2 b85 b111 + 2 b85 b112 + 2 b85 b115 + 2 b85 b120 + 2 b85 b121 + 2 b85 b124 + 2 b85 b125 + 2 b85 b127 + 2 b85 b139 + 2 b85 b140 + 2 b85 b143 + 2 b85 b144 + 2 b85 b146 - 2 b85 b155 - 2 b85 b157 - 2 b85 b158 - 2 b85 b161 - 2 b85 b163 + 2 b85 b165 + 2 b85 b173 + 2 b85 b174 + 2 b85 b176 + 2 b85 b177 - 2 b85 b181 - 2 b86 b92 - 2 b86 b93 - 2 b86 b94 + 2 b86 b96 - 2 b86 b97 - 2 b86 b99 - 2 b86 b100 - 2 b86 b101 - 2 b86 b103 - 2 b86 b104 - 2 b86 b105 - 2 b86 b106 - 2 b86 b107 - 2 b86 b109 - 2 b86 b111 - 2 b86 b113 + 2 b86 b116 + 2 b86 b117 + 2 b86 b118 + 2 b86 b120 + 2 b86 b123 + 2 b86 b124 + 2 b86 b125 + 2 b86 b126 + 2 b86 b127 - 2 b86 b128 - 2 b86 b129 - 2 b86 b130 - 2 b86 b131 - 2 b86 b132 - 2 b86 b133 - 2 b86 b134 - 2 b86 b135 - 2 b86 b136 - 2 b86 b138 - 2 b86 b140 - 2 b86 b141 + 2 b86 b146 + 2 b86 b147 + 2 b86 b150 + 2 b86 b151 + 2 b86 b152 + 2 b86 b153 + 2 b86 b154 - 2 b86 b155 - 2 b86 b156 + 2 b86 b161 + 2 b86 b163 + 2 b86 b164 + 2 b86 b165 + 2 b86 b166 + 2 b86 b167 + 2 b86 b168 + 2 b86 b169 + 2 b86 b170 + 2 b86 b171 + 2 b86 b172 + 2 b86 b176 + 2 b86 b179 + 2 b86 b181 + 2 b86 b182 - 2 b87 b92 - 2 b87 b93 - 2 b87 b99 - 2 b87 b100 - 2 b87 b103 - 2 b87 b104 - 2 b87 b105 - 2 b87 b106 - 2 b87 b109 - 2 b87 b110 - 2 b87 b113 - 2 b87 b114 - 2 b87 b115 - 2 b87 b116 + 2 b87 b117 + 2 b87 b118 + 2 b87 b120 + 2 b87 b123 + 2 b87 b124 + 2 b87 b125 + 2 b87 b126 + 2 b87 b127 - 2 b87 b129 - 2 b87 b131 - 2 b87 b132 - 2 b87 b134 - 2 b87 b136 - 2 b87 b137 - 2 b87 b138 - 2 b87 b140 - 2 b87 b141 - 2 b87 b143 - 2 b87 b145 - 2 b87 b146 + 2 b87 b147 + 2 b87 b150 + 2 b87 b151 + 2 b87 b152 + 2 b87 b153 + 2 b87 b154 - 2 b87 b155 - 2 b87 b156 - 2 b87 b158 - 2 b87 b160 - 2 b87 b161 + 2 b87 b163 + 2 b87 b164 + 2 b87 b165 + 2 b87 b166 + 2 b87 b167 + 2 b87 b168 + 2 b87 b169 + 2 b87 b170 + 2 b87 b171 + 2 b87 b172 - 2 b87 b173 - 2 b87 b175 - 2 b87 b176 + 2 b87 b177 - 2 b87 b180 - 2 b87 b181 - 2 b88 b92 - 2 b88 b93 + 2 b88 b95 + 2 b88 b96 + 2 b88 b101 + 2 b88 b102 - 2 b88 b103 - 2 b88 b104 + 2 b88 b111 + 2 b88 b112 + 2 b88 b113 + 2 b88 b114 + 2 b88 b117 + 2 b88 b118 + 2 b88 b120 + 2 b88 b123 + 2 b88 b124 + 2 b88 b125 + 2 b88 b126 + 2 b88 b127 - 2 b88 b128 - 2 b88 b131 - 2 b88 b133 - 2 b88 b134 - 2 b88 b137 + 2 b88 b139 - 2 b88 b140 + 2 b88 b144 + 2 b88 b145 - 2 b88 b155 - 2 b88 b157 - 2 b88 b158 - 2 b88 b161 + 2 b88 b163 + 2 b88 b164 + 2 b88 b165 + 2 b88 b166 + 2 b88 b167 + 2 b88 b174 + 2 b88 b175 + 2 b88 b177 + 2 b88 b178 - 2 b88 b181 - 2 b88 b182 - 2 b89 b93 - 2 b89 b100 - 2 b89 b104 - 2 b89 b106 - 2 b89 b110 - 2 b89 b114 - 2 b89 b116 + 2 b89 b118 + 2 b89 b120 + 2 b89 b123 + 2 b89 b125 - 2 b89 b127 - 2 b89 b138 - 2 b89 b140 - 2 b89 b141 - 2 b89 b143 - 2 b89 b145 - 2 b89 b146 + 2 b89 b147 + 2 b89 b150 + 2 b89 b152 - 2 b89 b154 - 2 b89 b155 - 2 b89 b156 - 2 b89 b158 - 2 b89 b160 - 2 b89 b161 + 2 b89 b163 + 2 b89 b165 - 2 b89 b167 + 2 b89 b168 + 2 b89 b170 - 2 b89 b172 - 2 b89 b173 - 2 b89 b175 - 2 b89 b176 + 2 b89 b177 - 2 b89 b179 - 2 b89 b180 - 2 b89 b181 - 2 b89 b182 + 2 b90 b92 + 2 b90 b94 + 2 b90 b97 + 2 b90 b99 + 2 b90 b100 + 2 b90 b101 + 2 b90 b102 + 2 b90 b103 + 2 b90 b105 + 2 b90 b106 + 2 b90 b107 + 2 b90 b109 + 2 b90 b111 + 2 b90 b112 + 2 b90 b113 + 2 b90 b114 - 2 b90 b116 + 2 b90 b119 + 2 b90 b120 + 2 b90 b122 + 2 b90 b125 + 2 b90 b126 - 2 b90 b127 + 2 b90 b138 + 2 b90 b139 + 2 b90 b141 + 2 b90 b144 + 2 b90 b145 - 2 b90 b146 - 2 b90 b148 - 2 b90 b150 - 2 b90 b151 - 2 b90 b154 - 2 b90 b155 - 2 b90 b157 - 2 b90 b158 - 2 b90 b161 + 2 b90 b162 + 2 b90 b165 + 2 b90 b166 - 2 b90 b167 - 2 b90 b168 - 2 b90 b169 - 2 b90 b172 + 2 b90 b174 + 2 b90 b175 - 2 b90 b176 + 2 b90 b177 + 2 b90 b178 - 2 b90 b179 - 2 b90 b181 - 2 b90 b182 + 2 b91 b92 + 2 b91 b93 + 2 b91 b99 + 2 b91 b100 + 2 b91 b103 + 2 b91 b104 + 2 b91 b105 + 2 b91 b106 + 2 b91 b109 + 2 b91 b110 + 2 b91 b113 + 2 b91 b114 + 2 b91 b115 + 2 b91 b116 - 2 b91 b118 + 2 b91 b119 + 2 b91 b122 - 2 b91 b123 + 2 b91 b126 + 2 b91 b138 + 2 b91 b140 + 2 b91 b141 + 2 b91 b143 + 2 b91 b145 + 2 b91 b146 - 2 b91 b148 - 2 b91 b150 - 2 b91 b151 - 2 b91 b154 + 2 b91 b162 - 2 b91 b163 + 2 b91 b166 - 2 b91 b168 - 2 b91 b169 - 2 b91 b172 + 2 b91 b173 + 2 b91 b175 + 2 b91 b176 + 2 b91 b178 - 2 b91 b182 >= 2143 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