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