\ 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