\ Equation counts \ Total E G L N X C B \ 2926 0 19 2907 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 171 0 171 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 9233 8891 342 0 \ Minimize obj: 72384 b2 + 1.52e3 b3 + 4.672e4 b4 + 544 b5 + 23232 b6 + 52096 b7 + 26144 b8 + 12464 b9 + 29376 b10 + 5.264e4 b11 + 4.2e4 b12 + 1.56e3 b13 + 46256 b14 + 55544 b15 + 62608 b16 + 1.92e4 b17 + 26416 b18 + 83072 b19 + 14152 b20 + 1.456e4 b21 + 768 b22 + 3.924e4 b23 + 3784 b24 + 4.736e4 b25 + 10976 b26 + 432 b27 + 1.752e4 b28 + 8624 b29 + 37536 b30 + 37696 b31 + 12656 b32 + 12784 b33 + 2.432e4 b34 + 1776 b35 + 5.304e4 b36 + 23296 b37 + 31488 b38 + 13904 b39 + 3.66e4 b40 + 37128 b41 + 2288 b42 + 2096 b43 + 84224 b44 + 35264 b45 + 1.76e4 b46 + 3.328e4 b47 + 63568 b48 + 4352 b49 + 3.2e3 b50 + 33088 b51 + 4.08e4 b52 + 13328 b53 + 5.644e4 b54 + 72704 b55 + 7.76e4 b56 + 64408 b57 + 45936 b58 + 1.28e4 b59 + 1.94e4 b60 + 69088 b61 + 28208 b62 + 3.276e4 b63 + 47168 b64 + 3968 b65 + 16968 b66 + 38056 b67 + 102784 b68 + 848 b69 + 3.56e4 b70 + 28224 b71 + 36064 b72 + 2.32e4 b73 + 1.656e4 b74 + 6.88e3 b75 + 3.876e4 b76 + 47888 b77 + 2.016e4 b78 + 8.52e3 b79 + 45784 b80 + 27456 b81 + 1128 b82 + 1.672e4 b83 + 2.24e3 b84 + 9.152e4 b85 + 5504 b86 + 29184 b87 + 9.2e2 b88 + 54896 b89 + 14784 b90 + 61632 b91 + 14224 b92 + 2576 b93 + 15312 b94 + 1.716e4 b95 + 42688 b96 + 3.2e3 b97 + 1888 b98 + 30464 b99 + 6.448e4 b100 + 6.512e4 b101 + 38024 b102 + 1344 b103 + 7488 b104 + 32696 b105 + 4.14e4 b106 + 8.184e4 b107 + 106392 b108 + 52416 b109 + 7.04e3 b110 + 7072 b111 + 17712 b112 + 3584 b113 + 1.056e4 b114 + 5.6e2 b115 + 2048 b116 + 1.064e4 b117 + 38624 b118 + 15232 b119 + 7384 b120 + 1.8e3 b121 + 1.04e4 b122 + 29704 b123 + 2464 b124 + 3.936e4 b125 + 3.84e3 b126 + 32376 b127 + 38784 b128 + 1.36e4 b129 + 11696 b130 + 3968 b131 + 4.8e3 b132 + 4.68e4 b133 + 18984 b134 + 6.144e4 b135 + 11328 b136 + 41712 b137 + 7208 b138 + 1.52e3 b139 + 20736 b140 + 61976 b141 + 4.48e3 b142 + 1408 b143 + 37576 b144 + 2.992e4 b145 + 1.36e3 b146 + 80688 b147 + 46216 b148 + 416 b149 + 60016 b150 + 4176 b151 + 4.828e4 b152 + 8176 b153 + 3104 b154 + 2.624e4 b155 + 20304 b156 + 3168 b157 + 8.096e4 b158 + 3.344e4 b159 + 44304 b160 + 49416 b161 + 4.692e4 b162 + 368 b163 + 32768 b164 + 4.2e4 b165 + 8.96e3 b166 + 3.492e4 b167 + 2.544e4 b168 + 51992 b169 + 2144 b170 + 4704 b171 + 0 b172 Subject To e2: b2 - b19 - b172 <= 0 e3: b3 - b20 - b172 <= 0 e4: b4 - b21 - b172 <= 0 e5: b5 - b22 - b172 <= 0 e6: b6 - b23 - b172 <= 0 e7: b7 - b24 - b172 <= 0 e8: b8 - b25 - b172 <= 0 e9: b9 - b26 - b172 <= 0 e10: b10 - b27 - b172 <= 0 e11: b11 - b28 - b172 <= 0 e12: b12 - b29 - b172 <= 0 e13: b13 - b30 - b172 <= 0 e14: b14 - b31 - b172 <= 0 e15: b15 - b32 - b172 <= 0 e16: b16 - b33 - b172 <= 0 e17: b17 - b34 - b172 <= 0 e18: b18 - b35 - b172 <= 0 e19: - b2 + b3 - b36 <= 0 e20: - b2 + b4 - b37 <= 0 e21: - b2 + b5 - b38 <= 0 e22: - b2 + b6 - b39 <= 0 e23: - b2 + b7 - b40 <= 0 e24: - b2 + b8 - b41 <= 0 e25: - b2 + b9 - b42 <= 0 e26: - b2 + b10 - b43 <= 0 e27: - b2 + b11 - b44 <= 0 e28: - b2 + b12 - b45 <= 0 e29: - b2 + b13 - b46 <= 0 e30: - b2 + b14 - b47 <= 0 e31: - b2 + b15 - b48 <= 0 e32: - b2 + b16 - b49 <= 0 e33: - b2 + b17 - b50 <= 0 e34: - b2 + b18 - b51 <= 0 e35: - b3 + b4 - b52 <= 0 e36: - b3 + b5 - b53 <= 0 e37: - b3 + b6 - b54 <= 0 e38: - b3 + b7 - b55 <= 0 e39: - b3 + b8 - b56 <= 0 e40: - b3 + b9 - b57 <= 0 e41: - b3 + b10 - b58 <= 0 e42: - b3 + b11 - b59 <= 0 e43: - b3 + b12 - b60 <= 0 e44: - b3 + b13 - b61 <= 0 e45: - b3 + b14 - b62 <= 0 e46: - b3 + b15 - b63 <= 0 e47: - b3 + b16 - b64 <= 0 e48: - b3 + b17 - b65 <= 0 e49: - b3 + b18 - b66 <= 0 e50: - b4 + b5 - b67 <= 0 e51: - b4 + b6 - b68 <= 0 e52: - b4 + b7 - b69 <= 0 e53: - b4 + b8 - b70 <= 0 e54: - b4 + b9 - b71 <= 0 e55: - b4 + b10 - b72 <= 0 e56: - b4 + b11 - b73 <= 0 e57: - b4 + b12 - b74 <= 0 e58: - b4 + b13 - b75 <= 0 e59: - b4 + b14 - b76 <= 0 e60: - b4 + b15 - b77 <= 0 e61: - b4 + b16 - b78 <= 0 e62: - b4 + b17 - b79 <= 0 e63: - b4 + b18 - b80 <= 0 e64: - b5 + b6 - b81 <= 0 e65: - b5 + b7 - b82 <= 0 e66: - b5 + b8 - b83 <= 0 e67: - b5 + b9 - b84 <= 0 e68: - b5 + b10 - b85 <= 0 e69: - b5 + b11 - b86 <= 0 e70: - b5 + b12 - b87 <= 0 e71: - b5 + b13 - b88 <= 0 e72: - b5 + b14 - b89 <= 0 e73: - b5 + b15 - b90 <= 0 e74: - b5 + b16 - b91 <= 0 e75: - b5 + b17 - b92 <= 0 e76: - b5 + b18 - b93 <= 0 e77: - b6 + b7 - b94 <= 0 e78: - b6 + b8 - b95 <= 0 e79: - b6 + b9 - b96 <= 0 e80: - b6 + b10 - b97 <= 0 e81: - b6 + b11 - b98 <= 0 e82: - b6 + b12 - b99 <= 0 e83: - b6 + b13 - b100 <= 0 e84: - b6 + b14 - b101 <= 0 e85: - b6 + b15 - b102 <= 0 e86: - b6 + b16 - b103 <= 0 e87: - b6 + b17 - b104 <= 0 e88: - b6 + b18 - b105 <= 0 e89: - b7 + b8 - b106 <= 0 e90: - b7 + b9 - b107 <= 0 e91: - b7 + b10 - b108 <= 0 e92: - b7 + b11 - b109 <= 0 e93: - b7 + b12 - b110 <= 0 e94: - b7 + b13 - b111 <= 0 e95: - b7 + b14 - b112 <= 0 e96: - b7 + b15 - b113 <= 0 e97: - b7 + b16 - b114 <= 0 e98: - b7 + b17 - b115 <= 0 e99: - b7 + b18 - b116 <= 0 e100: - b8 + b9 - b117 <= 0 e101: - b8 + b10 - b118 <= 0 e102: - b8 + b11 - b119 <= 0 e103: - b8 + b12 - b120 <= 0 e104: - b8 + b13 - b121 <= 0 e105: - b8 + b14 - b122 <= 0 e106: - b8 + b15 - b123 <= 0 e107: - b8 + b16 - b124 <= 0 e108: - b8 + b17 - b125 <= 0 e109: - b8 + b18 - b126 <= 0 e110: - b9 + b10 - b127 <= 0 e111: - b9 + b11 - b128 <= 0 e112: - b9 + b12 - b129 <= 0 e113: - b9 + b13 - b130 <= 0 e114: - b9 + b14 - b131 <= 0 e115: - b9 + b15 - b132 <= 0 e116: - b9 + b16 - b133 <= 0 e117: - b9 + b17 - b134 <= 0 e118: - b9 + b18 - b135 <= 0 e119: - b10 + b11 - b136 <= 0 e120: - b10 + b12 - b137 <= 0 e121: - b10 + b13 - b138 <= 0 e122: - b10 + b14 - b139 <= 0 e123: - b10 + b15 - b140 <= 0 e124: - b10 + b16 - b141 <= 0 e125: - b10 + b17 - b142 <= 0 e126: - b10 + b18 - b143 <= 0 e127: - b11 + b12 - b144 <= 0 e128: - b11 + b13 - b145 <= 0 e129: - b11 + b14 - b146 <= 0 e130: - b11 + b15 - b147 <= 0 e131: - b11 + b16 - b148 <= 0 e132: - b11 + b17 - b149 <= 0 e133: - b11 + b18 - b150 <= 0 e134: - b12 + b13 - b151 <= 0 e135: - b12 + b14 - b152 <= 0 e136: - b12 + b15 - b153 <= 0 e137: - b12 + b16 - b154 <= 0 e138: - b12 + b17 - b155 <= 0 e139: - b12 + b18 - b156 <= 0 e140: - b13 + b14 - b157 <= 0 e141: - b13 + b15 - b158 <= 0 e142: - b13 + b16 - b159 <= 0 e143: - b13 + b17 - b160 <= 0 e144: - b13 + b18 - b161 <= 0 e145: - b14 + b15 - b162 <= 0 e146: - b14 + b16 - b163 <= 0 e147: - b14 + b17 - b164 <= 0 e148: - b14 + b18 - b165 <= 0 e149: - b15 + b16 - b166 <= 0 e150: - b15 + b17 - b167 <= 0 e151: - b15 + b18 - b168 <= 0 e152: - b16 + b17 - b169 <= 0 e153: - b16 + b18 - b170 <= 0 e154: - b17 + b18 - b171 <= 0 e155: - b19 + b20 - b36 <= 0 e156: - b19 + b21 - b37 <= 0 e157: - b19 + b22 - b38 <= 0 e158: - b19 + b23 - b39 <= 0 e159: - b19 + b24 - b40 <= 0 e160: - b19 + b25 - b41 <= 0 e161: - b19 + b26 - b42 <= 0 e162: - b19 + b27 - b43 <= 0 e163: - b19 + b28 - b44 <= 0 e164: - b19 + b29 - b45 <= 0 e165: - b19 + b30 - b46 <= 0 e166: - b19 + b31 - b47 <= 0 e167: - b19 + b32 - b48 <= 0 e168: - b19 + b33 - b49 <= 0 e169: - b19 + b34 - b50 <= 0 e170: - b19 + b35 - b51 <= 0 e171: - b20 + b21 - b52 <= 0 e172: - b20 + b22 - b53 <= 0 e173: - b20 + b23 - b54 <= 0 e174: - b20 + b24 - b55 <= 0 e175: - b20 + b25 - b56 <= 0 e176: - b20 + b26 - b57 <= 0 e177: - b20 + b27 - b58 <= 0 e178: - b20 + b28 - b59 <= 0 e179: - b20 + b29 - b60 <= 0 e180: - b20 + b30 - b61 <= 0 e181: - b20 + b31 - b62 <= 0 e182: - b20 + b32 - b63 <= 0 e183: - b20 + b33 - b64 <= 0 e184: - b20 + b34 - b65 <= 0 e185: - b20 + b35 - b66 <= 0 e186: - b21 + b22 - b67 <= 0 e187: - b21 + b23 - b68 <= 0 e188: - b21 + b24 - b69 <= 0 e189: - b21 + b25 - b70 <= 0 e190: - b21 + b26 - b71 <= 0 e191: - b21 + b27 - b72 <= 0 e192: - b21 + b28 - b73 <= 0 e193: - b21 + b29 - b74 <= 0 e194: - b21 + b30 - b75 <= 0 e195: - b21 + b31 - b76 <= 0 e196: - b21 + b32 - b77 <= 0 e197: - b21 + b33 - b78 <= 0 e198: - b21 + b34 - b79 <= 0 e199: - b21 + b35 - b80 <= 0 e200: - b22 + b23 - b81 <= 0 e201: - b22 + b24 - b82 <= 0 e202: - b22 + b25 - b83 <= 0 e203: - b22 + b26 - b84 <= 0 e204: - b22 + b27 - b85 <= 0 e205: - b22 + b28 - b86 <= 0 e206: - b22 + b29 - b87 <= 0 e207: - b22 + b30 - b88 <= 0 e208: - b22 + b31 - b89 <= 0 e209: - b22 + b32 - b90 <= 0 e210: - b22 + b33 - b91 <= 0 e211: - b22 + b34 - b92 <= 0 e212: - b22 + b35 - b93 <= 0 e213: - b23 + b24 - b94 <= 0 e214: - b23 + b25 - b95 <= 0 e215: - b23 + b26 - b96 <= 0 e216: - b23 + b27 - b97 <= 0 e217: - b23 + b28 - b98 <= 0 e218: - b23 + b29 - b99 <= 0 e219: - b23 + b30 - b100 <= 0 e220: - b23 + b31 - b101 <= 0 e221: - b23 + b32 - b102 <= 0 e222: - b23 + b33 - b103 <= 0 e223: - b23 + b34 - b104 <= 0 e224: - b23 + b35 - b105 <= 0 e225: - b24 + b25 - b106 <= 0 e226: - b24 + b26 - b107 <= 0 e227: - b24 + b27 - b108 <= 0 e228: - b24 + b28 - b109 <= 0 e229: - b24 + b29 - b110 <= 0 e230: - b24 + b30 - b111 <= 0 e231: - b24 + b31 - b112 <= 0 e232: - b24 + b32 - b113 <= 0 e233: - b24 + b33 - b114 <= 0 e234: - b24 + b34 - b115 <= 0 e235: - b24 + b35 - b116 <= 0 e236: - b25 + b26 - b117 <= 0 e237: - b25 + b27 - b118 <= 0 e238: - b25 + b28 - b119 <= 0 e239: - b25 + b29 - b120 <= 0 e240: - b25 + b30 - b121 <= 0 e241: - b25 + b31 - b122 <= 0 e242: - b25 + b32 - b123 <= 0 e243: - b25 + b33 - b124 <= 0 e244: - b25 + b34 - b125 <= 0 e245: - b25 + b35 - b126 <= 0 e246: - b26 + b27 - b127 <= 0 e247: - b26 + b28 - b128 <= 0 e248: - b26 + b29 - b129 <= 0 e249: - b26 + b30 - b130 <= 0 e250: - b26 + b31 - b131 <= 0 e251: - b26 + b32 - b132 <= 0 e252: - b26 + b33 - b133 <= 0 e253: - b26 + b34 - b134 <= 0 e254: - b26 + b35 - b135 <= 0 e255: - b27 + b28 - b136 <= 0 e256: - b27 + b29 - b137 <= 0 e257: - b27 + b30 - b138 <= 0 e258: - b27 + b31 - b139 <= 0 e259: - b27 + b32 - b140 <= 0 e260: - b27 + b33 - b141 <= 0 e261: - b27 + b34 - b142 <= 0 e262: - b27 + b35 - b143 <= 0 e263: - b28 + b29 - b144 <= 0 e264: - b28 + b30 - b145 <= 0 e265: - b28 + b31 - b146 <= 0 e266: - b28 + b32 - b147 <= 0 e267: - b28 + b33 - b148 <= 0 e268: - b28 + b34 - b149 <= 0 e269: - b28 + b35 - b150 <= 0 e270: - b29 + b30 - b151 <= 0 e271: - b29 + b31 - b152 <= 0 e272: - b29 + b32 - b153 <= 0 e273: - b29 + b33 - b154 <= 0 e274: - b29 + b34 - b155 <= 0 e275: - b29 + b35 - b156 <= 0 e276: - b30 + b31 - b157 <= 0 e277: - b30 + b32 - b158 <= 0 e278: - b30 + b33 - b159 <= 0 e279: - b30 + b34 - b160 <= 0 e280: - b30 + b35 - b161 <= 0 e281: - b31 + b32 - b162 <= 0 e282: - b31 + b33 - b163 <= 0 e283: - b31 + b34 - b164 <= 0 e284: - b31 + b35 - b165 <= 0 e285: - b32 + b33 - b166 <= 0 e286: - b32 + b34 - b167 <= 0 e287: - b32 + b35 - b168 <= 0 e288: - b33 + b34 - b169 <= 0 e289: - b33 + b35 - b170 <= 0 e290: - b34 + b35 - b171 <= 0 e291: - b36 + b37 - b52 <= 0 e292: - b36 + b38 - b53 <= 0 e293: - b36 + b39 - b54 <= 0 e294: - b36 + b40 - b55 <= 0 e295: - b36 + b41 - b56 <= 0 e296: - b36 + b42 - b57 <= 0 e297: - b36 + b43 - b58 <= 0 e298: - b36 + b44 - b59 <= 0 e299: - b36 + b45 - b60 <= 0 e300: - b36 + b46 - b61 <= 0 e301: - b36 + b47 - b62 <= 0 e302: - b36 + b48 - b63 <= 0 e303: - b36 + b49 - b64 <= 0 e304: - b36 + b50 - b65 <= 0 e305: - b36 + b51 - b66 <= 0 e306: - b37 + b38 - b67 <= 0 e307: - b37 + b39 - b68 <= 0 e308: - b37 + b40 - b69 <= 0 e309: - b37 + b41 - b70 <= 0 e310: - b37 + b42 - b71 <= 0 e311: - b37 + b43 - b72 <= 0 e312: - b37 + b44 - b73 <= 0 e313: - b37 + b45 - b74 <= 0 e314: - b37 + b46 - b75 <= 0 e315: - b37 + b47 - b76 <= 0 e316: - b37 + b48 - b77 <= 0 e317: - b37 + b49 - b78 <= 0 e318: - b37 + b50 - b79 <= 0 e319: - b37 + b51 - b80 <= 0 e320: - b38 + b39 - b81 <= 0 e321: - b38 + b40 - b82 <= 0 e322: - b38 + b41 - b83 <= 0 e323: - b38 + b42 - b84 <= 0 e324: - b38 + b43 - b85 <= 0 e325: - b38 + b44 - b86 <= 0 e326: - b38 + b45 - b87 <= 0 e327: - b38 + b46 - b88 <= 0 e328: - b38 + b47 - b89 <= 0 e329: - b38 + b48 - b90 <= 0 e330: - b38 + b49 - b91 <= 0 e331: - b38 + b50 - b92 <= 0 e332: - b38 + b51 - b93 <= 0 e333: - b39 + b40 - b94 <= 0 e334: - b39 + b41 - b95 <= 0 e335: - b39 + b42 - b96 <= 0 e336: - b39 + b43 - b97 <= 0 e337: - b39 + b44 - b98 <= 0 e338: - b39 + b45 - b99 <= 0 e339: - b39 + b46 - b100 <= 0 e340: - b39 + b47 - b101 <= 0 e341: - b39 + b48 - b102 <= 0 e342: - b39 + b49 - b103 <= 0 e343: - b39 + b50 - b104 <= 0 e344: - b39 + b51 - b105 <= 0 e345: - b40 + b41 - b106 <= 0 e346: - b40 + b42 - b107 <= 0 e347: - b40 + b43 - b108 <= 0 e348: - b40 + b44 - b109 <= 0 e349: - b40 + b45 - b110 <= 0 e350: - b40 + b46 - b111 <= 0 e351: - b40 + b47 - b112 <= 0 e352: - b40 + b48 - b113 <= 0 e353: - b40 + b49 - b114 <= 0 e354: - b40 + b50 - b115 <= 0 e355: - b40 + b51 - b116 <= 0 e356: - b41 + b42 - b117 <= 0 e357: - b41 + b43 - b118 <= 0 e358: - b41 + b44 - b119 <= 0 e359: - b41 + b45 - b120 <= 0 e360: - b41 + b46 - b121 <= 0 e361: - b41 + b47 - b122 <= 0 e362: - b41 + b48 - b123 <= 0 e363: - b41 + b49 - b124 <= 0 e364: - b41 + b50 - b125 <= 0 e365: - b41 + b51 - b126 <= 0 e366: - b42 + b43 - b127 <= 0 e367: - b42 + b44 - b128 <= 0 e368: - b42 + b45 - b129 <= 0 e369: - b42 + b46 - b130 <= 0 e370: - b42 + b47 - b131 <= 0 e371: - b42 + b48 - b132 <= 0 e372: - b42 + b49 - b133 <= 0 e373: - b42 + b50 - b134 <= 0 e374: - b42 + b51 - b135 <= 0 e375: - b43 + b44 - b136 <= 0 e376: - b43 + b45 - b137 <= 0 e377: - b43 + b46 - b138 <= 0 e378: - b43 + b47 - b139 <= 0 e379: - b43 + b48 - b140 <= 0 e380: - b43 + b49 - b141 <= 0 e381: - b43 + b50 - b142 <= 0 e382: - b43 + b51 - b143 <= 0 e383: - b44 + b45 - b144 <= 0 e384: - b44 + b46 - b145 <= 0 e385: - b44 + b47 - b146 <= 0 e386: - b44 + b48 - b147 <= 0 e387: - b44 + b49 - b148 <= 0 e388: - b44 + b50 - b149 <= 0 e389: - b44 + b51 - b150 <= 0 e390: - b45 + b46 - b151 <= 0 e391: - b45 + b47 - b152 <= 0 e392: - b45 + b48 - b153 <= 0 e393: - b45 + b49 - b154 <= 0 e394: - b45 + b50 - b155 <= 0 e395: - b45 + b51 - b156 <= 0 e396: - b46 + b47 - b157 <= 0 e397: - b46 + b48 - b158 <= 0 e398: - b46 + b49 - b159 <= 0 e399: - b46 + b50 - b160 <= 0 e400: - b46 + b51 - b161 <= 0 e401: - b47 + b48 - b162 <= 0 e402: - b47 + b49 - b163 <= 0 e403: - b47 + b50 - b164 <= 0 e404: - b47 + b51 - b165 <= 0 e405: - b48 + b49 - b166 <= 0 e406: - b48 + b50 - b167 <= 0 e407: - b48 + b51 - b168 <= 0 e408: - b49 + b50 - b169 <= 0 e409: - b49 + b51 - b170 <= 0 e410: - b50 + b51 - b171 <= 0 e411: - b52 + b53 - b67 <= 0 e412: - b52 + b54 - b68 <= 0 e413: - b52 + b55 - b69 <= 0 e414: - b52 + b56 - b70 <= 0 e415: - b52 + b57 - b71 <= 0 e416: - b52 + b58 - b72 <= 0 e417: - b52 + b59 - b73 <= 0 e418: - b52 + b60 - b74 <= 0 e419: - b52 + b61 - b75 <= 0 e420: - b52 + b62 - b76 <= 0 e421: - b52 + b63 - b77 <= 0 e422: - b52 + b64 - b78 <= 0 e423: - b52 + b65 - b79 <= 0 e424: - b52 + b66 - b80 <= 0 e425: - b53 + b54 - b81 <= 0 e426: - b53 + b55 - b82 <= 0 e427: - b53 + b56 - b83 <= 0 e428: - b53 + b57 - b84 <= 0 e429: - b53 + b58 - b85 <= 0 e430: - b53 + b59 - b86 <= 0 e431: - b53 + b60 - b87 <= 0 e432: - b53 + b61 - b88 <= 0 e433: - b53 + b62 - b89 <= 0 e434: - b53 + b63 - b90 <= 0 e435: - b53 + b64 - b91 <= 0 e436: - b53 + b65 - b92 <= 0 e437: - b53 + b66 - b93 <= 0 e438: - b54 + b55 - b94 <= 0 e439: - b54 + b56 - b95 <= 0 e440: - b54 + b57 - b96 <= 0 e441: - b54 + b58 - b97 <= 0 e442: - b54 + b59 - b98 <= 0 e443: - b54 + b60 - b99 <= 0 e444: - b54 + b61 - b100 <= 0 e445: - b54 + b62 - b101 <= 0 e446: - b54 + b63 - b102 <= 0 e447: - b54 + b64 - b103 <= 0 e448: - b54 + b65 - b104 <= 0 e449: - b54 + b66 - b105 <= 0 e450: - b55 + b56 - b106 <= 0 e451: - b55 + b57 - b107 <= 0 e452: - b55 + b58 - b108 <= 0 e453: - b55 + b59 - b109 <= 0 e454: - b55 + b60 - b110 <= 0 e455: - b55 + b61 - b111 <= 0 e456: - b55 + b62 - b112 <= 0 e457: - b55 + b63 - b113 <= 0 e458: - b55 + b64 - b114 <= 0 e459: - b55 + b65 - b115 <= 0 e460: - b55 + b66 - b116 <= 0 e461: - b56 + b57 - b117 <= 0 e462: - b56 + b58 - b118 <= 0 e463: - b56 + b59 - b119 <= 0 e464: - b56 + b60 - b120 <= 0 e465: - b56 + b61 - b121 <= 0 e466: - b56 + b62 - b122 <= 0 e467: - b56 + b63 - b123 <= 0 e468: - b56 + b64 - b124 <= 0 e469: - b56 + b65 - b125 <= 0 e470: - b56 + b66 - b126 <= 0 e471: - b57 + b58 - b127 <= 0 e472: - b57 + b59 - b128 <= 0 e473: - b57 + b60 - b129 <= 0 e474: - b57 + b61 - b130 <= 0 e475: - b57 + b62 - b131 <= 0 e476: - b57 + b63 - b132 <= 0 e477: - b57 + b64 - b133 <= 0 e478: - b57 + b65 - b134 <= 0 e479: - b57 + b66 - b135 <= 0 e480: - b58 + b59 - b136 <= 0 e481: - b58 + b60 - b137 <= 0 e482: - b58 + b61 - b138 <= 0 e483: - b58 + b62 - b139 <= 0 e484: - b58 + b63 - b140 <= 0 e485: - b58 + b64 - b141 <= 0 e486: - b58 + b65 - b142 <= 0 e487: - b58 + b66 - b143 <= 0 e488: - b59 + b60 - b144 <= 0 e489: - b59 + b61 - b145 <= 0 e490: - b59 + b62 - b146 <= 0 e491: - b59 + b63 - b147 <= 0 e492: - b59 + b64 - b148 <= 0 e493: - b59 + b65 - b149 <= 0 e494: - b59 + b66 - b150 <= 0 e495: - b60 + b61 - b151 <= 0 e496: - b60 + b62 - b152 <= 0 e497: - b60 + b63 - b153 <= 0 e498: - b60 + b64 - b154 <= 0 e499: - b60 + b65 - b155 <= 0 e500: - b60 + b66 - b156 <= 0 e501: - b61 + b62 - b157 <= 0 e502: - b61 + b63 - b158 <= 0 e503: - b61 + b64 - b159 <= 0 e504: - b61 + b65 - b160 <= 0 e505: - b61 + b66 - b161 <= 0 e506: - b62 + b63 - b162 <= 0 e507: - b62 + b64 - b163 <= 0 e508: - b62 + b65 - b164 <= 0 e509: - b62 + b66 - b165 <= 0 e510: - b63 + b64 - b166 <= 0 e511: - b63 + b65 - b167 <= 0 e512: - b63 + b66 - b168 <= 0 e513: - b64 + b65 - b169 <= 0 e514: - b64 + b66 - b170 <= 0 e515: - b65 + b66 - b171 <= 0 e516: - b67 + b68 - b81 <= 0 e517: - b67 + b69 - b82 <= 0 e518: - b67 + b70 - b83 <= 0 e519: - b67 + b71 - b84 <= 0 e520: - b67 + b72 - b85 <= 0 e521: - b67 + b73 - b86 <= 0 e522: - b67 + b74 - b87 <= 0 e523: - b67 + b75 - b88 <= 0 e524: - b67 + b76 - b89 <= 0 e525: - b67 + b77 - b90 <= 0 e526: - b67 + b78 - b91 <= 0 e527: - b67 + b79 - b92 <= 0 e528: - b67 + b80 - b93 <= 0 e529: - b68 + b69 - b94 <= 0 e530: - b68 + b70 - b95 <= 0 e531: - b68 + b71 - b96 <= 0 e532: - b68 + b72 - b97 <= 0 e533: - b68 + b73 - b98 <= 0 e534: - b68 + b74 - b99 <= 0 e535: - b68 + b75 - b100 <= 0 e536: - b68 + b76 - b101 <= 0 e537: - b68 + b77 - b102 <= 0 e538: - b68 + b78 - b103 <= 0 e539: - b68 + b79 - b104 <= 0 e540: - b68 + b80 - b105 <= 0 e541: - b69 + b70 - b106 <= 0 e542: - b69 + b71 - b107 <= 0 e543: - b69 + b72 - b108 <= 0 e544: - b69 + b73 - b109 <= 0 e545: - b69 + b74 - b110 <= 0 e546: - b69 + b75 - b111 <= 0 e547: - b69 + b76 - b112 <= 0 e548: - b69 + b77 - b113 <= 0 e549: - b69 + b78 - b114 <= 0 e550: - b69 + b79 - b115 <= 0 e551: - b69 + b80 - b116 <= 0 e552: - b70 + b71 - b117 <= 0 e553: - b70 + b72 - b118 <= 0 e554: - b70 + b73 - b119 <= 0 e555: - b70 + b74 - b120 <= 0 e556: - b70 + b75 - b121 <= 0 e557: - b70 + b76 - b122 <= 0 e558: - b70 + b77 - b123 <= 0 e559: - b70 + b78 - b124 <= 0 e560: - b70 + b79 - b125 <= 0 e561: - b70 + b80 - b126 <= 0 e562: - b71 + b72 - b127 <= 0 e563: - b71 + b73 - b128 <= 0 e564: - b71 + b74 - b129 <= 0 e565: - b71 + b75 - b130 <= 0 e566: - b71 + b76 - b131 <= 0 e567: - b71 + b77 - b132 <= 0 e568: - b71 + b78 - b133 <= 0 e569: - b71 + b79 - b134 <= 0 e570: - b71 + b80 - b135 <= 0 e571: - b72 + b73 - b136 <= 0 e572: - b72 + b74 - b137 <= 0 e573: - b72 + b75 - b138 <= 0 e574: - b72 + b76 - b139 <= 0 e575: - b72 + b77 - b140 <= 0 e576: - b72 + b78 - b141 <= 0 e577: - b72 + b79 - b142 <= 0 e578: - b72 + b80 - b143 <= 0 e579: - b73 + b74 - b144 <= 0 e580: - b73 + b75 - b145 <= 0 e581: - b73 + b76 - b146 <= 0 e582: - b73 + b77 - b147 <= 0 e583: - b73 + b78 - b148 <= 0 e584: - b73 + b79 - b149 <= 0 e585: - b73 + b80 - b150 <= 0 e586: - b74 + b75 - b151 <= 0 e587: - b74 + b76 - b152 <= 0 e588: - b74 + b77 - b153 <= 0 e589: - b74 + b78 - b154 <= 0 e590: - b74 + b79 - b155 <= 0 e591: - b74 + b80 - b156 <= 0 e592: - b75 + b76 - b157 <= 0 e593: - b75 + b77 - b158 <= 0 e594: - b75 + b78 - b159 <= 0 e595: - b75 + b79 - b160 <= 0 e596: - b75 + b80 - b161 <= 0 e597: - b76 + b77 - b162 <= 0 e598: - b76 + b78 - b163 <= 0 e599: - b76 + b79 - b164 <= 0 e600: - b76 + b80 - b165 <= 0 e601: - b77 + b78 - b166 <= 0 e602: - b77 + b79 - b167 <= 0 e603: - b77 + b80 - b168 <= 0 e604: - b78 + b79 - b169 <= 0 e605: - b78 + b80 - b170 <= 0 e606: - b79 + b80 - b171 <= 0 e607: - b81 + b82 - b94 <= 0 e608: - b81 + b83 - b95 <= 0 e609: - b81 + b84 - b96 <= 0 e610: - b81 + b85 - b97 <= 0 e611: - b81 + b86 - b98 <= 0 e612: - b81 + b87 - b99 <= 0 e613: - b81 + b88 - b100 <= 0 e614: - b81 + b89 - b101 <= 0 e615: - b81 + b90 - b102 <= 0 e616: - b81 + b91 - b103 <= 0 e617: - b81 + b92 - b104 <= 0 e618: - b81 + b93 - b105 <= 0 e619: - b82 + b83 - b106 <= 0 e620: - b82 + b84 - b107 <= 0 e621: - b82 + b85 - b108 <= 0 e622: - b82 + b86 - b109 <= 0 e623: - b82 + b87 - b110 <= 0 e624: - b82 + b88 - b111 <= 0 e625: - b82 + b89 - b112 <= 0 e626: - b82 + b90 - b113 <= 0 e627: - b82 + b91 - b114 <= 0 e628: - b82 + b92 - b115 <= 0 e629: - b82 + b93 - b116 <= 0 e630: - b83 + b84 - b117 <= 0 e631: - b83 + b85 - b118 <= 0 e632: - b83 + b86 - b119 <= 0 e633: - b83 + b87 - b120 <= 0 e634: - b83 + b88 - b121 <= 0 e635: - b83 + b89 - b122 <= 0 e636: - b83 + b90 - b123 <= 0 e637: - b83 + b91 - b124 <= 0 e638: - b83 + b92 - b125 <= 0 e639: - b83 + b93 - b126 <= 0 e640: - b84 + b85 - b127 <= 0 e641: - b84 + b86 - b128 <= 0 e642: - b84 + b87 - b129 <= 0 e643: - b84 + b88 - b130 <= 0 e644: - b84 + b89 - b131 <= 0 e645: - b84 + b90 - b132 <= 0 e646: - b84 + b91 - b133 <= 0 e647: - b84 + b92 - b134 <= 0 e648: - b84 + b93 - b135 <= 0 e649: - b85 + b86 - b136 <= 0 e650: - b85 + b87 - b137 <= 0 e651: - b85 + b88 - b138 <= 0 e652: - b85 + b89 - b139 <= 0 e653: - b85 + b90 - b140 <= 0 e654: - b85 + b91 - b141 <= 0 e655: - b85 + b92 - b142 <= 0 e656: - b85 + b93 - b143 <= 0 e657: - b86 + b87 - b144 <= 0 e658: - b86 + b88 - b145 <= 0 e659: - b86 + b89 - b146 <= 0 e660: - b86 + b90 - b147 <= 0 e661: - b86 + b91 - b148 <= 0 e662: - b86 + b92 - b149 <= 0 e663: - b86 + b93 - b150 <= 0 e664: - b87 + b88 - b151 <= 0 e665: - b87 + b89 - b152 <= 0 e666: - b87 + b90 - b153 <= 0 e667: - b87 + b91 - b154 <= 0 e668: - b87 + b92 - b155 <= 0 e669: - b87 + b93 - b156 <= 0 e670: - b88 + b89 - b157 <= 0 e671: - b88 + b90 - b158 <= 0 e672: - b88 + b91 - b159 <= 0 e673: - b88 + b92 - b160 <= 0 e674: - b88 + b93 - b161 <= 0 e675: - b89 + b90 - b162 <= 0 e676: - b89 + b91 - b163 <= 0 e677: - b89 + b92 - b164 <= 0 e678: - b89 + b93 - b165 <= 0 e679: - b90 + b91 - b166 <= 0 e680: - b90 + b92 - b167 <= 0 e681: - b90 + b93 - b168 <= 0 e682: - b91 + b92 - b169 <= 0 e683: - b91 + b93 - b170 <= 0 e684: - b92 + b93 - b171 <= 0 e685: - b94 + b95 - b106 <= 0 e686: - b94 + b96 - b107 <= 0 e687: - b94 + b97 - b108 <= 0 e688: - b94 + b98 - b109 <= 0 e689: - b94 + b99 - b110 <= 0 e690: - b94 + b100 - b111 <= 0 e691: - b94 + b101 - b112 <= 0 e692: - b94 + b102 - b113 <= 0 e693: - b94 + b103 - b114 <= 0 e694: - b94 + b104 - b115 <= 0 e695: - b94 + b105 - b116 <= 0 e696: - b95 + b96 - b117 <= 0 e697: - b95 + b97 - b118 <= 0 e698: - b95 + b98 - b119 <= 0 e699: - b95 + b99 - b120 <= 0 e700: - b95 + b100 - b121 <= 0 e701: - b95 + b101 - b122 <= 0 e702: - b95 + b102 - b123 <= 0 e703: - b95 + b103 - b124 <= 0 e704: - b95 + b104 - b125 <= 0 e705: - b95 + b105 - b126 <= 0 e706: - b96 + b97 - b127 <= 0 e707: - b96 + b98 - b128 <= 0 e708: - b96 + b99 - b129 <= 0 e709: - b96 + b100 - b130 <= 0 e710: - b96 + b101 - b131 <= 0 e711: - b96 + b102 - b132 <= 0 e712: - b96 + b103 - b133 <= 0 e713: - b96 + b104 - b134 <= 0 e714: - b96 + b105 - b135 <= 0 e715: - b97 + b98 - b136 <= 0 e716: - b97 + b99 - b137 <= 0 e717: - b97 + b100 - b138 <= 0 e718: - b97 + b101 - b139 <= 0 e719: - b97 + b102 - b140 <= 0 e720: - b97 + b103 - b141 <= 0 e721: - b97 + b104 - b142 <= 0 e722: - b97 + b105 - b143 <= 0 e723: - b98 + b99 - b144 <= 0 e724: - b98 + b100 - b145 <= 0 e725: - b98 + b101 - b146 <= 0 e726: - b98 + b102 - b147 <= 0 e727: - b98 + b103 - b148 <= 0 e728: - b98 + b104 - b149 <= 0 e729: - b98 + b105 - b150 <= 0 e730: - b99 + b100 - b151 <= 0 e731: - b99 + b101 - b152 <= 0 e732: - b99 + b102 - b153 <= 0 e733: - b99 + b103 - b154 <= 0 e734: - b99 + b104 - b155 <= 0 e735: - b99 + b105 - b156 <= 0 e736: - b100 + b101 - b157 <= 0 e737: - b100 + b102 - b158 <= 0 e738: - b100 + b103 - b159 <= 0 e739: - b100 + b104 - b160 <= 0 e740: - b100 + b105 - b161 <= 0 e741: - b101 + b102 - b162 <= 0 e742: - b101 + b103 - b163 <= 0 e743: - b101 + b104 - b164 <= 0 e744: - b101 + b105 - b165 <= 0 e745: - b102 + b103 - b166 <= 0 e746: - b102 + b104 - b167 <= 0 e747: - b102 + b105 - b168 <= 0 e748: - b103 + b104 - b169 <= 0 e749: - b103 + b105 - b170 <= 0 e750: - b104 + b105 - b171 <= 0 e751: - b106 + b107 - b117 <= 0 e752: - b106 + b108 - b118 <= 0 e753: - b106 + b109 - b119 <= 0 e754: - b106 + b110 - b120 <= 0 e755: - b106 + b111 - b121 <= 0 e756: - b106 + b112 - b122 <= 0 e757: - b106 + b113 - b123 <= 0 e758: - b106 + b114 - b124 <= 0 e759: - b106 + b115 - b125 <= 0 e760: - b106 + b116 - b126 <= 0 e761: - b107 + b108 - b127 <= 0 e762: - b107 + b109 - b128 <= 0 e763: - b107 + b110 - b129 <= 0 e764: - b107 + b111 - b130 <= 0 e765: - b107 + b112 - b131 <= 0 e766: - b107 + b113 - b132 <= 0 e767: - b107 + b114 - b133 <= 0 e768: - b107 + b115 - b134 <= 0 e769: - b107 + b116 - b135 <= 0 e770: - b108 + b109 - b136 <= 0 e771: - b108 + b110 - b137 <= 0 e772: - b108 + b111 - b138 <= 0 e773: - b108 + b112 - b139 <= 0 e774: - b108 + b113 - b140 <= 0 e775: - b108 + b114 - b141 <= 0 e776: - b108 + b115 - b142 <= 0 e777: - b108 + b116 - b143 <= 0 e778: - b109 + b110 - b144 <= 0 e779: - b109 + b111 - b145 <= 0 e780: - b109 + b112 - b146 <= 0 e781: - b109 + b113 - b147 <= 0 e782: - b109 + b114 - b148 <= 0 e783: - b109 + b115 - b149 <= 0 e784: - b109 + b116 - b150 <= 0 e785: - b110 + b111 - b151 <= 0 e786: - b110 + b112 - b152 <= 0 e787: - b110 + b113 - b153 <= 0 e788: - b110 + b114 - b154 <= 0 e789: - b110 + b115 - b155 <= 0 e790: - b110 + b116 - b156 <= 0 e791: - b111 + b112 - b157 <= 0 e792: - b111 + b113 - b158 <= 0 e793: - b111 + b114 - b159 <= 0 e794: - b111 + b115 - b160 <= 0 e795: - b111 + b116 - b161 <= 0 e796: - b112 + b113 - b162 <= 0 e797: - b112 + b114 - b163 <= 0 e798: - b112 + b115 - b164 <= 0 e799: - b112 + b116 - b165 <= 0 e800: - b113 + b114 - b166 <= 0 e801: - b113 + b115 - b167 <= 0 e802: - b113 + b116 - b168 <= 0 e803: - b114 + b115 - b169 <= 0 e804: - b114 + b116 - b170 <= 0 e805: - b115 + b116 - b171 <= 0 e806: - b117 + b118 - b127 <= 0 e807: - b117 + b119 - b128 <= 0 e808: - b117 + b120 - b129 <= 0 e809: - b117 + b121 - b130 <= 0 e810: - b117 + b122 - b131 <= 0 e811: - b117 + b123 - b132 <= 0 e812: - b117 + b124 - b133 <= 0 e813: - b117 + b125 - b134 <= 0 e814: - b117 + b126 - b135 <= 0 e815: - b118 + b119 - b136 <= 0 e816: - b118 + b120 - b137 <= 0 e817: - b118 + b121 - b138 <= 0 e818: - b118 + b122 - b139 <= 0 e819: - b118 + b123 - b140 <= 0 e820: - b118 + b124 - b141 <= 0 e821: - b118 + b125 - b142 <= 0 e822: - b118 + b126 - b143 <= 0 e823: - b119 + b120 - b144 <= 0 e824: - b119 + b121 - b145 <= 0 e825: - b119 + b122 - b146 <= 0 e826: - b119 + b123 - b147 <= 0 e827: - b119 + b124 - b148 <= 0 e828: - b119 + b125 - b149 <= 0 e829: - b119 + b126 - b150 <= 0 e830: - b120 + b121 - b151 <= 0 e831: - b120 + b122 - b152 <= 0 e832: - b120 + b123 - b153 <= 0 e833: - b120 + b124 - b154 <= 0 e834: - b120 + b125 - b155 <= 0 e835: - b120 + b126 - b156 <= 0 e836: - b121 + b122 - b157 <= 0 e837: - b121 + b123 - b158 <= 0 e838: - b121 + b124 - b159 <= 0 e839: - b121 + b125 - b160 <= 0 e840: - b121 + b126 - b161 <= 0 e841: - b122 + b123 - b162 <= 0 e842: - b122 + b124 - b163 <= 0 e843: - b122 + b125 - b164 <= 0 e844: - b122 + b126 - b165 <= 0 e845: - b123 + b124 - b166 <= 0 e846: - b123 + b125 - b167 <= 0 e847: - b123 + b126 - b168 <= 0 e848: - b124 + b125 - b169 <= 0 e849: - b124 + b126 - b170 <= 0 e850: - b125 + b126 - b171 <= 0 e851: - b127 + b128 - b136 <= 0 e852: - b127 + b129 - b137 <= 0 e853: - b127 + b130 - b138 <= 0 e854: - b127 + b131 - b139 <= 0 e855: - b127 + b132 - b140 <= 0 e856: - b127 + b133 - b141 <= 0 e857: - b127 + b134 - b142 <= 0 e858: - b127 + b135 - b143 <= 0 e859: - b128 + b129 - b144 <= 0 e860: - b128 + b130 - b145 <= 0 e861: - b128 + b131 - b146 <= 0 e862: - b128 + b132 - b147 <= 0 e863: - b128 + b133 - b148 <= 0 e864: - b128 + b134 - b149 <= 0 e865: - b128 + b135 - b150 <= 0 e866: - b129 + b130 - b151 <= 0 e867: - b129 + b131 - b152 <= 0 e868: - b129 + b132 - b153 <= 0 e869: - b129 + b133 - b154 <= 0 e870: - b129 + b134 - b155 <= 0 e871: - b129 + b135 - b156 <= 0 e872: - b130 + b131 - b157 <= 0 e873: - b130 + b132 - b158 <= 0 e874: - b130 + b133 - b159 <= 0 e875: - b130 + b134 - b160 <= 0 e876: - b130 + b135 - b161 <= 0 e877: - b131 + b132 - b162 <= 0 e878: - b131 + b133 - b163 <= 0 e879: - b131 + b134 - b164 <= 0 e880: - b131 + b135 - b165 <= 0 e881: - b132 + b133 - b166 <= 0 e882: - b132 + b134 - b167 <= 0 e883: - b132 + b135 - b168 <= 0 e884: - b133 + b134 - b169 <= 0 e885: - b133 + b135 - b170 <= 0 e886: - b134 + b135 - b171 <= 0 e887: - b136 + b137 - b144 <= 0 e888: - b136 + b138 - b145 <= 0 e889: - b136 + b139 - b146 <= 0 e890: - b136 + b140 - b147 <= 0 e891: - b136 + b141 - b148 <= 0 e892: - b136 + b142 - b149 <= 0 e893: - b136 + b143 - b150 <= 0 e894: - b137 + b138 - b151 <= 0 e895: - b137 + b139 - b152 <= 0 e896: - b137 + b140 - b153 <= 0 e897: - b137 + b141 - b154 <= 0 e898: - b137 + b142 - b155 <= 0 e899: - b137 + b143 - b156 <= 0 e900: - b138 + b139 - b157 <= 0 e901: - b138 + b140 - b158 <= 0 e902: - b138 + b141 - b159 <= 0 e903: - b138 + b142 - b160 <= 0 e904: - b138 + b143 - b161 <= 0 e905: - b139 + b140 - b162 <= 0 e906: - b139 + b141 - b163 <= 0 e907: - b139 + b142 - b164 <= 0 e908: - b139 + b143 - b165 <= 0 e909: - b140 + b141 - b166 <= 0 e910: - b140 + b142 - b167 <= 0 e911: - b140 + b143 - b168 <= 0 e912: - b141 + b142 - b169 <= 0 e913: - b141 + b143 - b170 <= 0 e914: - b142 + b143 - b171 <= 0 e915: - b144 + b145 - b151 <= 0 e916: - b144 + b146 - b152 <= 0 e917: - b144 + b147 - b153 <= 0 e918: - b144 + b148 - b154 <= 0 e919: - b144 + b149 - b155 <= 0 e920: - b144 + b150 - b156 <= 0 e921: - b145 + b146 - b157 <= 0 e922: - b145 + b147 - b158 <= 0 e923: - b145 + b148 - b159 <= 0 e924: - b145 + b149 - b160 <= 0 e925: - b145 + b150 - b161 <= 0 e926: - b146 + b147 - b162 <= 0 e927: - b146 + b148 - b163 <= 0 e928: - b146 + b149 - b164 <= 0 e929: - b146 + b150 - b165 <= 0 e930: - b147 + b148 - b166 <= 0 e931: - b147 + b149 - b167 <= 0 e932: - b147 + b150 - b168 <= 0 e933: - b148 + b149 - b169 <= 0 e934: - b148 + b150 - b170 <= 0 e935: - b149 + b150 - b171 <= 0 e936: - b151 + b152 - b157 <= 0 e937: - b151 + b153 - b158 <= 0 e938: - b151 + b154 - b159 <= 0 e939: - b151 + b155 - b160 <= 0 e940: - b151 + b156 - b161 <= 0 e941: - b152 + b153 - b162 <= 0 e942: - b152 + b154 - b163 <= 0 e943: - b152 + b155 - b164 <= 0 e944: - b152 + b156 - b165 <= 0 e945: - b153 + b154 - b166 <= 0 e946: - b153 + b155 - b167 <= 0 e947: - b153 + b156 - b168 <= 0 e948: - b154 + b155 - b169 <= 0 e949: - b154 + b156 - b170 <= 0 e950: - b155 + b156 - b171 <= 0 e951: - b157 + b158 - b162 <= 0 e952: - b157 + b159 - b163 <= 0 e953: - b157 + b160 - b164 <= 0 e954: - b157 + b161 - b165 <= 0 e955: - b158 + b159 - b166 <= 0 e956: - b158 + b160 - b167 <= 0 e957: - b158 + b161 - b168 <= 0 e958: - b159 + b160 - b169 <= 0 e959: - b159 + b161 - b170 <= 0 e960: - b160 + b161 - b171 <= 0 e961: - b162 + b163 - b166 <= 0 e962: - b162 + b164 - b167 <= 0 e963: - b162 + b165 - b168 <= 0 e964: - b163 + b164 - b169 <= 0 e965: - b163 + b165 - b170 <= 0 e966: - b164 + b165 - b171 <= 0 e967: - b166 + b167 - b169 <= 0 e968: - b166 + b168 - b170 <= 0 e969: - b167 + b168 - b171 <= 0 e970: - b169 + b170 - b171 <= 0 e971: - b2 - b19 + b172 <= 0 e972: - b3 - b20 + b172 <= 0 e973: - b4 - b21 + b172 <= 0 e974: - b5 - b22 + b172 <= 0 e975: - b6 - b23 + b172 <= 0 e976: - b7 - b24 + b172 <= 0 e977: - b8 - b25 + b172 <= 0 e978: - b9 - b26 + b172 <= 0 e979: - b10 - b27 + b172 <= 0 e980: - b11 - b28 + b172 <= 0 e981: - b12 - b29 + b172 <= 0 e982: - b13 - b30 + b172 <= 0 e983: - b14 - b31 + b172 <= 0 e984: - b15 - b32 + b172 <= 0 e985: - b16 - b33 + b172 <= 0 e986: - b17 - b34 + b172 <= 0 e987: - b18 - b35 + b172 <= 0 e988: b2 - b3 - b36 <= 0 e989: b2 - b4 - b37 <= 0 e990: b2 - b5 - b38 <= 0 e991: b2 - b6 - b39 <= 0 e992: b2 - b7 - b40 <= 0 e993: b2 - b8 - b41 <= 0 e994: b2 - b9 - b42 <= 0 e995: b2 - b10 - b43 <= 0 e996: b2 - b11 - b44 <= 0 e997: b2 - b12 - b45 <= 0 e998: b2 - b13 - b46 <= 0 e999: b2 - b14 - b47 <= 0 e1000: b2 - b15 - b48 <= 0 e1001: b2 - b16 - b49 <= 0 e1002: b2 - b17 - b50 <= 0 e1003: b2 - b18 - b51 <= 0 e1004: b3 - b4 - b52 <= 0 e1005: b3 - b5 - b53 <= 0 e1006: b3 - b6 - b54 <= 0 e1007: b3 - b7 - b55 <= 0 e1008: b3 - b8 - b56 <= 0 e1009: b3 - b9 - b57 <= 0 e1010: b3 - b10 - b58 <= 0 e1011: b3 - b11 - b59 <= 0 e1012: b3 - b12 - b60 <= 0 e1013: b3 - b13 - b61 <= 0 e1014: b3 - b14 - b62 <= 0 e1015: b3 - b15 - b63 <= 0 e1016: b3 - b16 - b64 <= 0 e1017: b3 - b17 - b65 <= 0 e1018: b3 - b18 - b66 <= 0 e1019: b4 - b5 - b67 <= 0 e1020: b4 - b6 - b68 <= 0 e1021: b4 - b7 - b69 <= 0 e1022: b4 - b8 - b70 <= 0 e1023: b4 - b9 - b71 <= 0 e1024: b4 - b10 - b72 <= 0 e1025: b4 - b11 - b73 <= 0 e1026: b4 - b12 - b74 <= 0 e1027: b4 - b13 - b75 <= 0 e1028: b4 - b14 - b76 <= 0 e1029: b4 - b15 - b77 <= 0 e1030: b4 - b16 - b78 <= 0 e1031: b4 - b17 - b79 <= 0 e1032: b4 - b18 - b80 <= 0 e1033: b5 - b6 - b81 <= 0 e1034: b5 - b7 - b82 <= 0 e1035: b5 - b8 - b83 <= 0 e1036: b5 - b9 - b84 <= 0 e1037: b5 - b10 - b85 <= 0 e1038: b5 - b11 - b86 <= 0 e1039: b5 - b12 - b87 <= 0 e1040: b5 - b13 - b88 <= 0 e1041: b5 - b14 - b89 <= 0 e1042: b5 - b15 - b90 <= 0 e1043: b5 - b16 - b91 <= 0 e1044: b5 - b17 - b92 <= 0 e1045: b5 - b18 - b93 <= 0 e1046: b6 - b7 - b94 <= 0 e1047: b6 - b8 - b95 <= 0 e1048: b6 - b9 - b96 <= 0 e1049: b6 - b10 - b97 <= 0 e1050: b6 - b11 - b98 <= 0 e1051: b6 - b12 - b99 <= 0 e1052: b6 - b13 - b100 <= 0 e1053: b6 - b14 - b101 <= 0 e1054: b6 - b15 - b102 <= 0 e1055: b6 - b16 - b103 <= 0 e1056: b6 - b17 - b104 <= 0 e1057: b6 - b18 - b105 <= 0 e1058: b7 - b8 - b106 <= 0 e1059: b7 - b9 - b107 <= 0 e1060: b7 - b10 - b108 <= 0 e1061: b7 - b11 - b109 <= 0 e1062: b7 - b12 - b110 <= 0 e1063: b7 - b13 - b111 <= 0 e1064: b7 - b14 - b112 <= 0 e1065: b7 - b15 - b113 <= 0 e1066: b7 - b16 - b114 <= 0 e1067: b7 - b17 - b115 <= 0 e1068: b7 - b18 - b116 <= 0 e1069: b8 - b9 - b117 <= 0 e1070: b8 - b10 - b118 <= 0 e1071: b8 - b11 - b119 <= 0 e1072: b8 - b12 - b120 <= 0 e1073: b8 - b13 - b121 <= 0 e1074: b8 - b14 - b122 <= 0 e1075: b8 - b15 - b123 <= 0 e1076: b8 - b16 - b124 <= 0 e1077: b8 - b17 - b125 <= 0 e1078: b8 - b18 - b126 <= 0 e1079: b9 - b10 - b127 <= 0 e1080: b9 - b11 - b128 <= 0 e1081: b9 - b12 - b129 <= 0 e1082: b9 - b13 - b130 <= 0 e1083: b9 - b14 - b131 <= 0 e1084: b9 - b15 - b132 <= 0 e1085: b9 - b16 - b133 <= 0 e1086: b9 - b17 - b134 <= 0 e1087: b9 - b18 - b135 <= 0 e1088: b10 - b11 - b136 <= 0 e1089: b10 - b12 - b137 <= 0 e1090: b10 - b13 - b138 <= 0 e1091: b10 - b14 - b139 <= 0 e1092: b10 - b15 - b140 <= 0 e1093: b10 - b16 - b141 <= 0 e1094: b10 - b17 - b142 <= 0 e1095: b10 - b18 - b143 <= 0 e1096: b11 - b12 - b144 <= 0 e1097: b11 - b13 - b145 <= 0 e1098: b11 - b14 - b146 <= 0 e1099: b11 - b15 - b147 <= 0 e1100: b11 - b16 - b148 <= 0 e1101: b11 - b17 - b149 <= 0 e1102: b11 - b18 - b150 <= 0 e1103: b12 - b13 - b151 <= 0 e1104: b12 - b14 - b152 <= 0 e1105: b12 - b15 - b153 <= 0 e1106: b12 - b16 - b154 <= 0 e1107: b12 - b17 - b155 <= 0 e1108: b12 - b18 - b156 <= 0 e1109: b13 - b14 - b157 <= 0 e1110: b13 - b15 - b158 <= 0 e1111: b13 - b16 - b159 <= 0 e1112: b13 - b17 - b160 <= 0 e1113: b13 - b18 - b161 <= 0 e1114: b14 - b15 - b162 <= 0 e1115: b14 - b16 - b163 <= 0 e1116: b14 - b17 - b164 <= 0 e1117: b14 - b18 - b165 <= 0 e1118: b15 - b16 - b166 <= 0 e1119: b15 - b17 - b167 <= 0 e1120: b15 - b18 - b168 <= 0 e1121: b16 - b17 - b169 <= 0 e1122: b16 - b18 - b170 <= 0 e1123: b17 - b18 - b171 <= 0 e1124: b19 - b20 - b36 <= 0 e1125: b19 - b21 - b37 <= 0 e1126: b19 - b22 - b38 <= 0 e1127: b19 - b23 - b39 <= 0 e1128: b19 - b24 - b40 <= 0 e1129: b19 - b25 - b41 <= 0 e1130: b19 - b26 - b42 <= 0 e1131: b19 - b27 - b43 <= 0 e1132: b19 - b28 - b44 <= 0 e1133: b19 - b29 - b45 <= 0 e1134: b19 - b30 - b46 <= 0 e1135: b19 - b31 - b47 <= 0 e1136: b19 - b32 - b48 <= 0 e1137: b19 - b33 - b49 <= 0 e1138: b19 - b34 - b50 <= 0 e1139: b19 - b35 - b51 <= 0 e1140: b20 - b21 - b52 <= 0 e1141: b20 - b22 - b53 <= 0 e1142: b20 - b23 - b54 <= 0 e1143: b20 - b24 - b55 <= 0 e1144: b20 - b25 - b56 <= 0 e1145: b20 - b26 - b57 <= 0 e1146: b20 - b27 - b58 <= 0 e1147: b20 - b28 - b59 <= 0 e1148: b20 - b29 - b60 <= 0 e1149: b20 - b30 - b61 <= 0 e1150: b20 - b31 - b62 <= 0 e1151: b20 - b32 - b63 <= 0 e1152: b20 - b33 - b64 <= 0 e1153: b20 - b34 - b65 <= 0 e1154: b20 - b35 - b66 <= 0 e1155: b21 - b22 - b67 <= 0 e1156: b21 - b23 - b68 <= 0 e1157: b21 - b24 - b69 <= 0 e1158: b21 - b25 - b70 <= 0 e1159: b21 - b26 - b71 <= 0 e1160: b21 - b27 - b72 <= 0 e1161: b21 - b28 - b73 <= 0 e1162: b21 - b29 - b74 <= 0 e1163: b21 - b30 - b75 <= 0 e1164: b21 - b31 - b76 <= 0 e1165: b21 - b32 - b77 <= 0 e1166: b21 - b33 - b78 <= 0 e1167: b21 - b34 - b79 <= 0 e1168: b21 - b35 - b80 <= 0 e1169: b22 - b23 - b81 <= 0 e1170: b22 - b24 - b82 <= 0 e1171: b22 - b25 - b83 <= 0 e1172: b22 - b26 - b84 <= 0 e1173: b22 - b27 - b85 <= 0 e1174: b22 - b28 - b86 <= 0 e1175: b22 - b29 - b87 <= 0 e1176: b22 - b30 - b88 <= 0 e1177: b22 - b31 - b89 <= 0 e1178: b22 - b32 - b90 <= 0 e1179: b22 - b33 - b91 <= 0 e1180: b22 - b34 - b92 <= 0 e1181: b22 - b35 - b93 <= 0 e1182: b23 - b24 - b94 <= 0 e1183: b23 - b25 - b95 <= 0 e1184: b23 - b26 - b96 <= 0 e1185: b23 - b27 - b97 <= 0 e1186: b23 - b28 - b98 <= 0 e1187: b23 - b29 - b99 <= 0 e1188: b23 - b30 - b100 <= 0 e1189: b23 - b31 - b101 <= 0 e1190: b23 - b32 - b102 <= 0 e1191: b23 - b33 - b103 <= 0 e1192: b23 - b34 - b104 <= 0 e1193: b23 - b35 - b105 <= 0 e1194: b24 - b25 - b106 <= 0 e1195: b24 - b26 - b107 <= 0 e1196: b24 - b27 - b108 <= 0 e1197: b24 - b28 - b109 <= 0 e1198: b24 - b29 - b110 <= 0 e1199: b24 - b30 - b111 <= 0 e1200: b24 - b31 - b112 <= 0 e1201: b24 - b32 - b113 <= 0 e1202: b24 - b33 - b114 <= 0 e1203: b24 - b34 - b115 <= 0 e1204: b24 - b35 - b116 <= 0 e1205: b25 - b26 - b117 <= 0 e1206: b25 - b27 - b118 <= 0 e1207: b25 - b28 - b119 <= 0 e1208: b25 - b29 - b120 <= 0 e1209: b25 - b30 - b121 <= 0 e1210: b25 - b31 - b122 <= 0 e1211: b25 - b32 - b123 <= 0 e1212: b25 - b33 - b124 <= 0 e1213: b25 - b34 - b125 <= 0 e1214: b25 - b35 - b126 <= 0 e1215: b26 - b27 - b127 <= 0 e1216: b26 - b28 - b128 <= 0 e1217: b26 - b29 - b129 <= 0 e1218: b26 - b30 - b130 <= 0 e1219: b26 - b31 - b131 <= 0 e1220: b26 - b32 - b132 <= 0 e1221: b26 - b33 - b133 <= 0 e1222: b26 - b34 - b134 <= 0 e1223: b26 - b35 - b135 <= 0 e1224: b27 - b28 - b136 <= 0 e1225: b27 - b29 - b137 <= 0 e1226: b27 - b30 - b138 <= 0 e1227: b27 - b31 - b139 <= 0 e1228: b27 - b32 - b140 <= 0 e1229: b27 - b33 - b141 <= 0 e1230: b27 - b34 - b142 <= 0 e1231: b27 - b35 - b143 <= 0 e1232: b28 - b29 - b144 <= 0 e1233: b28 - b30 - b145 <= 0 e1234: b28 - b31 - b146 <= 0 e1235: b28 - b32 - b147 <= 0 e1236: b28 - b33 - b148 <= 0 e1237: b28 - b34 - b149 <= 0 e1238: b28 - b35 - b150 <= 0 e1239: b29 - b30 - b151 <= 0 e1240: b29 - b31 - b152 <= 0 e1241: b29 - b32 - b153 <= 0 e1242: b29 - b33 - b154 <= 0 e1243: b29 - b34 - b155 <= 0 e1244: b29 - b35 - b156 <= 0 e1245: b30 - b31 - b157 <= 0 e1246: b30 - b32 - b158 <= 0 e1247: b30 - b33 - b159 <= 0 e1248: b30 - b34 - b160 <= 0 e1249: b30 - b35 - b161 <= 0 e1250: b31 - b32 - b162 <= 0 e1251: b31 - b33 - b163 <= 0 e1252: b31 - b34 - b164 <= 0 e1253: b31 - b35 - b165 <= 0 e1254: b32 - b33 - b166 <= 0 e1255: b32 - b34 - b167 <= 0 e1256: b32 - b35 - b168 <= 0 e1257: b33 - b34 - b169 <= 0 e1258: b33 - b35 - b170 <= 0 e1259: b34 - b35 - b171 <= 0 e1260: b36 - b37 - b52 <= 0 e1261: b36 - b38 - b53 <= 0 e1262: b36 - b39 - b54 <= 0 e1263: b36 - b40 - b55 <= 0 e1264: b36 - b41 - b56 <= 0 e1265: b36 - b42 - b57 <= 0 e1266: b36 - b43 - b58 <= 0 e1267: b36 - b44 - b59 <= 0 e1268: b36 - b45 - b60 <= 0 e1269: b36 - b46 - b61 <= 0 e1270: b36 - b47 - b62 <= 0 e1271: b36 - b48 - b63 <= 0 e1272: b36 - b49 - b64 <= 0 e1273: b36 - b50 - b65 <= 0 e1274: b36 - b51 - b66 <= 0 e1275: b37 - b38 - b67 <= 0 e1276: b37 - b39 - b68 <= 0 e1277: b37 - b40 - b69 <= 0 e1278: b37 - b41 - b70 <= 0 e1279: b37 - b42 - b71 <= 0 e1280: b37 - b43 - b72 <= 0 e1281: b37 - b44 - b73 <= 0 e1282: b37 - b45 - b74 <= 0 e1283: b37 - b46 - b75 <= 0 e1284: b37 - b47 - b76 <= 0 e1285: b37 - b48 - b77 <= 0 e1286: b37 - b49 - b78 <= 0 e1287: b37 - b50 - b79 <= 0 e1288: b37 - b51 - b80 <= 0 e1289: b38 - b39 - b81 <= 0 e1290: b38 - b40 - b82 <= 0 e1291: b38 - b41 - b83 <= 0 e1292: b38 - b42 - b84 <= 0 e1293: b38 - b43 - b85 <= 0 e1294: b38 - b44 - b86 <= 0 e1295: b38 - b45 - b87 <= 0 e1296: b38 - b46 - b88 <= 0 e1297: b38 - b47 - b89 <= 0 e1298: b38 - b48 - b90 <= 0 e1299: b38 - b49 - b91 <= 0 e1300: b38 - b50 - b92 <= 0 e1301: b38 - b51 - b93 <= 0 e1302: b39 - b40 - b94 <= 0 e1303: b39 - b41 - b95 <= 0 e1304: b39 - b42 - b96 <= 0 e1305: b39 - b43 - b97 <= 0 e1306: b39 - b44 - b98 <= 0 e1307: b39 - b45 - b99 <= 0 e1308: b39 - b46 - b100 <= 0 e1309: b39 - b47 - b101 <= 0 e1310: b39 - b48 - b102 <= 0 e1311: b39 - b49 - b103 <= 0 e1312: b39 - b50 - b104 <= 0 e1313: b39 - b51 - b105 <= 0 e1314: b40 - b41 - b106 <= 0 e1315: b40 - b42 - b107 <= 0 e1316: b40 - b43 - b108 <= 0 e1317: b40 - b44 - b109 <= 0 e1318: b40 - b45 - b110 <= 0 e1319: b40 - b46 - b111 <= 0 e1320: b40 - b47 - b112 <= 0 e1321: b40 - b48 - b113 <= 0 e1322: b40 - b49 - b114 <= 0 e1323: b40 - b50 - b115 <= 0 e1324: b40 - b51 - b116 <= 0 e1325: b41 - b42 - b117 <= 0 e1326: b41 - b43 - b118 <= 0 e1327: b41 - b44 - b119 <= 0 e1328: b41 - b45 - b120 <= 0 e1329: b41 - b46 - b121 <= 0 e1330: b41 - b47 - b122 <= 0 e1331: b41 - b48 - b123 <= 0 e1332: b41 - b49 - b124 <= 0 e1333: b41 - b50 - b125 <= 0 e1334: b41 - b51 - b126 <= 0 e1335: b42 - b43 - b127 <= 0 e1336: b42 - b44 - b128 <= 0 e1337: b42 - b45 - b129 <= 0 e1338: b42 - b46 - b130 <= 0 e1339: b42 - b47 - b131 <= 0 e1340: b42 - b48 - b132 <= 0 e1341: b42 - b49 - b133 <= 0 e1342: b42 - b50 - b134 <= 0 e1343: b42 - b51 - b135 <= 0 e1344: b43 - b44 - b136 <= 0 e1345: b43 - b45 - b137 <= 0 e1346: b43 - b46 - b138 <= 0 e1347: b43 - b47 - b139 <= 0 e1348: b43 - b48 - b140 <= 0 e1349: b43 - b49 - b141 <= 0 e1350: b43 - b50 - b142 <= 0 e1351: b43 - b51 - b143 <= 0 e1352: b44 - b45 - b144 <= 0 e1353: b44 - b46 - b145 <= 0 e1354: b44 - b47 - b146 <= 0 e1355: b44 - b48 - b147 <= 0 e1356: b44 - b49 - b148 <= 0 e1357: b44 - b50 - b149 <= 0 e1358: b44 - b51 - b150 <= 0 e1359: b45 - b46 - b151 <= 0 e1360: b45 - b47 - b152 <= 0 e1361: b45 - b48 - b153 <= 0 e1362: b45 - b49 - b154 <= 0 e1363: b45 - b50 - b155 <= 0 e1364: b45 - b51 - b156 <= 0 e1365: b46 - b47 - b157 <= 0 e1366: b46 - b48 - b158 <= 0 e1367: b46 - b49 - b159 <= 0 e1368: b46 - b50 - b160 <= 0 e1369: b46 - b51 - b161 <= 0 e1370: b47 - b48 - b162 <= 0 e1371: b47 - b49 - b163 <= 0 e1372: b47 - b50 - b164 <= 0 e1373: b47 - b51 - b165 <= 0 e1374: b48 - b49 - b166 <= 0 e1375: b48 - b50 - b167 <= 0 e1376: b48 - b51 - b168 <= 0 e1377: b49 - b50 - b169 <= 0 e1378: b49 - b51 - b170 <= 0 e1379: b50 - b51 - b171 <= 0 e1380: b52 - b53 - b67 <= 0 e1381: b52 - b54 - b68 <= 0 e1382: b52 - b55 - b69 <= 0 e1383: b52 - b56 - b70 <= 0 e1384: b52 - b57 - b71 <= 0 e1385: b52 - b58 - b72 <= 0 e1386: b52 - b59 - b73 <= 0 e1387: b52 - b60 - b74 <= 0 e1388: b52 - b61 - b75 <= 0 e1389: b52 - b62 - b76 <= 0 e1390: b52 - b63 - b77 <= 0 e1391: b52 - b64 - b78 <= 0 e1392: b52 - b65 - b79 <= 0 e1393: b52 - b66 - b80 <= 0 e1394: b53 - b54 - b81 <= 0 e1395: b53 - b55 - b82 <= 0 e1396: b53 - b56 - b83 <= 0 e1397: b53 - b57 - b84 <= 0 e1398: b53 - b58 - b85 <= 0 e1399: b53 - b59 - b86 <= 0 e1400: b53 - b60 - b87 <= 0 e1401: b53 - b61 - b88 <= 0 e1402: b53 - b62 - b89 <= 0 e1403: b53 - b63 - b90 <= 0 e1404: b53 - b64 - b91 <= 0 e1405: b53 - b65 - b92 <= 0 e1406: b53 - b66 - b93 <= 0 e1407: b54 - b55 - b94 <= 0 e1408: b54 - b56 - b95 <= 0 e1409: b54 - b57 - b96 <= 0 e1410: b54 - b58 - b97 <= 0 e1411: b54 - b59 - b98 <= 0 e1412: b54 - b60 - b99 <= 0 e1413: b54 - b61 - b100 <= 0 e1414: b54 - b62 - b101 <= 0 e1415: b54 - b63 - b102 <= 0 e1416: b54 - b64 - b103 <= 0 e1417: b54 - b65 - b104 <= 0 e1418: b54 - b66 - b105 <= 0 e1419: b55 - b56 - b106 <= 0 e1420: b55 - b57 - b107 <= 0 e1421: b55 - b58 - b108 <= 0 e1422: b55 - b59 - b109 <= 0 e1423: b55 - b60 - b110 <= 0 e1424: b55 - b61 - b111 <= 0 e1425: b55 - b62 - b112 <= 0 e1426: b55 - b63 - b113 <= 0 e1427: b55 - b64 - b114 <= 0 e1428: b55 - b65 - b115 <= 0 e1429: b55 - b66 - b116 <= 0 e1430: b56 - b57 - b117 <= 0 e1431: b56 - b58 - b118 <= 0 e1432: b56 - b59 - b119 <= 0 e1433: b56 - b60 - b120 <= 0 e1434: b56 - b61 - b121 <= 0 e1435: b56 - b62 - b122 <= 0 e1436: b56 - b63 - b123 <= 0 e1437: b56 - b64 - b124 <= 0 e1438: b56 - b65 - b125 <= 0 e1439: b56 - b66 - b126 <= 0 e1440: b57 - b58 - b127 <= 0 e1441: b57 - b59 - b128 <= 0 e1442: b57 - b60 - b129 <= 0 e1443: b57 - b61 - b130 <= 0 e1444: b57 - b62 - b131 <= 0 e1445: b57 - b63 - b132 <= 0 e1446: b57 - b64 - b133 <= 0 e1447: b57 - b65 - b134 <= 0 e1448: b57 - b66 - b135 <= 0 e1449: b58 - b59 - b136 <= 0 e1450: b58 - b60 - b137 <= 0 e1451: b58 - b61 - b138 <= 0 e1452: b58 - b62 - b139 <= 0 e1453: b58 - b63 - b140 <= 0 e1454: b58 - b64 - b141 <= 0 e1455: b58 - b65 - b142 <= 0 e1456: b58 - b66 - b143 <= 0 e1457: b59 - b60 - b144 <= 0 e1458: b59 - b61 - b145 <= 0 e1459: b59 - b62 - b146 <= 0 e1460: b59 - b63 - b147 <= 0 e1461: b59 - b64 - b148 <= 0 e1462: b59 - b65 - b149 <= 0 e1463: b59 - b66 - b150 <= 0 e1464: b60 - b61 - b151 <= 0 e1465: b60 - b62 - b152 <= 0 e1466: b60 - b63 - b153 <= 0 e1467: b60 - b64 - b154 <= 0 e1468: b60 - b65 - b155 <= 0 e1469: b60 - b66 - b156 <= 0 e1470: b61 - b62 - b157 <= 0 e1471: b61 - b63 - b158 <= 0 e1472: b61 - b64 - b159 <= 0 e1473: b61 - b65 - b160 <= 0 e1474: b61 - b66 - b161 <= 0 e1475: b62 - b63 - b162 <= 0 e1476: b62 - b64 - b163 <= 0 e1477: b62 - b65 - b164 <= 0 e1478: b62 - b66 - b165 <= 0 e1479: b63 - b64 - b166 <= 0 e1480: b63 - b65 - b167 <= 0 e1481: b63 - b66 - b168 <= 0 e1482: b64 - b65 - b169 <= 0 e1483: b64 - b66 - b170 <= 0 e1484: b65 - b66 - b171 <= 0 e1485: b67 - b68 - b81 <= 0 e1486: b67 - b69 - b82 <= 0 e1487: b67 - b70 - b83 <= 0 e1488: b67 - b71 - b84 <= 0 e1489: b67 - b72 - b85 <= 0 e1490: b67 - b73 - b86 <= 0 e1491: b67 - b74 - b87 <= 0 e1492: b67 - b75 - b88 <= 0 e1493: b67 - b76 - b89 <= 0 e1494: b67 - b77 - b90 <= 0 e1495: b67 - b78 - b91 <= 0 e1496: b67 - b79 - b92 <= 0 e1497: b67 - b80 - b93 <= 0 e1498: b68 - b69 - b94 <= 0 e1499: b68 - b70 - b95 <= 0 e1500: b68 - b71 - b96 <= 0 e1501: b68 - b72 - b97 <= 0 e1502: b68 - b73 - b98 <= 0 e1503: b68 - b74 - b99 <= 0 e1504: b68 - b75 - b100 <= 0 e1505: b68 - b76 - b101 <= 0 e1506: b68 - b77 - b102 <= 0 e1507: b68 - b78 - b103 <= 0 e1508: b68 - b79 - b104 <= 0 e1509: b68 - b80 - b105 <= 0 e1510: b69 - b70 - b106 <= 0 e1511: b69 - b71 - b107 <= 0 e1512: b69 - b72 - b108 <= 0 e1513: b69 - b73 - b109 <= 0 e1514: b69 - b74 - b110 <= 0 e1515: b69 - b75 - b111 <= 0 e1516: b69 - b76 - b112 <= 0 e1517: b69 - b77 - b113 <= 0 e1518: b69 - b78 - b114 <= 0 e1519: b69 - b79 - b115 <= 0 e1520: b69 - b80 - b116 <= 0 e1521: b70 - b71 - b117 <= 0 e1522: b70 - b72 - b118 <= 0 e1523: b70 - b73 - b119 <= 0 e1524: b70 - b74 - b120 <= 0 e1525: b70 - b75 - b121 <= 0 e1526: b70 - b76 - b122 <= 0 e1527: b70 - b77 - b123 <= 0 e1528: b70 - b78 - b124 <= 0 e1529: b70 - b79 - b125 <= 0 e1530: b70 - b80 - b126 <= 0 e1531: b71 - b72 - b127 <= 0 e1532: b71 - b73 - b128 <= 0 e1533: b71 - b74 - b129 <= 0 e1534: b71 - b75 - b130 <= 0 e1535: b71 - b76 - b131 <= 0 e1536: b71 - b77 - b132 <= 0 e1537: b71 - b78 - b133 <= 0 e1538: b71 - b79 - b134 <= 0 e1539: b71 - b80 - b135 <= 0 e1540: b72 - b73 - b136 <= 0 e1541: b72 - b74 - b137 <= 0 e1542: b72 - b75 - b138 <= 0 e1543: b72 - b76 - b139 <= 0 e1544: b72 - b77 - b140 <= 0 e1545: b72 - b78 - b141 <= 0 e1546: b72 - b79 - b142 <= 0 e1547: b72 - b80 - b143 <= 0 e1548: b73 - b74 - b144 <= 0 e1549: b73 - b75 - b145 <= 0 e1550: b73 - b76 - b146 <= 0 e1551: b73 - b77 - b147 <= 0 e1552: b73 - b78 - b148 <= 0 e1553: b73 - b79 - b149 <= 0 e1554: b73 - b80 - b150 <= 0 e1555: b74 - b75 - b151 <= 0 e1556: b74 - b76 - b152 <= 0 e1557: b74 - b77 - b153 <= 0 e1558: b74 - b78 - b154 <= 0 e1559: b74 - b79 - b155 <= 0 e1560: b74 - b80 - b156 <= 0 e1561: b75 - b76 - b157 <= 0 e1562: b75 - b77 - b158 <= 0 e1563: b75 - b78 - b159 <= 0 e1564: b75 - b79 - b160 <= 0 e1565: b75 - b80 - b161 <= 0 e1566: b76 - b77 - b162 <= 0 e1567: b76 - b78 - b163 <= 0 e1568: b76 - b79 - b164 <= 0 e1569: b76 - b80 - b165 <= 0 e1570: b77 - b78 - b166 <= 0 e1571: b77 - b79 - b167 <= 0 e1572: b77 - b80 - b168 <= 0 e1573: b78 - b79 - b169 <= 0 e1574: b78 - b80 - b170 <= 0 e1575: b79 - b80 - b171 <= 0 e1576: b81 - b82 - b94 <= 0 e1577: b81 - b83 - b95 <= 0 e1578: b81 - b84 - b96 <= 0 e1579: b81 - b85 - b97 <= 0 e1580: b81 - b86 - b98 <= 0 e1581: b81 - b87 - b99 <= 0 e1582: b81 - b88 - b100 <= 0 e1583: b81 - b89 - b101 <= 0 e1584: b81 - b90 - b102 <= 0 e1585: b81 - b91 - b103 <= 0 e1586: b81 - b92 - b104 <= 0 e1587: b81 - b93 - b105 <= 0 e1588: b82 - b83 - b106 <= 0 e1589: b82 - b84 - b107 <= 0 e1590: b82 - b85 - b108 <= 0 e1591: b82 - b86 - b109 <= 0 e1592: b82 - b87 - b110 <= 0 e1593: b82 - b88 - b111 <= 0 e1594: b82 - b89 - b112 <= 0 e1595: b82 - b90 - b113 <= 0 e1596: b82 - b91 - b114 <= 0 e1597: b82 - b92 - b115 <= 0 e1598: b82 - b93 - b116 <= 0 e1599: b83 - b84 - b117 <= 0 e1600: b83 - b85 - b118 <= 0 e1601: b83 - b86 - b119 <= 0 e1602: b83 - b87 - b120 <= 0 e1603: b83 - b88 - b121 <= 0 e1604: b83 - b89 - b122 <= 0 e1605: b83 - b90 - b123 <= 0 e1606: b83 - b91 - b124 <= 0 e1607: b83 - b92 - b125 <= 0 e1608: b83 - b93 - b126 <= 0 e1609: b84 - b85 - b127 <= 0 e1610: b84 - b86 - b128 <= 0 e1611: b84 - b87 - b129 <= 0 e1612: b84 - b88 - b130 <= 0 e1613: b84 - b89 - b131 <= 0 e1614: b84 - b90 - b132 <= 0 e1615: b84 - b91 - b133 <= 0 e1616: b84 - b92 - b134 <= 0 e1617: b84 - b93 - b135 <= 0 e1618: b85 - b86 - b136 <= 0 e1619: b85 - b87 - b137 <= 0 e1620: b85 - b88 - b138 <= 0 e1621: b85 - b89 - b139 <= 0 e1622: b85 - b90 - b140 <= 0 e1623: b85 - b91 - b141 <= 0 e1624: b85 - b92 - b142 <= 0 e1625: b85 - b93 - b143 <= 0 e1626: b86 - b87 - b144 <= 0 e1627: b86 - b88 - b145 <= 0 e1628: b86 - b89 - b146 <= 0 e1629: b86 - b90 - b147 <= 0 e1630: b86 - b91 - b148 <= 0 e1631: b86 - b92 - b149 <= 0 e1632: b86 - b93 - b150 <= 0 e1633: b87 - b88 - b151 <= 0 e1634: b87 - b89 - b152 <= 0 e1635: b87 - b90 - b153 <= 0 e1636: b87 - b91 - b154 <= 0 e1637: b87 - b92 - b155 <= 0 e1638: b87 - b93 - b156 <= 0 e1639: b88 - b89 - b157 <= 0 e1640: b88 - b90 - b158 <= 0 e1641: b88 - b91 - b159 <= 0 e1642: b88 - b92 - b160 <= 0 e1643: b88 - b93 - b161 <= 0 e1644: b89 - b90 - b162 <= 0 e1645: b89 - b91 - b163 <= 0 e1646: b89 - b92 - b164 <= 0 e1647: b89 - b93 - b165 <= 0 e1648: b90 - b91 - b166 <= 0 e1649: b90 - b92 - b167 <= 0 e1650: b90 - b93 - b168 <= 0 e1651: b91 - b92 - b169 <= 0 e1652: b91 - b93 - b170 <= 0 e1653: b92 - b93 - b171 <= 0 e1654: b94 - b95 - b106 <= 0 e1655: b94 - b96 - b107 <= 0 e1656: b94 - b97 - b108 <= 0 e1657: b94 - b98 - b109 <= 0 e1658: b94 - b99 - b110 <= 0 e1659: b94 - b100 - b111 <= 0 e1660: b94 - b101 - b112 <= 0 e1661: b94 - b102 - b113 <= 0 e1662: b94 - b103 - b114 <= 0 e1663: b94 - b104 - b115 <= 0 e1664: b94 - b105 - b116 <= 0 e1665: b95 - b96 - b117 <= 0 e1666: b95 - b97 - b118 <= 0 e1667: b95 - b98 - b119 <= 0 e1668: b95 - b99 - b120 <= 0 e1669: b95 - b100 - b121 <= 0 e1670: b95 - b101 - b122 <= 0 e1671: b95 - b102 - b123 <= 0 e1672: b95 - b103 - b124 <= 0 e1673: b95 - b104 - b125 <= 0 e1674: b95 - b105 - b126 <= 0 e1675: b96 - b97 - b127 <= 0 e1676: b96 - b98 - b128 <= 0 e1677: b96 - b99 - b129 <= 0 e1678: b96 - b100 - b130 <= 0 e1679: b96 - b101 - b131 <= 0 e1680: b96 - b102 - b132 <= 0 e1681: b96 - b103 - b133 <= 0 e1682: b96 - b104 - b134 <= 0 e1683: b96 - b105 - b135 <= 0 e1684: b97 - b98 - b136 <= 0 e1685: b97 - b99 - b137 <= 0 e1686: b97 - b100 - b138 <= 0 e1687: b97 - b101 - b139 <= 0 e1688: b97 - b102 - b140 <= 0 e1689: b97 - b103 - b141 <= 0 e1690: b97 - b104 - b142 <= 0 e1691: b97 - b105 - b143 <= 0 e1692: b98 - b99 - b144 <= 0 e1693: b98 - b100 - b145 <= 0 e1694: b98 - b101 - b146 <= 0 e1695: b98 - b102 - b147 <= 0 e1696: b98 - b103 - b148 <= 0 e1697: b98 - b104 - b149 <= 0 e1698: b98 - b105 - b150 <= 0 e1699: b99 - b100 - b151 <= 0 e1700: b99 - b101 - b152 <= 0 e1701: b99 - b102 - b153 <= 0 e1702: b99 - b103 - b154 <= 0 e1703: b99 - b104 - b155 <= 0 e1704: b99 - b105 - b156 <= 0 e1705: b100 - b101 - b157 <= 0 e1706: b100 - b102 - b158 <= 0 e1707: b100 - b103 - b159 <= 0 e1708: b100 - b104 - b160 <= 0 e1709: b100 - b105 - b161 <= 0 e1710: b101 - b102 - b162 <= 0 e1711: b101 - b103 - b163 <= 0 e1712: b101 - b104 - b164 <= 0 e1713: b101 - b105 - b165 <= 0 e1714: b102 - b103 - b166 <= 0 e1715: b102 - b104 - b167 <= 0 e1716: b102 - b105 - b168 <= 0 e1717: b103 - b104 - b169 <= 0 e1718: b103 - b105 - b170 <= 0 e1719: b104 - b105 - b171 <= 0 e1720: b106 - b107 - b117 <= 0 e1721: b106 - b108 - b118 <= 0 e1722: b106 - b109 - b119 <= 0 e1723: b106 - b110 - b120 <= 0 e1724: b106 - b111 - b121 <= 0 e1725: b106 - b112 - b122 <= 0 e1726: b106 - b113 - b123 <= 0 e1727: b106 - b114 - b124 <= 0 e1728: b106 - b115 - b125 <= 0 e1729: b106 - b116 - b126 <= 0 e1730: b107 - b108 - b127 <= 0 e1731: b107 - b109 - b128 <= 0 e1732: b107 - b110 - b129 <= 0 e1733: b107 - b111 - b130 <= 0 e1734: b107 - b112 - b131 <= 0 e1735: b107 - b113 - b132 <= 0 e1736: b107 - b114 - b133 <= 0 e1737: b107 - b115 - b134 <= 0 e1738: b107 - b116 - b135 <= 0 e1739: b108 - b109 - b136 <= 0 e1740: b108 - b110 - b137 <= 0 e1741: b108 - b111 - b138 <= 0 e1742: b108 - b112 - b139 <= 0 e1743: b108 - b113 - b140 <= 0 e1744: b108 - b114 - b141 <= 0 e1745: b108 - b115 - b142 <= 0 e1746: b108 - b116 - b143 <= 0 e1747: b109 - b110 - b144 <= 0 e1748: b109 - b111 - b145 <= 0 e1749: b109 - b112 - b146 <= 0 e1750: b109 - b113 - b147 <= 0 e1751: b109 - b114 - b148 <= 0 e1752: b109 - b115 - b149 <= 0 e1753: b109 - b116 - b150 <= 0 e1754: b110 - b111 - b151 <= 0 e1755: b110 - b112 - b152 <= 0 e1756: b110 - b113 - b153 <= 0 e1757: b110 - b114 - b154 <= 0 e1758: b110 - b115 - b155 <= 0 e1759: b110 - b116 - b156 <= 0 e1760: b111 - b112 - b157 <= 0 e1761: b111 - b113 - b158 <= 0 e1762: b111 - b114 - b159 <= 0 e1763: b111 - b115 - b160 <= 0 e1764: b111 - b116 - b161 <= 0 e1765: b112 - b113 - b162 <= 0 e1766: b112 - b114 - b163 <= 0 e1767: b112 - b115 - b164 <= 0 e1768: b112 - b116 - b165 <= 0 e1769: b113 - b114 - b166 <= 0 e1770: b113 - b115 - b167 <= 0 e1771: b113 - b116 - b168 <= 0 e1772: b114 - b115 - b169 <= 0 e1773: b114 - b116 - b170 <= 0 e1774: b115 - b116 - b171 <= 0 e1775: b117 - b118 - b127 <= 0 e1776: b117 - b119 - b128 <= 0 e1777: b117 - b120 - b129 <= 0 e1778: b117 - b121 - b130 <= 0 e1779: b117 - b122 - b131 <= 0 e1780: b117 - b123 - b132 <= 0 e1781: b117 - b124 - b133 <= 0 e1782: b117 - b125 - b134 <= 0 e1783: b117 - b126 - b135 <= 0 e1784: b118 - b119 - b136 <= 0 e1785: b118 - b120 - b137 <= 0 e1786: b118 - b121 - b138 <= 0 e1787: b118 - b122 - b139 <= 0 e1788: b118 - b123 - b140 <= 0 e1789: b118 - b124 - b141 <= 0 e1790: b118 - b125 - b142 <= 0 e1791: b118 - b126 - b143 <= 0 e1792: b119 - b120 - b144 <= 0 e1793: b119 - b121 - b145 <= 0 e1794: b119 - b122 - b146 <= 0 e1795: b119 - b123 - b147 <= 0 e1796: b119 - b124 - b148 <= 0 e1797: b119 - b125 - b149 <= 0 e1798: b119 - b126 - b150 <= 0 e1799: b120 - b121 - b151 <= 0 e1800: b120 - b122 - b152 <= 0 e1801: b120 - b123 - b153 <= 0 e1802: b120 - b124 - b154 <= 0 e1803: b120 - b125 - b155 <= 0 e1804: b120 - b126 - b156 <= 0 e1805: b121 - b122 - b157 <= 0 e1806: b121 - b123 - b158 <= 0 e1807: b121 - b124 - b159 <= 0 e1808: b121 - b125 - b160 <= 0 e1809: b121 - b126 - b161 <= 0 e1810: b122 - b123 - b162 <= 0 e1811: b122 - b124 - b163 <= 0 e1812: b122 - b125 - b164 <= 0 e1813: b122 - b126 - b165 <= 0 e1814: b123 - b124 - b166 <= 0 e1815: b123 - b125 - b167 <= 0 e1816: b123 - b126 - b168 <= 0 e1817: b124 - b125 - b169 <= 0 e1818: b124 - b126 - b170 <= 0 e1819: b125 - b126 - b171 <= 0 e1820: b127 - b128 - b136 <= 0 e1821: b127 - b129 - b137 <= 0 e1822: b127 - b130 - b138 <= 0 e1823: b127 - b131 - b139 <= 0 e1824: b127 - b132 - b140 <= 0 e1825: b127 - b133 - b141 <= 0 e1826: b127 - b134 - b142 <= 0 e1827: b127 - b135 - b143 <= 0 e1828: b128 - b129 - b144 <= 0 e1829: b128 - b130 - b145 <= 0 e1830: b128 - b131 - b146 <= 0 e1831: b128 - b132 - b147 <= 0 e1832: b128 - b133 - b148 <= 0 e1833: b128 - b134 - b149 <= 0 e1834: b128 - b135 - b150 <= 0 e1835: b129 - b130 - b151 <= 0 e1836: b129 - b131 - b152 <= 0 e1837: b129 - b132 - b153 <= 0 e1838: b129 - b133 - b154 <= 0 e1839: b129 - b134 - b155 <= 0 e1840: b129 - b135 - b156 <= 0 e1841: b130 - b131 - b157 <= 0 e1842: b130 - b132 - b158 <= 0 e1843: b130 - b133 - b159 <= 0 e1844: b130 - b134 - b160 <= 0 e1845: b130 - b135 - b161 <= 0 e1846: b131 - b132 - b162 <= 0 e1847: b131 - b133 - b163 <= 0 e1848: b131 - b134 - b164 <= 0 e1849: b131 - b135 - b165 <= 0 e1850: b132 - b133 - b166 <= 0 e1851: b132 - b134 - b167 <= 0 e1852: b132 - b135 - b168 <= 0 e1853: b133 - b134 - b169 <= 0 e1854: b133 - b135 - b170 <= 0 e1855: b134 - b135 - b171 <= 0 e1856: b136 - b137 - b144 <= 0 e1857: b136 - b138 - b145 <= 0 e1858: b136 - b139 - b146 <= 0 e1859: b136 - b140 - b147 <= 0 e1860: b136 - b141 - b148 <= 0 e1861: b136 - b142 - b149 <= 0 e1862: b136 - b143 - b150 <= 0 e1863: b137 - b138 - b151 <= 0 e1864: b137 - b139 - b152 <= 0 e1865: b137 - b140 - b153 <= 0 e1866: b137 - b141 - b154 <= 0 e1867: b137 - b142 - b155 <= 0 e1868: b137 - b143 - b156 <= 0 e1869: b138 - b139 - b157 <= 0 e1870: b138 - b140 - b158 <= 0 e1871: b138 - b141 - b159 <= 0 e1872: b138 - b142 - b160 <= 0 e1873: b138 - b143 - b161 <= 0 e1874: b139 - b140 - b162 <= 0 e1875: b139 - b141 - b163 <= 0 e1876: b139 - b142 - b164 <= 0 e1877: b139 - b143 - b165 <= 0 e1878: b140 - b141 - b166 <= 0 e1879: b140 - b142 - b167 <= 0 e1880: b140 - b143 - b168 <= 0 e1881: b141 - b142 - b169 <= 0 e1882: b141 - b143 - b170 <= 0 e1883: b142 - b143 - b171 <= 0 e1884: b144 - b145 - b151 <= 0 e1885: b144 - b146 - b152 <= 0 e1886: b144 - b147 - b153 <= 0 e1887: b144 - b148 - b154 <= 0 e1888: b144 - b149 - b155 <= 0 e1889: b144 - b150 - b156 <= 0 e1890: b145 - b146 - b157 <= 0 e1891: b145 - b147 - b158 <= 0 e1892: b145 - b148 - b159 <= 0 e1893: b145 - b149 - b160 <= 0 e1894: b145 - b150 - b161 <= 0 e1895: b146 - b147 - b162 <= 0 e1896: b146 - b148 - b163 <= 0 e1897: b146 - b149 - b164 <= 0 e1898: b146 - b150 - b165 <= 0 e1899: b147 - b148 - b166 <= 0 e1900: b147 - b149 - b167 <= 0 e1901: b147 - b150 - b168 <= 0 e1902: b148 - b149 - b169 <= 0 e1903: b148 - b150 - b170 <= 0 e1904: b149 - b150 - b171 <= 0 e1905: b151 - b152 - b157 <= 0 e1906: b151 - b153 - b158 <= 0 e1907: b151 - b154 - b159 <= 0 e1908: b151 - b155 - b160 <= 0 e1909: b151 - b156 - b161 <= 0 e1910: b152 - b153 - b162 <= 0 e1911: b152 - b154 - b163 <= 0 e1912: b152 - b155 - b164 <= 0 e1913: b152 - b156 - b165 <= 0 e1914: b153 - b154 - b166 <= 0 e1915: b153 - b155 - b167 <= 0 e1916: b153 - b156 - b168 <= 0 e1917: b154 - b155 - b169 <= 0 e1918: b154 - b156 - b170 <= 0 e1919: b155 - b156 - b171 <= 0 e1920: b157 - b158 - b162 <= 0 e1921: b157 - b159 - b163 <= 0 e1922: b157 - b160 - b164 <= 0 e1923: b157 - b161 - b165 <= 0 e1924: b158 - b159 - b166 <= 0 e1925: b158 - b160 - b167 <= 0 e1926: b158 - b161 - b168 <= 0 e1927: b159 - b160 - b169 <= 0 e1928: b159 - b161 - b170 <= 0 e1929: b160 - b161 - b171 <= 0 e1930: b162 - b163 - b166 <= 0 e1931: b162 - b164 - b167 <= 0 e1932: b162 - b165 - b168 <= 0 e1933: b163 - b164 - b169 <= 0 e1934: b163 - b165 - b170 <= 0 e1935: b164 - b165 - b171 <= 0 e1936: b166 - b167 - b169 <= 0 e1937: b166 - b168 - b170 <= 0 e1938: b167 - b168 - b171 <= 0 e1939: b169 - b170 - b171 <= 0 e1940: - b2 + b19 - b172 <= 0 e1941: - b3 + b20 - b172 <= 0 e1942: - b4 + b21 - b172 <= 0 e1943: - b5 + b22 - b172 <= 0 e1944: - b6 + b23 - b172 <= 0 e1945: - b7 + b24 - b172 <= 0 e1946: - b8 + b25 - b172 <= 0 e1947: - b9 + b26 - b172 <= 0 e1948: - b10 + b27 - b172 <= 0 e1949: - b11 + b28 - b172 <= 0 e1950: - b12 + b29 - b172 <= 0 e1951: - b13 + b30 - b172 <= 0 e1952: - b14 + b31 - b172 <= 0 e1953: - b15 + b32 - b172 <= 0 e1954: - b16 + b33 - b172 <= 0 e1955: - b17 + b34 - b172 <= 0 e1956: - b18 + b35 - b172 <= 0 e1957: - b2 - b3 + b36 <= 0 e1958: - b2 - b4 + b37 <= 0 e1959: - b2 - b5 + b38 <= 0 e1960: - b2 - b6 + b39 <= 0 e1961: - b2 - b7 + b40 <= 0 e1962: - b2 - b8 + b41 <= 0 e1963: - b2 - b9 + b42 <= 0 e1964: - b2 - b10 + b43 <= 0 e1965: - b2 - b11 + b44 <= 0 e1966: - b2 - b12 + b45 <= 0 e1967: - b2 - b13 + b46 <= 0 e1968: - b2 - b14 + b47 <= 0 e1969: - b2 - b15 + b48 <= 0 e1970: - b2 - b16 + b49 <= 0 e1971: - b2 - b17 + b50 <= 0 e1972: - b2 - b18 + b51 <= 0 e1973: - b3 - b4 + b52 <= 0 e1974: - b3 - b5 + b53 <= 0 e1975: - b3 - b6 + b54 <= 0 e1976: - b3 - b7 + b55 <= 0 e1977: - b3 - b8 + b56 <= 0 e1978: - b3 - b9 + b57 <= 0 e1979: - b3 - b10 + b58 <= 0 e1980: - b3 - b11 + b59 <= 0 e1981: - b3 - b12 + b60 <= 0 e1982: - b3 - b13 + b61 <= 0 e1983: - b3 - b14 + b62 <= 0 e1984: - b3 - b15 + b63 <= 0 e1985: - b3 - b16 + b64 <= 0 e1986: - b3 - b17 + b65 <= 0 e1987: - b3 - b18 + b66 <= 0 e1988: - b4 - b5 + b67 <= 0 e1989: - b4 - b6 + b68 <= 0 e1990: - b4 - b7 + b69 <= 0 e1991: - b4 - b8 + b70 <= 0 e1992: - b4 - b9 + b71 <= 0 e1993: - b4 - b10 + b72 <= 0 e1994: - b4 - b11 + b73 <= 0 e1995: - b4 - b12 + b74 <= 0 e1996: - b4 - b13 + b75 <= 0 e1997: - b4 - b14 + b76 <= 0 e1998: - b4 - b15 + b77 <= 0 e1999: - b4 - b16 + b78 <= 0 e2000: - b4 - b17 + b79 <= 0 e2001: - b4 - b18 + b80 <= 0 e2002: - b5 - b6 + b81 <= 0 e2003: - b5 - b7 + b82 <= 0 e2004: - b5 - b8 + b83 <= 0 e2005: - b5 - b9 + b84 <= 0 e2006: - b5 - b10 + b85 <= 0 e2007: - b5 - b11 + b86 <= 0 e2008: - b5 - b12 + b87 <= 0 e2009: - b5 - b13 + b88 <= 0 e2010: - b5 - b14 + b89 <= 0 e2011: - b5 - b15 + b90 <= 0 e2012: - b5 - b16 + b91 <= 0 e2013: - b5 - b17 + b92 <= 0 e2014: - b5 - b18 + b93 <= 0 e2015: - b6 - b7 + b94 <= 0 e2016: - b6 - b8 + b95 <= 0 e2017: - b6 - b9 + b96 <= 0 e2018: - b6 - b10 + b97 <= 0 e2019: - b6 - b11 + b98 <= 0 e2020: - b6 - b12 + b99 <= 0 e2021: - b6 - b13 + b100 <= 0 e2022: - b6 - b14 + b101 <= 0 e2023: - b6 - b15 + b102 <= 0 e2024: - b6 - b16 + b103 <= 0 e2025: - b6 - b17 + b104 <= 0 e2026: - b6 - b18 + b105 <= 0 e2027: - b7 - b8 + b106 <= 0 e2028: - b7 - b9 + b107 <= 0 e2029: - b7 - b10 + b108 <= 0 e2030: - b7 - b11 + b109 <= 0 e2031: - b7 - b12 + b110 <= 0 e2032: - b7 - b13 + b111 <= 0 e2033: - b7 - b14 + b112 <= 0 e2034: - b7 - b15 + b113 <= 0 e2035: - b7 - b16 + b114 <= 0 e2036: - b7 - b17 + b115 <= 0 e2037: - b7 - b18 + b116 <= 0 e2038: - b8 - b9 + b117 <= 0 e2039: - b8 - b10 + b118 <= 0 e2040: - b8 - b11 + b119 <= 0 e2041: - b8 - b12 + b120 <= 0 e2042: - b8 - b13 + b121 <= 0 e2043: - b8 - b14 + b122 <= 0 e2044: - b8 - b15 + b123 <= 0 e2045: - b8 - b16 + b124 <= 0 e2046: - b8 - b17 + b125 <= 0 e2047: - b8 - b18 + b126 <= 0 e2048: - b9 - b10 + b127 <= 0 e2049: - b9 - b11 + b128 <= 0 e2050: - b9 - b12 + b129 <= 0 e2051: - b9 - b13 + b130 <= 0 e2052: - b9 - b14 + b131 <= 0 e2053: - b9 - b15 + b132 <= 0 e2054: - b9 - b16 + b133 <= 0 e2055: - b9 - b17 + b134 <= 0 e2056: - b9 - b18 + b135 <= 0 e2057: - b10 - b11 + b136 <= 0 e2058: - b10 - b12 + b137 <= 0 e2059: - b10 - b13 + b138 <= 0 e2060: - b10 - b14 + b139 <= 0 e2061: - b10 - b15 + b140 <= 0 e2062: - b10 - b16 + b141 <= 0 e2063: - b10 - b17 + b142 <= 0 e2064: - b10 - b18 + b143 <= 0 e2065: - b11 - b12 + b144 <= 0 e2066: - b11 - b13 + b145 <= 0 e2067: - b11 - b14 + b146 <= 0 e2068: - b11 - b15 + b147 <= 0 e2069: - b11 - b16 + b148 <= 0 e2070: - b11 - b17 + b149 <= 0 e2071: - b11 - b18 + b150 <= 0 e2072: - b12 - b13 + b151 <= 0 e2073: - b12 - b14 + b152 <= 0 e2074: - b12 - b15 + b153 <= 0 e2075: - b12 - b16 + b154 <= 0 e2076: - b12 - b17 + b155 <= 0 e2077: - b12 - b18 + b156 <= 0 e2078: - b13 - b14 + b157 <= 0 e2079: - b13 - b15 + b158 <= 0 e2080: - b13 - b16 + b159 <= 0 e2081: - b13 - b17 + b160 <= 0 e2082: - b13 - b18 + b161 <= 0 e2083: - b14 - b15 + b162 <= 0 e2084: - b14 - b16 + b163 <= 0 e2085: - b14 - b17 + b164 <= 0 e2086: - b14 - b18 + b165 <= 0 e2087: - b15 - b16 + b166 <= 0 e2088: - b15 - b17 + b167 <= 0 e2089: - b15 - b18 + b168 <= 0 e2090: - b16 - b17 + b169 <= 0 e2091: - b16 - b18 + b170 <= 0 e2092: - b17 - b18 + b171 <= 0 e2093: - b19 - b20 + b36 <= 0 e2094: - b19 - b21 + b37 <= 0 e2095: - b19 - b22 + b38 <= 0 e2096: - b19 - b23 + b39 <= 0 e2097: - b19 - b24 + b40 <= 0 e2098: - b19 - b25 + b41 <= 0 e2099: - b19 - b26 + b42 <= 0 e2100: - b19 - b27 + b43 <= 0 e2101: - b19 - b28 + b44 <= 0 e2102: - b19 - b29 + b45 <= 0 e2103: - b19 - b30 + b46 <= 0 e2104: - b19 - b31 + b47 <= 0 e2105: - b19 - b32 + b48 <= 0 e2106: - b19 - b33 + b49 <= 0 e2107: - b19 - b34 + b50 <= 0 e2108: - b19 - b35 + b51 <= 0 e2109: - b20 - b21 + b52 <= 0 e2110: - b20 - b22 + b53 <= 0 e2111: - b20 - b23 + b54 <= 0 e2112: - b20 - b24 + b55 <= 0 e2113: - b20 - b25 + b56 <= 0 e2114: - b20 - b26 + b57 <= 0 e2115: - b20 - b27 + b58 <= 0 e2116: - b20 - b28 + b59 <= 0 e2117: - b20 - b29 + b60 <= 0 e2118: - b20 - b30 + b61 <= 0 e2119: - b20 - b31 + b62 <= 0 e2120: - b20 - b32 + b63 <= 0 e2121: - b20 - b33 + b64 <= 0 e2122: - b20 - b34 + b65 <= 0 e2123: - b20 - b35 + b66 <= 0 e2124: - b21 - b22 + b67 <= 0 e2125: - b21 - b23 + b68 <= 0 e2126: - b21 - b24 + b69 <= 0 e2127: - b21 - b25 + b70 <= 0 e2128: - b21 - b26 + b71 <= 0 e2129: - b21 - b27 + b72 <= 0 e2130: - b21 - b28 + b73 <= 0 e2131: - b21 - b29 + b74 <= 0 e2132: - b21 - b30 + b75 <= 0 e2133: - b21 - b31 + b76 <= 0 e2134: - b21 - b32 + b77 <= 0 e2135: - b21 - b33 + b78 <= 0 e2136: - b21 - b34 + b79 <= 0 e2137: - b21 - b35 + b80 <= 0 e2138: - b22 - b23 + b81 <= 0 e2139: - b22 - b24 + b82 <= 0 e2140: - b22 - b25 + b83 <= 0 e2141: - b22 - b26 + b84 <= 0 e2142: - b22 - b27 + b85 <= 0 e2143: - b22 - b28 + b86 <= 0 e2144: - b22 - b29 + b87 <= 0 e2145: - b22 - b30 + b88 <= 0 e2146: - b22 - b31 + b89 <= 0 e2147: - b22 - b32 + b90 <= 0 e2148: - b22 - b33 + b91 <= 0 e2149: - b22 - b34 + b92 <= 0 e2150: - b22 - b35 + b93 <= 0 e2151: - b23 - b24 + b94 <= 0 e2152: - b23 - b25 + b95 <= 0 e2153: - b23 - b26 + b96 <= 0 e2154: - b23 - b27 + b97 <= 0 e2155: - b23 - b28 + b98 <= 0 e2156: - b23 - b29 + b99 <= 0 e2157: - b23 - b30 + b100 <= 0 e2158: - b23 - b31 + b101 <= 0 e2159: - b23 - b32 + b102 <= 0 e2160: - b23 - b33 + b103 <= 0 e2161: - b23 - b34 + b104 <= 0 e2162: - b23 - b35 + b105 <= 0 e2163: - b24 - b25 + b106 <= 0 e2164: - b24 - b26 + b107 <= 0 e2165: - b24 - b27 + b108 <= 0 e2166: - b24 - b28 + b109 <= 0 e2167: - b24 - b29 + b110 <= 0 e2168: - b24 - b30 + b111 <= 0 e2169: - b24 - b31 + b112 <= 0 e2170: - b24 - b32 + b113 <= 0 e2171: - b24 - b33 + b114 <= 0 e2172: - b24 - b34 + b115 <= 0 e2173: - b24 - b35 + b116 <= 0 e2174: - b25 - b26 + b117 <= 0 e2175: - b25 - b27 + b118 <= 0 e2176: - b25 - b28 + b119 <= 0 e2177: - b25 - b29 + b120 <= 0 e2178: - b25 - b30 + b121 <= 0 e2179: - b25 - b31 + b122 <= 0 e2180: - b25 - b32 + b123 <= 0 e2181: - b25 - b33 + b124 <= 0 e2182: - b25 - b34 + b125 <= 0 e2183: - b25 - b35 + b126 <= 0 e2184: - b26 - b27 + b127 <= 0 e2185: - b26 - b28 + b128 <= 0 e2186: - b26 - b29 + b129 <= 0 e2187: - b26 - b30 + b130 <= 0 e2188: - b26 - b31 + b131 <= 0 e2189: - b26 - b32 + b132 <= 0 e2190: - b26 - b33 + b133 <= 0 e2191: - b26 - b34 + b134 <= 0 e2192: - b26 - b35 + b135 <= 0 e2193: - b27 - b28 + b136 <= 0 e2194: - b27 - b29 + b137 <= 0 e2195: - b27 - b30 + b138 <= 0 e2196: - b27 - b31 + b139 <= 0 e2197: - b27 - b32 + b140 <= 0 e2198: - b27 - b33 + b141 <= 0 e2199: - b27 - b34 + b142 <= 0 e2200: - b27 - b35 + b143 <= 0 e2201: - b28 - b29 + b144 <= 0 e2202: - b28 - b30 + b145 <= 0 e2203: - b28 - b31 + b146 <= 0 e2204: - b28 - b32 + b147 <= 0 e2205: - b28 - b33 + b148 <= 0 e2206: - b28 - b34 + b149 <= 0 e2207: - b28 - b35 + b150 <= 0 e2208: - b29 - b30 + b151 <= 0 e2209: - b29 - b31 + b152 <= 0 e2210: - b29 - b32 + b153 <= 0 e2211: - b29 - b33 + b154 <= 0 e2212: - b29 - b34 + b155 <= 0 e2213: - b29 - b35 + b156 <= 0 e2214: - b30 - b31 + b157 <= 0 e2215: - b30 - b32 + b158 <= 0 e2216: - b30 - b33 + b159 <= 0 e2217: - b30 - b34 + b160 <= 0 e2218: - b30 - b35 + b161 <= 0 e2219: - b31 - b32 + b162 <= 0 e2220: - b31 - b33 + b163 <= 0 e2221: - b31 - b34 + b164 <= 0 e2222: - b31 - b35 + b165 <= 0 e2223: - b32 - b33 + b166 <= 0 e2224: - b32 - b34 + b167 <= 0 e2225: - b32 - b35 + b168 <= 0 e2226: - b33 - b34 + b169 <= 0 e2227: - b33 - b35 + b170 <= 0 e2228: - b34 - b35 + b171 <= 0 e2229: - b36 - b37 + b52 <= 0 e2230: - b36 - b38 + b53 <= 0 e2231: - b36 - b39 + b54 <= 0 e2232: - b36 - b40 + b55 <= 0 e2233: - b36 - b41 + b56 <= 0 e2234: - b36 - b42 + b57 <= 0 e2235: - b36 - b43 + b58 <= 0 e2236: - b36 - b44 + b59 <= 0 e2237: - b36 - b45 + b60 <= 0 e2238: - b36 - b46 + b61 <= 0 e2239: - b36 - b47 + b62 <= 0 e2240: - b36 - b48 + b63 <= 0 e2241: - b36 - b49 + b64 <= 0 e2242: - b36 - b50 + b65 <= 0 e2243: - b36 - b51 + b66 <= 0 e2244: - b37 - b38 + b67 <= 0 e2245: - b37 - b39 + b68 <= 0 e2246: - b37 - b40 + b69 <= 0 e2247: - b37 - b41 + b70 <= 0 e2248: - b37 - b42 + b71 <= 0 e2249: - b37 - b43 + b72 <= 0 e2250: - b37 - b44 + b73 <= 0 e2251: - b37 - b45 + b74 <= 0 e2252: - b37 - b46 + b75 <= 0 e2253: - b37 - b47 + b76 <= 0 e2254: - b37 - b48 + b77 <= 0 e2255: - b37 - b49 + b78 <= 0 e2256: - b37 - b50 + b79 <= 0 e2257: - b37 - b51 + b80 <= 0 e2258: - b38 - b39 + b81 <= 0 e2259: - b38 - b40 + b82 <= 0 e2260: - b38 - b41 + b83 <= 0 e2261: - b38 - b42 + b84 <= 0 e2262: - b38 - b43 + b85 <= 0 e2263: - b38 - b44 + b86 <= 0 e2264: - b38 - b45 + b87 <= 0 e2265: - b38 - b46 + b88 <= 0 e2266: - b38 - b47 + b89 <= 0 e2267: - b38 - b48 + b90 <= 0 e2268: - b38 - b49 + b91 <= 0 e2269: - b38 - b50 + b92 <= 0 e2270: - b38 - b51 + b93 <= 0 e2271: - b39 - b40 + b94 <= 0 e2272: - b39 - b41 + b95 <= 0 e2273: - b39 - b42 + b96 <= 0 e2274: - b39 - b43 + b97 <= 0 e2275: - b39 - b44 + b98 <= 0 e2276: - b39 - b45 + b99 <= 0 e2277: - b39 - b46 + b100 <= 0 e2278: - b39 - b47 + b101 <= 0 e2279: - b39 - b48 + b102 <= 0 e2280: - b39 - b49 + b103 <= 0 e2281: - b39 - b50 + b104 <= 0 e2282: - b39 - b51 + b105 <= 0 e2283: - b40 - b41 + b106 <= 0 e2284: - b40 - b42 + b107 <= 0 e2285: - b40 - b43 + b108 <= 0 e2286: - b40 - b44 + b109 <= 0 e2287: - b40 - b45 + b110 <= 0 e2288: - b40 - b46 + b111 <= 0 e2289: - b40 - b47 + b112 <= 0 e2290: - b40 - b48 + b113 <= 0 e2291: - b40 - b49 + b114 <= 0 e2292: - b40 - b50 + b115 <= 0 e2293: - b40 - b51 + b116 <= 0 e2294: - b41 - b42 + b117 <= 0 e2295: - b41 - b43 + b118 <= 0 e2296: - b41 - b44 + b119 <= 0 e2297: - b41 - b45 + b120 <= 0 e2298: - b41 - b46 + b121 <= 0 e2299: - b41 - b47 + b122 <= 0 e2300: - b41 - b48 + b123 <= 0 e2301: - b41 - b49 + b124 <= 0 e2302: - b41 - b50 + b125 <= 0 e2303: - b41 - b51 + b126 <= 0 e2304: - b42 - b43 + b127 <= 0 e2305: - b42 - b44 + b128 <= 0 e2306: - b42 - b45 + b129 <= 0 e2307: - b42 - b46 + b130 <= 0 e2308: - b42 - b47 + b131 <= 0 e2309: - b42 - b48 + b132 <= 0 e2310: - b42 - b49 + b133 <= 0 e2311: - b42 - b50 + b134 <= 0 e2312: - b42 - b51 + b135 <= 0 e2313: - b43 - b44 + b136 <= 0 e2314: - b43 - b45 + b137 <= 0 e2315: - b43 - b46 + b138 <= 0 e2316: - b43 - b47 + b139 <= 0 e2317: - b43 - b48 + b140 <= 0 e2318: - b43 - b49 + b141 <= 0 e2319: - b43 - b50 + b142 <= 0 e2320: - b43 - b51 + b143 <= 0 e2321: - b44 - b45 + b144 <= 0 e2322: - b44 - b46 + b145 <= 0 e2323: - b44 - b47 + b146 <= 0 e2324: - b44 - b48 + b147 <= 0 e2325: - b44 - b49 + b148 <= 0 e2326: - b44 - b50 + b149 <= 0 e2327: - b44 - b51 + b150 <= 0 e2328: - b45 - b46 + b151 <= 0 e2329: - b45 - b47 + b152 <= 0 e2330: - b45 - b48 + b153 <= 0 e2331: - b45 - b49 + b154 <= 0 e2332: - b45 - b50 + b155 <= 0 e2333: - b45 - b51 + b156 <= 0 e2334: - b46 - b47 + b157 <= 0 e2335: - b46 - b48 + b158 <= 0 e2336: - b46 - b49 + b159 <= 0 e2337: - b46 - b50 + b160 <= 0 e2338: - b46 - b51 + b161 <= 0 e2339: - b47 - b48 + b162 <= 0 e2340: - b47 - b49 + b163 <= 0 e2341: - b47 - b50 + b164 <= 0 e2342: - b47 - b51 + b165 <= 0 e2343: - b48 - b49 + b166 <= 0 e2344: - b48 - b50 + b167 <= 0 e2345: - b48 - b51 + b168 <= 0 e2346: - b49 - b50 + b169 <= 0 e2347: - b49 - b51 + b170 <= 0 e2348: - b50 - b51 + b171 <= 0 e2349: - b52 - b53 + b67 <= 0 e2350: - b52 - b54 + b68 <= 0 e2351: - b52 - b55 + b69 <= 0 e2352: - b52 - b56 + b70 <= 0 e2353: - b52 - b57 + b71 <= 0 e2354: - b52 - b58 + b72 <= 0 e2355: - b52 - b59 + b73 <= 0 e2356: - b52 - b60 + b74 <= 0 e2357: - b52 - b61 + b75 <= 0 e2358: - b52 - b62 + b76 <= 0 e2359: - b52 - b63 + b77 <= 0 e2360: - b52 - b64 + b78 <= 0 e2361: - b52 - b65 + b79 <= 0 e2362: - b52 - b66 + b80 <= 0 e2363: - b53 - b54 + b81 <= 0 e2364: - b53 - b55 + b82 <= 0 e2365: - b53 - b56 + b83 <= 0 e2366: - b53 - b57 + b84 <= 0 e2367: - b53 - b58 + b85 <= 0 e2368: - b53 - b59 + b86 <= 0 e2369: - b53 - b60 + b87 <= 0 e2370: - b53 - b61 + b88 <= 0 e2371: - b53 - b62 + b89 <= 0 e2372: - b53 - b63 + b90 <= 0 e2373: - b53 - b64 + b91 <= 0 e2374: - b53 - b65 + b92 <= 0 e2375: - b53 - b66 + b93 <= 0 e2376: - b54 - b55 + b94 <= 0 e2377: - b54 - b56 + b95 <= 0 e2378: - b54 - b57 + b96 <= 0 e2379: - b54 - b58 + b97 <= 0 e2380: - b54 - b59 + b98 <= 0 e2381: - b54 - b60 + b99 <= 0 e2382: - b54 - b61 + b100 <= 0 e2383: - b54 - b62 + b101 <= 0 e2384: - b54 - b63 + b102 <= 0 e2385: - b54 - b64 + b103 <= 0 e2386: - b54 - b65 + b104 <= 0 e2387: - b54 - b66 + b105 <= 0 e2388: - b55 - b56 + b106 <= 0 e2389: - b55 - b57 + b107 <= 0 e2390: - b55 - b58 + b108 <= 0 e2391: - b55 - b59 + b109 <= 0 e2392: - b55 - b60 + b110 <= 0 e2393: - b55 - b61 + b111 <= 0 e2394: - b55 - b62 + b112 <= 0 e2395: - b55 - b63 + b113 <= 0 e2396: - b55 - b64 + b114 <= 0 e2397: - b55 - b65 + b115 <= 0 e2398: - b55 - b66 + b116 <= 0 e2399: - b56 - b57 + b117 <= 0 e2400: - b56 - b58 + b118 <= 0 e2401: - b56 - b59 + b119 <= 0 e2402: - b56 - b60 + b120 <= 0 e2403: - b56 - b61 + b121 <= 0 e2404: - b56 - b62 + b122 <= 0 e2405: - b56 - b63 + b123 <= 0 e2406: - b56 - b64 + b124 <= 0 e2407: - b56 - b65 + b125 <= 0 e2408: - b56 - b66 + b126 <= 0 e2409: - b57 - b58 + b127 <= 0 e2410: - b57 - b59 + b128 <= 0 e2411: - b57 - b60 + b129 <= 0 e2412: - b57 - b61 + b130 <= 0 e2413: - b57 - b62 + b131 <= 0 e2414: - b57 - b63 + b132 <= 0 e2415: - b57 - b64 + b133 <= 0 e2416: - b57 - b65 + b134 <= 0 e2417: - b57 - b66 + b135 <= 0 e2418: - b58 - b59 + b136 <= 0 e2419: - b58 - b60 + b137 <= 0 e2420: - b58 - b61 + b138 <= 0 e2421: - b58 - b62 + b139 <= 0 e2422: - b58 - b63 + b140 <= 0 e2423: - b58 - b64 + b141 <= 0 e2424: - b58 - b65 + b142 <= 0 e2425: - b58 - b66 + b143 <= 0 e2426: - b59 - b60 + b144 <= 0 e2427: - b59 - b61 + b145 <= 0 e2428: - b59 - b62 + b146 <= 0 e2429: - b59 - b63 + b147 <= 0 e2430: - b59 - b64 + b148 <= 0 e2431: - b59 - b65 + b149 <= 0 e2432: - b59 - b66 + b150 <= 0 e2433: - b60 - b61 + b151 <= 0 e2434: - b60 - b62 + b152 <= 0 e2435: - b60 - b63 + b153 <= 0 e2436: - b60 - b64 + b154 <= 0 e2437: - b60 - b65 + b155 <= 0 e2438: - b60 - b66 + b156 <= 0 e2439: - b61 - b62 + b157 <= 0 e2440: - b61 - b63 + b158 <= 0 e2441: - b61 - b64 + b159 <= 0 e2442: - b61 - b65 + b160 <= 0 e2443: - b61 - b66 + b161 <= 0 e2444: - b62 - b63 + b162 <= 0 e2445: - b62 - b64 + b163 <= 0 e2446: - b62 - b65 + b164 <= 0 e2447: - b62 - b66 + b165 <= 0 e2448: - b63 - b64 + b166 <= 0 e2449: - b63 - b65 + b167 <= 0 e2450: - b63 - b66 + b168 <= 0 e2451: - b64 - b65 + b169 <= 0 e2452: - b64 - b66 + b170 <= 0 e2453: - b65 - b66 + b171 <= 0 e2454: - b67 - b68 + b81 <= 0 e2455: - b67 - b69 + b82 <= 0 e2456: - b67 - b70 + b83 <= 0 e2457: - b67 - b71 + b84 <= 0 e2458: - b67 - b72 + b85 <= 0 e2459: - b67 - b73 + b86 <= 0 e2460: - b67 - b74 + b87 <= 0 e2461: - b67 - b75 + b88 <= 0 e2462: - b67 - b76 + b89 <= 0 e2463: - b67 - b77 + b90 <= 0 e2464: - b67 - b78 + b91 <= 0 e2465: - b67 - b79 + b92 <= 0 e2466: - b67 - b80 + b93 <= 0 e2467: - b68 - b69 + b94 <= 0 e2468: - b68 - b70 + b95 <= 0 e2469: - b68 - b71 + b96 <= 0 e2470: - b68 - b72 + b97 <= 0 e2471: - b68 - b73 + b98 <= 0 e2472: - b68 - b74 + b99 <= 0 e2473: - b68 - b75 + b100 <= 0 e2474: - b68 - b76 + b101 <= 0 e2475: - b68 - b77 + b102 <= 0 e2476: - b68 - b78 + b103 <= 0 e2477: - b68 - b79 + b104 <= 0 e2478: - b68 - b80 + b105 <= 0 e2479: - b69 - b70 + b106 <= 0 e2480: - b69 - b71 + b107 <= 0 e2481: - b69 - b72 + b108 <= 0 e2482: - b69 - b73 + b109 <= 0 e2483: - b69 - b74 + b110 <= 0 e2484: - b69 - b75 + b111 <= 0 e2485: - b69 - b76 + b112 <= 0 e2486: - b69 - b77 + b113 <= 0 e2487: - b69 - b78 + b114 <= 0 e2488: - b69 - b79 + b115 <= 0 e2489: - b69 - b80 + b116 <= 0 e2490: - b70 - b71 + b117 <= 0 e2491: - b70 - b72 + b118 <= 0 e2492: - b70 - b73 + b119 <= 0 e2493: - b70 - b74 + b120 <= 0 e2494: - b70 - b75 + b121 <= 0 e2495: - b70 - b76 + b122 <= 0 e2496: - b70 - b77 + b123 <= 0 e2497: - b70 - b78 + b124 <= 0 e2498: - b70 - b79 + b125 <= 0 e2499: - b70 - b80 + b126 <= 0 e2500: - b71 - b72 + b127 <= 0 e2501: - b71 - b73 + b128 <= 0 e2502: - b71 - b74 + b129 <= 0 e2503: - b71 - b75 + b130 <= 0 e2504: - b71 - b76 + b131 <= 0 e2505: - b71 - b77 + b132 <= 0 e2506: - b71 - b78 + b133 <= 0 e2507: - b71 - b79 + b134 <= 0 e2508: - b71 - b80 + b135 <= 0 e2509: - b72 - b73 + b136 <= 0 e2510: - b72 - b74 + b137 <= 0 e2511: - b72 - b75 + b138 <= 0 e2512: - b72 - b76 + b139 <= 0 e2513: - b72 - b77 + b140 <= 0 e2514: - b72 - b78 + b141 <= 0 e2515: - b72 - b79 + b142 <= 0 e2516: - b72 - b80 + b143 <= 0 e2517: - b73 - b74 + b144 <= 0 e2518: - b73 - b75 + b145 <= 0 e2519: - b73 - b76 + b146 <= 0 e2520: - b73 - b77 + b147 <= 0 e2521: - b73 - b78 + b148 <= 0 e2522: - b73 - b79 + b149 <= 0 e2523: - b73 - b80 + b150 <= 0 e2524: - b74 - b75 + b151 <= 0 e2525: - b74 - b76 + b152 <= 0 e2526: - b74 - b77 + b153 <= 0 e2527: - b74 - b78 + b154 <= 0 e2528: - b74 - b79 + b155 <= 0 e2529: - b74 - b80 + b156 <= 0 e2530: - b75 - b76 + b157 <= 0 e2531: - b75 - b77 + b158 <= 0 e2532: - b75 - b78 + b159 <= 0 e2533: - b75 - b79 + b160 <= 0 e2534: - b75 - b80 + b161 <= 0 e2535: - b76 - b77 + b162 <= 0 e2536: - b76 - b78 + b163 <= 0 e2537: - b76 - b79 + b164 <= 0 e2538: - b76 - b80 + b165 <= 0 e2539: - b77 - b78 + b166 <= 0 e2540: - b77 - b79 + b167 <= 0 e2541: - b77 - b80 + b168 <= 0 e2542: - b78 - b79 + b169 <= 0 e2543: - b78 - b80 + b170 <= 0 e2544: - b79 - b80 + b171 <= 0 e2545: - b81 - b82 + b94 <= 0 e2546: - b81 - b83 + b95 <= 0 e2547: - b81 - b84 + b96 <= 0 e2548: - b81 - b85 + b97 <= 0 e2549: - b81 - b86 + b98 <= 0 e2550: - b81 - b87 + b99 <= 0 e2551: - b81 - b88 + b100 <= 0 e2552: - b81 - b89 + b101 <= 0 e2553: - b81 - b90 + b102 <= 0 e2554: - b81 - b91 + b103 <= 0 e2555: - b81 - b92 + b104 <= 0 e2556: - b81 - b93 + b105 <= 0 e2557: - b82 - b83 + b106 <= 0 e2558: - b82 - b84 + b107 <= 0 e2559: - b82 - b85 + b108 <= 0 e2560: - b82 - b86 + b109 <= 0 e2561: - b82 - b87 + b110 <= 0 e2562: - b82 - b88 + b111 <= 0 e2563: - b82 - b89 + b112 <= 0 e2564: - b82 - b90 + b113 <= 0 e2565: - b82 - b91 + b114 <= 0 e2566: - b82 - b92 + b115 <= 0 e2567: - b82 - b93 + b116 <= 0 e2568: - b83 - b84 + b117 <= 0 e2569: - b83 - b85 + b118 <= 0 e2570: - b83 - b86 + b119 <= 0 e2571: - b83 - b87 + b120 <= 0 e2572: - b83 - b88 + b121 <= 0 e2573: - b83 - b89 + b122 <= 0 e2574: - b83 - b90 + b123 <= 0 e2575: - b83 - b91 + b124 <= 0 e2576: - b83 - b92 + b125 <= 0 e2577: - b83 - b93 + b126 <= 0 e2578: - b84 - b85 + b127 <= 0 e2579: - b84 - b86 + b128 <= 0 e2580: - b84 - b87 + b129 <= 0 e2581: - b84 - b88 + b130 <= 0 e2582: - b84 - b89 + b131 <= 0 e2583: - b84 - b90 + b132 <= 0 e2584: - b84 - b91 + b133 <= 0 e2585: - b84 - b92 + b134 <= 0 e2586: - b84 - b93 + b135 <= 0 e2587: - b85 - b86 + b136 <= 0 e2588: - b85 - b87 + b137 <= 0 e2589: - b85 - b88 + b138 <= 0 e2590: - b85 - b89 + b139 <= 0 e2591: - b85 - b90 + b140 <= 0 e2592: - b85 - b91 + b141 <= 0 e2593: - b85 - b92 + b142 <= 0 e2594: - b85 - b93 + b143 <= 0 e2595: - b86 - b87 + b144 <= 0 e2596: - b86 - b88 + b145 <= 0 e2597: - b86 - b89 + b146 <= 0 e2598: - b86 - b90 + b147 <= 0 e2599: - b86 - b91 + b148 <= 0 e2600: - b86 - b92 + b149 <= 0 e2601: - b86 - b93 + b150 <= 0 e2602: - b87 - b88 + b151 <= 0 e2603: - b87 - b89 + b152 <= 0 e2604: - b87 - b90 + b153 <= 0 e2605: - b87 - b91 + b154 <= 0 e2606: - b87 - b92 + b155 <= 0 e2607: - b87 - b93 + b156 <= 0 e2608: - b88 - b89 + b157 <= 0 e2609: - b88 - b90 + b158 <= 0 e2610: - b88 - b91 + b159 <= 0 e2611: - b88 - b92 + b160 <= 0 e2612: - b88 - b93 + b161 <= 0 e2613: - b89 - b90 + b162 <= 0 e2614: - b89 - b91 + b163 <= 0 e2615: - b89 - b92 + b164 <= 0 e2616: - b89 - b93 + b165 <= 0 e2617: - b90 - b91 + b166 <= 0 e2618: - b90 - b92 + b167 <= 0 e2619: - b90 - b93 + b168 <= 0 e2620: - b91 - b92 + b169 <= 0 e2621: - b91 - b93 + b170 <= 0 e2622: - b92 - b93 + b171 <= 0 e2623: - b94 - b95 + b106 <= 0 e2624: - b94 - b96 + b107 <= 0 e2625: - b94 - b97 + b108 <= 0 e2626: - b94 - b98 + b109 <= 0 e2627: - b94 - b99 + b110 <= 0 e2628: - b94 - b100 + b111 <= 0 e2629: - b94 - b101 + b112 <= 0 e2630: - b94 - b102 + b113 <= 0 e2631: - b94 - b103 + b114 <= 0 e2632: - b94 - b104 + b115 <= 0 e2633: - b94 - b105 + b116 <= 0 e2634: - b95 - b96 + b117 <= 0 e2635: - b95 - b97 + b118 <= 0 e2636: - b95 - b98 + b119 <= 0 e2637: - b95 - b99 + b120 <= 0 e2638: - b95 - b100 + b121 <= 0 e2639: - b95 - b101 + b122 <= 0 e2640: - b95 - b102 + b123 <= 0 e2641: - b95 - b103 + b124 <= 0 e2642: - b95 - b104 + b125 <= 0 e2643: - b95 - b105 + b126 <= 0 e2644: - b96 - b97 + b127 <= 0 e2645: - b96 - b98 + b128 <= 0 e2646: - b96 - b99 + b129 <= 0 e2647: - b96 - b100 + b130 <= 0 e2648: - b96 - b101 + b131 <= 0 e2649: - b96 - b102 + b132 <= 0 e2650: - b96 - b103 + b133 <= 0 e2651: - b96 - b104 + b134 <= 0 e2652: - b96 - b105 + b135 <= 0 e2653: - b97 - b98 + b136 <= 0 e2654: - b97 - b99 + b137 <= 0 e2655: - b97 - b100 + b138 <= 0 e2656: - b97 - b101 + b139 <= 0 e2657: - b97 - b102 + b140 <= 0 e2658: - b97 - b103 + b141 <= 0 e2659: - b97 - b104 + b142 <= 0 e2660: - b97 - b105 + b143 <= 0 e2661: - b98 - b99 + b144 <= 0 e2662: - b98 - b100 + b145 <= 0 e2663: - b98 - b101 + b146 <= 0 e2664: - b98 - b102 + b147 <= 0 e2665: - b98 - b103 + b148 <= 0 e2666: - b98 - b104 + b149 <= 0 e2667: - b98 - b105 + b150 <= 0 e2668: - b99 - b100 + b151 <= 0 e2669: - b99 - b101 + b152 <= 0 e2670: - b99 - b102 + b153 <= 0 e2671: - b99 - b103 + b154 <= 0 e2672: - b99 - b104 + b155 <= 0 e2673: - b99 - b105 + b156 <= 0 e2674: - b100 - b101 + b157 <= 0 e2675: - b100 - b102 + b158 <= 0 e2676: - b100 - b103 + b159 <= 0 e2677: - b100 - b104 + b160 <= 0 e2678: - b100 - b105 + b161 <= 0 e2679: - b101 - b102 + b162 <= 0 e2680: - b101 - b103 + b163 <= 0 e2681: - b101 - b104 + b164 <= 0 e2682: - b101 - b105 + b165 <= 0 e2683: - b102 - b103 + b166 <= 0 e2684: - b102 - b104 + b167 <= 0 e2685: - b102 - b105 + b168 <= 0 e2686: - b103 - b104 + b169 <= 0 e2687: - b103 - b105 + b170 <= 0 e2688: - b104 - b105 + b171 <= 0 e2689: - b106 - b107 + b117 <= 0 e2690: - b106 - b108 + b118 <= 0 e2691: - b106 - b109 + b119 <= 0 e2692: - b106 - b110 + b120 <= 0 e2693: - b106 - b111 + b121 <= 0 e2694: - b106 - b112 + b122 <= 0 e2695: - b106 - b113 + b123 <= 0 e2696: - b106 - b114 + b124 <= 0 e2697: - b106 - b115 + b125 <= 0 e2698: - b106 - b116 + b126 <= 0 e2699: - b107 - b108 + b127 <= 0 e2700: - b107 - b109 + b128 <= 0 e2701: - b107 - b110 + b129 <= 0 e2702: - b107 - b111 + b130 <= 0 e2703: - b107 - b112 + b131 <= 0 e2704: - b107 - b113 + b132 <= 0 e2705: - b107 - b114 + b133 <= 0 e2706: - b107 - b115 + b134 <= 0 e2707: - b107 - b116 + b135 <= 0 e2708: - b108 - b109 + b136 <= 0 e2709: - b108 - b110 + b137 <= 0 e2710: - b108 - b111 + b138 <= 0 e2711: - b108 - b112 + b139 <= 0 e2712: - b108 - b113 + b140 <= 0 e2713: - b108 - b114 + b141 <= 0 e2714: - b108 - b115 + b142 <= 0 e2715: - b108 - b116 + b143 <= 0 e2716: - b109 - b110 + b144 <= 0 e2717: - b109 - b111 + b145 <= 0 e2718: - b109 - b112 + b146 <= 0 e2719: - b109 - b113 + b147 <= 0 e2720: - b109 - b114 + b148 <= 0 e2721: - b109 - b115 + b149 <= 0 e2722: - b109 - b116 + b150 <= 0 e2723: - b110 - b111 + b151 <= 0 e2724: - b110 - b112 + b152 <= 0 e2725: - b110 - b113 + b153 <= 0 e2726: - b110 - b114 + b154 <= 0 e2727: - b110 - b115 + b155 <= 0 e2728: - b110 - b116 + b156 <= 0 e2729: - b111 - b112 + b157 <= 0 e2730: - b111 - b113 + b158 <= 0 e2731: - b111 - b114 + b159 <= 0 e2732: - b111 - b115 + b160 <= 0 e2733: - b111 - b116 + b161 <= 0 e2734: - b112 - b113 + b162 <= 0 e2735: - b112 - b114 + b163 <= 0 e2736: - b112 - b115 + b164 <= 0 e2737: - b112 - b116 + b165 <= 0 e2738: - b113 - b114 + b166 <= 0 e2739: - b113 - b115 + b167 <= 0 e2740: - b113 - b116 + b168 <= 0 e2741: - b114 - b115 + b169 <= 0 e2742: - b114 - b116 + b170 <= 0 e2743: - b115 - b116 + b171 <= 0 e2744: - b117 - b118 + b127 <= 0 e2745: - b117 - b119 + b128 <= 0 e2746: - b117 - b120 + b129 <= 0 e2747: - b117 - b121 + b130 <= 0 e2748: - b117 - b122 + b131 <= 0 e2749: - b117 - b123 + b132 <= 0 e2750: - b117 - b124 + b133 <= 0 e2751: - b117 - b125 + b134 <= 0 e2752: - b117 - b126 + b135 <= 0 e2753: - b118 - b119 + b136 <= 0 e2754: - b118 - b120 + b137 <= 0 e2755: - b118 - b121 + b138 <= 0 e2756: - b118 - b122 + b139 <= 0 e2757: - b118 - b123 + b140 <= 0 e2758: - b118 - b124 + b141 <= 0 e2759: - b118 - b125 + b142 <= 0 e2760: - b118 - b126 + b143 <= 0 e2761: - b119 - b120 + b144 <= 0 e2762: - b119 - b121 + b145 <= 0 e2763: - b119 - b122 + b146 <= 0 e2764: - b119 - b123 + b147 <= 0 e2765: - b119 - b124 + b148 <= 0 e2766: - b119 - b125 + b149 <= 0 e2767: - b119 - b126 + b150 <= 0 e2768: - b120 - b121 + b151 <= 0 e2769: - b120 - b122 + b152 <= 0 e2770: - b120 - b123 + b153 <= 0 e2771: - b120 - b124 + b154 <= 0 e2772: - b120 - b125 + b155 <= 0 e2773: - b120 - b126 + b156 <= 0 e2774: - b121 - b122 + b157 <= 0 e2775: - b121 - b123 + b158 <= 0 e2776: - b121 - b124 + b159 <= 0 e2777: - b121 - b125 + b160 <= 0 e2778: - b121 - b126 + b161 <= 0 e2779: - b122 - b123 + b162 <= 0 e2780: - b122 - b124 + b163 <= 0 e2781: - b122 - b125 + b164 <= 0 e2782: - b122 - b126 + b165 <= 0 e2783: - b123 - b124 + b166 <= 0 e2784: - b123 - b125 + b167 <= 0 e2785: - b123 - b126 + b168 <= 0 e2786: - b124 - b125 + b169 <= 0 e2787: - b124 - b126 + b170 <= 0 e2788: - b125 - b126 + b171 <= 0 e2789: - b127 - b128 + b136 <= 0 e2790: - b127 - b129 + b137 <= 0 e2791: - b127 - b130 + b138 <= 0 e2792: - b127 - b131 + b139 <= 0 e2793: - b127 - b132 + b140 <= 0 e2794: - b127 - b133 + b141 <= 0 e2795: - b127 - b134 + b142 <= 0 e2796: - b127 - b135 + b143 <= 0 e2797: - b128 - b129 + b144 <= 0 e2798: - b128 - b130 + b145 <= 0 e2799: - b128 - b131 + b146 <= 0 e2800: - b128 - b132 + b147 <= 0 e2801: - b128 - b133 + b148 <= 0 e2802: - b128 - b134 + b149 <= 0 e2803: - b128 - b135 + b150 <= 0 e2804: - b129 - b130 + b151 <= 0 e2805: - b129 - b131 + b152 <= 0 e2806: - b129 - b132 + b153 <= 0 e2807: - b129 - b133 + b154 <= 0 e2808: - b129 - b134 + b155 <= 0 e2809: - b129 - b135 + b156 <= 0 e2810: - b130 - b131 + b157 <= 0 e2811: - b130 - b132 + b158 <= 0 e2812: - b130 - b133 + b159 <= 0 e2813: - b130 - b134 + b160 <= 0 e2814: - b130 - b135 + b161 <= 0 e2815: - b131 - b132 + b162 <= 0 e2816: - b131 - b133 + b163 <= 0 e2817: - b131 - b134 + b164 <= 0 e2818: - b131 - b135 + b165 <= 0 e2819: - b132 - b133 + b166 <= 0 e2820: - b132 - b134 + b167 <= 0 e2821: - b132 - b135 + b168 <= 0 e2822: - b133 - b134 + b169 <= 0 e2823: - b133 - b135 + b170 <= 0 e2824: - b134 - b135 + b171 <= 0 e2825: - b136 - b137 + b144 <= 0 e2826: - b136 - b138 + b145 <= 0 e2827: - b136 - b139 + b146 <= 0 e2828: - b136 - b140 + b147 <= 0 e2829: - b136 - b141 + b148 <= 0 e2830: - b136 - b142 + b149 <= 0 e2831: - b136 - b143 + b150 <= 0 e2832: - b137 - b138 + b151 <= 0 e2833: - b137 - b139 + b152 <= 0 e2834: - b137 - b140 + b153 <= 0 e2835: - b137 - b141 + b154 <= 0 e2836: - b137 - b142 + b155 <= 0 e2837: - b137 - b143 + b156 <= 0 e2838: - b138 - b139 + b157 <= 0 e2839: - b138 - b140 + b158 <= 0 e2840: - b138 - b141 + b159 <= 0 e2841: - b138 - b142 + b160 <= 0 e2842: - b138 - b143 + b161 <= 0 e2843: - b139 - b140 + b162 <= 0 e2844: - b139 - b141 + b163 <= 0 e2845: - b139 - b142 + b164 <= 0 e2846: - b139 - b143 + b165 <= 0 e2847: - b140 - b141 + b166 <= 0 e2848: - b140 - b142 + b167 <= 0 e2849: - b140 - b143 + b168 <= 0 e2850: - b141 - b142 + b169 <= 0 e2851: - b141 - b143 + b170 <= 0 e2852: - b142 - b143 + b171 <= 0 e2853: - b144 - b145 + b151 <= 0 e2854: - b144 - b146 + b152 <= 0 e2855: - b144 - b147 + b153 <= 0 e2856: - b144 - b148 + b154 <= 0 e2857: - b144 - b149 + b155 <= 0 e2858: - b144 - b150 + b156 <= 0 e2859: - b145 - b146 + b157 <= 0 e2860: - b145 - b147 + b158 <= 0 e2861: - b145 - b148 + b159 <= 0 e2862: - b145 - b149 + b160 <= 0 e2863: - b145 - b150 + b161 <= 0 e2864: - b146 - b147 + b162 <= 0 e2865: - b146 - b148 + b163 <= 0 e2866: - b146 - b149 + b164 <= 0 e2867: - b146 - b150 + b165 <= 0 e2868: - b147 - b148 + b166 <= 0 e2869: - b147 - b149 + b167 <= 0 e2870: - b147 - b150 + b168 <= 0 e2871: - b148 - b149 + b169 <= 0 e2872: - b148 - b150 + b170 <= 0 e2873: - b149 - b150 + b171 <= 0 e2874: - b151 - b152 + b157 <= 0 e2875: - b151 - b153 + b158 <= 0 e2876: - b151 - b154 + b159 <= 0 e2877: - b151 - b155 + b160 <= 0 e2878: - b151 - b156 + b161 <= 0 e2879: - b152 - b153 + b162 <= 0 e2880: - b152 - b154 + b163 <= 0 e2881: - b152 - b155 + b164 <= 0 e2882: - b152 - b156 + b165 <= 0 e2883: - b153 - b154 + b166 <= 0 e2884: - b153 - b155 + b167 <= 0 e2885: - b153 - b156 + b168 <= 0 e2886: - b154 - b155 + b169 <= 0 e2887: - b154 - b156 + b170 <= 0 e2888: - b155 - b156 + b171 <= 0 e2889: - b157 - b158 + b162 <= 0 e2890: - b157 - b159 + b163 <= 0 e2891: - b157 - b160 + b164 <= 0 e2892: - b157 - b161 + b165 <= 0 e2893: - b158 - b159 + b166 <= 0 e2894: - b158 - b160 + b167 <= 0 e2895: - b158 - b161 + b168 <= 0 e2896: - b159 - b160 + b169 <= 0 e2897: - b159 - b161 + b170 <= 0 e2898: - b160 - b161 + b171 <= 0 e2899: - b162 - b163 + b166 <= 0 e2900: - b162 - b164 + b167 <= 0 e2901: - b162 - b165 + b168 <= 0 e2902: - b163 - b164 + b169 <= 0 e2903: - b163 - b165 + b170 <= 0 e2904: - b164 - b165 + b171 <= 0 e2905: - b166 - b167 + b169 <= 0 e2906: - b166 - b168 + b170 <= 0 e2907: - b167 - b168 + b171 <= 0 e2908: - b169 - b170 + b171 <= 0 e2909: [ 408 b2 * b3 + 448 b2 * b4 + 256 b2 * b5 + 632 b2 * b6 + 600 b2 * b7 + 312 b2 * b8 + 208 b2 * b9 + 16 b2 * b10 + 752 b2 * b11 + 608 b2 * b12 + 4.4e2 b2 * b13 + 6.4e2 b2 * b14 + 464 b2 * b15 + 272 b2 * b16 + 1.6e2 b2 * b17 + 704 b2 * b18 + 704 b2 * b172 + 4.8e2 b3 * b4 + 136 b3 * b5 + 6.8e2 b3 * b6 + 568 b3 * b7 + 776 b3 * b8 + 664 b3 * b9 + 792 b3 * b10 + 512 b3 * b11 + 776 b3 * b12 + 544 b3 * b13 + 328 b3 * b14 + 504 b3 * b15 + 536 b3 * b16 + 248 b3 * b17 + 168 b3 * b18 + 232 b3 * b172 + 568 b4 * b5 + 704 b4 * b6 + 424 b4 * b7 + 400 b4 * b8 + 504 b4 * b9 + 736 b4 * b10 + 232 b4 * b11 + 144 b4 * b12 + 688 b4 * b13 + 456 b4 * b14 + 584 b4 * b15 + 144 b4 * b16 + 1.2e2 b4 * b17 + 472 b4 * b18 + 208 b4 * b172 + 312 b5 * b6 + 24 b5 * b7 + 152 b5 * b8 + 64 b5 * b9 + 704 b5 * b10 + 344 b5 * b11 + 456 b5 * b12 + 184 b5 * b13 + 752 b5 * b14 + 168 b5 * b15 + 576 b5 * b16 + 112 b5 * b17 + 112 b5 * b18 + 768 b5 * b172 + 696 b6 * b7 + 264 b6 * b8 + 368 b6 * b9 + 64 b6 * b10 + 32 b6 * b11 + 272 b6 * b12 + 496 b6 * b13 + 4.4e2 b6 * b14 + 392 b6 * b15 + 48 b6 * b16 + 288 b6 * b17 + 536 b6 * b18 + 3.6e2 b6 * b172 + 3.6e2 b7 * b8 + 744 b7 * b9 + 744 b7 * b10 + 504 b7 * b11 + 64 b7 * b12 + 416 b7 * b13 + 432 b7 * b14 + 512 b7 * b15 + 192 b7 * b16 + 112 b7 * b17 + 32 b7 * b18 + 88 b7 * b172 + 152 b8 * b9 + 568 b8 * b10 + 224 b8 * b11 + 104 b8 * b12 + 3.6e2 b8 * b13 + 416 b8 * b14 + 632 b8 * b15 + 88 b8 * b16 + 3.2e2 b8 * b17 + 96 b8 * b18 + 6.4e2 b8 * b172 + 456 b9 * b10 + 384 b9 * b11 + 136 b9 * b12 + 344 b9 * b13 + 496 b9 * b14 + 192 b9 * b15 + 3.6e2 b9 * b16 + 168 b9 * b17 + 4.8e2 b9 * b18 + 784 b9 * b172 + 96 b10 * b11 + 528 b10 * b12 + 424 b10 * b13 + 40 b10 * b14 + 648 b10 * b15 + 488 b10 * b16 + 80 b10 * b17 + 704 b10 * b18 + 216 b10 * b172 + 616 b11 * b12 + 272 b11 * b13 + 16 b11 * b14 + 656 b11 * b15 + 424 b11 * b16 + 208 b11 * b17 + 496 b11 * b18 + 1.2e2 b11 * b172 + 144 b12 * b13 + 568 b12 * b14 + 112 b12 * b15 + 776 b12 * b16 + 656 b12 * b17 + 432 b12 * b18 + 112 b12 * b172 + 72 b13 * b14 + 736 b13 * b15 + 4.4e2 b13 * b16 + 624 b13 * b17 + 696 b13 * b18 + 552 b13 * b172 + 552 b14 * b15 + 16 b14 * b16 + 256 b14 * b17 + 336 b14 * b18 + 608 b14 * b172 + 112 b15 * b16 + 3.6e2 b15 * b17 + 4.8e2 b15 * b18 + 112 b15 * b172 + 536 b16 * b17 + 16 b16 * b18 + 376 b16 * b172 + 336 b17 * b18 + 304 b17 * b172 + 48 b18 * b172 ] >= 22256 e2910: [ 408 b19 * b20 + 448 b19 * b21 + 256 b19 * b22 + 632 b19 * b23 + 600 b19 * b24 + 312 b19 * b25 + 208 b19 * b26 + 16 b19 * b27 + 752 b19 * b28 + 608 b19 * b29 + 4.4e2 b19 * b30 + 6.4e2 b19 * b31 + 464 b19 * b32 + 272 b19 * b33 + 1.6e2 b19 * b34 + 704 b19 * b35 + 624 b19 * b172 + 4.8e2 b20 * b21 + 136 b20 * b22 + 6.8e2 b20 * b23 + 568 b20 * b24 + 776 b20 * b25 + 664 b20 * b26 + 792 b20 * b27 + 512 b20 * b28 + 776 b20 * b29 + 544 b20 * b30 + 328 b20 * b31 + 504 b20 * b32 + 536 b20 * b33 + 248 b20 * b34 + 168 b20 * b35 + 80 b20 * b172 + 568 b21 * b22 + 704 b21 * b23 + 424 b21 * b24 + 400 b21 * b25 + 504 b21 * b26 + 736 b21 * b27 + 232 b21 * b28 + 144 b21 * b29 + 688 b21 * b30 + 456 b21 * b31 + 584 b21 * b32 + 144 b21 * b33 + 1.2e2 b21 * b34 + 472 b21 * b35 + 3.2e2 b21 * b172 + 312 b22 * b23 + 24 b22 * b24 + 152 b22 * b25 + 64 b22 * b26 + 704 b22 * b27 + 344 b22 * b28 + 456 b22 * b29 + 184 b22 * b30 + 752 b22 * b31 + 168 b22 * b32 + 576 b22 * b33 + 112 b22 * b34 + 112 b22 * b35 + 32 b22 * b172 + 696 b23 * b24 + 264 b23 * b25 + 368 b23 * b26 + 64 b23 * b27 + 32 b23 * b28 + 272 b23 * b29 + 496 b23 * b30 + 4.4e2 b23 * b31 + 392 b23 * b32 + 48 b23 * b33 + 288 b23 * b34 + 536 b23 * b35 + 528 b23 * b172 + 3.6e2 b24 * b25 + 744 b24 * b26 + 744 b24 * b27 + 504 b24 * b28 + 64 b24 * b29 + 416 b24 * b30 + 432 b24 * b31 + 512 b24 * b32 + 192 b24 * b33 + 112 b24 * b34 + 32 b24 * b35 + 592 b24 * b172 + 152 b25 * b26 + 568 b25 * b27 + 224 b25 * b28 + 104 b25 * b29 + 3.6e2 b25 * b30 + 416 b25 * b31 + 632 b25 * b32 + 88 b25 * b33 + 3.2e2 b25 * b34 + 96 b25 * b35 + 608 b25 * b172 + 456 b26 * b27 + 384 b26 * b28 + 136 b26 * b29 + 344 b26 * b30 + 496 b26 * b31 + 192 b26 * b32 + 3.6e2 b26 * b33 + 168 b26 * b34 + 4.8e2 b26 * b35 + 152 b26 * b172 + 96 b27 * b28 + 528 b27 * b29 + 424 b27 * b30 + 40 b27 * b31 + 648 b27 * b32 + 488 b27 * b33 + 80 b27 * b34 + 704 b27 * b35 + 432 b27 * b172 + 616 b28 * b29 + 272 b28 * b30 + 16 b28 * b31 + 656 b28 * b32 + 424 b28 * b33 + 208 b28 * b34 + 496 b28 * b35 + 376 b28 * b172 + 144 b29 * b30 + 568 b29 * b31 + 112 b29 * b32 + 776 b29 * b33 + 656 b29 * b34 + 432 b29 * b35 + 600 b29 * b172 + 72 b30 * b31 + 736 b30 * b32 + 4.4e2 b30 * b33 + 624 b30 * b34 + 696 b30 * b35 + 24 b30 * b172 + 552 b31 * b32 + 16 b31 * b33 + 256 b31 * b34 + 336 b31 * b35 + 392 b31 * b172 + 112 b32 * b33 + 3.6e2 b32 * b34 + 4.8e2 b32 * b35 + 424 b32 * b172 + 536 b33 * b34 + 16 b33 * b35 + 688 b33 * b172 + 336 b34 * b35 + 2.4e2 b34 * b172 + 208 b35 * b172 ] >= 22256 e2911: [ 80 b2 * b36 + 3.2e2 b2 * b37 + 32 b2 * b38 + 528 b2 * b39 + 592 b2 * b40 + 608 b2 * b41 + 152 b2 * b42 + 432 b2 * b43 + 376 b2 * b44 + 600 b2 * b45 + 24 b2 * b46 + 392 b2 * b47 + 424 b2 * b48 + 688 b2 * b49 + 2.4e2 b2 * b50 + 208 b2 * b51 + 232 b19 * b36 + 208 b19 * b37 + 768 b19 * b38 + 3.6e2 b19 * b39 + 88 b19 * b40 + 6.4e2 b19 * b41 + 784 b19 * b42 + 216 b19 * b43 + 1.2e2 b19 * b44 + 112 b19 * b45 + 552 b19 * b46 + 608 b19 * b47 + 112 b19 * b48 + 376 b19 * b49 + 304 b19 * b50 + 48 b19 * b51 + 4.8e2 b36 * b37 + 136 b36 * b38 + 6.8e2 b36 * b39 + 568 b36 * b40 + 776 b36 * b41 + 664 b36 * b42 + 792 b36 * b43 + 512 b36 * b44 + 776 b36 * b45 + 544 b36 * b46 + 328 b36 * b47 + 504 b36 * b48 + 536 b36 * b49 + 248 b36 * b50 + 168 b36 * b51 + 568 b37 * b38 + 704 b37 * b39 + 424 b37 * b40 + 400 b37 * b41 + 504 b37 * b42 + 736 b37 * b43 + 232 b37 * b44 + 144 b37 * b45 + 688 b37 * b46 + 456 b37 * b47 + 584 b37 * b48 + 144 b37 * b49 + 1.2e2 b37 * b50 + 472 b37 * b51 + 312 b38 * b39 + 24 b38 * b40 + 152 b38 * b41 + 64 b38 * b42 + 704 b38 * b43 + 344 b38 * b44 + 456 b38 * b45 + 184 b38 * b46 + 752 b38 * b47 + 168 b38 * b48 + 576 b38 * b49 + 112 b38 * b50 + 112 b38 * b51 + 696 b39 * b40 + 264 b39 * b41 + 368 b39 * b42 + 64 b39 * b43 + 32 b39 * b44 + 272 b39 * b45 + 496 b39 * b46 + 4.4e2 b39 * b47 + 392 b39 * b48 + 48 b39 * b49 + 288 b39 * b50 + 536 b39 * b51 + 3.6e2 b40 * b41 + 744 b40 * b42 + 744 b40 * b43 + 504 b40 * b44 + 64 b40 * b45 + 416 b40 * b46 + 432 b40 * b47 + 512 b40 * b48 + 192 b40 * b49 + 112 b40 * b50 + 32 b40 * b51 + 152 b41 * b42 + 568 b41 * b43 + 224 b41 * b44 + 104 b41 * b45 + 3.6e2 b41 * b46 + 416 b41 * b47 + 632 b41 * b48 + 88 b41 * b49 + 3.2e2 b41 * b50 + 96 b41 * b51 + 456 b42 * b43 + 384 b42 * b44 + 136 b42 * b45 + 344 b42 * b46 + 496 b42 * b47 + 192 b42 * b48 + 3.6e2 b42 * b49 + 168 b42 * b50 + 4.8e2 b42 * b51 + 96 b43 * b44 + 528 b43 * b45 + 424 b43 * b46 + 40 b43 * b47 + 648 b43 * b48 + 488 b43 * b49 + 80 b43 * b50 + 704 b43 * b51 + 616 b44 * b45 + 272 b44 * b46 + 16 b44 * b47 + 656 b44 * b48 + 424 b44 * b49 + 208 b44 * b50 + 496 b44 * b51 + 144 b45 * b46 + 568 b45 * b47 + 112 b45 * b48 + 776 b45 * b49 + 656 b45 * b50 + 432 b45 * b51 + 72 b46 * b47 + 736 b46 * b48 + 4.4e2 b46 * b49 + 624 b46 * b50 + 696 b46 * b51 + 552 b47 * b48 + 16 b47 * b49 + 256 b47 * b50 + 336 b47 * b51 + 112 b48 * b49 + 3.6e2 b48 * b50 + 4.8e2 b48 * b51 + 536 b49 * b50 + 16 b49 * b51 + 336 b50 * b51 ] >= 22256 e2912: [ 624 b3 * b36 + 3.2e2 b3 * b52 + 32 b3 * b53 + 528 b3 * b54 + 592 b3 * b55 + 608 b3 * b56 + 152 b3 * b57 + 432 b3 * b58 + 376 b3 * b59 + 600 b3 * b60 + 24 b3 * b61 + 392 b3 * b62 + 424 b3 * b63 + 688 b3 * b64 + 2.4e2 b3 * b65 + 208 b3 * b66 + 704 b20 * b36 + 208 b20 * b52 + 768 b20 * b53 + 3.6e2 b20 * b54 + 88 b20 * b55 + 6.4e2 b20 * b56 + 784 b20 * b57 + 216 b20 * b58 + 1.2e2 b20 * b59 + 112 b20 * b60 + 552 b20 * b61 + 608 b20 * b62 + 112 b20 * b63 + 376 b20 * b64 + 304 b20 * b65 + 48 b20 * b66 + 448 b36 * b52 + 256 b36 * b53 + 632 b36 * b54 + 600 b36 * b55 + 312 b36 * b56 + 208 b36 * b57 + 16 b36 * b58 + 752 b36 * b59 + 608 b36 * b60 + 4.4e2 b36 * b61 + 6.4e2 b36 * b62 + 464 b36 * b63 + 272 b36 * b64 + 1.6e2 b36 * b65 + 704 b36 * b66 + 568 b52 * b53 + 704 b52 * b54 + 424 b52 * b55 + 400 b52 * b56 + 504 b52 * b57 + 736 b52 * b58 + 232 b52 * b59 + 144 b52 * b60 + 688 b52 * b61 + 456 b52 * b62 + 584 b52 * b63 + 144 b52 * b64 + 1.2e2 b52 * b65 + 472 b52 * b66 + 312 b53 * b54 + 24 b53 * b55 + 152 b53 * b56 + 64 b53 * b57 + 704 b53 * b58 + 344 b53 * b59 + 456 b53 * b60 + 184 b53 * b61 + 752 b53 * b62 + 168 b53 * b63 + 576 b53 * b64 + 112 b53 * b65 + 112 b53 * b66 + 696 b54 * b55 + 264 b54 * b56 + 368 b54 * b57 + 64 b54 * b58 + 32 b54 * b59 + 272 b54 * b60 + 496 b54 * b61 + 4.4e2 b54 * b62 + 392 b54 * b63 + 48 b54 * b64 + 288 b54 * b65 + 536 b54 * b66 + 3.6e2 b55 * b56 + 744 b55 * b57 + 744 b55 * b58 + 504 b55 * b59 + 64 b55 * b60 + 416 b55 * b61 + 432 b55 * b62 + 512 b55 * b63 + 192 b55 * b64 + 112 b55 * b65 + 32 b55 * b66 + 152 b56 * b57 + 568 b56 * b58 + 224 b56 * b59 + 104 b56 * b60 + 3.6e2 b56 * b61 + 416 b56 * b62 + 632 b56 * b63 + 88 b56 * b64 + 3.2e2 b56 * b65 + 96 b56 * b66 + 456 b57 * b58 + 384 b57 * b59 + 136 b57 * b60 + 344 b57 * b61 + 496 b57 * b62 + 192 b57 * b63 + 3.6e2 b57 * b64 + 168 b57 * b65 + 4.8e2 b57 * b66 + 96 b58 * b59 + 528 b58 * b60 + 424 b58 * b61 + 40 b58 * b62 + 648 b58 * b63 + 488 b58 * b64 + 80 b58 * b65 + 704 b58 * b66 + 616 b59 * b60 + 272 b59 * b61 + 16 b59 * b62 + 656 b59 * b63 + 424 b59 * b64 + 208 b59 * b65 + 496 b59 * b66 + 144 b60 * b61 + 568 b60 * b62 + 112 b60 * b63 + 776 b60 * b64 + 656 b60 * b65 + 432 b60 * b66 + 72 b61 * b62 + 736 b61 * b63 + 4.4e2 b61 * b64 + 624 b61 * b65 + 696 b61 * b66 + 552 b62 * b63 + 16 b62 * b64 + 256 b62 * b65 + 336 b62 * b66 + 112 b63 * b64 + 3.6e2 b63 * b65 + 4.8e2 b63 * b66 + 536 b64 * b65 + 16 b64 * b66 + 336 b65 * b66 ] >= 22256 e2913: [ 624 b4 * b37 + 80 b4 * b52 + 32 b4 * b67 + 528 b4 * b68 + 592 b4 * b69 + 608 b4 * b70 + 152 b4 * b71 + 432 b4 * b72 + 376 b4 * b73 + 600 b4 * b74 + 24 b4 * b75 + 392 b4 * b76 + 424 b4 * b77 + 688 b4 * b78 + 2.4e2 b4 * b79 + 208 b4 * b80 + 704 b21 * b37 + 232 b21 * b52 + 768 b21 * b67 + 3.6e2 b21 * b68 + 88 b21 * b69 + 6.4e2 b21 * b70 + 784 b21 * b71 + 216 b21 * b72 + 1.2e2 b21 * b73 + 112 b21 * b74 + 552 b21 * b75 + 608 b21 * b76 + 112 b21 * b77 + 376 b21 * b78 + 304 b21 * b79 + 48 b21 * b80 + 408 b37 * b52 + 256 b37 * b67 + 632 b37 * b68 + 600 b37 * b69 + 312 b37 * b70 + 208 b37 * b71 + 16 b37 * b72 + 752 b37 * b73 + 608 b37 * b74 + 4.4e2 b37 * b75 + 6.4e2 b37 * b76 + 464 b37 * b77 + 272 b37 * b78 + 1.6e2 b37 * b79 + 704 b37 * b80 + 136 b52 * b67 + 6.8e2 b52 * b68 + 568 b52 * b69 + 776 b52 * b70 + 664 b52 * b71 + 792 b52 * b72 + 512 b52 * b73 + 776 b52 * b74 + 544 b52 * b75 + 328 b52 * b76 + 504 b52 * b77 + 536 b52 * b78 + 248 b52 * b79 + 168 b52 * b80 + 312 b67 * b68 + 24 b67 * b69 + 152 b67 * b70 + 64 b67 * b71 + 704 b67 * b72 + 344 b67 * b73 + 456 b67 * b74 + 184 b67 * b75 + 752 b67 * b76 + 168 b67 * b77 + 576 b67 * b78 + 112 b67 * b79 + 112 b67 * b80 + 696 b68 * b69 + 264 b68 * b70 + 368 b68 * b71 + 64 b68 * b72 + 32 b68 * b73 + 272 b68 * b74 + 496 b68 * b75 + 4.4e2 b68 * b76 + 392 b68 * b77 + 48 b68 * b78 + 288 b68 * b79 + 536 b68 * b80 + 3.6e2 b69 * b70 + 744 b69 * b71 + 744 b69 * b72 + 504 b69 * b73 + 64 b69 * b74 + 416 b69 * b75 + 432 b69 * b76 + 512 b69 * b77 + 192 b69 * b78 + 112 b69 * b79 + 32 b69 * b80 + 152 b70 * b71 + 568 b70 * b72 + 224 b70 * b73 + 104 b70 * b74 + 3.6e2 b70 * b75 + 416 b70 * b76 + 632 b70 * b77 + 88 b70 * b78 + 3.2e2 b70 * b79 + 96 b70 * b80 + 456 b71 * b72 + 384 b71 * b73 + 136 b71 * b74 + 344 b71 * b75 + 496 b71 * b76 + 192 b71 * b77 + 3.6e2 b71 * b78 + 168 b71 * b79 + 4.8e2 b71 * b80 + 96 b72 * b73 + 528 b72 * b74 + 424 b72 * b75 + 40 b72 * b76 + 648 b72 * b77 + 488 b72 * b78 + 80 b72 * b79 + 704 b72 * b80 + 616 b73 * b74 + 272 b73 * b75 + 16 b73 * b76 + 656 b73 * b77 + 424 b73 * b78 + 208 b73 * b79 + 496 b73 * b80 + 144 b74 * b75 + 568 b74 * b76 + 112 b74 * b77 + 776 b74 * b78 + 656 b74 * b79 + 432 b74 * b80 + 72 b75 * b76 + 736 b75 * b77 + 4.4e2 b75 * b78 + 624 b75 * b79 + 696 b75 * b80 + 552 b76 * b77 + 16 b76 * b78 + 256 b76 * b79 + 336 b76 * b80 + 112 b77 * b78 + 3.6e2 b77 * b79 + 4.8e2 b77 * b80 + 536 b78 * b79 + 16 b78 * b80 + 336 b79 * b80 ] >= 22256 e2914: [ 624 b5 * b38 + 80 b5 * b53 + 3.2e2 b5 * b67 + 528 b5 * b81 + 592 b5 * b82 + 608 b5 * b83 + 152 b5 * b84 + 432 b5 * b85 + 376 b5 * b86 + 600 b5 * b87 + 24 b5 * b88 + 392 b5 * b89 + 424 b5 * b90 + 688 b5 * b91 + 2.4e2 b5 * b92 + 208 b5 * b93 + 704 b22 * b38 + 232 b22 * b53 + 208 b22 * b67 + 3.6e2 b22 * b81 + 88 b22 * b82 + 6.4e2 b22 * b83 + 784 b22 * b84 + 216 b22 * b85 + 1.2e2 b22 * b86 + 112 b22 * b87 + 552 b22 * b88 + 608 b22 * b89 + 112 b22 * b90 + 376 b22 * b91 + 304 b22 * b92 + 48 b22 * b93 + 408 b38 * b53 + 448 b38 * b67 + 632 b38 * b81 + 600 b38 * b82 + 312 b38 * b83 + 208 b38 * b84 + 16 b38 * b85 + 752 b38 * b86 + 608 b38 * b87 + 4.4e2 b38 * b88 + 6.4e2 b38 * b89 + 464 b38 * b90 + 272 b38 * b91 + 1.6e2 b38 * b92 + 704 b38 * b93 + 4.8e2 b53 * b67 + 6.8e2 b53 * b81 + 568 b53 * b82 + 776 b53 * b83 + 664 b53 * b84 + 792 b53 * b85 + 512 b53 * b86 + 776 b53 * b87 + 544 b53 * b88 + 328 b53 * b89 + 504 b53 * b90 + 536 b53 * b91 + 248 b53 * b92 + 168 b53 * b93 + 704 b67 * b81 + 424 b67 * b82 + 400 b67 * b83 + 504 b67 * b84 + 736 b67 * b85 + 232 b67 * b86 + 144 b67 * b87 + 688 b67 * b88 + 456 b67 * b89 + 584 b67 * b90 + 144 b67 * b91 + 1.2e2 b67 * b92 + 472 b67 * b93 + 696 b81 * b82 + 264 b81 * b83 + 368 b81 * b84 + 64 b81 * b85 + 32 b81 * b86 + 272 b81 * b87 + 496 b81 * b88 + 4.4e2 b81 * b89 + 392 b81 * b90 + 48 b81 * b91 + 288 b81 * b92 + 536 b81 * b93 + 3.6e2 b82 * b83 + 744 b82 * b84 + 744 b82 * b85 + 504 b82 * b86 + 64 b82 * b87 + 416 b82 * b88 + 432 b82 * b89 + 512 b82 * b90 + 192 b82 * b91 + 112 b82 * b92 + 32 b82 * b93 + 152 b83 * b84 + 568 b83 * b85 + 224 b83 * b86 + 104 b83 * b87 + 3.6e2 b83 * b88 + 416 b83 * b89 + 632 b83 * b90 + 88 b83 * b91 + 3.2e2 b83 * b92 + 96 b83 * b93 + 456 b84 * b85 + 384 b84 * b86 + 136 b84 * b87 + 344 b84 * b88 + 496 b84 * b89 + 192 b84 * b90 + 3.6e2 b84 * b91 + 168 b84 * b92 + 4.8e2 b84 * b93 + 96 b85 * b86 + 528 b85 * b87 + 424 b85 * b88 + 40 b85 * b89 + 648 b85 * b90 + 488 b85 * b91 + 80 b85 * b92 + 704 b85 * b93 + 616 b86 * b87 + 272 b86 * b88 + 16 b86 * b89 + 656 b86 * b90 + 424 b86 * b91 + 208 b86 * b92 + 496 b86 * b93 + 144 b87 * b88 + 568 b87 * b89 + 112 b87 * b90 + 776 b87 * b91 + 656 b87 * b92 + 432 b87 * b93 + 72 b88 * b89 + 736 b88 * b90 + 4.4e2 b88 * b91 + 624 b88 * b92 + 696 b88 * b93 + 552 b89 * b90 + 16 b89 * b91 + 256 b89 * b92 + 336 b89 * b93 + 112 b90 * b91 + 3.6e2 b90 * b92 + 4.8e2 b90 * b93 + 536 b91 * b92 + 16 b91 * b93 + 336 b92 * b93 ] >= 22256 e2915: [ 624 b6 * b39 + 80 b6 * b54 + 3.2e2 b6 * b68 + 32 b6 * b81 + 592 b6 * b94 + 608 b6 * b95 + 152 b6 * b96 + 432 b6 * b97 + 376 b6 * b98 + 600 b6 * b99 + 24 b6 * b100 + 392 b6 * b101 + 424 b6 * b102 + 688 b6 * b103 + 2.4e2 b6 * b104 + 208 b6 * b105 + 704 b23 * b39 + 232 b23 * b54 + 208 b23 * b68 + 768 b23 * b81 + 88 b23 * b94 + 6.4e2 b23 * b95 + 784 b23 * b96 + 216 b23 * b97 + 1.2e2 b23 * b98 + 112 b23 * b99 + 552 b23 * b100 + 608 b23 * b101 + 112 b23 * b102 + 376 b23 * b103 + 304 b23 * b104 + 48 b23 * b105 + 408 b39 * b54 + 448 b39 * b68 + 256 b39 * b81 + 600 b39 * b94 + 312 b39 * b95 + 208 b39 * b96 + 16 b39 * b97 + 752 b39 * b98 + 608 b39 * b99 + 4.4e2 b39 * b100 + 6.4e2 b39 * b101 + 464 b39 * b102 + 272 b39 * b103 + 1.6e2 b39 * b104 + 704 b39 * b105 + 4.8e2 b54 * b68 + 136 b54 * b81 + 568 b54 * b94 + 776 b54 * b95 + 664 b54 * b96 + 792 b54 * b97 + 512 b54 * b98 + 776 b54 * b99 + 544 b54 * b100 + 328 b54 * b101 + 504 b54 * b102 + 536 b54 * b103 + 248 b54 * b104 + 168 b54 * b105 + 568 b68 * b81 + 424 b68 * b94 + 400 b68 * b95 + 504 b68 * b96 + 736 b68 * b97 + 232 b68 * b98 + 144 b68 * b99 + 688 b68 * b100 + 456 b68 * b101 + 584 b68 * b102 + 144 b68 * b103 + 1.2e2 b68 * b104 + 472 b68 * b105 + 24 b81 * b94 + 152 b81 * b95 + 64 b81 * b96 + 704 b81 * b97 + 344 b81 * b98 + 456 b81 * b99 + 184 b81 * b100 + 752 b81 * b101 + 168 b81 * b102 + 576 b81 * b103 + 112 b81 * b104 + 112 b81 * b105 + 3.6e2 b94 * b95 + 744 b94 * b96 + 744 b94 * b97 + 504 b94 * b98 + 64 b94 * b99 + 416 b94 * b100 + 432 b94 * b101 + 512 b94 * b102 + 192 b94 * b103 + 112 b94 * b104 + 32 b94 * b105 + 152 b95 * b96 + 568 b95 * b97 + 224 b95 * b98 + 104 b95 * b99 + 3.6e2 b95 * b100 + 416 b95 * b101 + 632 b95 * b102 + 88 b95 * b103 + 3.2e2 b95 * b104 + 96 b95 * b105 + 456 b96 * b97 + 384 b96 * b98 + 136 b96 * b99 + 344 b96 * b100 + 496 b96 * b101 + 192 b96 * b102 + 3.6e2 b96 * b103 + 168 b96 * b104 + 4.8e2 b96 * b105 + 96 b97 * b98 + 528 b97 * b99 + 424 b97 * b100 + 40 b97 * b101 + 648 b97 * b102 + 488 b97 * b103 + 80 b97 * b104 + 704 b97 * b105 + 616 b98 * b99 + 272 b98 * b100 + 16 b98 * b101 + 656 b98 * b102 + 424 b98 * b103 + 208 b98 * b104 + 496 b98 * b105 + 144 b99 * b100 + 568 b99 * b101 + 112 b99 * b102 + 776 b99 * b103 + 656 b99 * b104 + 432 b99 * b105 + 72 b100 * b101 + 736 b100 * b102 + 4.4e2 b100 * b103 + 624 b100 * b104 + 696 b100 * b105 + 552 b101 * b102 + 16 b101 * b103 + 256 b101 * b104 + 336 b101 * b105 + 112 b102 * b103 + 3.6e2 b102 * b104 + 4.8e2 b102 * b105 + 536 b103 * b104 + 16 b103 * b105 + 336 b104 * b105 ] >= 22256 e2916: [ 624 b7 * b40 + 80 b7 * b55 + 3.2e2 b7 * b69 + 32 b7 * b82 + 528 b7 * b94 + 608 b7 * b106 + 152 b7 * b107 + 432 b7 * b108 + 376 b7 * b109 + 600 b7 * b110 + 24 b7 * b111 + 392 b7 * b112 + 424 b7 * b113 + 688 b7 * b114 + 2.4e2 b7 * b115 + 208 b7 * b116 + 704 b24 * b40 + 232 b24 * b55 + 208 b24 * b69 + 768 b24 * b82 + 3.6e2 b24 * b94 + 6.4e2 b24 * b106 + 784 b24 * b107 + 216 b24 * b108 + 1.2e2 b24 * b109 + 112 b24 * b110 + 552 b24 * b111 + 608 b24 * b112 + 112 b24 * b113 + 376 b24 * b114 + 304 b24 * b115 + 48 b24 * b116 + 408 b40 * b55 + 448 b40 * b69 + 256 b40 * b82 + 632 b40 * b94 + 312 b40 * b106 + 208 b40 * b107 + 16 b40 * b108 + 752 b40 * b109 + 608 b40 * b110 + 4.4e2 b40 * b111 + 6.4e2 b40 * b112 + 464 b40 * b113 + 272 b40 * b114 + 1.6e2 b40 * b115 + 704 b40 * b116 + 4.8e2 b55 * b69 + 136 b55 * b82 + 6.8e2 b55 * b94 + 776 b55 * b106 + 664 b55 * b107 + 792 b55 * b108 + 512 b55 * b109 + 776 b55 * b110 + 544 b55 * b111 + 328 b55 * b112 + 504 b55 * b113 + 536 b55 * b114 + 248 b55 * b115 + 168 b55 * b116 + 568 b69 * b82 + 704 b69 * b94 + 400 b69 * b106 + 504 b69 * b107 + 736 b69 * b108 + 232 b69 * b109 + 144 b69 * b110 + 688 b69 * b111 + 456 b69 * b112 + 584 b69 * b113 + 144 b69 * b114 + 1.2e2 b69 * b115 + 472 b69 * b116 + 312 b82 * b94 + 152 b82 * b106 + 64 b82 * b107 + 704 b82 * b108 + 344 b82 * b109 + 456 b82 * b110 + 184 b82 * b111 + 752 b82 * b112 + 168 b82 * b113 + 576 b82 * b114 + 112 b82 * b115 + 112 b82 * b116 + 264 b94 * b106 + 368 b94 * b107 + 64 b94 * b108 + 32 b94 * b109 + 272 b94 * b110 + 496 b94 * b111 + 4.4e2 b94 * b112 + 392 b94 * b113 + 48 b94 * b114 + 288 b94 * b115 + 536 b94 * b116 + 152 b106 * b107 + 568 b106 * b108 + 224 b106 * b109 + 104 b106 * b110 + 3.6e2 b106 * b111 + 416 b106 * b112 + 632 b106 * b113 + 88 b106 * b114 + 3.2e2 b106 * b115 + 96 b106 * b116 + 456 b107 * b108 + 384 b107 * b109 + 136 b107 * b110 + 344 b107 * b111 + 496 b107 * b112 + 192 b107 * b113 + 3.6e2 b107 * b114 + 168 b107 * b115 + 4.8e2 b107 * b116 + 96 b108 * b109 + 528 b108 * b110 + 424 b108 * b111 + 40 b108 * b112 + 648 b108 * b113 + 488 b108 * b114 + 80 b108 * b115 + 704 b108 * b116 + 616 b109 * b110 + 272 b109 * b111 + 16 b109 * b112 + 656 b109 * b113 + 424 b109 * b114 + 208 b109 * b115 + 496 b109 * b116 + 144 b110 * b111 + 568 b110 * b112 + 112 b110 * b113 + 776 b110 * b114 + 656 b110 * b115 + 432 b110 * b116 + 72 b111 * b112 + 736 b111 * b113 + 4.4e2 b111 * b114 + 624 b111 * b115 + 696 b111 * b116 + 552 b112 * b113 + 16 b112 * b114 + 256 b112 * b115 + 336 b112 * b116 + 112 b113 * b114 + 3.6e2 b113 * b115 + 4.8e2 b113 * b116 + 536 b114 * b115 + 16 b114 * b116 + 336 b115 * b116 ] >= 22256 e2917: [ 624 b8 * b41 + 80 b8 * b56 + 3.2e2 b8 * b70 + 32 b8 * b83 + 528 b8 * b95 + 592 b8 * b106 + 152 b8 * b117 + 432 b8 * b118 + 376 b8 * b119 + 600 b8 * b120 + 24 b8 * b121 + 392 b8 * b122 + 424 b8 * b123 + 688 b8 * b124 + 2.4e2 b8 * b125 + 208 b8 * b126 + 704 b25 * b41 + 232 b25 * b56 + 208 b25 * b70 + 768 b25 * b83 + 3.6e2 b25 * b95 + 88 b25 * b106 + 784 b25 * b117 + 216 b25 * b118 + 1.2e2 b25 * b119 + 112 b25 * b120 + 552 b25 * b121 + 608 b25 * b122 + 112 b25 * b123 + 376 b25 * b124 + 304 b25 * b125 + 48 b25 * b126 + 408 b41 * b56 + 448 b41 * b70 + 256 b41 * b83 + 632 b41 * b95 + 600 b41 * b106 + 208 b41 * b117 + 16 b41 * b118 + 752 b41 * b119 + 608 b41 * b120 + 4.4e2 b41 * b121 + 6.4e2 b41 * b122 + 464 b41 * b123 + 272 b41 * b124 + 1.6e2 b41 * b125 + 704 b41 * b126 + 4.8e2 b56 * b70 + 136 b56 * b83 + 6.8e2 b56 * b95 + 568 b56 * b106 + 664 b56 * b117 + 792 b56 * b118 + 512 b56 * b119 + 776 b56 * b120 + 544 b56 * b121 + 328 b56 * b122 + 504 b56 * b123 + 536 b56 * b124 + 248 b56 * b125 + 168 b56 * b126 + 568 b70 * b83 + 704 b70 * b95 + 424 b70 * b106 + 504 b70 * b117 + 736 b70 * b118 + 232 b70 * b119 + 144 b70 * b120 + 688 b70 * b121 + 456 b70 * b122 + 584 b70 * b123 + 144 b70 * b124 + 1.2e2 b70 * b125 + 472 b70 * b126 + 312 b83 * b95 + 24 b83 * b106 + 64 b83 * b117 + 704 b83 * b118 + 344 b83 * b119 + 456 b83 * b120 + 184 b83 * b121 + 752 b83 * b122 + 168 b83 * b123 + 576 b83 * b124 + 112 b83 * b125 + 112 b83 * b126 + 696 b95 * b106 + 368 b95 * b117 + 64 b95 * b118 + 32 b95 * b119 + 272 b95 * b120 + 496 b95 * b121 + 4.4e2 b95 * b122 + 392 b95 * b123 + 48 b95 * b124 + 288 b95 * b125 + 536 b95 * b126 + 744 b106 * b117 + 744 b106 * b118 + 504 b106 * b119 + 64 b106 * b120 + 416 b106 * b121 + 432 b106 * b122 + 512 b106 * b123 + 192 b106 * b124 + 112 b106 * b125 + 32 b106 * b126 + 456 b117 * b118 + 384 b117 * b119 + 136 b117 * b120 + 344 b117 * b121 + 496 b117 * b122 + 192 b117 * b123 + 3.6e2 b117 * b124 + 168 b117 * b125 + 4.8e2 b117 * b126 + 96 b118 * b119 + 528 b118 * b120 + 424 b118 * b121 + 40 b118 * b122 + 648 b118 * b123 + 488 b118 * b124 + 80 b118 * b125 + 704 b118 * b126 + 616 b119 * b120 + 272 b119 * b121 + 16 b119 * b122 + 656 b119 * b123 + 424 b119 * b124 + 208 b119 * b125 + 496 b119 * b126 + 144 b120 * b121 + 568 b120 * b122 + 112 b120 * b123 + 776 b120 * b124 + 656 b120 * b125 + 432 b120 * b126 + 72 b121 * b122 + 736 b121 * b123 + 4.4e2 b121 * b124 + 624 b121 * b125 + 696 b121 * b126 + 552 b122 * b123 + 16 b122 * b124 + 256 b122 * b125 + 336 b122 * b126 + 112 b123 * b124 + 3.6e2 b123 * b125 + 4.8e2 b123 * b126 + 536 b124 * b125 + 16 b124 * b126 + 336 b125 * b126 ] >= 22256 e2918: [ 624 b9 * b42 + 80 b9 * b57 + 3.2e2 b9 * b71 + 32 b9 * b84 + 528 b9 * b96 + 592 b9 * b107 + 608 b9 * b117 + 432 b9 * b127 + 376 b9 * b128 + 600 b9 * b129 + 24 b9 * b130 + 392 b9 * b131 + 424 b9 * b132 + 688 b9 * b133 + 2.4e2 b9 * b134 + 208 b9 * b135 + 704 b26 * b42 + 232 b26 * b57 + 208 b26 * b71 + 768 b26 * b84 + 3.6e2 b26 * b96 + 88 b26 * b107 + 6.4e2 b26 * b117 + 216 b26 * b127 + 1.2e2 b26 * b128 + 112 b26 * b129 + 552 b26 * b130 + 608 b26 * b131 + 112 b26 * b132 + 376 b26 * b133 + 304 b26 * b134 + 48 b26 * b135 + 408 b42 * b57 + 448 b42 * b71 + 256 b42 * b84 + 632 b42 * b96 + 600 b42 * b107 + 312 b42 * b117 + 16 b42 * b127 + 752 b42 * b128 + 608 b42 * b129 + 4.4e2 b42 * b130 + 6.4e2 b42 * b131 + 464 b42 * b132 + 272 b42 * b133 + 1.6e2 b42 * b134 + 704 b42 * b135 + 4.8e2 b57 * b71 + 136 b57 * b84 + 6.8e2 b57 * b96 + 568 b57 * b107 + 776 b57 * b117 + 792 b57 * b127 + 512 b57 * b128 + 776 b57 * b129 + 544 b57 * b130 + 328 b57 * b131 + 504 b57 * b132 + 536 b57 * b133 + 248 b57 * b134 + 168 b57 * b135 + 568 b71 * b84 + 704 b71 * b96 + 424 b71 * b107 + 400 b71 * b117 + 736 b71 * b127 + 232 b71 * b128 + 144 b71 * b129 + 688 b71 * b130 + 456 b71 * b131 + 584 b71 * b132 + 144 b71 * b133 + 1.2e2 b71 * b134 + 472 b71 * b135 + 312 b84 * b96 + 24 b84 * b107 + 152 b84 * b117 + 704 b84 * b127 + 344 b84 * b128 + 456 b84 * b129 + 184 b84 * b130 + 752 b84 * b131 + 168 b84 * b132 + 576 b84 * b133 + 112 b84 * b134 + 112 b84 * b135 + 696 b96 * b107 + 264 b96 * b117 + 64 b96 * b127 + 32 b96 * b128 + 272 b96 * b129 + 496 b96 * b130 + 4.4e2 b96 * b131 + 392 b96 * b132 + 48 b96 * b133 + 288 b96 * b134 + 536 b96 * b135 + 3.6e2 b107 * b117 + 744 b107 * b127 + 504 b107 * b128 + 64 b107 * b129 + 416 b107 * b130 + 432 b107 * b131 + 512 b107 * b132 + 192 b107 * b133 + 112 b107 * b134 + 32 b107 * b135 + 568 b117 * b127 + 224 b117 * b128 + 104 b117 * b129 + 3.6e2 b117 * b130 + 416 b117 * b131 + 632 b117 * b132 + 88 b117 * b133 + 3.2e2 b117 * b134 + 96 b117 * b135 + 96 b127 * b128 + 528 b127 * b129 + 424 b127 * b130 + 40 b127 * b131 + 648 b127 * b132 + 488 b127 * b133 + 80 b127 * b134 + 704 b127 * b135 + 616 b128 * b129 + 272 b128 * b130 + 16 b128 * b131 + 656 b128 * b132 + 424 b128 * b133 + 208 b128 * b134 + 496 b128 * b135 + 144 b129 * b130 + 568 b129 * b131 + 112 b129 * b132 + 776 b129 * b133 + 656 b129 * b134 + 432 b129 * b135 + 72 b130 * b131 + 736 b130 * b132 + 4.4e2 b130 * b133 + 624 b130 * b134 + 696 b130 * b135 + 552 b131 * b132 + 16 b131 * b133 + 256 b131 * b134 + 336 b131 * b135 + 112 b132 * b133 + 3.6e2 b132 * b134 + 4.8e2 b132 * b135 + 536 b133 * b134 + 16 b133 * b135 + 336 b134 * b135 ] >= 22256 e2919: [ 624 b10 * b43 + 80 b10 * b58 + 3.2e2 b10 * b72 + 32 b10 * b85 + 528 b10 * b97 + 592 b10 * b108 + 608 b10 * b118 + 152 b10 * b127 + 376 b10 * b136 + 600 b10 * b137 + 24 b10 * b138 + 392 b10 * b139 + 424 b10 * b140 + 688 b10 * b141 + 2.4e2 b10 * b142 + 208 b10 * b143 + 704 b27 * b43 + 232 b27 * b58 + 208 b27 * b72 + 768 b27 * b85 + 3.6e2 b27 * b97 + 88 b27 * b108 + 6.4e2 b27 * b118 + 784 b27 * b127 + 1.2e2 b27 * b136 + 112 b27 * b137 + 552 b27 * b138 + 608 b27 * b139 + 112 b27 * b140 + 376 b27 * b141 + 304 b27 * b142 + 48 b27 * b143 + 408 b43 * b58 + 448 b43 * b72 + 256 b43 * b85 + 632 b43 * b97 + 600 b43 * b108 + 312 b43 * b118 + 208 b43 * b127 + 752 b43 * b136 + 608 b43 * b137 + 4.4e2 b43 * b138 + 6.4e2 b43 * b139 + 464 b43 * b140 + 272 b43 * b141 + 1.6e2 b43 * b142 + 704 b43 * b143 + 4.8e2 b58 * b72 + 136 b58 * b85 + 6.8e2 b58 * b97 + 568 b58 * b108 + 776 b58 * b118 + 664 b58 * b127 + 512 b58 * b136 + 776 b58 * b137 + 544 b58 * b138 + 328 b58 * b139 + 504 b58 * b140 + 536 b58 * b141 + 248 b58 * b142 + 168 b58 * b143 + 568 b72 * b85 + 704 b72 * b97 + 424 b72 * b108 + 400 b72 * b118 + 504 b72 * b127 + 232 b72 * b136 + 144 b72 * b137 + 688 b72 * b138 + 456 b72 * b139 + 584 b72 * b140 + 144 b72 * b141 + 1.2e2 b72 * b142 + 472 b72 * b143 + 312 b85 * b97 + 24 b85 * b108 + 152 b85 * b118 + 64 b85 * b127 + 344 b85 * b136 + 456 b85 * b137 + 184 b85 * b138 + 752 b85 * b139 + 168 b85 * b140 + 576 b85 * b141 + 112 b85 * b142 + 112 b85 * b143 + 696 b97 * b108 + 264 b97 * b118 + 368 b97 * b127 + 32 b97 * b136 + 272 b97 * b137 + 496 b97 * b138 + 4.4e2 b97 * b139 + 392 b97 * b140 + 48 b97 * b141 + 288 b97 * b142 + 536 b97 * b143 + 3.6e2 b108 * b118 + 744 b108 * b127 + 504 b108 * b136 + 64 b108 * b137 + 416 b108 * b138 + 432 b108 * b139 + 512 b108 * b140 + 192 b108 * b141 + 112 b108 * b142 + 32 b108 * b143 + 152 b118 * b127 + 224 b118 * b136 + 104 b118 * b137 + 3.6e2 b118 * b138 + 416 b118 * b139 + 632 b118 * b140 + 88 b118 * b141 + 3.2e2 b118 * b142 + 96 b118 * b143 + 384 b127 * b136 + 136 b127 * b137 + 344 b127 * b138 + 496 b127 * b139 + 192 b127 * b140 + 3.6e2 b127 * b141 + 168 b127 * b142 + 4.8e2 b127 * b143 + 616 b136 * b137 + 272 b136 * b138 + 16 b136 * b139 + 656 b136 * b140 + 424 b136 * b141 + 208 b136 * b142 + 496 b136 * b143 + 144 b137 * b138 + 568 b137 * b139 + 112 b137 * b140 + 776 b137 * b141 + 656 b137 * b142 + 432 b137 * b143 + 72 b138 * b139 + 736 b138 * b140 + 4.4e2 b138 * b141 + 624 b138 * b142 + 696 b138 * b143 + 552 b139 * b140 + 16 b139 * b141 + 256 b139 * b142 + 336 b139 * b143 + 112 b140 * b141 + 3.6e2 b140 * b142 + 4.8e2 b140 * b143 + 536 b141 * b142 + 16 b141 * b143 + 336 b142 * b143 ] >= 22256 e2920: [ 624 b11 * b44 + 80 b11 * b59 + 3.2e2 b11 * b73 + 32 b11 * b86 + 528 b11 * b98 + 592 b11 * b109 + 608 b11 * b119 + 152 b11 * b128 + 432 b11 * b136 + 600 b11 * b144 + 24 b11 * b145 + 392 b11 * b146 + 424 b11 * b147 + 688 b11 * b148 + 2.4e2 b11 * b149 + 208 b11 * b150 + 704 b28 * b44 + 232 b28 * b59 + 208 b28 * b73 + 768 b28 * b86 + 3.6e2 b28 * b98 + 88 b28 * b109 + 6.4e2 b28 * b119 + 784 b28 * b128 + 216 b28 * b136 + 112 b28 * b144 + 552 b28 * b145 + 608 b28 * b146 + 112 b28 * b147 + 376 b28 * b148 + 304 b28 * b149 + 48 b28 * b150 + 408 b44 * b59 + 448 b44 * b73 + 256 b44 * b86 + 632 b44 * b98 + 600 b44 * b109 + 312 b44 * b119 + 208 b44 * b128 + 16 b44 * b136 + 608 b44 * b144 + 4.4e2 b44 * b145 + 6.4e2 b44 * b146 + 464 b44 * b147 + 272 b44 * b148 + 1.6e2 b44 * b149 + 704 b44 * b150 + 4.8e2 b59 * b73 + 136 b59 * b86 + 6.8e2 b59 * b98 + 568 b59 * b109 + 776 b59 * b119 + 664 b59 * b128 + 792 b59 * b136 + 776 b59 * b144 + 544 b59 * b145 + 328 b59 * b146 + 504 b59 * b147 + 536 b59 * b148 + 248 b59 * b149 + 168 b59 * b150 + 568 b73 * b86 + 704 b73 * b98 + 424 b73 * b109 + 400 b73 * b119 + 504 b73 * b128 + 736 b73 * b136 + 144 b73 * b144 + 688 b73 * b145 + 456 b73 * b146 + 584 b73 * b147 + 144 b73 * b148 + 1.2e2 b73 * b149 + 472 b73 * b150 + 312 b86 * b98 + 24 b86 * b109 + 152 b86 * b119 + 64 b86 * b128 + 704 b86 * b136 + 456 b86 * b144 + 184 b86 * b145 + 752 b86 * b146 + 168 b86 * b147 + 576 b86 * b148 + 112 b86 * b149 + 112 b86 * b150 + 696 b98 * b109 + 264 b98 * b119 + 368 b98 * b128 + 64 b98 * b136 + 272 b98 * b144 + 496 b98 * b145 + 4.4e2 b98 * b146 + 392 b98 * b147 + 48 b98 * b148 + 288 b98 * b149 + 536 b98 * b150 + 3.6e2 b109 * b119 + 744 b109 * b128 + 744 b109 * b136 + 64 b109 * b144 + 416 b109 * b145 + 432 b109 * b146 + 512 b109 * b147 + 192 b109 * b148 + 112 b109 * b149 + 32 b109 * b150 + 152 b119 * b128 + 568 b119 * b136 + 104 b119 * b144 + 3.6e2 b119 * b145 + 416 b119 * b146 + 632 b119 * b147 + 88 b119 * b148 + 3.2e2 b119 * b149 + 96 b119 * b150 + 456 b128 * b136 + 136 b128 * b144 + 344 b128 * b145 + 496 b128 * b146 + 192 b128 * b147 + 3.6e2 b128 * b148 + 168 b128 * b149 + 4.8e2 b128 * b150 + 528 b136 * b144 + 424 b136 * b145 + 40 b136 * b146 + 648 b136 * b147 + 488 b136 * b148 + 80 b136 * b149 + 704 b136 * b150 + 144 b144 * b145 + 568 b144 * b146 + 112 b144 * b147 + 776 b144 * b148 + 656 b144 * b149 + 432 b144 * b150 + 72 b145 * b146 + 736 b145 * b147 + 4.4e2 b145 * b148 + 624 b145 * b149 + 696 b145 * b150 + 552 b146 * b147 + 16 b146 * b148 + 256 b146 * b149 + 336 b146 * b150 + 112 b147 * b148 + 3.6e2 b147 * b149 + 4.8e2 b147 * b150 + 536 b148 * b149 + 16 b148 * b150 + 336 b149 * b150 ] >= 22256 e2921: [ 624 b12 * b45 + 80 b12 * b60 + 3.2e2 b12 * b74 + 32 b12 * b87 + 528 b12 * b99 + 592 b12 * b110 + 608 b12 * b120 + 152 b12 * b129 + 432 b12 * b137 + 376 b12 * b144 + 24 b12 * b151 + 392 b12 * b152 + 424 b12 * b153 + 688 b12 * b154 + 2.4e2 b12 * b155 + 208 b12 * b156 + 704 b29 * b45 + 232 b29 * b60 + 208 b29 * b74 + 768 b29 * b87 + 3.6e2 b29 * b99 + 88 b29 * b110 + 6.4e2 b29 * b120 + 784 b29 * b129 + 216 b29 * b137 + 1.2e2 b29 * b144 + 552 b29 * b151 + 608 b29 * b152 + 112 b29 * b153 + 376 b29 * b154 + 304 b29 * b155 + 48 b29 * b156 + 408 b45 * b60 + 448 b45 * b74 + 256 b45 * b87 + 632 b45 * b99 + 600 b45 * b110 + 312 b45 * b120 + 208 b45 * b129 + 16 b45 * b137 + 752 b45 * b144 + 4.4e2 b45 * b151 + 6.4e2 b45 * b152 + 464 b45 * b153 + 272 b45 * b154 + 1.6e2 b45 * b155 + 704 b45 * b156 + 4.8e2 b60 * b74 + 136 b60 * b87 + 6.8e2 b60 * b99 + 568 b60 * b110 + 776 b60 * b120 + 664 b60 * b129 + 792 b60 * b137 + 512 b60 * b144 + 544 b60 * b151 + 328 b60 * b152 + 504 b60 * b153 + 536 b60 * b154 + 248 b60 * b155 + 168 b60 * b156 + 568 b74 * b87 + 704 b74 * b99 + 424 b74 * b110 + 400 b74 * b120 + 504 b74 * b129 + 736 b74 * b137 + 232 b74 * b144 + 688 b74 * b151 + 456 b74 * b152 + 584 b74 * b153 + 144 b74 * b154 + 1.2e2 b74 * b155 + 472 b74 * b156 + 312 b87 * b99 + 24 b87 * b110 + 152 b87 * b120 + 64 b87 * b129 + 704 b87 * b137 + 344 b87 * b144 + 184 b87 * b151 + 752 b87 * b152 + 168 b87 * b153 + 576 b87 * b154 + 112 b87 * b155 + 112 b87 * b156 + 696 b99 * b110 + 264 b99 * b120 + 368 b99 * b129 + 64 b99 * b137 + 32 b99 * b144 + 496 b99 * b151 + 4.4e2 b99 * b152 + 392 b99 * b153 + 48 b99 * b154 + 288 b99 * b155 + 536 b99 * b156 + 3.6e2 b110 * b120 + 744 b110 * b129 + 744 b110 * b137 + 504 b110 * b144 + 416 b110 * b151 + 432 b110 * b152 + 512 b110 * b153 + 192 b110 * b154 + 112 b110 * b155 + 32 b110 * b156 + 152 b120 * b129 + 568 b120 * b137 + 224 b120 * b144 + 3.6e2 b120 * b151 + 416 b120 * b152 + 632 b120 * b153 + 88 b120 * b154 + 3.2e2 b120 * b155 + 96 b120 * b156 + 456 b129 * b137 + 384 b129 * b144 + 344 b129 * b151 + 496 b129 * b152 + 192 b129 * b153 + 3.6e2 b129 * b154 + 168 b129 * b155 + 4.8e2 b129 * b156 + 96 b137 * b144 + 424 b137 * b151 + 40 b137 * b152 + 648 b137 * b153 + 488 b137 * b154 + 80 b137 * b155 + 704 b137 * b156 + 272 b144 * b151 + 16 b144 * b152 + 656 b144 * b153 + 424 b144 * b154 + 208 b144 * b155 + 496 b144 * b156 + 72 b151 * b152 + 736 b151 * b153 + 4.4e2 b151 * b154 + 624 b151 * b155 + 696 b151 * b156 + 552 b152 * b153 + 16 b152 * b154 + 256 b152 * b155 + 336 b152 * b156 + 112 b153 * b154 + 3.6e2 b153 * b155 + 4.8e2 b153 * b156 + 536 b154 * b155 + 16 b154 * b156 + 336 b155 * b156 ] >= 22256 e2922: [ 624 b13 * b46 + 80 b13 * b61 + 3.2e2 b13 * b75 + 32 b13 * b88 + 528 b13 * b100 + 592 b13 * b111 + 608 b13 * b121 + 152 b13 * b130 + 432 b13 * b138 + 376 b13 * b145 + 600 b13 * b151 + 392 b13 * b157 + 424 b13 * b158 + 688 b13 * b159 + 2.4e2 b13 * b160 + 208 b13 * b161 + 704 b30 * b46 + 232 b30 * b61 + 208 b30 * b75 + 768 b30 * b88 + 3.6e2 b30 * b100 + 88 b30 * b111 + 6.4e2 b30 * b121 + 784 b30 * b130 + 216 b30 * b138 + 1.2e2 b30 * b145 + 112 b30 * b151 + 608 b30 * b157 + 112 b30 * b158 + 376 b30 * b159 + 304 b30 * b160 + 48 b30 * b161 + 408 b46 * b61 + 448 b46 * b75 + 256 b46 * b88 + 632 b46 * b100 + 600 b46 * b111 + 312 b46 * b121 + 208 b46 * b130 + 16 b46 * b138 + 752 b46 * b145 + 608 b46 * b151 + 6.4e2 b46 * b157 + 464 b46 * b158 + 272 b46 * b159 + 1.6e2 b46 * b160 + 704 b46 * b161 + 4.8e2 b61 * b75 + 136 b61 * b88 + 6.8e2 b61 * b100 + 568 b61 * b111 + 776 b61 * b121 + 664 b61 * b130 + 792 b61 * b138 + 512 b61 * b145 + 776 b61 * b151 + 328 b61 * b157 + 504 b61 * b158 + 536 b61 * b159 + 248 b61 * b160 + 168 b61 * b161 + 568 b75 * b88 + 704 b75 * b100 + 424 b75 * b111 + 400 b75 * b121 + 504 b75 * b130 + 736 b75 * b138 + 232 b75 * b145 + 144 b75 * b151 + 456 b75 * b157 + 584 b75 * b158 + 144 b75 * b159 + 1.2e2 b75 * b160 + 472 b75 * b161 + 312 b88 * b100 + 24 b88 * b111 + 152 b88 * b121 + 64 b88 * b130 + 704 b88 * b138 + 344 b88 * b145 + 456 b88 * b151 + 752 b88 * b157 + 168 b88 * b158 + 576 b88 * b159 + 112 b88 * b160 + 112 b88 * b161 + 696 b100 * b111 + 264 b100 * b121 + 368 b100 * b130 + 64 b100 * b138 + 32 b100 * b145 + 272 b100 * b151 + 4.4e2 b100 * b157 + 392 b100 * b158 + 48 b100 * b159 + 288 b100 * b160 + 536 b100 * b161 + 3.6e2 b111 * b121 + 744 b111 * b130 + 744 b111 * b138 + 504 b111 * b145 + 64 b111 * b151 + 432 b111 * b157 + 512 b111 * b158 + 192 b111 * b159 + 112 b111 * b160 + 32 b111 * b161 + 152 b121 * b130 + 568 b121 * b138 + 224 b121 * b145 + 104 b121 * b151 + 416 b121 * b157 + 632 b121 * b158 + 88 b121 * b159 + 3.2e2 b121 * b160 + 96 b121 * b161 + 456 b130 * b138 + 384 b130 * b145 + 136 b130 * b151 + 496 b130 * b157 + 192 b130 * b158 + 3.6e2 b130 * b159 + 168 b130 * b160 + 4.8e2 b130 * b161 + 96 b138 * b145 + 528 b138 * b151 + 40 b138 * b157 + 648 b138 * b158 + 488 b138 * b159 + 80 b138 * b160 + 704 b138 * b161 + 616 b145 * b151 + 16 b145 * b157 + 656 b145 * b158 + 424 b145 * b159 + 208 b145 * b160 + 496 b145 * b161 + 568 b151 * b157 + 112 b151 * b158 + 776 b151 * b159 + 656 b151 * b160 + 432 b151 * b161 + 552 b157 * b158 + 16 b157 * b159 + 256 b157 * b160 + 336 b157 * b161 + 112 b158 * b159 + 3.6e2 b158 * b160 + 4.8e2 b158 * b161 + 536 b159 * b160 + 16 b159 * b161 + 336 b160 * b161 ] >= 22256 e2923: [ 624 b14 * b47 + 80 b14 * b62 + 3.2e2 b14 * b76 + 32 b14 * b89 + 528 b14 * b101 + 592 b14 * b112 + 608 b14 * b122 + 152 b14 * b131 + 432 b14 * b139 + 376 b14 * b146 + 600 b14 * b152 + 24 b14 * b157 + 424 b14 * b162 + 688 b14 * b163 + 2.4e2 b14 * b164 + 208 b14 * b165 + 704 b31 * b47 + 232 b31 * b62 + 208 b31 * b76 + 768 b31 * b89 + 3.6e2 b31 * b101 + 88 b31 * b112 + 6.4e2 b31 * b122 + 784 b31 * b131 + 216 b31 * b139 + 1.2e2 b31 * b146 + 112 b31 * b152 + 552 b31 * b157 + 112 b31 * b162 + 376 b31 * b163 + 304 b31 * b164 + 48 b31 * b165 + 408 b47 * b62 + 448 b47 * b76 + 256 b47 * b89 + 632 b47 * b101 + 600 b47 * b112 + 312 b47 * b122 + 208 b47 * b131 + 16 b47 * b139 + 752 b47 * b146 + 608 b47 * b152 + 4.4e2 b47 * b157 + 464 b47 * b162 + 272 b47 * b163 + 1.6e2 b47 * b164 + 704 b47 * b165 + 4.8e2 b62 * b76 + 136 b62 * b89 + 6.8e2 b62 * b101 + 568 b62 * b112 + 776 b62 * b122 + 664 b62 * b131 + 792 b62 * b139 + 512 b62 * b146 + 776 b62 * b152 + 544 b62 * b157 + 504 b62 * b162 + 536 b62 * b163 + 248 b62 * b164 + 168 b62 * b165 + 568 b76 * b89 + 704 b76 * b101 + 424 b76 * b112 + 400 b76 * b122 + 504 b76 * b131 + 736 b76 * b139 + 232 b76 * b146 + 144 b76 * b152 + 688 b76 * b157 + 584 b76 * b162 + 144 b76 * b163 + 1.2e2 b76 * b164 + 472 b76 * b165 + 312 b89 * b101 + 24 b89 * b112 + 152 b89 * b122 + 64 b89 * b131 + 704 b89 * b139 + 344 b89 * b146 + 456 b89 * b152 + 184 b89 * b157 + 168 b89 * b162 + 576 b89 * b163 + 112 b89 * b164 + 112 b89 * b165 + 696 b101 * b112 + 264 b101 * b122 + 368 b101 * b131 + 64 b101 * b139 + 32 b101 * b146 + 272 b101 * b152 + 496 b101 * b157 + 392 b101 * b162 + 48 b101 * b163 + 288 b101 * b164 + 536 b101 * b165 + 3.6e2 b112 * b122 + 744 b112 * b131 + 744 b112 * b139 + 504 b112 * b146 + 64 b112 * b152 + 416 b112 * b157 + 512 b112 * b162 + 192 b112 * b163 + 112 b112 * b164 + 32 b112 * b165 + 152 b122 * b131 + 568 b122 * b139 + 224 b122 * b146 + 104 b122 * b152 + 3.6e2 b122 * b157 + 632 b122 * b162 + 88 b122 * b163 + 3.2e2 b122 * b164 + 96 b122 * b165 + 456 b131 * b139 + 384 b131 * b146 + 136 b131 * b152 + 344 b131 * b157 + 192 b131 * b162 + 3.6e2 b131 * b163 + 168 b131 * b164 + 4.8e2 b131 * b165 + 96 b139 * b146 + 528 b139 * b152 + 424 b139 * b157 + 648 b139 * b162 + 488 b139 * b163 + 80 b139 * b164 + 704 b139 * b165 + 616 b146 * b152 + 272 b146 * b157 + 656 b146 * b162 + 424 b146 * b163 + 208 b146 * b164 + 496 b146 * b165 + 144 b152 * b157 + 112 b152 * b162 + 776 b152 * b163 + 656 b152 * b164 + 432 b152 * b165 + 736 b157 * b162 + 4.4e2 b157 * b163 + 624 b157 * b164 + 696 b157 * b165 + 112 b162 * b163 + 3.6e2 b162 * b164 + 4.8e2 b162 * b165 + 536 b163 * b164 + 16 b163 * b165 + 336 b164 * b165 ] >= 22256 e2924: [ 624 b15 * b48 + 80 b15 * b63 + 3.2e2 b15 * b77 + 32 b15 * b90 + 528 b15 * b102 + 592 b15 * b113 + 608 b15 * b123 + 152 b15 * b132 + 432 b15 * b140 + 376 b15 * b147 + 600 b15 * b153 + 24 b15 * b158 + 392 b15 * b162 + 688 b15 * b166 + 2.4e2 b15 * b167 + 208 b15 * b168 + 704 b32 * b48 + 232 b32 * b63 + 208 b32 * b77 + 768 b32 * b90 + 3.6e2 b32 * b102 + 88 b32 * b113 + 6.4e2 b32 * b123 + 784 b32 * b132 + 216 b32 * b140 + 1.2e2 b32 * b147 + 112 b32 * b153 + 552 b32 * b158 + 608 b32 * b162 + 376 b32 * b166 + 304 b32 * b167 + 48 b32 * b168 + 408 b48 * b63 + 448 b48 * b77 + 256 b48 * b90 + 632 b48 * b102 + 600 b48 * b113 + 312 b48 * b123 + 208 b48 * b132 + 16 b48 * b140 + 752 b48 * b147 + 608 b48 * b153 + 4.4e2 b48 * b158 + 6.4e2 b48 * b162 + 272 b48 * b166 + 1.6e2 b48 * b167 + 704 b48 * b168 + 4.8e2 b63 * b77 + 136 b63 * b90 + 6.8e2 b63 * b102 + 568 b63 * b113 + 776 b63 * b123 + 664 b63 * b132 + 792 b63 * b140 + 512 b63 * b147 + 776 b63 * b153 + 544 b63 * b158 + 328 b63 * b162 + 536 b63 * b166 + 248 b63 * b167 + 168 b63 * b168 + 568 b77 * b90 + 704 b77 * b102 + 424 b77 * b113 + 400 b77 * b123 + 504 b77 * b132 + 736 b77 * b140 + 232 b77 * b147 + 144 b77 * b153 + 688 b77 * b158 + 456 b77 * b162 + 144 b77 * b166 + 1.2e2 b77 * b167 + 472 b77 * b168 + 312 b90 * b102 + 24 b90 * b113 + 152 b90 * b123 + 64 b90 * b132 + 704 b90 * b140 + 344 b90 * b147 + 456 b90 * b153 + 184 b90 * b158 + 752 b90 * b162 + 576 b90 * b166 + 112 b90 * b167 + 112 b90 * b168 + 696 b102 * b113 + 264 b102 * b123 + 368 b102 * b132 + 64 b102 * b140 + 32 b102 * b147 + 272 b102 * b153 + 496 b102 * b158 + 4.4e2 b102 * b162 + 48 b102 * b166 + 288 b102 * b167 + 536 b102 * b168 + 3.6e2 b113 * b123 + 744 b113 * b132 + 744 b113 * b140 + 504 b113 * b147 + 64 b113 * b153 + 416 b113 * b158 + 432 b113 * b162 + 192 b113 * b166 + 112 b113 * b167 + 32 b113 * b168 + 152 b123 * b132 + 568 b123 * b140 + 224 b123 * b147 + 104 b123 * b153 + 3.6e2 b123 * b158 + 416 b123 * b162 + 88 b123 * b166 + 3.2e2 b123 * b167 + 96 b123 * b168 + 456 b132 * b140 + 384 b132 * b147 + 136 b132 * b153 + 344 b132 * b158 + 496 b132 * b162 + 3.6e2 b132 * b166 + 168 b132 * b167 + 4.8e2 b132 * b168 + 96 b140 * b147 + 528 b140 * b153 + 424 b140 * b158 + 40 b140 * b162 + 488 b140 * b166 + 80 b140 * b167 + 704 b140 * b168 + 616 b147 * b153 + 272 b147 * b158 + 16 b147 * b162 + 424 b147 * b166 + 208 b147 * b167 + 496 b147 * b168 + 144 b153 * b158 + 568 b153 * b162 + 776 b153 * b166 + 656 b153 * b167 + 432 b153 * b168 + 72 b158 * b162 + 4.4e2 b158 * b166 + 624 b158 * b167 + 696 b158 * b168 + 16 b162 * b166 + 256 b162 * b167 + 336 b162 * b168 + 536 b166 * b167 + 16 b166 * b168 + 336 b167 * b168 ] >= 22256 e2925: [ 624 b16 * b49 + 80 b16 * b64 + 3.2e2 b16 * b78 + 32 b16 * b91 + 528 b16 * b103 + 592 b16 * b114 + 608 b16 * b124 + 152 b16 * b133 + 432 b16 * b141 + 376 b16 * b148 + 600 b16 * b154 + 24 b16 * b159 + 392 b16 * b163 + 424 b16 * b166 + 2.4e2 b16 * b169 + 208 b16 * b170 + 704 b33 * b49 + 232 b33 * b64 + 208 b33 * b78 + 768 b33 * b91 + 3.6e2 b33 * b103 + 88 b33 * b114 + 6.4e2 b33 * b124 + 784 b33 * b133 + 216 b33 * b141 + 1.2e2 b33 * b148 + 112 b33 * b154 + 552 b33 * b159 + 608 b33 * b163 + 112 b33 * b166 + 304 b33 * b169 + 48 b33 * b170 + 408 b49 * b64 + 448 b49 * b78 + 256 b49 * b91 + 632 b49 * b103 + 600 b49 * b114 + 312 b49 * b124 + 208 b49 * b133 + 16 b49 * b141 + 752 b49 * b148 + 608 b49 * b154 + 4.4e2 b49 * b159 + 6.4e2 b49 * b163 + 464 b49 * b166 + 1.6e2 b49 * b169 + 704 b49 * b170 + 4.8e2 b64 * b78 + 136 b64 * b91 + 6.8e2 b64 * b103 + 568 b64 * b114 + 776 b64 * b124 + 664 b64 * b133 + 792 b64 * b141 + 512 b64 * b148 + 776 b64 * b154 + 544 b64 * b159 + 328 b64 * b163 + 504 b64 * b166 + 248 b64 * b169 + 168 b64 * b170 + 568 b78 * b91 + 704 b78 * b103 + 424 b78 * b114 + 400 b78 * b124 + 504 b78 * b133 + 736 b78 * b141 + 232 b78 * b148 + 144 b78 * b154 + 688 b78 * b159 + 456 b78 * b163 + 584 b78 * b166 + 1.2e2 b78 * b169 + 472 b78 * b170 + 312 b91 * b103 + 24 b91 * b114 + 152 b91 * b124 + 64 b91 * b133 + 704 b91 * b141 + 344 b91 * b148 + 456 b91 * b154 + 184 b91 * b159 + 752 b91 * b163 + 168 b91 * b166 + 112 b91 * b169 + 112 b91 * b170 + 696 b103 * b114 + 264 b103 * b124 + 368 b103 * b133 + 64 b103 * b141 + 32 b103 * b148 + 272 b103 * b154 + 496 b103 * b159 + 4.4e2 b103 * b163 + 392 b103 * b166 + 288 b103 * b169 + 536 b103 * b170 + 3.6e2 b114 * b124 + 744 b114 * b133 + 744 b114 * b141 + 504 b114 * b148 + 64 b114 * b154 + 416 b114 * b159 + 432 b114 * b163 + 512 b114 * b166 + 112 b114 * b169 + 32 b114 * b170 + 152 b124 * b133 + 568 b124 * b141 + 224 b124 * b148 + 104 b124 * b154 + 3.6e2 b124 * b159 + 416 b124 * b163 + 632 b124 * b166 + 3.2e2 b124 * b169 + 96 b124 * b170 + 456 b133 * b141 + 384 b133 * b148 + 136 b133 * b154 + 344 b133 * b159 + 496 b133 * b163 + 192 b133 * b166 + 168 b133 * b169 + 4.8e2 b133 * b170 + 96 b141 * b148 + 528 b141 * b154 + 424 b141 * b159 + 40 b141 * b163 + 648 b141 * b166 + 80 b141 * b169 + 704 b141 * b170 + 616 b148 * b154 + 272 b148 * b159 + 16 b148 * b163 + 656 b148 * b166 + 208 b148 * b169 + 496 b148 * b170 + 144 b154 * b159 + 568 b154 * b163 + 112 b154 * b166 + 656 b154 * b169 + 432 b154 * b170 + 72 b159 * b163 + 736 b159 * b166 + 624 b159 * b169 + 696 b159 * b170 + 552 b163 * b166 + 256 b163 * b169 + 336 b163 * b170 + 3.6e2 b166 * b169 + 4.8e2 b166 * b170 + 336 b169 * b170 ] >= 22256 e2926: [ 624 b17 * b50 + 80 b17 * b65 + 3.2e2 b17 * b79 + 32 b17 * b92 + 528 b17 * b104 + 592 b17 * b115 + 608 b17 * b125 + 152 b17 * b134 + 432 b17 * b142 + 376 b17 * b149 + 600 b17 * b155 + 24 b17 * b160 + 392 b17 * b164 + 424 b17 * b167 + 688 b17 * b169 + 208 b17 * b171 + 704 b34 * b50 + 232 b34 * b65 + 208 b34 * b79 + 768 b34 * b92 + 3.6e2 b34 * b104 + 88 b34 * b115 + 6.4e2 b34 * b125 + 784 b34 * b134 + 216 b34 * b142 + 1.2e2 b34 * b149 + 112 b34 * b155 + 552 b34 * b160 + 608 b34 * b164 + 112 b34 * b167 + 376 b34 * b169 + 48 b34 * b171 + 408 b50 * b65 + 448 b50 * b79 + 256 b50 * b92 + 632 b50 * b104 + 600 b50 * b115 + 312 b50 * b125 + 208 b50 * b134 + 16 b50 * b142 + 752 b50 * b149 + 608 b50 * b155 + 4.4e2 b50 * b160 + 6.4e2 b50 * b164 + 464 b50 * b167 + 272 b50 * b169 + 704 b50 * b171 + 4.8e2 b65 * b79 + 136 b65 * b92 + 6.8e2 b65 * b104 + 568 b65 * b115 + 776 b65 * b125 + 664 b65 * b134 + 792 b65 * b142 + 512 b65 * b149 + 776 b65 * b155 + 544 b65 * b160 + 328 b65 * b164 + 504 b65 * b167 + 536 b65 * b169 + 168 b65 * b171 + 568 b79 * b92 + 704 b79 * b104 + 424 b79 * b115 + 400 b79 * b125 + 504 b79 * b134 + 736 b79 * b142 + 232 b79 * b149 + 144 b79 * b155 + 688 b79 * b160 + 456 b79 * b164 + 584 b79 * b167 + 144 b79 * b169 + 472 b79 * b171 + 312 b92 * b104 + 24 b92 * b115 + 152 b92 * b125 + 64 b92 * b134 + 704 b92 * b142 + 344 b92 * b149 + 456 b92 * b155 + 184 b92 * b160 + 752 b92 * b164 + 168 b92 * b167 + 576 b92 * b169 + 112 b92 * b171 + 696 b104 * b115 + 264 b104 * b125 + 368 b104 * b134 + 64 b104 * b142 + 32 b104 * b149 + 272 b104 * b155 + 496 b104 * b160 + 4.4e2 b104 * b164 + 392 b104 * b167 + 48 b104 * b169 + 536 b104 * b171 + 3.6e2 b115 * b125 + 744 b115 * b134 + 744 b115 * b142 + 504 b115 * b149 + 64 b115 * b155 + 416 b115 * b160 + 432 b115 * b164 + 512 b115 * b167 + 192 b115 * b169 + 32 b115 * b171 + 152 b125 * b134 + 568 b125 * b142 + 224 b125 * b149 + 104 b125 * b155 + 3.6e2 b125 * b160 + 416 b125 * b164 + 632 b125 * b167 + 88 b125 * b169 + 96 b125 * b171 + 456 b134 * b142 + 384 b134 * b149 + 136 b134 * b155 + 344 b134 * b160 + 496 b134 * b164 + 192 b134 * b167 + 3.6e2 b134 * b169 + 4.8e2 b134 * b171 + 96 b142 * b149 + 528 b142 * b155 + 424 b142 * b160 + 40 b142 * b164 + 648 b142 * b167 + 488 b142 * b169 + 704 b142 * b171 + 616 b149 * b155 + 272 b149 * b160 + 16 b149 * b164 + 656 b149 * b167 + 424 b149 * b169 + 496 b149 * b171 + 144 b155 * b160 + 568 b155 * b164 + 112 b155 * b167 + 776 b155 * b169 + 432 b155 * b171 + 72 b160 * b164 + 736 b160 * b167 + 4.4e2 b160 * b169 + 696 b160 * b171 + 552 b164 * b167 + 16 b164 * b169 + 336 b164 * b171 + 112 b167 * b169 + 4.8e2 b167 * b171 + 16 b169 * b171 ] >= 22256 e2927: [ 624 b18 * b51 + 80 b18 * b66 + 3.2e2 b18 * b80 + 32 b18 * b93 + 528 b18 * b105 + 592 b18 * b116 + 608 b18 * b126 + 152 b18 * b135 + 432 b18 * b143 + 376 b18 * b150 + 600 b18 * b156 + 24 b18 * b161 + 392 b18 * b165 + 424 b18 * b168 + 688 b18 * b170 + 2.4e2 b18 * b171 + 704 b35 * b51 + 232 b35 * b66 + 208 b35 * b80 + 768 b35 * b93 + 3.6e2 b35 * b105 + 88 b35 * b116 + 6.4e2 b35 * b126 + 784 b35 * b135 + 216 b35 * b143 + 1.2e2 b35 * b150 + 112 b35 * b156 + 552 b35 * b161 + 608 b35 * b165 + 112 b35 * b168 + 376 b35 * b170 + 304 b35 * b171 + 408 b51 * b66 + 448 b51 * b80 + 256 b51 * b93 + 632 b51 * b105 + 600 b51 * b116 + 312 b51 * b126 + 208 b51 * b135 + 16 b51 * b143 + 752 b51 * b150 + 608 b51 * b156 + 4.4e2 b51 * b161 + 6.4e2 b51 * b165 + 464 b51 * b168 + 272 b51 * b170 + 1.6e2 b51 * b171 + 4.8e2 b66 * b80 + 136 b66 * b93 + 6.8e2 b66 * b105 + 568 b66 * b116 + 776 b66 * b126 + 664 b66 * b135 + 792 b66 * b143 + 512 b66 * b150 + 776 b66 * b156 + 544 b66 * b161 + 328 b66 * b165 + 504 b66 * b168 + 536 b66 * b170 + 248 b66 * b171 + 568 b80 * b93 + 704 b80 * b105 + 424 b80 * b116 + 400 b80 * b126 + 504 b80 * b135 + 736 b80 * b143 + 232 b80 * b150 + 144 b80 * b156 + 688 b80 * b161 + 456 b80 * b165 + 584 b80 * b168 + 144 b80 * b170 + 1.2e2 b80 * b171 + 312 b93 * b105 + 24 b93 * b116 + 152 b93 * b126 + 64 b93 * b135 + 704 b93 * b143 + 344 b93 * b150 + 456 b93 * b156 + 184 b93 * b161 + 752 b93 * b165 + 168 b93 * b168 + 576 b93 * b170 + 112 b93 * b171 + 696 b105 * b116 + 264 b105 * b126 + 368 b105 * b135 + 64 b105 * b143 + 32 b105 * b150 + 272 b105 * b156 + 496 b105 * b161 + 4.4e2 b105 * b165 + 392 b105 * b168 + 48 b105 * b170 + 288 b105 * b171 + 3.6e2 b116 * b126 + 744 b116 * b135 + 744 b116 * b143 + 504 b116 * b150 + 64 b116 * b156 + 416 b116 * b161 + 432 b116 * b165 + 512 b116 * b168 + 192 b116 * b170 + 112 b116 * b171 + 152 b126 * b135 + 568 b126 * b143 + 224 b126 * b150 + 104 b126 * b156 + 3.6e2 b126 * b161 + 416 b126 * b165 + 632 b126 * b168 + 88 b126 * b170 + 3.2e2 b126 * b171 + 456 b135 * b143 + 384 b135 * b150 + 136 b135 * b156 + 344 b135 * b161 + 496 b135 * b165 + 192 b135 * b168 + 3.6e2 b135 * b170 + 168 b135 * b171 + 96 b143 * b150 + 528 b143 * b156 + 424 b143 * b161 + 40 b143 * b165 + 648 b143 * b168 + 488 b143 * b170 + 80 b143 * b171 + 616 b150 * b156 + 272 b150 * b161 + 16 b150 * b165 + 656 b150 * b168 + 424 b150 * b170 + 208 b150 * b171 + 144 b156 * b161 + 568 b156 * b165 + 112 b156 * b168 + 776 b156 * b170 + 656 b156 * b171 + 72 b161 * b165 + 736 b161 * b168 + 4.4e2 b161 * b170 + 624 b161 * b171 + 552 b165 * b168 + 16 b165 * b170 + 256 b165 * b171 + 112 b168 * b170 + 3.6e2 b168 * b171 + 536 b170 * b171 ] >= 22256 Binary 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 End