\ Equation counts \ Total E G L N X C B \ 2466 0 18 2448 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 153 0 153 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 7802 7496 306 0 \ Minimize obj: 9.4e2 b2 + 4.03e4 b3 + 7.75e3 b4 + 5.655e4 b5 + 1.679e4 b6 + 2.9e4 b7 + 5.452e4 b8 + 2.679e4 b9 + 6.104e4 b10 + 1.365e4 b11 + 1.5895e5 b12 + 7.719e4 b13 + 4.611e4 b14 + 1.0048e5 b15 + 6.125e4 b16 + 7.744e4 b17 + 9.523e4 b18 + 1.521e4 b19 + 6.318e4 b20 + 9.3e3 b21 + 400 b22 + 5.8e3 b23 + 3.762e4 b24 + 7.326e4 b25 + 1.444e4 b26 + 5.7e2 b27 + 1.053e5 b28 + 4.841e4 b29 + 6.825e4 b30 + 2.49e3 b31 + 7.399e4 b32 + 2.385e4 b33 + 9.202e4 b34 + 1.47e4 b35 + 4.498e4 b36 + 6.072e4 b37 + 4.785e4 b38 + 7.54e3 b39 + 7.776e4 b40 + 7.155e4 b41 + 1.65e3 b42 + 1.4e5 b43 + 1.4602e5 b44 + 2.079e4 b45 + 7.95e3 b46 + 9.66e3 b47 + 1.2627e5 b48 + 1.596e4 b49 + 3.78e3 b50 + 2.961e4 b51 + 4.294e4 b52 + 7.86e3 b53 + 5.661e4 b54 + 9.576e4 b55 + 4.256e4 b56 + 1.0191e5 b57 + 5.775e4 b58 + 1.287e4 b59 + 8.58e3 b60 + 3.38e3 b61 + 1.0716e5 b62 + 6.612e4 b63 + 6.38e4 b64 + 1.68e4 b65 + 7.83e4 b66 + 3.026e4 b67 + 3.9e4 b68 + 2.64e3 b69 + 7.14e4 b70 + 1.275e4 b71 + 5.525e4 b72 + 9.443e4 b73 + 1.4841e5 b74 + 1.079e4 b75 + 1.1187e5 b76 + 6.976e4 b77 + 1.8139e5 b78 + 6.46e4 b79 + 5.289e4 b80 + 7.308e4 b81 + 4.221e4 b82 + 4.557e4 b83 + 9.87e3 b84 + 1.2283e5 b85 + 1.848e4 b86 + 4.505e4 b87 + 3.5e3 b88 + 6.111e4 b89 + 1.0672e5 b90 + 4.147e4 b91 + 3.042e4 b92 + 2.666e4 b93 + 1.653e4 b94 + 6.351e4 b95 + 2.79e4 b96 + 1.005e4 b97 + 4.661e4 b98 + 5.811e4 b99 + 5.19e3 b100 + 3.743e4 b101 + 1.032e4 b102 + 3.256e4 b103 + 1.505e4 b104 + 4.617e4 b105 + 3.519e4 b106 + 1.3818e5 b107 + 4.011e4 b108 + 1.0008e5 b109 + 2.058e4 b110 + 3.22e3 b111 + 4.785e4 b112 + 2.97e3 b113 + 3.358e4 b114 + 5.6e2 b115 + 3.4e3 b116 + 3.162e4 b117 + 5.642e4 b118 + 5.005e4 b119 + 4.655e4 b120 + 4.2e2 b121 + 1.188e4 b122 + 4.221e4 b123 + 1.665e4 b124 + 1.5345e5 b125 + 4.929e4 b126 + 5.985e4 b127 + 1.08e4 b128 + 6.916e4 b129 + 2.43e4 b130 + 7.04e3 b131 + 7.92e3 b132 + 2.422e4 b133 + 6.04e3 b134 + 3.249e4 b135 + 1.1147e5 b136 + 2.94e4 b137 + 2.99e3 b138 + 2.295e4 b139 + 2.236e4 b140 + 1.3351e5 b141 + 8.25e3 b142 + 1.2e3 b143 + 9.72e3 b144 + 8.379e4 b145 + 5.424e4 b146 + 2.805e4 b147 + 6.235e4 b148 + 1.86e3 b149 + 3.864e4 b150 + 1.755e4 b151 + 2.373e4 b152 + 5.82e4 b153 + 0 b154 Subject To e2: - b2 + b3 - b19 <= 0 e3: - b2 + b4 - b154 <= 0 e4: - b2 + b5 - b20 <= 0 e5: - b2 + b6 - b21 <= 0 e6: - b2 + b7 - b22 <= 0 e7: - b2 + b8 - b23 <= 0 e8: - b2 + b9 - b24 <= 0 e9: - b2 + b10 - b25 <= 0 e10: - b2 + b11 - b26 <= 0 e11: - b2 + b12 - b27 <= 0 e12: - b2 + b13 - b28 <= 0 e13: - b2 + b14 - b29 <= 0 e14: - b2 + b15 - b30 <= 0 e15: - b2 + b16 - b31 <= 0 e16: - b2 + b17 - b32 <= 0 e17: - b2 + b18 - b33 <= 0 e18: - b3 + b4 - b34 <= 0 e19: - b3 + b5 - b35 <= 0 e20: - b3 + b6 - b36 <= 0 e21: - b3 + b7 - b37 <= 0 e22: - b3 + b8 - b38 <= 0 e23: - b3 + b9 - b39 <= 0 e24: - b3 + b10 - b40 <= 0 e25: - b3 + b11 - b41 <= 0 e26: - b3 + b12 - b42 <= 0 e27: - b3 + b13 - b43 <= 0 e28: - b3 + b14 - b44 <= 0 e29: - b3 + b15 - b45 <= 0 e30: - b3 + b16 - b46 <= 0 e31: - b3 + b17 - b47 <= 0 e32: - b3 + b18 - b48 <= 0 e33: - b4 + b5 - b49 <= 0 e34: - b4 + b6 - b50 <= 0 e35: - b4 + b7 - b51 <= 0 e36: - b4 + b8 - b52 <= 0 e37: - b4 + b9 - b53 <= 0 e38: - b4 + b10 - b54 <= 0 e39: - b4 + b11 - b55 <= 0 e40: - b4 + b12 - b56 <= 0 e41: - b4 + b13 - b57 <= 0 e42: - b4 + b14 - b58 <= 0 e43: - b4 + b15 - b59 <= 0 e44: - b4 + b16 - b60 <= 0 e45: - b4 + b17 - b61 <= 0 e46: - b4 + b18 - b62 <= 0 e47: - b5 + b6 - b63 <= 0 e48: - b5 + b7 - b64 <= 0 e49: - b5 + b8 - b65 <= 0 e50: - b5 + b9 - b66 <= 0 e51: - b5 + b10 - b67 <= 0 e52: - b5 + b11 - b68 <= 0 e53: - b5 + b12 - b69 <= 0 e54: - b5 + b13 - b70 <= 0 e55: - b5 + b14 - b71 <= 0 e56: - b5 + b15 - b72 <= 0 e57: - b5 + b16 - b73 <= 0 e58: - b5 + b17 - b74 <= 0 e59: - b5 + b18 - b75 <= 0 e60: - b6 + b7 - b76 <= 0 e61: - b6 + b8 - b77 <= 0 e62: - b6 + b9 - b78 <= 0 e63: - b6 + b10 - b79 <= 0 e64: - b6 + b11 - b80 <= 0 e65: - b6 + b12 - b81 <= 0 e66: - b6 + b13 - b82 <= 0 e67: - b6 + b14 - b83 <= 0 e68: - b6 + b15 - b84 <= 0 e69: - b6 + b16 - b85 <= 0 e70: - b6 + b17 - b86 <= 0 e71: - b6 + b18 - b87 <= 0 e72: - b7 + b8 - b88 <= 0 e73: - b7 + b9 - b89 <= 0 e74: - b7 + b10 - b90 <= 0 e75: - b7 + b11 - b91 <= 0 e76: - b7 + b12 - b92 <= 0 e77: - b7 + b13 - b93 <= 0 e78: - b7 + b14 - b94 <= 0 e79: - b7 + b15 - b95 <= 0 e80: - b7 + b16 - b96 <= 0 e81: - b7 + b17 - b97 <= 0 e82: - b7 + b18 - b98 <= 0 e83: - b8 + b9 - b99 <= 0 e84: - b8 + b10 - b100 <= 0 e85: - b8 + b11 - b101 <= 0 e86: - b8 + b12 - b102 <= 0 e87: - b8 + b13 - b103 <= 0 e88: - b8 + b14 - b104 <= 0 e89: - b8 + b15 - b105 <= 0 e90: - b8 + b16 - b106 <= 0 e91: - b8 + b17 - b107 <= 0 e92: - b8 + b18 - b108 <= 0 e93: - b9 + b10 - b109 <= 0 e94: - b9 + b11 - b110 <= 0 e95: - b9 + b12 - b111 <= 0 e96: - b9 + b13 - b112 <= 0 e97: - b9 + b14 - b113 <= 0 e98: - b9 + b15 - b114 <= 0 e99: - b9 + b16 - b115 <= 0 e100: - b9 + b17 - b116 <= 0 e101: - b9 + b18 - b117 <= 0 e102: - b10 + b11 - b118 <= 0 e103: - b10 + b12 - b119 <= 0 e104: - b10 + b13 - b120 <= 0 e105: - b10 + b14 - b121 <= 0 e106: - b10 + b15 - b122 <= 0 e107: - b10 + b16 - b123 <= 0 e108: - b10 + b17 - b124 <= 0 e109: - b10 + b18 - b125 <= 0 e110: - b11 + b12 - b126 <= 0 e111: - b11 + b13 - b127 <= 0 e112: - b11 + b14 - b128 <= 0 e113: - b11 + b15 - b129 <= 0 e114: - b11 + b16 - b130 <= 0 e115: - b11 + b17 - b131 <= 0 e116: - b11 + b18 - b132 <= 0 e117: - b12 + b13 - b133 <= 0 e118: - b12 + b14 - b134 <= 0 e119: - b12 + b15 - b135 <= 0 e120: - b12 + b16 - b136 <= 0 e121: - b12 + b17 - b137 <= 0 e122: - b12 + b18 - b138 <= 0 e123: - b13 + b14 - b139 <= 0 e124: - b13 + b15 - b140 <= 0 e125: - b13 + b16 - b141 <= 0 e126: - b13 + b17 - b142 <= 0 e127: - b13 + b18 - b143 <= 0 e128: - b14 + b15 - b144 <= 0 e129: - b14 + b16 - b145 <= 0 e130: - b14 + b17 - b146 <= 0 e131: - b14 + b18 - b147 <= 0 e132: - b15 + b16 - b148 <= 0 e133: - b15 + b17 - b149 <= 0 e134: - b15 + b18 - b150 <= 0 e135: - b16 + b17 - b151 <= 0 e136: - b16 + b18 - b152 <= 0 e137: - b17 + b18 - b153 <= 0 e138: - b19 - b34 + b154 <= 0 e139: - b19 + b20 - b35 <= 0 e140: - b19 + b21 - b36 <= 0 e141: - b19 + b22 - b37 <= 0 e142: - b19 + b23 - b38 <= 0 e143: - b19 + b24 - b39 <= 0 e144: - b19 + b25 - b40 <= 0 e145: - b19 + b26 - b41 <= 0 e146: - b19 + b27 - b42 <= 0 e147: - b19 + b28 - b43 <= 0 e148: - b19 + b29 - b44 <= 0 e149: - b19 + b30 - b45 <= 0 e150: - b19 + b31 - b46 <= 0 e151: - b19 + b32 - b47 <= 0 e152: - b19 + b33 - b48 <= 0 e153: b20 - b49 - b154 <= 0 e154: b21 - b50 - b154 <= 0 e155: b22 - b51 - b154 <= 0 e156: b23 - b52 - b154 <= 0 e157: b24 - b53 - b154 <= 0 e158: b25 - b54 - b154 <= 0 e159: b26 - b55 - b154 <= 0 e160: b27 - b56 - b154 <= 0 e161: b28 - b57 - b154 <= 0 e162: b29 - b58 - b154 <= 0 e163: b30 - b59 - b154 <= 0 e164: b31 - b60 - b154 <= 0 e165: b32 - b61 - b154 <= 0 e166: b33 - b62 - b154 <= 0 e167: - b20 + b21 - b63 <= 0 e168: - b20 + b22 - b64 <= 0 e169: - b20 + b23 - b65 <= 0 e170: - b20 + b24 - b66 <= 0 e171: - b20 + b25 - b67 <= 0 e172: - b20 + b26 - b68 <= 0 e173: - b20 + b27 - b69 <= 0 e174: - b20 + b28 - b70 <= 0 e175: - b20 + b29 - b71 <= 0 e176: - b20 + b30 - b72 <= 0 e177: - b20 + b31 - b73 <= 0 e178: - b20 + b32 - b74 <= 0 e179: - b20 + b33 - b75 <= 0 e180: - b21 + b22 - b76 <= 0 e181: - b21 + b23 - b77 <= 0 e182: - b21 + b24 - b78 <= 0 e183: - b21 + b25 - b79 <= 0 e184: - b21 + b26 - b80 <= 0 e185: - b21 + b27 - b81 <= 0 e186: - b21 + b28 - b82 <= 0 e187: - b21 + b29 - b83 <= 0 e188: - b21 + b30 - b84 <= 0 e189: - b21 + b31 - b85 <= 0 e190: - b21 + b32 - b86 <= 0 e191: - b21 + b33 - b87 <= 0 e192: - b22 + b23 - b88 <= 0 e193: - b22 + b24 - b89 <= 0 e194: - b22 + b25 - b90 <= 0 e195: - b22 + b26 - b91 <= 0 e196: - b22 + b27 - b92 <= 0 e197: - b22 + b28 - b93 <= 0 e198: - b22 + b29 - b94 <= 0 e199: - b22 + b30 - b95 <= 0 e200: - b22 + b31 - b96 <= 0 e201: - b22 + b32 - b97 <= 0 e202: - b22 + b33 - b98 <= 0 e203: - b23 + b24 - b99 <= 0 e204: - b23 + b25 - b100 <= 0 e205: - b23 + b26 - b101 <= 0 e206: - b23 + b27 - b102 <= 0 e207: - b23 + b28 - b103 <= 0 e208: - b23 + b29 - b104 <= 0 e209: - b23 + b30 - b105 <= 0 e210: - b23 + b31 - b106 <= 0 e211: - b23 + b32 - b107 <= 0 e212: - b23 + b33 - b108 <= 0 e213: - b24 + b25 - b109 <= 0 e214: - b24 + b26 - b110 <= 0 e215: - b24 + b27 - b111 <= 0 e216: - b24 + b28 - b112 <= 0 e217: - b24 + b29 - b113 <= 0 e218: - b24 + b30 - b114 <= 0 e219: - b24 + b31 - b115 <= 0 e220: - b24 + b32 - b116 <= 0 e221: - b24 + b33 - b117 <= 0 e222: - b25 + b26 - b118 <= 0 e223: - b25 + b27 - b119 <= 0 e224: - b25 + b28 - b120 <= 0 e225: - b25 + b29 - b121 <= 0 e226: - b25 + b30 - b122 <= 0 e227: - b25 + b31 - b123 <= 0 e228: - b25 + b32 - b124 <= 0 e229: - b25 + b33 - b125 <= 0 e230: - b26 + b27 - b126 <= 0 e231: - b26 + b28 - b127 <= 0 e232: - b26 + b29 - b128 <= 0 e233: - b26 + b30 - b129 <= 0 e234: - b26 + b31 - b130 <= 0 e235: - b26 + b32 - b131 <= 0 e236: - b26 + b33 - b132 <= 0 e237: - b27 + b28 - b133 <= 0 e238: - b27 + b29 - b134 <= 0 e239: - b27 + b30 - b135 <= 0 e240: - b27 + b31 - b136 <= 0 e241: - b27 + b32 - b137 <= 0 e242: - b27 + b33 - b138 <= 0 e243: - b28 + b29 - b139 <= 0 e244: - b28 + b30 - b140 <= 0 e245: - b28 + b31 - b141 <= 0 e246: - b28 + b32 - b142 <= 0 e247: - b28 + b33 - b143 <= 0 e248: - b29 + b30 - b144 <= 0 e249: - b29 + b31 - b145 <= 0 e250: - b29 + b32 - b146 <= 0 e251: - b29 + b33 - b147 <= 0 e252: - b30 + b31 - b148 <= 0 e253: - b30 + b32 - b149 <= 0 e254: - b30 + b33 - b150 <= 0 e255: - b31 + b32 - b151 <= 0 e256: - b31 + b33 - b152 <= 0 e257: - b32 + b33 - b153 <= 0 e258: - b34 + b35 - b49 <= 0 e259: - b34 + b36 - b50 <= 0 e260: - b34 + b37 - b51 <= 0 e261: - b34 + b38 - b52 <= 0 e262: - b34 + b39 - b53 <= 0 e263: - b34 + b40 - b54 <= 0 e264: - b34 + b41 - b55 <= 0 e265: - b34 + b42 - b56 <= 0 e266: - b34 + b43 - b57 <= 0 e267: - b34 + b44 - b58 <= 0 e268: - b34 + b45 - b59 <= 0 e269: - b34 + b46 - b60 <= 0 e270: - b34 + b47 - b61 <= 0 e271: - b34 + b48 - b62 <= 0 e272: - b35 + b36 - b63 <= 0 e273: - b35 + b37 - b64 <= 0 e274: - b35 + b38 - b65 <= 0 e275: - b35 + b39 - b66 <= 0 e276: - b35 + b40 - b67 <= 0 e277: - b35 + b41 - b68 <= 0 e278: - b35 + b42 - b69 <= 0 e279: - b35 + b43 - b70 <= 0 e280: - b35 + b44 - b71 <= 0 e281: - b35 + b45 - b72 <= 0 e282: - b35 + b46 - b73 <= 0 e283: - b35 + b47 - b74 <= 0 e284: - b35 + b48 - b75 <= 0 e285: - b36 + b37 - b76 <= 0 e286: - b36 + b38 - b77 <= 0 e287: - b36 + b39 - b78 <= 0 e288: - b36 + b40 - b79 <= 0 e289: - b36 + b41 - b80 <= 0 e290: - b36 + b42 - b81 <= 0 e291: - b36 + b43 - b82 <= 0 e292: - b36 + b44 - b83 <= 0 e293: - b36 + b45 - b84 <= 0 e294: - b36 + b46 - b85 <= 0 e295: - b36 + b47 - b86 <= 0 e296: - b36 + b48 - b87 <= 0 e297: - b37 + b38 - b88 <= 0 e298: - b37 + b39 - b89 <= 0 e299: - b37 + b40 - b90 <= 0 e300: - b37 + b41 - b91 <= 0 e301: - b37 + b42 - b92 <= 0 e302: - b37 + b43 - b93 <= 0 e303: - b37 + b44 - b94 <= 0 e304: - b37 + b45 - b95 <= 0 e305: - b37 + b46 - b96 <= 0 e306: - b37 + b47 - b97 <= 0 e307: - b37 + b48 - b98 <= 0 e308: - b38 + b39 - b99 <= 0 e309: - b38 + b40 - b100 <= 0 e310: - b38 + b41 - b101 <= 0 e311: - b38 + b42 - b102 <= 0 e312: - b38 + b43 - b103 <= 0 e313: - b38 + b44 - b104 <= 0 e314: - b38 + b45 - b105 <= 0 e315: - b38 + b46 - b106 <= 0 e316: - b38 + b47 - b107 <= 0 e317: - b38 + b48 - b108 <= 0 e318: - b39 + b40 - b109 <= 0 e319: - b39 + b41 - b110 <= 0 e320: - b39 + b42 - b111 <= 0 e321: - b39 + b43 - b112 <= 0 e322: - b39 + b44 - b113 <= 0 e323: - b39 + b45 - b114 <= 0 e324: - b39 + b46 - b115 <= 0 e325: - b39 + b47 - b116 <= 0 e326: - b39 + b48 - b117 <= 0 e327: - b40 + b41 - b118 <= 0 e328: - b40 + b42 - b119 <= 0 e329: - b40 + b43 - b120 <= 0 e330: - b40 + b44 - b121 <= 0 e331: - b40 + b45 - b122 <= 0 e332: - b40 + b46 - b123 <= 0 e333: - b40 + b47 - b124 <= 0 e334: - b40 + b48 - b125 <= 0 e335: - b41 + b42 - b126 <= 0 e336: - b41 + b43 - b127 <= 0 e337: - b41 + b44 - b128 <= 0 e338: - b41 + b45 - b129 <= 0 e339: - b41 + b46 - b130 <= 0 e340: - b41 + b47 - b131 <= 0 e341: - b41 + b48 - b132 <= 0 e342: - b42 + b43 - b133 <= 0 e343: - b42 + b44 - b134 <= 0 e344: - b42 + b45 - b135 <= 0 e345: - b42 + b46 - b136 <= 0 e346: - b42 + b47 - b137 <= 0 e347: - b42 + b48 - b138 <= 0 e348: - b43 + b44 - b139 <= 0 e349: - b43 + b45 - b140 <= 0 e350: - b43 + b46 - b141 <= 0 e351: - b43 + b47 - b142 <= 0 e352: - b43 + b48 - b143 <= 0 e353: - b44 + b45 - b144 <= 0 e354: - b44 + b46 - b145 <= 0 e355: - b44 + b47 - b146 <= 0 e356: - b44 + b48 - b147 <= 0 e357: - b45 + b46 - b148 <= 0 e358: - b45 + b47 - b149 <= 0 e359: - b45 + b48 - b150 <= 0 e360: - b46 + b47 - b151 <= 0 e361: - b46 + b48 - b152 <= 0 e362: - b47 + b48 - b153 <= 0 e363: - b49 + b50 - b63 <= 0 e364: - b49 + b51 - b64 <= 0 e365: - b49 + b52 - b65 <= 0 e366: - b49 + b53 - b66 <= 0 e367: - b49 + b54 - b67 <= 0 e368: - b49 + b55 - b68 <= 0 e369: - b49 + b56 - b69 <= 0 e370: - b49 + b57 - b70 <= 0 e371: - b49 + b58 - b71 <= 0 e372: - b49 + b59 - b72 <= 0 e373: - b49 + b60 - b73 <= 0 e374: - b49 + b61 - b74 <= 0 e375: - b49 + b62 - b75 <= 0 e376: - b50 + b51 - b76 <= 0 e377: - b50 + b52 - b77 <= 0 e378: - b50 + b53 - b78 <= 0 e379: - b50 + b54 - b79 <= 0 e380: - b50 + b55 - b80 <= 0 e381: - b50 + b56 - b81 <= 0 e382: - b50 + b57 - b82 <= 0 e383: - b50 + b58 - b83 <= 0 e384: - b50 + b59 - b84 <= 0 e385: - b50 + b60 - b85 <= 0 e386: - b50 + b61 - b86 <= 0 e387: - b50 + b62 - b87 <= 0 e388: - b51 + b52 - b88 <= 0 e389: - b51 + b53 - b89 <= 0 e390: - b51 + b54 - b90 <= 0 e391: - b51 + b55 - b91 <= 0 e392: - b51 + b56 - b92 <= 0 e393: - b51 + b57 - b93 <= 0 e394: - b51 + b58 - b94 <= 0 e395: - b51 + b59 - b95 <= 0 e396: - b51 + b60 - b96 <= 0 e397: - b51 + b61 - b97 <= 0 e398: - b51 + b62 - b98 <= 0 e399: - b52 + b53 - b99 <= 0 e400: - b52 + b54 - b100 <= 0 e401: - b52 + b55 - b101 <= 0 e402: - b52 + b56 - b102 <= 0 e403: - b52 + b57 - b103 <= 0 e404: - b52 + b58 - b104 <= 0 e405: - b52 + b59 - b105 <= 0 e406: - b52 + b60 - b106 <= 0 e407: - b52 + b61 - b107 <= 0 e408: - b52 + b62 - b108 <= 0 e409: - b53 + b54 - b109 <= 0 e410: - b53 + b55 - b110 <= 0 e411: - b53 + b56 - b111 <= 0 e412: - b53 + b57 - b112 <= 0 e413: - b53 + b58 - b113 <= 0 e414: - b53 + b59 - b114 <= 0 e415: - b53 + b60 - b115 <= 0 e416: - b53 + b61 - b116 <= 0 e417: - b53 + b62 - b117 <= 0 e418: - b54 + b55 - b118 <= 0 e419: - b54 + b56 - b119 <= 0 e420: - b54 + b57 - b120 <= 0 e421: - b54 + b58 - b121 <= 0 e422: - b54 + b59 - b122 <= 0 e423: - b54 + b60 - b123 <= 0 e424: - b54 + b61 - b124 <= 0 e425: - b54 + b62 - b125 <= 0 e426: - b55 + b56 - b126 <= 0 e427: - b55 + b57 - b127 <= 0 e428: - b55 + b58 - b128 <= 0 e429: - b55 + b59 - b129 <= 0 e430: - b55 + b60 - b130 <= 0 e431: - b55 + b61 - b131 <= 0 e432: - b55 + b62 - b132 <= 0 e433: - b56 + b57 - b133 <= 0 e434: - b56 + b58 - b134 <= 0 e435: - b56 + b59 - b135 <= 0 e436: - b56 + b60 - b136 <= 0 e437: - b56 + b61 - b137 <= 0 e438: - b56 + b62 - b138 <= 0 e439: - b57 + b58 - b139 <= 0 e440: - b57 + b59 - b140 <= 0 e441: - b57 + b60 - b141 <= 0 e442: - b57 + b61 - b142 <= 0 e443: - b57 + b62 - b143 <= 0 e444: - b58 + b59 - b144 <= 0 e445: - b58 + b60 - b145 <= 0 e446: - b58 + b61 - b146 <= 0 e447: - b58 + b62 - b147 <= 0 e448: - b59 + b60 - b148 <= 0 e449: - b59 + b61 - b149 <= 0 e450: - b59 + b62 - b150 <= 0 e451: - b60 + b61 - b151 <= 0 e452: - b60 + b62 - b152 <= 0 e453: - b61 + b62 - b153 <= 0 e454: - b63 + b64 - b76 <= 0 e455: - b63 + b65 - b77 <= 0 e456: - b63 + b66 - b78 <= 0 e457: - b63 + b67 - b79 <= 0 e458: - b63 + b68 - b80 <= 0 e459: - b63 + b69 - b81 <= 0 e460: - b63 + b70 - b82 <= 0 e461: - b63 + b71 - b83 <= 0 e462: - b63 + b72 - b84 <= 0 e463: - b63 + b73 - b85 <= 0 e464: - b63 + b74 - b86 <= 0 e465: - b63 + b75 - b87 <= 0 e466: - b64 + b65 - b88 <= 0 e467: - b64 + b66 - b89 <= 0 e468: - b64 + b67 - b90 <= 0 e469: - b64 + b68 - b91 <= 0 e470: - b64 + b69 - b92 <= 0 e471: - b64 + b70 - b93 <= 0 e472: - b64 + b71 - b94 <= 0 e473: - b64 + b72 - b95 <= 0 e474: - b64 + b73 - b96 <= 0 e475: - b64 + b74 - b97 <= 0 e476: - b64 + b75 - b98 <= 0 e477: - b65 + b66 - b99 <= 0 e478: - b65 + b67 - b100 <= 0 e479: - b65 + b68 - b101 <= 0 e480: - b65 + b69 - b102 <= 0 e481: - b65 + b70 - b103 <= 0 e482: - b65 + b71 - b104 <= 0 e483: - b65 + b72 - b105 <= 0 e484: - b65 + b73 - b106 <= 0 e485: - b65 + b74 - b107 <= 0 e486: - b65 + b75 - b108 <= 0 e487: - b66 + b67 - b109 <= 0 e488: - b66 + b68 - b110 <= 0 e489: - b66 + b69 - b111 <= 0 e490: - b66 + b70 - b112 <= 0 e491: - b66 + b71 - b113 <= 0 e492: - b66 + b72 - b114 <= 0 e493: - b66 + b73 - b115 <= 0 e494: - b66 + b74 - b116 <= 0 e495: - b66 + b75 - b117 <= 0 e496: - b67 + b68 - b118 <= 0 e497: - b67 + b69 - b119 <= 0 e498: - b67 + b70 - b120 <= 0 e499: - b67 + b71 - b121 <= 0 e500: - b67 + b72 - b122 <= 0 e501: - b67 + b73 - b123 <= 0 e502: - b67 + b74 - b124 <= 0 e503: - b67 + b75 - b125 <= 0 e504: - b68 + b69 - b126 <= 0 e505: - b68 + b70 - b127 <= 0 e506: - b68 + b71 - b128 <= 0 e507: - b68 + b72 - b129 <= 0 e508: - b68 + b73 - b130 <= 0 e509: - b68 + b74 - b131 <= 0 e510: - b68 + b75 - b132 <= 0 e511: - b69 + b70 - b133 <= 0 e512: - b69 + b71 - b134 <= 0 e513: - b69 + b72 - b135 <= 0 e514: - b69 + b73 - b136 <= 0 e515: - b69 + b74 - b137 <= 0 e516: - b69 + b75 - b138 <= 0 e517: - b70 + b71 - b139 <= 0 e518: - b70 + b72 - b140 <= 0 e519: - b70 + b73 - b141 <= 0 e520: - b70 + b74 - b142 <= 0 e521: - b70 + b75 - b143 <= 0 e522: - b71 + b72 - b144 <= 0 e523: - b71 + b73 - b145 <= 0 e524: - b71 + b74 - b146 <= 0 e525: - b71 + b75 - b147 <= 0 e526: - b72 + b73 - b148 <= 0 e527: - b72 + b74 - b149 <= 0 e528: - b72 + b75 - b150 <= 0 e529: - b73 + b74 - b151 <= 0 e530: - b73 + b75 - b152 <= 0 e531: - b74 + b75 - b153 <= 0 e532: - b76 + b77 - b88 <= 0 e533: - b76 + b78 - b89 <= 0 e534: - b76 + b79 - b90 <= 0 e535: - b76 + b80 - b91 <= 0 e536: - b76 + b81 - b92 <= 0 e537: - b76 + b82 - b93 <= 0 e538: - b76 + b83 - b94 <= 0 e539: - b76 + b84 - b95 <= 0 e540: - b76 + b85 - b96 <= 0 e541: - b76 + b86 - b97 <= 0 e542: - b76 + b87 - b98 <= 0 e543: - b77 + b78 - b99 <= 0 e544: - b77 + b79 - b100 <= 0 e545: - b77 + b80 - b101 <= 0 e546: - b77 + b81 - b102 <= 0 e547: - b77 + b82 - b103 <= 0 e548: - b77 + b83 - b104 <= 0 e549: - b77 + b84 - b105 <= 0 e550: - b77 + b85 - b106 <= 0 e551: - b77 + b86 - b107 <= 0 e552: - b77 + b87 - b108 <= 0 e553: - b78 + b79 - b109 <= 0 e554: - b78 + b80 - b110 <= 0 e555: - b78 + b81 - b111 <= 0 e556: - b78 + b82 - b112 <= 0 e557: - b78 + b83 - b113 <= 0 e558: - b78 + b84 - b114 <= 0 e559: - b78 + b85 - b115 <= 0 e560: - b78 + b86 - b116 <= 0 e561: - b78 + b87 - b117 <= 0 e562: - b79 + b80 - b118 <= 0 e563: - b79 + b81 - b119 <= 0 e564: - b79 + b82 - b120 <= 0 e565: - b79 + b83 - b121 <= 0 e566: - b79 + b84 - b122 <= 0 e567: - b79 + b85 - b123 <= 0 e568: - b79 + b86 - b124 <= 0 e569: - b79 + b87 - b125 <= 0 e570: - b80 + b81 - b126 <= 0 e571: - b80 + b82 - b127 <= 0 e572: - b80 + b83 - b128 <= 0 e573: - b80 + b84 - b129 <= 0 e574: - b80 + b85 - b130 <= 0 e575: - b80 + b86 - b131 <= 0 e576: - b80 + b87 - b132 <= 0 e577: - b81 + b82 - b133 <= 0 e578: - b81 + b83 - b134 <= 0 e579: - b81 + b84 - b135 <= 0 e580: - b81 + b85 - b136 <= 0 e581: - b81 + b86 - b137 <= 0 e582: - b81 + b87 - b138 <= 0 e583: - b82 + b83 - b139 <= 0 e584: - b82 + b84 - b140 <= 0 e585: - b82 + b85 - b141 <= 0 e586: - b82 + b86 - b142 <= 0 e587: - b82 + b87 - b143 <= 0 e588: - b83 + b84 - b144 <= 0 e589: - b83 + b85 - b145 <= 0 e590: - b83 + b86 - b146 <= 0 e591: - b83 + b87 - b147 <= 0 e592: - b84 + b85 - b148 <= 0 e593: - b84 + b86 - b149 <= 0 e594: - b84 + b87 - b150 <= 0 e595: - b85 + b86 - b151 <= 0 e596: - b85 + b87 - b152 <= 0 e597: - b86 + b87 - b153 <= 0 e598: - b88 + b89 - b99 <= 0 e599: - b88 + b90 - b100 <= 0 e600: - b88 + b91 - b101 <= 0 e601: - b88 + b92 - b102 <= 0 e602: - b88 + b93 - b103 <= 0 e603: - b88 + b94 - b104 <= 0 e604: - b88 + b95 - b105 <= 0 e605: - b88 + b96 - b106 <= 0 e606: - b88 + b97 - b107 <= 0 e607: - b88 + b98 - b108 <= 0 e608: - b89 + b90 - b109 <= 0 e609: - b89 + b91 - b110 <= 0 e610: - b89 + b92 - b111 <= 0 e611: - b89 + b93 - b112 <= 0 e612: - b89 + b94 - b113 <= 0 e613: - b89 + b95 - b114 <= 0 e614: - b89 + b96 - b115 <= 0 e615: - b89 + b97 - b116 <= 0 e616: - b89 + b98 - b117 <= 0 e617: - b90 + b91 - b118 <= 0 e618: - b90 + b92 - b119 <= 0 e619: - b90 + b93 - b120 <= 0 e620: - b90 + b94 - b121 <= 0 e621: - b90 + b95 - b122 <= 0 e622: - b90 + b96 - b123 <= 0 e623: - b90 + b97 - b124 <= 0 e624: - b90 + b98 - b125 <= 0 e625: - b91 + b92 - b126 <= 0 e626: - b91 + b93 - b127 <= 0 e627: - b91 + b94 - b128 <= 0 e628: - b91 + b95 - b129 <= 0 e629: - b91 + b96 - b130 <= 0 e630: - b91 + b97 - b131 <= 0 e631: - b91 + b98 - b132 <= 0 e632: - b92 + b93 - b133 <= 0 e633: - b92 + b94 - b134 <= 0 e634: - b92 + b95 - b135 <= 0 e635: - b92 + b96 - b136 <= 0 e636: - b92 + b97 - b137 <= 0 e637: - b92 + b98 - b138 <= 0 e638: - b93 + b94 - b139 <= 0 e639: - b93 + b95 - b140 <= 0 e640: - b93 + b96 - b141 <= 0 e641: - b93 + b97 - b142 <= 0 e642: - b93 + b98 - b143 <= 0 e643: - b94 + b95 - b144 <= 0 e644: - b94 + b96 - b145 <= 0 e645: - b94 + b97 - b146 <= 0 e646: - b94 + b98 - b147 <= 0 e647: - b95 + b96 - b148 <= 0 e648: - b95 + b97 - b149 <= 0 e649: - b95 + b98 - b150 <= 0 e650: - b96 + b97 - b151 <= 0 e651: - b96 + b98 - b152 <= 0 e652: - b97 + b98 - b153 <= 0 e653: - b99 + b100 - b109 <= 0 e654: - b99 + b101 - b110 <= 0 e655: - b99 + b102 - b111 <= 0 e656: - b99 + b103 - b112 <= 0 e657: - b99 + b104 - b113 <= 0 e658: - b99 + b105 - b114 <= 0 e659: - b99 + b106 - b115 <= 0 e660: - b99 + b107 - b116 <= 0 e661: - b99 + b108 - b117 <= 0 e662: - b100 + b101 - b118 <= 0 e663: - b100 + b102 - b119 <= 0 e664: - b100 + b103 - b120 <= 0 e665: - b100 + b104 - b121 <= 0 e666: - b100 + b105 - b122 <= 0 e667: - b100 + b106 - b123 <= 0 e668: - b100 + b107 - b124 <= 0 e669: - b100 + b108 - b125 <= 0 e670: - b101 + b102 - b126 <= 0 e671: - b101 + b103 - b127 <= 0 e672: - b101 + b104 - b128 <= 0 e673: - b101 + b105 - b129 <= 0 e674: - b101 + b106 - b130 <= 0 e675: - b101 + b107 - b131 <= 0 e676: - b101 + b108 - b132 <= 0 e677: - b102 + b103 - b133 <= 0 e678: - b102 + b104 - b134 <= 0 e679: - b102 + b105 - b135 <= 0 e680: - b102 + b106 - b136 <= 0 e681: - b102 + b107 - b137 <= 0 e682: - b102 + b108 - b138 <= 0 e683: - b103 + b104 - b139 <= 0 e684: - b103 + b105 - b140 <= 0 e685: - b103 + b106 - b141 <= 0 e686: - b103 + b107 - b142 <= 0 e687: - b103 + b108 - b143 <= 0 e688: - b104 + b105 - b144 <= 0 e689: - b104 + b106 - b145 <= 0 e690: - b104 + b107 - b146 <= 0 e691: - b104 + b108 - b147 <= 0 e692: - b105 + b106 - b148 <= 0 e693: - b105 + b107 - b149 <= 0 e694: - b105 + b108 - b150 <= 0 e695: - b106 + b107 - b151 <= 0 e696: - b106 + b108 - b152 <= 0 e697: - b107 + b108 - b153 <= 0 e698: - b109 + b110 - b118 <= 0 e699: - b109 + b111 - b119 <= 0 e700: - b109 + b112 - b120 <= 0 e701: - b109 + b113 - b121 <= 0 e702: - b109 + b114 - b122 <= 0 e703: - b109 + b115 - b123 <= 0 e704: - b109 + b116 - b124 <= 0 e705: - b109 + b117 - b125 <= 0 e706: - b110 + b111 - b126 <= 0 e707: - b110 + b112 - b127 <= 0 e708: - b110 + b113 - b128 <= 0 e709: - b110 + b114 - b129 <= 0 e710: - b110 + b115 - b130 <= 0 e711: - b110 + b116 - b131 <= 0 e712: - b110 + b117 - b132 <= 0 e713: - b111 + b112 - b133 <= 0 e714: - b111 + b113 - b134 <= 0 e715: - b111 + b114 - b135 <= 0 e716: - b111 + b115 - b136 <= 0 e717: - b111 + b116 - b137 <= 0 e718: - b111 + b117 - b138 <= 0 e719: - b112 + b113 - b139 <= 0 e720: - b112 + b114 - b140 <= 0 e721: - b112 + b115 - b141 <= 0 e722: - b112 + b116 - b142 <= 0 e723: - b112 + b117 - b143 <= 0 e724: - b113 + b114 - b144 <= 0 e725: - b113 + b115 - b145 <= 0 e726: - b113 + b116 - b146 <= 0 e727: - b113 + b117 - b147 <= 0 e728: - b114 + b115 - b148 <= 0 e729: - b114 + b116 - b149 <= 0 e730: - b114 + b117 - b150 <= 0 e731: - b115 + b116 - b151 <= 0 e732: - b115 + b117 - b152 <= 0 e733: - b116 + b117 - b153 <= 0 e734: - b118 + b119 - b126 <= 0 e735: - b118 + b120 - b127 <= 0 e736: - b118 + b121 - b128 <= 0 e737: - b118 + b122 - b129 <= 0 e738: - b118 + b123 - b130 <= 0 e739: - b118 + b124 - b131 <= 0 e740: - b118 + b125 - b132 <= 0 e741: - b119 + b120 - b133 <= 0 e742: - b119 + b121 - b134 <= 0 e743: - b119 + b122 - b135 <= 0 e744: - b119 + b123 - b136 <= 0 e745: - b119 + b124 - b137 <= 0 e746: - b119 + b125 - b138 <= 0 e747: - b120 + b121 - b139 <= 0 e748: - b120 + b122 - b140 <= 0 e749: - b120 + b123 - b141 <= 0 e750: - b120 + b124 - b142 <= 0 e751: - b120 + b125 - b143 <= 0 e752: - b121 + b122 - b144 <= 0 e753: - b121 + b123 - b145 <= 0 e754: - b121 + b124 - b146 <= 0 e755: - b121 + b125 - b147 <= 0 e756: - b122 + b123 - b148 <= 0 e757: - b122 + b124 - b149 <= 0 e758: - b122 + b125 - b150 <= 0 e759: - b123 + b124 - b151 <= 0 e760: - b123 + b125 - b152 <= 0 e761: - b124 + b125 - b153 <= 0 e762: - b126 + b127 - b133 <= 0 e763: - b126 + b128 - b134 <= 0 e764: - b126 + b129 - b135 <= 0 e765: - b126 + b130 - b136 <= 0 e766: - b126 + b131 - b137 <= 0 e767: - b126 + b132 - b138 <= 0 e768: - b127 + b128 - b139 <= 0 e769: - b127 + b129 - b140 <= 0 e770: - b127 + b130 - b141 <= 0 e771: - b127 + b131 - b142 <= 0 e772: - b127 + b132 - b143 <= 0 e773: - b128 + b129 - b144 <= 0 e774: - b128 + b130 - b145 <= 0 e775: - b128 + b131 - b146 <= 0 e776: - b128 + b132 - b147 <= 0 e777: - b129 + b130 - b148 <= 0 e778: - b129 + b131 - b149 <= 0 e779: - b129 + b132 - b150 <= 0 e780: - b130 + b131 - b151 <= 0 e781: - b130 + b132 - b152 <= 0 e782: - b131 + b132 - b153 <= 0 e783: - b133 + b134 - b139 <= 0 e784: - b133 + b135 - b140 <= 0 e785: - b133 + b136 - b141 <= 0 e786: - b133 + b137 - b142 <= 0 e787: - b133 + b138 - b143 <= 0 e788: - b134 + b135 - b144 <= 0 e789: - b134 + b136 - b145 <= 0 e790: - b134 + b137 - b146 <= 0 e791: - b134 + b138 - b147 <= 0 e792: - b135 + b136 - b148 <= 0 e793: - b135 + b137 - b149 <= 0 e794: - b135 + b138 - b150 <= 0 e795: - b136 + b137 - b151 <= 0 e796: - b136 + b138 - b152 <= 0 e797: - b137 + b138 - b153 <= 0 e798: - b139 + b140 - b144 <= 0 e799: - b139 + b141 - b145 <= 0 e800: - b139 + b142 - b146 <= 0 e801: - b139 + b143 - b147 <= 0 e802: - b140 + b141 - b148 <= 0 e803: - b140 + b142 - b149 <= 0 e804: - b140 + b143 - b150 <= 0 e805: - b141 + b142 - b151 <= 0 e806: - b141 + b143 - b152 <= 0 e807: - b142 + b143 - b153 <= 0 e808: - b144 + b145 - b148 <= 0 e809: - b144 + b146 - b149 <= 0 e810: - b144 + b147 - b150 <= 0 e811: - b145 + b146 - b151 <= 0 e812: - b145 + b147 - b152 <= 0 e813: - b146 + b147 - b153 <= 0 e814: - b148 + b149 - b151 <= 0 e815: - b148 + b150 - b152 <= 0 e816: - b149 + b150 - b153 <= 0 e817: - b151 + b152 - b153 <= 0 e818: b2 - b3 - b19 <= 0 e819: b2 - b4 - b154 <= 0 e820: b2 - b5 - b20 <= 0 e821: b2 - b6 - b21 <= 0 e822: b2 - b7 - b22 <= 0 e823: b2 - b8 - b23 <= 0 e824: b2 - b9 - b24 <= 0 e825: b2 - b10 - b25 <= 0 e826: b2 - b11 - b26 <= 0 e827: b2 - b12 - b27 <= 0 e828: b2 - b13 - b28 <= 0 e829: b2 - b14 - b29 <= 0 e830: b2 - b15 - b30 <= 0 e831: b2 - b16 - b31 <= 0 e832: b2 - b17 - b32 <= 0 e833: b2 - b18 - b33 <= 0 e834: b3 - b4 - b34 <= 0 e835: b3 - b5 - b35 <= 0 e836: b3 - b6 - b36 <= 0 e837: b3 - b7 - b37 <= 0 e838: b3 - b8 - b38 <= 0 e839: b3 - b9 - b39 <= 0 e840: b3 - b10 - b40 <= 0 e841: b3 - b11 - b41 <= 0 e842: b3 - b12 - b42 <= 0 e843: b3 - b13 - b43 <= 0 e844: b3 - b14 - b44 <= 0 e845: b3 - b15 - b45 <= 0 e846: b3 - b16 - b46 <= 0 e847: b3 - b17 - b47 <= 0 e848: b3 - b18 - b48 <= 0 e849: b4 - b5 - b49 <= 0 e850: b4 - b6 - b50 <= 0 e851: b4 - b7 - b51 <= 0 e852: b4 - b8 - b52 <= 0 e853: b4 - b9 - b53 <= 0 e854: b4 - b10 - b54 <= 0 e855: b4 - b11 - b55 <= 0 e856: b4 - b12 - b56 <= 0 e857: b4 - b13 - b57 <= 0 e858: b4 - b14 - b58 <= 0 e859: b4 - b15 - b59 <= 0 e860: b4 - b16 - b60 <= 0 e861: b4 - b17 - b61 <= 0 e862: b4 - b18 - b62 <= 0 e863: b5 - b6 - b63 <= 0 e864: b5 - b7 - b64 <= 0 e865: b5 - b8 - b65 <= 0 e866: b5 - b9 - b66 <= 0 e867: b5 - b10 - b67 <= 0 e868: b5 - b11 - b68 <= 0 e869: b5 - b12 - b69 <= 0 e870: b5 - b13 - b70 <= 0 e871: b5 - b14 - b71 <= 0 e872: b5 - b15 - b72 <= 0 e873: b5 - b16 - b73 <= 0 e874: b5 - b17 - b74 <= 0 e875: b5 - b18 - b75 <= 0 e876: b6 - b7 - b76 <= 0 e877: b6 - b8 - b77 <= 0 e878: b6 - b9 - b78 <= 0 e879: b6 - b10 - b79 <= 0 e880: b6 - b11 - b80 <= 0 e881: b6 - b12 - b81 <= 0 e882: b6 - b13 - b82 <= 0 e883: b6 - b14 - b83 <= 0 e884: b6 - b15 - b84 <= 0 e885: b6 - b16 - b85 <= 0 e886: b6 - b17 - b86 <= 0 e887: b6 - b18 - b87 <= 0 e888: b7 - b8 - b88 <= 0 e889: b7 - b9 - b89 <= 0 e890: b7 - b10 - b90 <= 0 e891: b7 - b11 - b91 <= 0 e892: b7 - b12 - b92 <= 0 e893: b7 - b13 - b93 <= 0 e894: b7 - b14 - b94 <= 0 e895: b7 - b15 - b95 <= 0 e896: b7 - b16 - b96 <= 0 e897: b7 - b17 - b97 <= 0 e898: b7 - b18 - b98 <= 0 e899: b8 - b9 - b99 <= 0 e900: b8 - b10 - b100 <= 0 e901: b8 - b11 - b101 <= 0 e902: b8 - b12 - b102 <= 0 e903: b8 - b13 - b103 <= 0 e904: b8 - b14 - b104 <= 0 e905: b8 - b15 - b105 <= 0 e906: b8 - b16 - b106 <= 0 e907: b8 - b17 - b107 <= 0 e908: b8 - b18 - b108 <= 0 e909: b9 - b10 - b109 <= 0 e910: b9 - b11 - b110 <= 0 e911: b9 - b12 - b111 <= 0 e912: b9 - b13 - b112 <= 0 e913: b9 - b14 - b113 <= 0 e914: b9 - b15 - b114 <= 0 e915: b9 - b16 - b115 <= 0 e916: b9 - b17 - b116 <= 0 e917: b9 - b18 - b117 <= 0 e918: b10 - b11 - b118 <= 0 e919: b10 - b12 - b119 <= 0 e920: b10 - b13 - b120 <= 0 e921: b10 - b14 - b121 <= 0 e922: b10 - b15 - b122 <= 0 e923: b10 - b16 - b123 <= 0 e924: b10 - b17 - b124 <= 0 e925: b10 - b18 - b125 <= 0 e926: b11 - b12 - b126 <= 0 e927: b11 - b13 - b127 <= 0 e928: b11 - b14 - b128 <= 0 e929: b11 - b15 - b129 <= 0 e930: b11 - b16 - b130 <= 0 e931: b11 - b17 - b131 <= 0 e932: b11 - b18 - b132 <= 0 e933: b12 - b13 - b133 <= 0 e934: b12 - b14 - b134 <= 0 e935: b12 - b15 - b135 <= 0 e936: b12 - b16 - b136 <= 0 e937: b12 - b17 - b137 <= 0 e938: b12 - b18 - b138 <= 0 e939: b13 - b14 - b139 <= 0 e940: b13 - b15 - b140 <= 0 e941: b13 - b16 - b141 <= 0 e942: b13 - b17 - b142 <= 0 e943: b13 - b18 - b143 <= 0 e944: b14 - b15 - b144 <= 0 e945: b14 - b16 - b145 <= 0 e946: b14 - b17 - b146 <= 0 e947: b14 - b18 - b147 <= 0 e948: b15 - b16 - b148 <= 0 e949: b15 - b17 - b149 <= 0 e950: b15 - b18 - b150 <= 0 e951: b16 - b17 - b151 <= 0 e952: b16 - b18 - b152 <= 0 e953: b17 - b18 - b153 <= 0 e954: b19 - b34 - b154 <= 0 e955: b19 - b20 - b35 <= 0 e956: b19 - b21 - b36 <= 0 e957: b19 - b22 - b37 <= 0 e958: b19 - b23 - b38 <= 0 e959: b19 - b24 - b39 <= 0 e960: b19 - b25 - b40 <= 0 e961: b19 - b26 - b41 <= 0 e962: b19 - b27 - b42 <= 0 e963: b19 - b28 - b43 <= 0 e964: b19 - b29 - b44 <= 0 e965: b19 - b30 - b45 <= 0 e966: b19 - b31 - b46 <= 0 e967: b19 - b32 - b47 <= 0 e968: b19 - b33 - b48 <= 0 e969: - b20 - b49 + b154 <= 0 e970: - b21 - b50 + b154 <= 0 e971: - b22 - b51 + b154 <= 0 e972: - b23 - b52 + b154 <= 0 e973: - b24 - b53 + b154 <= 0 e974: - b25 - b54 + b154 <= 0 e975: - b26 - b55 + b154 <= 0 e976: - b27 - b56 + b154 <= 0 e977: - b28 - b57 + b154 <= 0 e978: - b29 - b58 + b154 <= 0 e979: - b30 - b59 + b154 <= 0 e980: - b31 - b60 + b154 <= 0 e981: - b32 - b61 + b154 <= 0 e982: - b33 - b62 + b154 <= 0 e983: b20 - b21 - b63 <= 0 e984: b20 - b22 - b64 <= 0 e985: b20 - b23 - b65 <= 0 e986: b20 - b24 - b66 <= 0 e987: b20 - b25 - b67 <= 0 e988: b20 - b26 - b68 <= 0 e989: b20 - b27 - b69 <= 0 e990: b20 - b28 - b70 <= 0 e991: b20 - b29 - b71 <= 0 e992: b20 - b30 - b72 <= 0 e993: b20 - b31 - b73 <= 0 e994: b20 - b32 - b74 <= 0 e995: b20 - b33 - b75 <= 0 e996: b21 - b22 - b76 <= 0 e997: b21 - b23 - b77 <= 0 e998: b21 - b24 - b78 <= 0 e999: b21 - b25 - b79 <= 0 e1000: b21 - b26 - b80 <= 0 e1001: b21 - b27 - b81 <= 0 e1002: b21 - b28 - b82 <= 0 e1003: b21 - b29 - b83 <= 0 e1004: b21 - b30 - b84 <= 0 e1005: b21 - b31 - b85 <= 0 e1006: b21 - b32 - b86 <= 0 e1007: b21 - b33 - b87 <= 0 e1008: b22 - b23 - b88 <= 0 e1009: b22 - b24 - b89 <= 0 e1010: b22 - b25 - b90 <= 0 e1011: b22 - b26 - b91 <= 0 e1012: b22 - b27 - b92 <= 0 e1013: b22 - b28 - b93 <= 0 e1014: b22 - b29 - b94 <= 0 e1015: b22 - b30 - b95 <= 0 e1016: b22 - b31 - b96 <= 0 e1017: b22 - b32 - b97 <= 0 e1018: b22 - b33 - b98 <= 0 e1019: b23 - b24 - b99 <= 0 e1020: b23 - b25 - b100 <= 0 e1021: b23 - b26 - b101 <= 0 e1022: b23 - b27 - b102 <= 0 e1023: b23 - b28 - b103 <= 0 e1024: b23 - b29 - b104 <= 0 e1025: b23 - b30 - b105 <= 0 e1026: b23 - b31 - b106 <= 0 e1027: b23 - b32 - b107 <= 0 e1028: b23 - b33 - b108 <= 0 e1029: b24 - b25 - b109 <= 0 e1030: b24 - b26 - b110 <= 0 e1031: b24 - b27 - b111 <= 0 e1032: b24 - b28 - b112 <= 0 e1033: b24 - b29 - b113 <= 0 e1034: b24 - b30 - b114 <= 0 e1035: b24 - b31 - b115 <= 0 e1036: b24 - b32 - b116 <= 0 e1037: b24 - b33 - b117 <= 0 e1038: b25 - b26 - b118 <= 0 e1039: b25 - b27 - b119 <= 0 e1040: b25 - b28 - b120 <= 0 e1041: b25 - b29 - b121 <= 0 e1042: b25 - b30 - b122 <= 0 e1043: b25 - b31 - b123 <= 0 e1044: b25 - b32 - b124 <= 0 e1045: b25 - b33 - b125 <= 0 e1046: b26 - b27 - b126 <= 0 e1047: b26 - b28 - b127 <= 0 e1048: b26 - b29 - b128 <= 0 e1049: b26 - b30 - b129 <= 0 e1050: b26 - b31 - b130 <= 0 e1051: b26 - b32 - b131 <= 0 e1052: b26 - b33 - b132 <= 0 e1053: b27 - b28 - b133 <= 0 e1054: b27 - b29 - b134 <= 0 e1055: b27 - b30 - b135 <= 0 e1056: b27 - b31 - b136 <= 0 e1057: b27 - b32 - b137 <= 0 e1058: b27 - b33 - b138 <= 0 e1059: b28 - b29 - b139 <= 0 e1060: b28 - b30 - b140 <= 0 e1061: b28 - b31 - b141 <= 0 e1062: b28 - b32 - b142 <= 0 e1063: b28 - b33 - b143 <= 0 e1064: b29 - b30 - b144 <= 0 e1065: b29 - b31 - b145 <= 0 e1066: b29 - b32 - b146 <= 0 e1067: b29 - b33 - b147 <= 0 e1068: b30 - b31 - b148 <= 0 e1069: b30 - b32 - b149 <= 0 e1070: b30 - b33 - b150 <= 0 e1071: b31 - b32 - b151 <= 0 e1072: b31 - b33 - b152 <= 0 e1073: b32 - b33 - b153 <= 0 e1074: b34 - b35 - b49 <= 0 e1075: b34 - b36 - b50 <= 0 e1076: b34 - b37 - b51 <= 0 e1077: b34 - b38 - b52 <= 0 e1078: b34 - b39 - b53 <= 0 e1079: b34 - b40 - b54 <= 0 e1080: b34 - b41 - b55 <= 0 e1081: b34 - b42 - b56 <= 0 e1082: b34 - b43 - b57 <= 0 e1083: b34 - b44 - b58 <= 0 e1084: b34 - b45 - b59 <= 0 e1085: b34 - b46 - b60 <= 0 e1086: b34 - b47 - b61 <= 0 e1087: b34 - b48 - b62 <= 0 e1088: b35 - b36 - b63 <= 0 e1089: b35 - b37 - b64 <= 0 e1090: b35 - b38 - b65 <= 0 e1091: b35 - b39 - b66 <= 0 e1092: b35 - b40 - b67 <= 0 e1093: b35 - b41 - b68 <= 0 e1094: b35 - b42 - b69 <= 0 e1095: b35 - b43 - b70 <= 0 e1096: b35 - b44 - b71 <= 0 e1097: b35 - b45 - b72 <= 0 e1098: b35 - b46 - b73 <= 0 e1099: b35 - b47 - b74 <= 0 e1100: b35 - b48 - b75 <= 0 e1101: b36 - b37 - b76 <= 0 e1102: b36 - b38 - b77 <= 0 e1103: b36 - b39 - b78 <= 0 e1104: b36 - b40 - b79 <= 0 e1105: b36 - b41 - b80 <= 0 e1106: b36 - b42 - b81 <= 0 e1107: b36 - b43 - b82 <= 0 e1108: b36 - b44 - b83 <= 0 e1109: b36 - b45 - b84 <= 0 e1110: b36 - b46 - b85 <= 0 e1111: b36 - b47 - b86 <= 0 e1112: b36 - b48 - b87 <= 0 e1113: b37 - b38 - b88 <= 0 e1114: b37 - b39 - b89 <= 0 e1115: b37 - b40 - b90 <= 0 e1116: b37 - b41 - b91 <= 0 e1117: b37 - b42 - b92 <= 0 e1118: b37 - b43 - b93 <= 0 e1119: b37 - b44 - b94 <= 0 e1120: b37 - b45 - b95 <= 0 e1121: b37 - b46 - b96 <= 0 e1122: b37 - b47 - b97 <= 0 e1123: b37 - b48 - b98 <= 0 e1124: b38 - b39 - b99 <= 0 e1125: b38 - b40 - b100 <= 0 e1126: b38 - b41 - b101 <= 0 e1127: b38 - b42 - b102 <= 0 e1128: b38 - b43 - b103 <= 0 e1129: b38 - b44 - b104 <= 0 e1130: b38 - b45 - b105 <= 0 e1131: b38 - b46 - b106 <= 0 e1132: b38 - b47 - b107 <= 0 e1133: b38 - b48 - b108 <= 0 e1134: b39 - b40 - b109 <= 0 e1135: b39 - b41 - b110 <= 0 e1136: b39 - b42 - b111 <= 0 e1137: b39 - b43 - b112 <= 0 e1138: b39 - b44 - b113 <= 0 e1139: b39 - b45 - b114 <= 0 e1140: b39 - b46 - b115 <= 0 e1141: b39 - b47 - b116 <= 0 e1142: b39 - b48 - b117 <= 0 e1143: b40 - b41 - b118 <= 0 e1144: b40 - b42 - b119 <= 0 e1145: b40 - b43 - b120 <= 0 e1146: b40 - b44 - b121 <= 0 e1147: b40 - b45 - b122 <= 0 e1148: b40 - b46 - b123 <= 0 e1149: b40 - b47 - b124 <= 0 e1150: b40 - b48 - b125 <= 0 e1151: b41 - b42 - b126 <= 0 e1152: b41 - b43 - b127 <= 0 e1153: b41 - b44 - b128 <= 0 e1154: b41 - b45 - b129 <= 0 e1155: b41 - b46 - b130 <= 0 e1156: b41 - b47 - b131 <= 0 e1157: b41 - b48 - b132 <= 0 e1158: b42 - b43 - b133 <= 0 e1159: b42 - b44 - b134 <= 0 e1160: b42 - b45 - b135 <= 0 e1161: b42 - b46 - b136 <= 0 e1162: b42 - b47 - b137 <= 0 e1163: b42 - b48 - b138 <= 0 e1164: b43 - b44 - b139 <= 0 e1165: b43 - b45 - b140 <= 0 e1166: b43 - b46 - b141 <= 0 e1167: b43 - b47 - b142 <= 0 e1168: b43 - b48 - b143 <= 0 e1169: b44 - b45 - b144 <= 0 e1170: b44 - b46 - b145 <= 0 e1171: b44 - b47 - b146 <= 0 e1172: b44 - b48 - b147 <= 0 e1173: b45 - b46 - b148 <= 0 e1174: b45 - b47 - b149 <= 0 e1175: b45 - b48 - b150 <= 0 e1176: b46 - b47 - b151 <= 0 e1177: b46 - b48 - b152 <= 0 e1178: b47 - b48 - b153 <= 0 e1179: b49 - b50 - b63 <= 0 e1180: b49 - b51 - b64 <= 0 e1181: b49 - b52 - b65 <= 0 e1182: b49 - b53 - b66 <= 0 e1183: b49 - b54 - b67 <= 0 e1184: b49 - b55 - b68 <= 0 e1185: b49 - b56 - b69 <= 0 e1186: b49 - b57 - b70 <= 0 e1187: b49 - b58 - b71 <= 0 e1188: b49 - b59 - b72 <= 0 e1189: b49 - b60 - b73 <= 0 e1190: b49 - b61 - b74 <= 0 e1191: b49 - b62 - b75 <= 0 e1192: b50 - b51 - b76 <= 0 e1193: b50 - b52 - b77 <= 0 e1194: b50 - b53 - b78 <= 0 e1195: b50 - b54 - b79 <= 0 e1196: b50 - b55 - b80 <= 0 e1197: b50 - b56 - b81 <= 0 e1198: b50 - b57 - b82 <= 0 e1199: b50 - b58 - b83 <= 0 e1200: b50 - b59 - b84 <= 0 e1201: b50 - b60 - b85 <= 0 e1202: b50 - b61 - b86 <= 0 e1203: b50 - b62 - b87 <= 0 e1204: b51 - b52 - b88 <= 0 e1205: b51 - b53 - b89 <= 0 e1206: b51 - b54 - b90 <= 0 e1207: b51 - b55 - b91 <= 0 e1208: b51 - b56 - b92 <= 0 e1209: b51 - b57 - b93 <= 0 e1210: b51 - b58 - b94 <= 0 e1211: b51 - b59 - b95 <= 0 e1212: b51 - b60 - b96 <= 0 e1213: b51 - b61 - b97 <= 0 e1214: b51 - b62 - b98 <= 0 e1215: b52 - b53 - b99 <= 0 e1216: b52 - b54 - b100 <= 0 e1217: b52 - b55 - b101 <= 0 e1218: b52 - b56 - b102 <= 0 e1219: b52 - b57 - b103 <= 0 e1220: b52 - b58 - b104 <= 0 e1221: b52 - b59 - b105 <= 0 e1222: b52 - b60 - b106 <= 0 e1223: b52 - b61 - b107 <= 0 e1224: b52 - b62 - b108 <= 0 e1225: b53 - b54 - b109 <= 0 e1226: b53 - b55 - b110 <= 0 e1227: b53 - b56 - b111 <= 0 e1228: b53 - b57 - b112 <= 0 e1229: b53 - b58 - b113 <= 0 e1230: b53 - b59 - b114 <= 0 e1231: b53 - b60 - b115 <= 0 e1232: b53 - b61 - b116 <= 0 e1233: b53 - b62 - b117 <= 0 e1234: b54 - b55 - b118 <= 0 e1235: b54 - b56 - b119 <= 0 e1236: b54 - b57 - b120 <= 0 e1237: b54 - b58 - b121 <= 0 e1238: b54 - b59 - b122 <= 0 e1239: b54 - b60 - b123 <= 0 e1240: b54 - b61 - b124 <= 0 e1241: b54 - b62 - b125 <= 0 e1242: b55 - b56 - b126 <= 0 e1243: b55 - b57 - b127 <= 0 e1244: b55 - b58 - b128 <= 0 e1245: b55 - b59 - b129 <= 0 e1246: b55 - b60 - b130 <= 0 e1247: b55 - b61 - b131 <= 0 e1248: b55 - b62 - b132 <= 0 e1249: b56 - b57 - b133 <= 0 e1250: b56 - b58 - b134 <= 0 e1251: b56 - b59 - b135 <= 0 e1252: b56 - b60 - b136 <= 0 e1253: b56 - b61 - b137 <= 0 e1254: b56 - b62 - b138 <= 0 e1255: b57 - b58 - b139 <= 0 e1256: b57 - b59 - b140 <= 0 e1257: b57 - b60 - b141 <= 0 e1258: b57 - b61 - b142 <= 0 e1259: b57 - b62 - b143 <= 0 e1260: b58 - b59 - b144 <= 0 e1261: b58 - b60 - b145 <= 0 e1262: b58 - b61 - b146 <= 0 e1263: b58 - b62 - b147 <= 0 e1264: b59 - b60 - b148 <= 0 e1265: b59 - b61 - b149 <= 0 e1266: b59 - b62 - b150 <= 0 e1267: b60 - b61 - b151 <= 0 e1268: b60 - b62 - b152 <= 0 e1269: b61 - b62 - b153 <= 0 e1270: b63 - b64 - b76 <= 0 e1271: b63 - b65 - b77 <= 0 e1272: b63 - b66 - b78 <= 0 e1273: b63 - b67 - b79 <= 0 e1274: b63 - b68 - b80 <= 0 e1275: b63 - b69 - b81 <= 0 e1276: b63 - b70 - b82 <= 0 e1277: b63 - b71 - b83 <= 0 e1278: b63 - b72 - b84 <= 0 e1279: b63 - b73 - b85 <= 0 e1280: b63 - b74 - b86 <= 0 e1281: b63 - b75 - b87 <= 0 e1282: b64 - b65 - b88 <= 0 e1283: b64 - b66 - b89 <= 0 e1284: b64 - b67 - b90 <= 0 e1285: b64 - b68 - b91 <= 0 e1286: b64 - b69 - b92 <= 0 e1287: b64 - b70 - b93 <= 0 e1288: b64 - b71 - b94 <= 0 e1289: b64 - b72 - b95 <= 0 e1290: b64 - b73 - b96 <= 0 e1291: b64 - b74 - b97 <= 0 e1292: b64 - b75 - b98 <= 0 e1293: b65 - b66 - b99 <= 0 e1294: b65 - b67 - b100 <= 0 e1295: b65 - b68 - b101 <= 0 e1296: b65 - b69 - b102 <= 0 e1297: b65 - b70 - b103 <= 0 e1298: b65 - b71 - b104 <= 0 e1299: b65 - b72 - b105 <= 0 e1300: b65 - b73 - b106 <= 0 e1301: b65 - b74 - b107 <= 0 e1302: b65 - b75 - b108 <= 0 e1303: b66 - b67 - b109 <= 0 e1304: b66 - b68 - b110 <= 0 e1305: b66 - b69 - b111 <= 0 e1306: b66 - b70 - b112 <= 0 e1307: b66 - b71 - b113 <= 0 e1308: b66 - b72 - b114 <= 0 e1309: b66 - b73 - b115 <= 0 e1310: b66 - b74 - b116 <= 0 e1311: b66 - b75 - b117 <= 0 e1312: b67 - b68 - b118 <= 0 e1313: b67 - b69 - b119 <= 0 e1314: b67 - b70 - b120 <= 0 e1315: b67 - b71 - b121 <= 0 e1316: b67 - b72 - b122 <= 0 e1317: b67 - b73 - b123 <= 0 e1318: b67 - b74 - b124 <= 0 e1319: b67 - b75 - b125 <= 0 e1320: b68 - b69 - b126 <= 0 e1321: b68 - b70 - b127 <= 0 e1322: b68 - b71 - b128 <= 0 e1323: b68 - b72 - b129 <= 0 e1324: b68 - b73 - b130 <= 0 e1325: b68 - b74 - b131 <= 0 e1326: b68 - b75 - b132 <= 0 e1327: b69 - b70 - b133 <= 0 e1328: b69 - b71 - b134 <= 0 e1329: b69 - b72 - b135 <= 0 e1330: b69 - b73 - b136 <= 0 e1331: b69 - b74 - b137 <= 0 e1332: b69 - b75 - b138 <= 0 e1333: b70 - b71 - b139 <= 0 e1334: b70 - b72 - b140 <= 0 e1335: b70 - b73 - b141 <= 0 e1336: b70 - b74 - b142 <= 0 e1337: b70 - b75 - b143 <= 0 e1338: b71 - b72 - b144 <= 0 e1339: b71 - b73 - b145 <= 0 e1340: b71 - b74 - b146 <= 0 e1341: b71 - b75 - b147 <= 0 e1342: b72 - b73 - b148 <= 0 e1343: b72 - b74 - b149 <= 0 e1344: b72 - b75 - b150 <= 0 e1345: b73 - b74 - b151 <= 0 e1346: b73 - b75 - b152 <= 0 e1347: b74 - b75 - b153 <= 0 e1348: b76 - b77 - b88 <= 0 e1349: b76 - b78 - b89 <= 0 e1350: b76 - b79 - b90 <= 0 e1351: b76 - b80 - b91 <= 0 e1352: b76 - b81 - b92 <= 0 e1353: b76 - b82 - b93 <= 0 e1354: b76 - b83 - b94 <= 0 e1355: b76 - b84 - b95 <= 0 e1356: b76 - b85 - b96 <= 0 e1357: b76 - b86 - b97 <= 0 e1358: b76 - b87 - b98 <= 0 e1359: b77 - b78 - b99 <= 0 e1360: b77 - b79 - b100 <= 0 e1361: b77 - b80 - b101 <= 0 e1362: b77 - b81 - b102 <= 0 e1363: b77 - b82 - b103 <= 0 e1364: b77 - b83 - b104 <= 0 e1365: b77 - b84 - b105 <= 0 e1366: b77 - b85 - b106 <= 0 e1367: b77 - b86 - b107 <= 0 e1368: b77 - b87 - b108 <= 0 e1369: b78 - b79 - b109 <= 0 e1370: b78 - b80 - b110 <= 0 e1371: b78 - b81 - b111 <= 0 e1372: b78 - b82 - b112 <= 0 e1373: b78 - b83 - b113 <= 0 e1374: b78 - b84 - b114 <= 0 e1375: b78 - b85 - b115 <= 0 e1376: b78 - b86 - b116 <= 0 e1377: b78 - b87 - b117 <= 0 e1378: b79 - b80 - b118 <= 0 e1379: b79 - b81 - b119 <= 0 e1380: b79 - b82 - b120 <= 0 e1381: b79 - b83 - b121 <= 0 e1382: b79 - b84 - b122 <= 0 e1383: b79 - b85 - b123 <= 0 e1384: b79 - b86 - b124 <= 0 e1385: b79 - b87 - b125 <= 0 e1386: b80 - b81 - b126 <= 0 e1387: b80 - b82 - b127 <= 0 e1388: b80 - b83 - b128 <= 0 e1389: b80 - b84 - b129 <= 0 e1390: b80 - b85 - b130 <= 0 e1391: b80 - b86 - b131 <= 0 e1392: b80 - b87 - b132 <= 0 e1393: b81 - b82 - b133 <= 0 e1394: b81 - b83 - b134 <= 0 e1395: b81 - b84 - b135 <= 0 e1396: b81 - b85 - b136 <= 0 e1397: b81 - b86 - b137 <= 0 e1398: b81 - b87 - b138 <= 0 e1399: b82 - b83 - b139 <= 0 e1400: b82 - b84 - b140 <= 0 e1401: b82 - b85 - b141 <= 0 e1402: b82 - b86 - b142 <= 0 e1403: b82 - b87 - b143 <= 0 e1404: b83 - b84 - b144 <= 0 e1405: b83 - b85 - b145 <= 0 e1406: b83 - b86 - b146 <= 0 e1407: b83 - b87 - b147 <= 0 e1408: b84 - b85 - b148 <= 0 e1409: b84 - b86 - b149 <= 0 e1410: b84 - b87 - b150 <= 0 e1411: b85 - b86 - b151 <= 0 e1412: b85 - b87 - b152 <= 0 e1413: b86 - b87 - b153 <= 0 e1414: b88 - b89 - b99 <= 0 e1415: b88 - b90 - b100 <= 0 e1416: b88 - b91 - b101 <= 0 e1417: b88 - b92 - b102 <= 0 e1418: b88 - b93 - b103 <= 0 e1419: b88 - b94 - b104 <= 0 e1420: b88 - b95 - b105 <= 0 e1421: b88 - b96 - b106 <= 0 e1422: b88 - b97 - b107 <= 0 e1423: b88 - b98 - b108 <= 0 e1424: b89 - b90 - b109 <= 0 e1425: b89 - b91 - b110 <= 0 e1426: b89 - b92 - b111 <= 0 e1427: b89 - b93 - b112 <= 0 e1428: b89 - b94 - b113 <= 0 e1429: b89 - b95 - b114 <= 0 e1430: b89 - b96 - b115 <= 0 e1431: b89 - b97 - b116 <= 0 e1432: b89 - b98 - b117 <= 0 e1433: b90 - b91 - b118 <= 0 e1434: b90 - b92 - b119 <= 0 e1435: b90 - b93 - b120 <= 0 e1436: b90 - b94 - b121 <= 0 e1437: b90 - b95 - b122 <= 0 e1438: b90 - b96 - b123 <= 0 e1439: b90 - b97 - b124 <= 0 e1440: b90 - b98 - b125 <= 0 e1441: b91 - b92 - b126 <= 0 e1442: b91 - b93 - b127 <= 0 e1443: b91 - b94 - b128 <= 0 e1444: b91 - b95 - b129 <= 0 e1445: b91 - b96 - b130 <= 0 e1446: b91 - b97 - b131 <= 0 e1447: b91 - b98 - b132 <= 0 e1448: b92 - b93 - b133 <= 0 e1449: b92 - b94 - b134 <= 0 e1450: b92 - b95 - b135 <= 0 e1451: b92 - b96 - b136 <= 0 e1452: b92 - b97 - b137 <= 0 e1453: b92 - b98 - b138 <= 0 e1454: b93 - b94 - b139 <= 0 e1455: b93 - b95 - b140 <= 0 e1456: b93 - b96 - b141 <= 0 e1457: b93 - b97 - b142 <= 0 e1458: b93 - b98 - b143 <= 0 e1459: b94 - b95 - b144 <= 0 e1460: b94 - b96 - b145 <= 0 e1461: b94 - b97 - b146 <= 0 e1462: b94 - b98 - b147 <= 0 e1463: b95 - b96 - b148 <= 0 e1464: b95 - b97 - b149 <= 0 e1465: b95 - b98 - b150 <= 0 e1466: b96 - b97 - b151 <= 0 e1467: b96 - b98 - b152 <= 0 e1468: b97 - b98 - b153 <= 0 e1469: b99 - b100 - b109 <= 0 e1470: b99 - b101 - b110 <= 0 e1471: b99 - b102 - b111 <= 0 e1472: b99 - b103 - b112 <= 0 e1473: b99 - b104 - b113 <= 0 e1474: b99 - b105 - b114 <= 0 e1475: b99 - b106 - b115 <= 0 e1476: b99 - b107 - b116 <= 0 e1477: b99 - b108 - b117 <= 0 e1478: b100 - b101 - b118 <= 0 e1479: b100 - b102 - b119 <= 0 e1480: b100 - b103 - b120 <= 0 e1481: b100 - b104 - b121 <= 0 e1482: b100 - b105 - b122 <= 0 e1483: b100 - b106 - b123 <= 0 e1484: b100 - b107 - b124 <= 0 e1485: b100 - b108 - b125 <= 0 e1486: b101 - b102 - b126 <= 0 e1487: b101 - b103 - b127 <= 0 e1488: b101 - b104 - b128 <= 0 e1489: b101 - b105 - b129 <= 0 e1490: b101 - b106 - b130 <= 0 e1491: b101 - b107 - b131 <= 0 e1492: b101 - b108 - b132 <= 0 e1493: b102 - b103 - b133 <= 0 e1494: b102 - b104 - b134 <= 0 e1495: b102 - b105 - b135 <= 0 e1496: b102 - b106 - b136 <= 0 e1497: b102 - b107 - b137 <= 0 e1498: b102 - b108 - b138 <= 0 e1499: b103 - b104 - b139 <= 0 e1500: b103 - b105 - b140 <= 0 e1501: b103 - b106 - b141 <= 0 e1502: b103 - b107 - b142 <= 0 e1503: b103 - b108 - b143 <= 0 e1504: b104 - b105 - b144 <= 0 e1505: b104 - b106 - b145 <= 0 e1506: b104 - b107 - b146 <= 0 e1507: b104 - b108 - b147 <= 0 e1508: b105 - b106 - b148 <= 0 e1509: b105 - b107 - b149 <= 0 e1510: b105 - b108 - b150 <= 0 e1511: b106 - b107 - b151 <= 0 e1512: b106 - b108 - b152 <= 0 e1513: b107 - b108 - b153 <= 0 e1514: b109 - b110 - b118 <= 0 e1515: b109 - b111 - b119 <= 0 e1516: b109 - b112 - b120 <= 0 e1517: b109 - b113 - b121 <= 0 e1518: b109 - b114 - b122 <= 0 e1519: b109 - b115 - b123 <= 0 e1520: b109 - b116 - b124 <= 0 e1521: b109 - b117 - b125 <= 0 e1522: b110 - b111 - b126 <= 0 e1523: b110 - b112 - b127 <= 0 e1524: b110 - b113 - b128 <= 0 e1525: b110 - b114 - b129 <= 0 e1526: b110 - b115 - b130 <= 0 e1527: b110 - b116 - b131 <= 0 e1528: b110 - b117 - b132 <= 0 e1529: b111 - b112 - b133 <= 0 e1530: b111 - b113 - b134 <= 0 e1531: b111 - b114 - b135 <= 0 e1532: b111 - b115 - b136 <= 0 e1533: b111 - b116 - b137 <= 0 e1534: b111 - b117 - b138 <= 0 e1535: b112 - b113 - b139 <= 0 e1536: b112 - b114 - b140 <= 0 e1537: b112 - b115 - b141 <= 0 e1538: b112 - b116 - b142 <= 0 e1539: b112 - b117 - b143 <= 0 e1540: b113 - b114 - b144 <= 0 e1541: b113 - b115 - b145 <= 0 e1542: b113 - b116 - b146 <= 0 e1543: b113 - b117 - b147 <= 0 e1544: b114 - b115 - b148 <= 0 e1545: b114 - b116 - b149 <= 0 e1546: b114 - b117 - b150 <= 0 e1547: b115 - b116 - b151 <= 0 e1548: b115 - b117 - b152 <= 0 e1549: b116 - b117 - b153 <= 0 e1550: b118 - b119 - b126 <= 0 e1551: b118 - b120 - b127 <= 0 e1552: b118 - b121 - b128 <= 0 e1553: b118 - b122 - b129 <= 0 e1554: b118 - b123 - b130 <= 0 e1555: b118 - b124 - b131 <= 0 e1556: b118 - b125 - b132 <= 0 e1557: b119 - b120 - b133 <= 0 e1558: b119 - b121 - b134 <= 0 e1559: b119 - b122 - b135 <= 0 e1560: b119 - b123 - b136 <= 0 e1561: b119 - b124 - b137 <= 0 e1562: b119 - b125 - b138 <= 0 e1563: b120 - b121 - b139 <= 0 e1564: b120 - b122 - b140 <= 0 e1565: b120 - b123 - b141 <= 0 e1566: b120 - b124 - b142 <= 0 e1567: b120 - b125 - b143 <= 0 e1568: b121 - b122 - b144 <= 0 e1569: b121 - b123 - b145 <= 0 e1570: b121 - b124 - b146 <= 0 e1571: b121 - b125 - b147 <= 0 e1572: b122 - b123 - b148 <= 0 e1573: b122 - b124 - b149 <= 0 e1574: b122 - b125 - b150 <= 0 e1575: b123 - b124 - b151 <= 0 e1576: b123 - b125 - b152 <= 0 e1577: b124 - b125 - b153 <= 0 e1578: b126 - b127 - b133 <= 0 e1579: b126 - b128 - b134 <= 0 e1580: b126 - b129 - b135 <= 0 e1581: b126 - b130 - b136 <= 0 e1582: b126 - b131 - b137 <= 0 e1583: b126 - b132 - b138 <= 0 e1584: b127 - b128 - b139 <= 0 e1585: b127 - b129 - b140 <= 0 e1586: b127 - b130 - b141 <= 0 e1587: b127 - b131 - b142 <= 0 e1588: b127 - b132 - b143 <= 0 e1589: b128 - b129 - b144 <= 0 e1590: b128 - b130 - b145 <= 0 e1591: b128 - b131 - b146 <= 0 e1592: b128 - b132 - b147 <= 0 e1593: b129 - b130 - b148 <= 0 e1594: b129 - b131 - b149 <= 0 e1595: b129 - b132 - b150 <= 0 e1596: b130 - b131 - b151 <= 0 e1597: b130 - b132 - b152 <= 0 e1598: b131 - b132 - b153 <= 0 e1599: b133 - b134 - b139 <= 0 e1600: b133 - b135 - b140 <= 0 e1601: b133 - b136 - b141 <= 0 e1602: b133 - b137 - b142 <= 0 e1603: b133 - b138 - b143 <= 0 e1604: b134 - b135 - b144 <= 0 e1605: b134 - b136 - b145 <= 0 e1606: b134 - b137 - b146 <= 0 e1607: b134 - b138 - b147 <= 0 e1608: b135 - b136 - b148 <= 0 e1609: b135 - b137 - b149 <= 0 e1610: b135 - b138 - b150 <= 0 e1611: b136 - b137 - b151 <= 0 e1612: b136 - b138 - b152 <= 0 e1613: b137 - b138 - b153 <= 0 e1614: b139 - b140 - b144 <= 0 e1615: b139 - b141 - b145 <= 0 e1616: b139 - b142 - b146 <= 0 e1617: b139 - b143 - b147 <= 0 e1618: b140 - b141 - b148 <= 0 e1619: b140 - b142 - b149 <= 0 e1620: b140 - b143 - b150 <= 0 e1621: b141 - b142 - b151 <= 0 e1622: b141 - b143 - b152 <= 0 e1623: b142 - b143 - b153 <= 0 e1624: b144 - b145 - b148 <= 0 e1625: b144 - b146 - b149 <= 0 e1626: b144 - b147 - b150 <= 0 e1627: b145 - b146 - b151 <= 0 e1628: b145 - b147 - b152 <= 0 e1629: b146 - b147 - b153 <= 0 e1630: b148 - b149 - b151 <= 0 e1631: b148 - b150 - b152 <= 0 e1632: b149 - b150 - b153 <= 0 e1633: b151 - b152 - b153 <= 0 e1634: - b2 - b3 + b19 <= 0 e1635: - b2 - b4 + b154 <= 0 e1636: - b2 - b5 + b20 <= 0 e1637: - b2 - b6 + b21 <= 0 e1638: - b2 - b7 + b22 <= 0 e1639: - b2 - b8 + b23 <= 0 e1640: - b2 - b9 + b24 <= 0 e1641: - b2 - b10 + b25 <= 0 e1642: - b2 - b11 + b26 <= 0 e1643: - b2 - b12 + b27 <= 0 e1644: - b2 - b13 + b28 <= 0 e1645: - b2 - b14 + b29 <= 0 e1646: - b2 - b15 + b30 <= 0 e1647: - b2 - b16 + b31 <= 0 e1648: - b2 - b17 + b32 <= 0 e1649: - b2 - b18 + b33 <= 0 e1650: - b3 - b4 + b34 <= 0 e1651: - b3 - b5 + b35 <= 0 e1652: - b3 - b6 + b36 <= 0 e1653: - b3 - b7 + b37 <= 0 e1654: - b3 - b8 + b38 <= 0 e1655: - b3 - b9 + b39 <= 0 e1656: - b3 - b10 + b40 <= 0 e1657: - b3 - b11 + b41 <= 0 e1658: - b3 - b12 + b42 <= 0 e1659: - b3 - b13 + b43 <= 0 e1660: - b3 - b14 + b44 <= 0 e1661: - b3 - b15 + b45 <= 0 e1662: - b3 - b16 + b46 <= 0 e1663: - b3 - b17 + b47 <= 0 e1664: - b3 - b18 + b48 <= 0 e1665: - b4 - b5 + b49 <= 0 e1666: - b4 - b6 + b50 <= 0 e1667: - b4 - b7 + b51 <= 0 e1668: - b4 - b8 + b52 <= 0 e1669: - b4 - b9 + b53 <= 0 e1670: - b4 - b10 + b54 <= 0 e1671: - b4 - b11 + b55 <= 0 e1672: - b4 - b12 + b56 <= 0 e1673: - b4 - b13 + b57 <= 0 e1674: - b4 - b14 + b58 <= 0 e1675: - b4 - b15 + b59 <= 0 e1676: - b4 - b16 + b60 <= 0 e1677: - b4 - b17 + b61 <= 0 e1678: - b4 - b18 + b62 <= 0 e1679: - b5 - b6 + b63 <= 0 e1680: - b5 - b7 + b64 <= 0 e1681: - b5 - b8 + b65 <= 0 e1682: - b5 - b9 + b66 <= 0 e1683: - b5 - b10 + b67 <= 0 e1684: - b5 - b11 + b68 <= 0 e1685: - b5 - b12 + b69 <= 0 e1686: - b5 - b13 + b70 <= 0 e1687: - b5 - b14 + b71 <= 0 e1688: - b5 - b15 + b72 <= 0 e1689: - b5 - b16 + b73 <= 0 e1690: - b5 - b17 + b74 <= 0 e1691: - b5 - b18 + b75 <= 0 e1692: - b6 - b7 + b76 <= 0 e1693: - b6 - b8 + b77 <= 0 e1694: - b6 - b9 + b78 <= 0 e1695: - b6 - b10 + b79 <= 0 e1696: - b6 - b11 + b80 <= 0 e1697: - b6 - b12 + b81 <= 0 e1698: - b6 - b13 + b82 <= 0 e1699: - b6 - b14 + b83 <= 0 e1700: - b6 - b15 + b84 <= 0 e1701: - b6 - b16 + b85 <= 0 e1702: - b6 - b17 + b86 <= 0 e1703: - b6 - b18 + b87 <= 0 e1704: - b7 - b8 + b88 <= 0 e1705: - b7 - b9 + b89 <= 0 e1706: - b7 - b10 + b90 <= 0 e1707: - b7 - b11 + b91 <= 0 e1708: - b7 - b12 + b92 <= 0 e1709: - b7 - b13 + b93 <= 0 e1710: - b7 - b14 + b94 <= 0 e1711: - b7 - b15 + b95 <= 0 e1712: - b7 - b16 + b96 <= 0 e1713: - b7 - b17 + b97 <= 0 e1714: - b7 - b18 + b98 <= 0 e1715: - b8 - b9 + b99 <= 0 e1716: - b8 - b10 + b100 <= 0 e1717: - b8 - b11 + b101 <= 0 e1718: - b8 - b12 + b102 <= 0 e1719: - b8 - b13 + b103 <= 0 e1720: - b8 - b14 + b104 <= 0 e1721: - b8 - b15 + b105 <= 0 e1722: - b8 - b16 + b106 <= 0 e1723: - b8 - b17 + b107 <= 0 e1724: - b8 - b18 + b108 <= 0 e1725: - b9 - b10 + b109 <= 0 e1726: - b9 - b11 + b110 <= 0 e1727: - b9 - b12 + b111 <= 0 e1728: - b9 - b13 + b112 <= 0 e1729: - b9 - b14 + b113 <= 0 e1730: - b9 - b15 + b114 <= 0 e1731: - b9 - b16 + b115 <= 0 e1732: - b9 - b17 + b116 <= 0 e1733: - b9 - b18 + b117 <= 0 e1734: - b10 - b11 + b118 <= 0 e1735: - b10 - b12 + b119 <= 0 e1736: - b10 - b13 + b120 <= 0 e1737: - b10 - b14 + b121 <= 0 e1738: - b10 - b15 + b122 <= 0 e1739: - b10 - b16 + b123 <= 0 e1740: - b10 - b17 + b124 <= 0 e1741: - b10 - b18 + b125 <= 0 e1742: - b11 - b12 + b126 <= 0 e1743: - b11 - b13 + b127 <= 0 e1744: - b11 - b14 + b128 <= 0 e1745: - b11 - b15 + b129 <= 0 e1746: - b11 - b16 + b130 <= 0 e1747: - b11 - b17 + b131 <= 0 e1748: - b11 - b18 + b132 <= 0 e1749: - b12 - b13 + b133 <= 0 e1750: - b12 - b14 + b134 <= 0 e1751: - b12 - b15 + b135 <= 0 e1752: - b12 - b16 + b136 <= 0 e1753: - b12 - b17 + b137 <= 0 e1754: - b12 - b18 + b138 <= 0 e1755: - b13 - b14 + b139 <= 0 e1756: - b13 - b15 + b140 <= 0 e1757: - b13 - b16 + b141 <= 0 e1758: - b13 - b17 + b142 <= 0 e1759: - b13 - b18 + b143 <= 0 e1760: - b14 - b15 + b144 <= 0 e1761: - b14 - b16 + b145 <= 0 e1762: - b14 - b17 + b146 <= 0 e1763: - b14 - b18 + b147 <= 0 e1764: - b15 - b16 + b148 <= 0 e1765: - b15 - b17 + b149 <= 0 e1766: - b15 - b18 + b150 <= 0 e1767: - b16 - b17 + b151 <= 0 e1768: - b16 - b18 + b152 <= 0 e1769: - b17 - b18 + b153 <= 0 e1770: - b19 + b34 - b154 <= 0 e1771: - b19 - b20 + b35 <= 0 e1772: - b19 - b21 + b36 <= 0 e1773: - b19 - b22 + b37 <= 0 e1774: - b19 - b23 + b38 <= 0 e1775: - b19 - b24 + b39 <= 0 e1776: - b19 - b25 + b40 <= 0 e1777: - b19 - b26 + b41 <= 0 e1778: - b19 - b27 + b42 <= 0 e1779: - b19 - b28 + b43 <= 0 e1780: - b19 - b29 + b44 <= 0 e1781: - b19 - b30 + b45 <= 0 e1782: - b19 - b31 + b46 <= 0 e1783: - b19 - b32 + b47 <= 0 e1784: - b19 - b33 + b48 <= 0 e1785: - b20 + b49 - b154 <= 0 e1786: - b21 + b50 - b154 <= 0 e1787: - b22 + b51 - b154 <= 0 e1788: - b23 + b52 - b154 <= 0 e1789: - b24 + b53 - b154 <= 0 e1790: - b25 + b54 - b154 <= 0 e1791: - b26 + b55 - b154 <= 0 e1792: - b27 + b56 - b154 <= 0 e1793: - b28 + b57 - b154 <= 0 e1794: - b29 + b58 - b154 <= 0 e1795: - b30 + b59 - b154 <= 0 e1796: - b31 + b60 - b154 <= 0 e1797: - b32 + b61 - b154 <= 0 e1798: - b33 + b62 - b154 <= 0 e1799: - b20 - b21 + b63 <= 0 e1800: - b20 - b22 + b64 <= 0 e1801: - b20 - b23 + b65 <= 0 e1802: - b20 - b24 + b66 <= 0 e1803: - b20 - b25 + b67 <= 0 e1804: - b20 - b26 + b68 <= 0 e1805: - b20 - b27 + b69 <= 0 e1806: - b20 - b28 + b70 <= 0 e1807: - b20 - b29 + b71 <= 0 e1808: - b20 - b30 + b72 <= 0 e1809: - b20 - b31 + b73 <= 0 e1810: - b20 - b32 + b74 <= 0 e1811: - b20 - b33 + b75 <= 0 e1812: - b21 - b22 + b76 <= 0 e1813: - b21 - b23 + b77 <= 0 e1814: - b21 - b24 + b78 <= 0 e1815: - b21 - b25 + b79 <= 0 e1816: - b21 - b26 + b80 <= 0 e1817: - b21 - b27 + b81 <= 0 e1818: - b21 - b28 + b82 <= 0 e1819: - b21 - b29 + b83 <= 0 e1820: - b21 - b30 + b84 <= 0 e1821: - b21 - b31 + b85 <= 0 e1822: - b21 - b32 + b86 <= 0 e1823: - b21 - b33 + b87 <= 0 e1824: - b22 - b23 + b88 <= 0 e1825: - b22 - b24 + b89 <= 0 e1826: - b22 - b25 + b90 <= 0 e1827: - b22 - b26 + b91 <= 0 e1828: - b22 - b27 + b92 <= 0 e1829: - b22 - b28 + b93 <= 0 e1830: - b22 - b29 + b94 <= 0 e1831: - b22 - b30 + b95 <= 0 e1832: - b22 - b31 + b96 <= 0 e1833: - b22 - b32 + b97 <= 0 e1834: - b22 - b33 + b98 <= 0 e1835: - b23 - b24 + b99 <= 0 e1836: - b23 - b25 + b100 <= 0 e1837: - b23 - b26 + b101 <= 0 e1838: - b23 - b27 + b102 <= 0 e1839: - b23 - b28 + b103 <= 0 e1840: - b23 - b29 + b104 <= 0 e1841: - b23 - b30 + b105 <= 0 e1842: - b23 - b31 + b106 <= 0 e1843: - b23 - b32 + b107 <= 0 e1844: - b23 - b33 + b108 <= 0 e1845: - b24 - b25 + b109 <= 0 e1846: - b24 - b26 + b110 <= 0 e1847: - b24 - b27 + b111 <= 0 e1848: - b24 - b28 + b112 <= 0 e1849: - b24 - b29 + b113 <= 0 e1850: - b24 - b30 + b114 <= 0 e1851: - b24 - b31 + b115 <= 0 e1852: - b24 - b32 + b116 <= 0 e1853: - b24 - b33 + b117 <= 0 e1854: - b25 - b26 + b118 <= 0 e1855: - b25 - b27 + b119 <= 0 e1856: - b25 - b28 + b120 <= 0 e1857: - b25 - b29 + b121 <= 0 e1858: - b25 - b30 + b122 <= 0 e1859: - b25 - b31 + b123 <= 0 e1860: - b25 - b32 + b124 <= 0 e1861: - b25 - b33 + b125 <= 0 e1862: - b26 - b27 + b126 <= 0 e1863: - b26 - b28 + b127 <= 0 e1864: - b26 - b29 + b128 <= 0 e1865: - b26 - b30 + b129 <= 0 e1866: - b26 - b31 + b130 <= 0 e1867: - b26 - b32 + b131 <= 0 e1868: - b26 - b33 + b132 <= 0 e1869: - b27 - b28 + b133 <= 0 e1870: - b27 - b29 + b134 <= 0 e1871: - b27 - b30 + b135 <= 0 e1872: - b27 - b31 + b136 <= 0 e1873: - b27 - b32 + b137 <= 0 e1874: - b27 - b33 + b138 <= 0 e1875: - b28 - b29 + b139 <= 0 e1876: - b28 - b30 + b140 <= 0 e1877: - b28 - b31 + b141 <= 0 e1878: - b28 - b32 + b142 <= 0 e1879: - b28 - b33 + b143 <= 0 e1880: - b29 - b30 + b144 <= 0 e1881: - b29 - b31 + b145 <= 0 e1882: - b29 - b32 + b146 <= 0 e1883: - b29 - b33 + b147 <= 0 e1884: - b30 - b31 + b148 <= 0 e1885: - b30 - b32 + b149 <= 0 e1886: - b30 - b33 + b150 <= 0 e1887: - b31 - b32 + b151 <= 0 e1888: - b31 - b33 + b152 <= 0 e1889: - b32 - b33 + b153 <= 0 e1890: - b34 - b35 + b49 <= 0 e1891: - b34 - b36 + b50 <= 0 e1892: - b34 - b37 + b51 <= 0 e1893: - b34 - b38 + b52 <= 0 e1894: - b34 - b39 + b53 <= 0 e1895: - b34 - b40 + b54 <= 0 e1896: - b34 - b41 + b55 <= 0 e1897: - b34 - b42 + b56 <= 0 e1898: - b34 - b43 + b57 <= 0 e1899: - b34 - b44 + b58 <= 0 e1900: - b34 - b45 + b59 <= 0 e1901: - b34 - b46 + b60 <= 0 e1902: - b34 - b47 + b61 <= 0 e1903: - b34 - b48 + b62 <= 0 e1904: - b35 - b36 + b63 <= 0 e1905: - b35 - b37 + b64 <= 0 e1906: - b35 - b38 + b65 <= 0 e1907: - b35 - b39 + b66 <= 0 e1908: - b35 - b40 + b67 <= 0 e1909: - b35 - b41 + b68 <= 0 e1910: - b35 - b42 + b69 <= 0 e1911: - b35 - b43 + b70 <= 0 e1912: - b35 - b44 + b71 <= 0 e1913: - b35 - b45 + b72 <= 0 e1914: - b35 - b46 + b73 <= 0 e1915: - b35 - b47 + b74 <= 0 e1916: - b35 - b48 + b75 <= 0 e1917: - b36 - b37 + b76 <= 0 e1918: - b36 - b38 + b77 <= 0 e1919: - b36 - b39 + b78 <= 0 e1920: - b36 - b40 + b79 <= 0 e1921: - b36 - b41 + b80 <= 0 e1922: - b36 - b42 + b81 <= 0 e1923: - b36 - b43 + b82 <= 0 e1924: - b36 - b44 + b83 <= 0 e1925: - b36 - b45 + b84 <= 0 e1926: - b36 - b46 + b85 <= 0 e1927: - b36 - b47 + b86 <= 0 e1928: - b36 - b48 + b87 <= 0 e1929: - b37 - b38 + b88 <= 0 e1930: - b37 - b39 + b89 <= 0 e1931: - b37 - b40 + b90 <= 0 e1932: - b37 - b41 + b91 <= 0 e1933: - b37 - b42 + b92 <= 0 e1934: - b37 - b43 + b93 <= 0 e1935: - b37 - b44 + b94 <= 0 e1936: - b37 - b45 + b95 <= 0 e1937: - b37 - b46 + b96 <= 0 e1938: - b37 - b47 + b97 <= 0 e1939: - b37 - b48 + b98 <= 0 e1940: - b38 - b39 + b99 <= 0 e1941: - b38 - b40 + b100 <= 0 e1942: - b38 - b41 + b101 <= 0 e1943: - b38 - b42 + b102 <= 0 e1944: - b38 - b43 + b103 <= 0 e1945: - b38 - b44 + b104 <= 0 e1946: - b38 - b45 + b105 <= 0 e1947: - b38 - b46 + b106 <= 0 e1948: - b38 - b47 + b107 <= 0 e1949: - b38 - b48 + b108 <= 0 e1950: - b39 - b40 + b109 <= 0 e1951: - b39 - b41 + b110 <= 0 e1952: - b39 - b42 + b111 <= 0 e1953: - b39 - b43 + b112 <= 0 e1954: - b39 - b44 + b113 <= 0 e1955: - b39 - b45 + b114 <= 0 e1956: - b39 - b46 + b115 <= 0 e1957: - b39 - b47 + b116 <= 0 e1958: - b39 - b48 + b117 <= 0 e1959: - b40 - b41 + b118 <= 0 e1960: - b40 - b42 + b119 <= 0 e1961: - b40 - b43 + b120 <= 0 e1962: - b40 - b44 + b121 <= 0 e1963: - b40 - b45 + b122 <= 0 e1964: - b40 - b46 + b123 <= 0 e1965: - b40 - b47 + b124 <= 0 e1966: - b40 - b48 + b125 <= 0 e1967: - b41 - b42 + b126 <= 0 e1968: - b41 - b43 + b127 <= 0 e1969: - b41 - b44 + b128 <= 0 e1970: - b41 - b45 + b129 <= 0 e1971: - b41 - b46 + b130 <= 0 e1972: - b41 - b47 + b131 <= 0 e1973: - b41 - b48 + b132 <= 0 e1974: - b42 - b43 + b133 <= 0 e1975: - b42 - b44 + b134 <= 0 e1976: - b42 - b45 + b135 <= 0 e1977: - b42 - b46 + b136 <= 0 e1978: - b42 - b47 + b137 <= 0 e1979: - b42 - b48 + b138 <= 0 e1980: - b43 - b44 + b139 <= 0 e1981: - b43 - b45 + b140 <= 0 e1982: - b43 - b46 + b141 <= 0 e1983: - b43 - b47 + b142 <= 0 e1984: - b43 - b48 + b143 <= 0 e1985: - b44 - b45 + b144 <= 0 e1986: - b44 - b46 + b145 <= 0 e1987: - b44 - b47 + b146 <= 0 e1988: - b44 - b48 + b147 <= 0 e1989: - b45 - b46 + b148 <= 0 e1990: - b45 - b47 + b149 <= 0 e1991: - b45 - b48 + b150 <= 0 e1992: - b46 - b47 + b151 <= 0 e1993: - b46 - b48 + b152 <= 0 e1994: - b47 - b48 + b153 <= 0 e1995: - b49 - b50 + b63 <= 0 e1996: - b49 - b51 + b64 <= 0 e1997: - b49 - b52 + b65 <= 0 e1998: - b49 - b53 + b66 <= 0 e1999: - b49 - b54 + b67 <= 0 e2000: - b49 - b55 + b68 <= 0 e2001: - b49 - b56 + b69 <= 0 e2002: - b49 - b57 + b70 <= 0 e2003: - b49 - b58 + b71 <= 0 e2004: - b49 - b59 + b72 <= 0 e2005: - b49 - b60 + b73 <= 0 e2006: - b49 - b61 + b74 <= 0 e2007: - b49 - b62 + b75 <= 0 e2008: - b50 - b51 + b76 <= 0 e2009: - b50 - b52 + b77 <= 0 e2010: - b50 - b53 + b78 <= 0 e2011: - b50 - b54 + b79 <= 0 e2012: - b50 - b55 + b80 <= 0 e2013: - b50 - b56 + b81 <= 0 e2014: - b50 - b57 + b82 <= 0 e2015: - b50 - b58 + b83 <= 0 e2016: - b50 - b59 + b84 <= 0 e2017: - b50 - b60 + b85 <= 0 e2018: - b50 - b61 + b86 <= 0 e2019: - b50 - b62 + b87 <= 0 e2020: - b51 - b52 + b88 <= 0 e2021: - b51 - b53 + b89 <= 0 e2022: - b51 - b54 + b90 <= 0 e2023: - b51 - b55 + b91 <= 0 e2024: - b51 - b56 + b92 <= 0 e2025: - b51 - b57 + b93 <= 0 e2026: - b51 - b58 + b94 <= 0 e2027: - b51 - b59 + b95 <= 0 e2028: - b51 - b60 + b96 <= 0 e2029: - b51 - b61 + b97 <= 0 e2030: - b51 - b62 + b98 <= 0 e2031: - b52 - b53 + b99 <= 0 e2032: - b52 - b54 + b100 <= 0 e2033: - b52 - b55 + b101 <= 0 e2034: - b52 - b56 + b102 <= 0 e2035: - b52 - b57 + b103 <= 0 e2036: - b52 - b58 + b104 <= 0 e2037: - b52 - b59 + b105 <= 0 e2038: - b52 - b60 + b106 <= 0 e2039: - b52 - b61 + b107 <= 0 e2040: - b52 - b62 + b108 <= 0 e2041: - b53 - b54 + b109 <= 0 e2042: - b53 - b55 + b110 <= 0 e2043: - b53 - b56 + b111 <= 0 e2044: - b53 - b57 + b112 <= 0 e2045: - b53 - b58 + b113 <= 0 e2046: - b53 - b59 + b114 <= 0 e2047: - b53 - b60 + b115 <= 0 e2048: - b53 - b61 + b116 <= 0 e2049: - b53 - b62 + b117 <= 0 e2050: - b54 - b55 + b118 <= 0 e2051: - b54 - b56 + b119 <= 0 e2052: - b54 - b57 + b120 <= 0 e2053: - b54 - b58 + b121 <= 0 e2054: - b54 - b59 + b122 <= 0 e2055: - b54 - b60 + b123 <= 0 e2056: - b54 - b61 + b124 <= 0 e2057: - b54 - b62 + b125 <= 0 e2058: - b55 - b56 + b126 <= 0 e2059: - b55 - b57 + b127 <= 0 e2060: - b55 - b58 + b128 <= 0 e2061: - b55 - b59 + b129 <= 0 e2062: - b55 - b60 + b130 <= 0 e2063: - b55 - b61 + b131 <= 0 e2064: - b55 - b62 + b132 <= 0 e2065: - b56 - b57 + b133 <= 0 e2066: - b56 - b58 + b134 <= 0 e2067: - b56 - b59 + b135 <= 0 e2068: - b56 - b60 + b136 <= 0 e2069: - b56 - b61 + b137 <= 0 e2070: - b56 - b62 + b138 <= 0 e2071: - b57 - b58 + b139 <= 0 e2072: - b57 - b59 + b140 <= 0 e2073: - b57 - b60 + b141 <= 0 e2074: - b57 - b61 + b142 <= 0 e2075: - b57 - b62 + b143 <= 0 e2076: - b58 - b59 + b144 <= 0 e2077: - b58 - b60 + b145 <= 0 e2078: - b58 - b61 + b146 <= 0 e2079: - b58 - b62 + b147 <= 0 e2080: - b59 - b60 + b148 <= 0 e2081: - b59 - b61 + b149 <= 0 e2082: - b59 - b62 + b150 <= 0 e2083: - b60 - b61 + b151 <= 0 e2084: - b60 - b62 + b152 <= 0 e2085: - b61 - b62 + b153 <= 0 e2086: - b63 - b64 + b76 <= 0 e2087: - b63 - b65 + b77 <= 0 e2088: - b63 - b66 + b78 <= 0 e2089: - b63 - b67 + b79 <= 0 e2090: - b63 - b68 + b80 <= 0 e2091: - b63 - b69 + b81 <= 0 e2092: - b63 - b70 + b82 <= 0 e2093: - b63 - b71 + b83 <= 0 e2094: - b63 - b72 + b84 <= 0 e2095: - b63 - b73 + b85 <= 0 e2096: - b63 - b74 + b86 <= 0 e2097: - b63 - b75 + b87 <= 0 e2098: - b64 - b65 + b88 <= 0 e2099: - b64 - b66 + b89 <= 0 e2100: - b64 - b67 + b90 <= 0 e2101: - b64 - b68 + b91 <= 0 e2102: - b64 - b69 + b92 <= 0 e2103: - b64 - b70 + b93 <= 0 e2104: - b64 - b71 + b94 <= 0 e2105: - b64 - b72 + b95 <= 0 e2106: - b64 - b73 + b96 <= 0 e2107: - b64 - b74 + b97 <= 0 e2108: - b64 - b75 + b98 <= 0 e2109: - b65 - b66 + b99 <= 0 e2110: - b65 - b67 + b100 <= 0 e2111: - b65 - b68 + b101 <= 0 e2112: - b65 - b69 + b102 <= 0 e2113: - b65 - b70 + b103 <= 0 e2114: - b65 - b71 + b104 <= 0 e2115: - b65 - b72 + b105 <= 0 e2116: - b65 - b73 + b106 <= 0 e2117: - b65 - b74 + b107 <= 0 e2118: - b65 - b75 + b108 <= 0 e2119: - b66 - b67 + b109 <= 0 e2120: - b66 - b68 + b110 <= 0 e2121: - b66 - b69 + b111 <= 0 e2122: - b66 - b70 + b112 <= 0 e2123: - b66 - b71 + b113 <= 0 e2124: - b66 - b72 + b114 <= 0 e2125: - b66 - b73 + b115 <= 0 e2126: - b66 - b74 + b116 <= 0 e2127: - b66 - b75 + b117 <= 0 e2128: - b67 - b68 + b118 <= 0 e2129: - b67 - b69 + b119 <= 0 e2130: - b67 - b70 + b120 <= 0 e2131: - b67 - b71 + b121 <= 0 e2132: - b67 - b72 + b122 <= 0 e2133: - b67 - b73 + b123 <= 0 e2134: - b67 - b74 + b124 <= 0 e2135: - b67 - b75 + b125 <= 0 e2136: - b68 - b69 + b126 <= 0 e2137: - b68 - b70 + b127 <= 0 e2138: - b68 - b71 + b128 <= 0 e2139: - b68 - b72 + b129 <= 0 e2140: - b68 - b73 + b130 <= 0 e2141: - b68 - b74 + b131 <= 0 e2142: - b68 - b75 + b132 <= 0 e2143: - b69 - b70 + b133 <= 0 e2144: - b69 - b71 + b134 <= 0 e2145: - b69 - b72 + b135 <= 0 e2146: - b69 - b73 + b136 <= 0 e2147: - b69 - b74 + b137 <= 0 e2148: - b69 - b75 + b138 <= 0 e2149: - b70 - b71 + b139 <= 0 e2150: - b70 - b72 + b140 <= 0 e2151: - b70 - b73 + b141 <= 0 e2152: - b70 - b74 + b142 <= 0 e2153: - b70 - b75 + b143 <= 0 e2154: - b71 - b72 + b144 <= 0 e2155: - b71 - b73 + b145 <= 0 e2156: - b71 - b74 + b146 <= 0 e2157: - b71 - b75 + b147 <= 0 e2158: - b72 - b73 + b148 <= 0 e2159: - b72 - b74 + b149 <= 0 e2160: - b72 - b75 + b150 <= 0 e2161: - b73 - b74 + b151 <= 0 e2162: - b73 - b75 + b152 <= 0 e2163: - b74 - b75 + b153 <= 0 e2164: - b76 - b77 + b88 <= 0 e2165: - b76 - b78 + b89 <= 0 e2166: - b76 - b79 + b90 <= 0 e2167: - b76 - b80 + b91 <= 0 e2168: - b76 - b81 + b92 <= 0 e2169: - b76 - b82 + b93 <= 0 e2170: - b76 - b83 + b94 <= 0 e2171: - b76 - b84 + b95 <= 0 e2172: - b76 - b85 + b96 <= 0 e2173: - b76 - b86 + b97 <= 0 e2174: - b76 - b87 + b98 <= 0 e2175: - b77 - b78 + b99 <= 0 e2176: - b77 - b79 + b100 <= 0 e2177: - b77 - b80 + b101 <= 0 e2178: - b77 - b81 + b102 <= 0 e2179: - b77 - b82 + b103 <= 0 e2180: - b77 - b83 + b104 <= 0 e2181: - b77 - b84 + b105 <= 0 e2182: - b77 - b85 + b106 <= 0 e2183: - b77 - b86 + b107 <= 0 e2184: - b77 - b87 + b108 <= 0 e2185: - b78 - b79 + b109 <= 0 e2186: - b78 - b80 + b110 <= 0 e2187: - b78 - b81 + b111 <= 0 e2188: - b78 - b82 + b112 <= 0 e2189: - b78 - b83 + b113 <= 0 e2190: - b78 - b84 + b114 <= 0 e2191: - b78 - b85 + b115 <= 0 e2192: - b78 - b86 + b116 <= 0 e2193: - b78 - b87 + b117 <= 0 e2194: - b79 - b80 + b118 <= 0 e2195: - b79 - b81 + b119 <= 0 e2196: - b79 - b82 + b120 <= 0 e2197: - b79 - b83 + b121 <= 0 e2198: - b79 - b84 + b122 <= 0 e2199: - b79 - b85 + b123 <= 0 e2200: - b79 - b86 + b124 <= 0 e2201: - b79 - b87 + b125 <= 0 e2202: - b80 - b81 + b126 <= 0 e2203: - b80 - b82 + b127 <= 0 e2204: - b80 - b83 + b128 <= 0 e2205: - b80 - b84 + b129 <= 0 e2206: - b80 - b85 + b130 <= 0 e2207: - b80 - b86 + b131 <= 0 e2208: - b80 - b87 + b132 <= 0 e2209: - b81 - b82 + b133 <= 0 e2210: - b81 - b83 + b134 <= 0 e2211: - b81 - b84 + b135 <= 0 e2212: - b81 - b85 + b136 <= 0 e2213: - b81 - b86 + b137 <= 0 e2214: - b81 - b87 + b138 <= 0 e2215: - b82 - b83 + b139 <= 0 e2216: - b82 - b84 + b140 <= 0 e2217: - b82 - b85 + b141 <= 0 e2218: - b82 - b86 + b142 <= 0 e2219: - b82 - b87 + b143 <= 0 e2220: - b83 - b84 + b144 <= 0 e2221: - b83 - b85 + b145 <= 0 e2222: - b83 - b86 + b146 <= 0 e2223: - b83 - b87 + b147 <= 0 e2224: - b84 - b85 + b148 <= 0 e2225: - b84 - b86 + b149 <= 0 e2226: - b84 - b87 + b150 <= 0 e2227: - b85 - b86 + b151 <= 0 e2228: - b85 - b87 + b152 <= 0 e2229: - b86 - b87 + b153 <= 0 e2230: - b88 - b89 + b99 <= 0 e2231: - b88 - b90 + b100 <= 0 e2232: - b88 - b91 + b101 <= 0 e2233: - b88 - b92 + b102 <= 0 e2234: - b88 - b93 + b103 <= 0 e2235: - b88 - b94 + b104 <= 0 e2236: - b88 - b95 + b105 <= 0 e2237: - b88 - b96 + b106 <= 0 e2238: - b88 - b97 + b107 <= 0 e2239: - b88 - b98 + b108 <= 0 e2240: - b89 - b90 + b109 <= 0 e2241: - b89 - b91 + b110 <= 0 e2242: - b89 - b92 + b111 <= 0 e2243: - b89 - b93 + b112 <= 0 e2244: - b89 - b94 + b113 <= 0 e2245: - b89 - b95 + b114 <= 0 e2246: - b89 - b96 + b115 <= 0 e2247: - b89 - b97 + b116 <= 0 e2248: - b89 - b98 + b117 <= 0 e2249: - b90 - b91 + b118 <= 0 e2250: - b90 - b92 + b119 <= 0 e2251: - b90 - b93 + b120 <= 0 e2252: - b90 - b94 + b121 <= 0 e2253: - b90 - b95 + b122 <= 0 e2254: - b90 - b96 + b123 <= 0 e2255: - b90 - b97 + b124 <= 0 e2256: - b90 - b98 + b125 <= 0 e2257: - b91 - b92 + b126 <= 0 e2258: - b91 - b93 + b127 <= 0 e2259: - b91 - b94 + b128 <= 0 e2260: - b91 - b95 + b129 <= 0 e2261: - b91 - b96 + b130 <= 0 e2262: - b91 - b97 + b131 <= 0 e2263: - b91 - b98 + b132 <= 0 e2264: - b92 - b93 + b133 <= 0 e2265: - b92 - b94 + b134 <= 0 e2266: - b92 - b95 + b135 <= 0 e2267: - b92 - b96 + b136 <= 0 e2268: - b92 - b97 + b137 <= 0 e2269: - b92 - b98 + b138 <= 0 e2270: - b93 - b94 + b139 <= 0 e2271: - b93 - b95 + b140 <= 0 e2272: - b93 - b96 + b141 <= 0 e2273: - b93 - b97 + b142 <= 0 e2274: - b93 - b98 + b143 <= 0 e2275: - b94 - b95 + b144 <= 0 e2276: - b94 - b96 + b145 <= 0 e2277: - b94 - b97 + b146 <= 0 e2278: - b94 - b98 + b147 <= 0 e2279: - b95 - b96 + b148 <= 0 e2280: - b95 - b97 + b149 <= 0 e2281: - b95 - b98 + b150 <= 0 e2282: - b96 - b97 + b151 <= 0 e2283: - b96 - b98 + b152 <= 0 e2284: - b97 - b98 + b153 <= 0 e2285: - b99 - b100 + b109 <= 0 e2286: - b99 - b101 + b110 <= 0 e2287: - b99 - b102 + b111 <= 0 e2288: - b99 - b103 + b112 <= 0 e2289: - b99 - b104 + b113 <= 0 e2290: - b99 - b105 + b114 <= 0 e2291: - b99 - b106 + b115 <= 0 e2292: - b99 - b107 + b116 <= 0 e2293: - b99 - b108 + b117 <= 0 e2294: - b100 - b101 + b118 <= 0 e2295: - b100 - b102 + b119 <= 0 e2296: - b100 - b103 + b120 <= 0 e2297: - b100 - b104 + b121 <= 0 e2298: - b100 - b105 + b122 <= 0 e2299: - b100 - b106 + b123 <= 0 e2300: - b100 - b107 + b124 <= 0 e2301: - b100 - b108 + b125 <= 0 e2302: - b101 - b102 + b126 <= 0 e2303: - b101 - b103 + b127 <= 0 e2304: - b101 - b104 + b128 <= 0 e2305: - b101 - b105 + b129 <= 0 e2306: - b101 - b106 + b130 <= 0 e2307: - b101 - b107 + b131 <= 0 e2308: - b101 - b108 + b132 <= 0 e2309: - b102 - b103 + b133 <= 0 e2310: - b102 - b104 + b134 <= 0 e2311: - b102 - b105 + b135 <= 0 e2312: - b102 - b106 + b136 <= 0 e2313: - b102 - b107 + b137 <= 0 e2314: - b102 - b108 + b138 <= 0 e2315: - b103 - b104 + b139 <= 0 e2316: - b103 - b105 + b140 <= 0 e2317: - b103 - b106 + b141 <= 0 e2318: - b103 - b107 + b142 <= 0 e2319: - b103 - b108 + b143 <= 0 e2320: - b104 - b105 + b144 <= 0 e2321: - b104 - b106 + b145 <= 0 e2322: - b104 - b107 + b146 <= 0 e2323: - b104 - b108 + b147 <= 0 e2324: - b105 - b106 + b148 <= 0 e2325: - b105 - b107 + b149 <= 0 e2326: - b105 - b108 + b150 <= 0 e2327: - b106 - b107 + b151 <= 0 e2328: - b106 - b108 + b152 <= 0 e2329: - b107 - b108 + b153 <= 0 e2330: - b109 - b110 + b118 <= 0 e2331: - b109 - b111 + b119 <= 0 e2332: - b109 - b112 + b120 <= 0 e2333: - b109 - b113 + b121 <= 0 e2334: - b109 - b114 + b122 <= 0 e2335: - b109 - b115 + b123 <= 0 e2336: - b109 - b116 + b124 <= 0 e2337: - b109 - b117 + b125 <= 0 e2338: - b110 - b111 + b126 <= 0 e2339: - b110 - b112 + b127 <= 0 e2340: - b110 - b113 + b128 <= 0 e2341: - b110 - b114 + b129 <= 0 e2342: - b110 - b115 + b130 <= 0 e2343: - b110 - b116 + b131 <= 0 e2344: - b110 - b117 + b132 <= 0 e2345: - b111 - b112 + b133 <= 0 e2346: - b111 - b113 + b134 <= 0 e2347: - b111 - b114 + b135 <= 0 e2348: - b111 - b115 + b136 <= 0 e2349: - b111 - b116 + b137 <= 0 e2350: - b111 - b117 + b138 <= 0 e2351: - b112 - b113 + b139 <= 0 e2352: - b112 - b114 + b140 <= 0 e2353: - b112 - b115 + b141 <= 0 e2354: - b112 - b116 + b142 <= 0 e2355: - b112 - b117 + b143 <= 0 e2356: - b113 - b114 + b144 <= 0 e2357: - b113 - b115 + b145 <= 0 e2358: - b113 - b116 + b146 <= 0 e2359: - b113 - b117 + b147 <= 0 e2360: - b114 - b115 + b148 <= 0 e2361: - b114 - b116 + b149 <= 0 e2362: - b114 - b117 + b150 <= 0 e2363: - b115 - b116 + b151 <= 0 e2364: - b115 - b117 + b152 <= 0 e2365: - b116 - b117 + b153 <= 0 e2366: - b118 - b119 + b126 <= 0 e2367: - b118 - b120 + b127 <= 0 e2368: - b118 - b121 + b128 <= 0 e2369: - b118 - b122 + b129 <= 0 e2370: - b118 - b123 + b130 <= 0 e2371: - b118 - b124 + b131 <= 0 e2372: - b118 - b125 + b132 <= 0 e2373: - b119 - b120 + b133 <= 0 e2374: - b119 - b121 + b134 <= 0 e2375: - b119 - b122 + b135 <= 0 e2376: - b119 - b123 + b136 <= 0 e2377: - b119 - b124 + b137 <= 0 e2378: - b119 - b125 + b138 <= 0 e2379: - b120 - b121 + b139 <= 0 e2380: - b120 - b122 + b140 <= 0 e2381: - b120 - b123 + b141 <= 0 e2382: - b120 - b124 + b142 <= 0 e2383: - b120 - b125 + b143 <= 0 e2384: - b121 - b122 + b144 <= 0 e2385: - b121 - b123 + b145 <= 0 e2386: - b121 - b124 + b146 <= 0 e2387: - b121 - b125 + b147 <= 0 e2388: - b122 - b123 + b148 <= 0 e2389: - b122 - b124 + b149 <= 0 e2390: - b122 - b125 + b150 <= 0 e2391: - b123 - b124 + b151 <= 0 e2392: - b123 - b125 + b152 <= 0 e2393: - b124 - b125 + b153 <= 0 e2394: - b126 - b127 + b133 <= 0 e2395: - b126 - b128 + b134 <= 0 e2396: - b126 - b129 + b135 <= 0 e2397: - b126 - b130 + b136 <= 0 e2398: - b126 - b131 + b137 <= 0 e2399: - b126 - b132 + b138 <= 0 e2400: - b127 - b128 + b139 <= 0 e2401: - b127 - b129 + b140 <= 0 e2402: - b127 - b130 + b141 <= 0 e2403: - b127 - b131 + b142 <= 0 e2404: - b127 - b132 + b143 <= 0 e2405: - b128 - b129 + b144 <= 0 e2406: - b128 - b130 + b145 <= 0 e2407: - b128 - b131 + b146 <= 0 e2408: - b128 - b132 + b147 <= 0 e2409: - b129 - b130 + b148 <= 0 e2410: - b129 - b131 + b149 <= 0 e2411: - b129 - b132 + b150 <= 0 e2412: - b130 - b131 + b151 <= 0 e2413: - b130 - b132 + b152 <= 0 e2414: - b131 - b132 + b153 <= 0 e2415: - b133 - b134 + b139 <= 0 e2416: - b133 - b135 + b140 <= 0 e2417: - b133 - b136 + b141 <= 0 e2418: - b133 - b137 + b142 <= 0 e2419: - b133 - b138 + b143 <= 0 e2420: - b134 - b135 + b144 <= 0 e2421: - b134 - b136 + b145 <= 0 e2422: - b134 - b137 + b146 <= 0 e2423: - b134 - b138 + b147 <= 0 e2424: - b135 - b136 + b148 <= 0 e2425: - b135 - b137 + b149 <= 0 e2426: - b135 - b138 + b150 <= 0 e2427: - b136 - b137 + b151 <= 0 e2428: - b136 - b138 + b152 <= 0 e2429: - b137 - b138 + b153 <= 0 e2430: - b139 - b140 + b144 <= 0 e2431: - b139 - b141 + b145 <= 0 e2432: - b139 - b142 + b146 <= 0 e2433: - b139 - b143 + b147 <= 0 e2434: - b140 - b141 + b148 <= 0 e2435: - b140 - b142 + b149 <= 0 e2436: - b140 - b143 + b150 <= 0 e2437: - b141 - b142 + b151 <= 0 e2438: - b141 - b143 + b152 <= 0 e2439: - b142 - b143 + b153 <= 0 e2440: - b144 - b145 + b148 <= 0 e2441: - b144 - b146 + b149 <= 0 e2442: - b144 - b147 + b150 <= 0 e2443: - b145 - b146 + b151 <= 0 e2444: - b145 - b147 + b152 <= 0 e2445: - b146 - b147 + b153 <= 0 e2446: - b148 - b149 + b151 <= 0 e2447: - b148 - b150 + b152 <= 0 e2448: - b149 - b150 + b153 <= 0 e2449: - b151 - b152 + b153 <= 0 e2450: [ 90 b2 * b3 + 7.8e2 b2 * b5 + 100 b2 * b6 + 400 b2 * b7 + 40 b2 * b8 + 6.6e2 b2 * b9 + 7.4e2 b2 * b10 + 7.6e2 b2 * b11 + 1.9e2 b2 * b12 + 5.4e2 b2 * b13 + 4.7e2 b2 * b14 + 7.5e2 b2 * b15 + 30 b2 * b16 + 4.9e2 b2 * b17 + 5.3e2 b2 * b18 + 8.6e2 b3 * b4 + 300 b3 * b5 + 2.6e2 b3 * b6 + 8.8e2 b3 * b7 + 2.9e2 b3 * b8 + 2.6e2 b3 * b9 + 9.6e2 b3 * b10 + 4.5e2 b3 * b11 + 1.1e2 b3 * b12 + 800 b3 * b13 + 9.8e2 b3 * b14 + 2.7e2 b3 * b15 + 1.5e2 b3 * b16 + 1.4e2 b3 * b17 + 6.9e2 b3 * b18 + 7.6e2 b4 * b5 + 1.4e2 b4 * b6 + 4.7e2 b4 * b7 + 3.8e2 b4 * b8 + 60 b4 * b9 + 5.1e2 b4 * b10 + 5.6e2 b4 * b11 + 3.2e2 b4 * b12 + 7.9e2 b4 * b13 + 7.5e2 b4 * b14 + 3.9e2 b4 * b15 + 2.6e2 b4 * b16 + 20 b4 * b17 + 9.4e2 b4 * b18 + 7.6e2 b5 * b6 + 5.5e2 b5 * b7 + 800 b5 * b8 + 5.8e2 b5 * b9 + 3.4e2 b5 * b10 + 200 b5 * b11 + 8.8e2 b5 * b12 + 600 b5 * b13 + 1.7e2 b5 * b14 + 8.5e2 b5 * b15 + 7.1e2 b5 * b16 + 9.7e2 b5 * b17 + 8.3e2 b5 * b18 + 9.9e2 b6 * b7 + 6.4e2 b6 * b8 + 9.7e2 b6 * b9 + 6.8e2 b6 * b10 + 4.1e2 b6 * b11 + 6.3e2 b6 * b12 + 6.7e2 b6 * b13 + 3.1e2 b6 * b14 + 2.1e2 b6 * b15 + 7.1e2 b6 * b16 + 8.8e2 b6 * b17 + 5.3e2 b6 * b18 + 500 b7 * b8 + 6.3e2 b7 * b9 + 9.2e2 b7 * b10 + 2.9e2 b7 * b11 + 1.8e2 b7 * b12 + 8.6e2 b7 * b13 + 5.7e2 b7 * b14 + 7.3e2 b7 * b15 + 1.8e2 b7 * b16 + 1.5e2 b7 * b17 + 5.9e2 b7 * b18 + 3.9e2 b8 * b9 + 30 b8 * b10 + 1.9e2 b8 * b11 + 80 b8 * b12 + 8.8e2 b8 * b13 + 4.3e2 b8 * b14 + 5.7e2 b8 * b15 + 2.3e2 b8 * b16 + 9.4e2 b8 * b17 + 2.1e2 b8 * b18 + 7.2e2 b9 * b10 + 1.4e2 b9 * b11 + 1.4e2 b9 * b12 + 8.7e2 b9 * b13 + 3.3e2 b9 * b14 + 4.6e2 b9 * b15 + 80 b9 * b16 + 40 b9 * b17 + 3.4e2 b9 * b18 + 6.2e2 b10 * b11 + 5.5e2 b10 * b12 + 4.9e2 b10 * b13 + 60 b10 * b14 + 3.6e2 b10 * b15 + 6.7e2 b10 * b16 + 4.5e2 b10 * b17 + 9.3e2 b10 * b18 + 9.3e2 b11 * b12 + 6.3e2 b11 * b13 + 80 b11 * b14 + 5.2e2 b11 * b15 + 5.4e2 b11 * b16 + 6.4e2 b11 * b17 + 2.4e2 b11 * b18 + 1.4e2 b12 * b13 + 40 b12 * b14 + 1.9e2 b12 * b15 + 7.1e2 b12 * b16 + 2.8e2 b12 * b17 + 1.3e2 b12 * b18 + 4.5e2 b13 * b14 + 5.2e2 b13 * b15 + 7.9e2 b13 * b16 + 1.1e2 b13 * b17 + 400 b13 * b18 + 1.2e2 b14 * b15 + 5.7e2 b14 * b16 + 4.8e2 b14 * b17 + 1.7e2 b14 * b18 + 4.3e2 b15 * b16 + 6.2e2 b15 * b17 + 2.4e2 b15 * b18 + 4.5e2 b16 * b17 + 2.1e2 b16 * b18 + 600 b17 * b18 ] >= 23348 e2451: [ 2.6e2 b2 * b19 + 2.9e2 b2 * b20 + 7.3e2 b2 * b21 + 500 b2 * b22 + 4.7e2 b2 * b23 + 4.7e2 b2 * b24 + 5.6e2 b2 * b25 + 1.5e2 b2 * b26 + 8.5e2 b2 * b27 + 8.3e2 b2 * b28 + 5.3e2 b2 * b29 + 6.4e2 b2 * b30 + 3.5e2 b2 * b31 + 6.4e2 b2 * b32 + 8.9e2 b2 * b33 + 3.1e2 b2 * b154 + 300 b19 * b20 + 2.6e2 b19 * b21 + 8.8e2 b19 * b22 + 2.9e2 b19 * b23 + 2.6e2 b19 * b24 + 9.6e2 b19 * b25 + 4.5e2 b19 * b26 + 1.1e2 b19 * b27 + 800 b19 * b28 + 9.8e2 b19 * b29 + 2.7e2 b19 * b30 + 1.5e2 b19 * b31 + 1.4e2 b19 * b32 + 6.9e2 b19 * b33 + 8.6e2 b19 * b154 + 7.6e2 b20 * b21 + 5.5e2 b20 * b22 + 800 b20 * b23 + 5.8e2 b20 * b24 + 3.4e2 b20 * b25 + 200 b20 * b26 + 8.8e2 b20 * b27 + 600 b20 * b28 + 1.7e2 b20 * b29 + 8.5e2 b20 * b30 + 7.1e2 b20 * b31 + 9.7e2 b20 * b32 + 8.3e2 b20 * b33 + 7.6e2 b20 * b154 + 9.9e2 b21 * b22 + 6.4e2 b21 * b23 + 9.7e2 b21 * b24 + 6.8e2 b21 * b25 + 4.1e2 b21 * b26 + 6.3e2 b21 * b27 + 6.7e2 b21 * b28 + 3.1e2 b21 * b29 + 2.1e2 b21 * b30 + 7.1e2 b21 * b31 + 8.8e2 b21 * b32 + 5.3e2 b21 * b33 + 1.4e2 b21 * b154 + 500 b22 * b23 + 6.3e2 b22 * b24 + 9.2e2 b22 * b25 + 2.9e2 b22 * b26 + 1.8e2 b22 * b27 + 8.6e2 b22 * b28 + 5.7e2 b22 * b29 + 7.3e2 b22 * b30 + 1.8e2 b22 * b31 + 1.5e2 b22 * b32 + 5.9e2 b22 * b33 + 4.7e2 b22 * b154 + 3.9e2 b23 * b24 + 30 b23 * b25 + 1.9e2 b23 * b26 + 80 b23 * b27 + 8.8e2 b23 * b28 + 4.3e2 b23 * b29 + 5.7e2 b23 * b30 + 2.3e2 b23 * b31 + 9.4e2 b23 * b32 + 2.1e2 b23 * b33 + 3.8e2 b23 * b154 + 7.2e2 b24 * b25 + 1.4e2 b24 * b26 + 1.4e2 b24 * b27 + 8.7e2 b24 * b28 + 3.3e2 b24 * b29 + 4.6e2 b24 * b30 + 80 b24 * b31 + 40 b24 * b32 + 3.4e2 b24 * b33 + 60 b24 * b154 + 6.2e2 b25 * b26 + 5.5e2 b25 * b27 + 4.9e2 b25 * b28 + 60 b25 * b29 + 3.6e2 b25 * b30 + 6.7e2 b25 * b31 + 4.5e2 b25 * b32 + 9.3e2 b25 * b33 + 5.1e2 b25 * b154 + 9.3e2 b26 * b27 + 6.3e2 b26 * b28 + 80 b26 * b29 + 5.2e2 b26 * b30 + 5.4e2 b26 * b31 + 6.4e2 b26 * b32 + 2.4e2 b26 * b33 + 5.6e2 b26 * b154 + 1.4e2 b27 * b28 + 40 b27 * b29 + 1.9e2 b27 * b30 + 7.1e2 b27 * b31 + 2.8e2 b27 * b32 + 1.3e2 b27 * b33 + 3.2e2 b27 * b154 + 4.5e2 b28 * b29 + 5.2e2 b28 * b30 + 7.9e2 b28 * b31 + 1.1e2 b28 * b32 + 400 b28 * b33 + 7.9e2 b28 * b154 + 1.2e2 b29 * b30 + 5.7e2 b29 * b31 + 4.8e2 b29 * b32 + 1.7e2 b29 * b33 + 7.5e2 b29 * b154 + 4.3e2 b30 * b31 + 6.2e2 b30 * b32 + 2.4e2 b30 * b33 + 3.9e2 b30 * b154 + 4.5e2 b31 * b32 + 2.1e2 b31 * b33 + 2.6e2 b31 * b154 + 600 b32 * b33 + 20 b32 * b154 + 9.4e2 b33 * b154 ] >= 23348 e2452: [ 20 b3 * b19 + 3.1e2 b3 * b34 + 2.9e2 b3 * b35 + 7.3e2 b3 * b36 + 500 b3 * b37 + 4.7e2 b3 * b38 + 4.7e2 b3 * b39 + 5.6e2 b3 * b40 + 1.5e2 b3 * b41 + 8.5e2 b3 * b42 + 8.3e2 b3 * b43 + 5.3e2 b3 * b44 + 6.4e2 b3 * b45 + 3.5e2 b3 * b46 + 6.4e2 b3 * b47 + 8.9e2 b3 * b48 + 7.8e2 b19 * b35 + 100 b19 * b36 + 400 b19 * b37 + 40 b19 * b38 + 6.6e2 b19 * b39 + 7.4e2 b19 * b40 + 7.6e2 b19 * b41 + 1.9e2 b19 * b42 + 5.4e2 b19 * b43 + 4.7e2 b19 * b44 + 7.5e2 b19 * b45 + 30 b19 * b46 + 4.9e2 b19 * b47 + 5.3e2 b19 * b48 + 7.6e2 b34 * b35 + 1.4e2 b34 * b36 + 4.7e2 b34 * b37 + 3.8e2 b34 * b38 + 60 b34 * b39 + 5.1e2 b34 * b40 + 5.6e2 b34 * b41 + 3.2e2 b34 * b42 + 7.9e2 b34 * b43 + 7.5e2 b34 * b44 + 3.9e2 b34 * b45 + 2.6e2 b34 * b46 + 20 b34 * b47 + 9.4e2 b34 * b48 + 7.6e2 b35 * b36 + 5.5e2 b35 * b37 + 800 b35 * b38 + 5.8e2 b35 * b39 + 3.4e2 b35 * b40 + 200 b35 * b41 + 8.8e2 b35 * b42 + 600 b35 * b43 + 1.7e2 b35 * b44 + 8.5e2 b35 * b45 + 7.1e2 b35 * b46 + 9.7e2 b35 * b47 + 8.3e2 b35 * b48 + 9.9e2 b36 * b37 + 6.4e2 b36 * b38 + 9.7e2 b36 * b39 + 6.8e2 b36 * b40 + 4.1e2 b36 * b41 + 6.3e2 b36 * b42 + 6.7e2 b36 * b43 + 3.1e2 b36 * b44 + 2.1e2 b36 * b45 + 7.1e2 b36 * b46 + 8.8e2 b36 * b47 + 5.3e2 b36 * b48 + 500 b37 * b38 + 6.3e2 b37 * b39 + 9.2e2 b37 * b40 + 2.9e2 b37 * b41 + 1.8e2 b37 * b42 + 8.6e2 b37 * b43 + 5.7e2 b37 * b44 + 7.3e2 b37 * b45 + 1.8e2 b37 * b46 + 1.5e2 b37 * b47 + 5.9e2 b37 * b48 + 3.9e2 b38 * b39 + 30 b38 * b40 + 1.9e2 b38 * b41 + 80 b38 * b42 + 8.8e2 b38 * b43 + 4.3e2 b38 * b44 + 5.7e2 b38 * b45 + 2.3e2 b38 * b46 + 9.4e2 b38 * b47 + 2.1e2 b38 * b48 + 7.2e2 b39 * b40 + 1.4e2 b39 * b41 + 1.4e2 b39 * b42 + 8.7e2 b39 * b43 + 3.3e2 b39 * b44 + 4.6e2 b39 * b45 + 80 b39 * b46 + 40 b39 * b47 + 3.4e2 b39 * b48 + 6.2e2 b40 * b41 + 5.5e2 b40 * b42 + 4.9e2 b40 * b43 + 60 b40 * b44 + 3.6e2 b40 * b45 + 6.7e2 b40 * b46 + 4.5e2 b40 * b47 + 9.3e2 b40 * b48 + 9.3e2 b41 * b42 + 6.3e2 b41 * b43 + 80 b41 * b44 + 5.2e2 b41 * b45 + 5.4e2 b41 * b46 + 6.4e2 b41 * b47 + 2.4e2 b41 * b48 + 1.4e2 b42 * b43 + 40 b42 * b44 + 1.9e2 b42 * b45 + 7.1e2 b42 * b46 + 2.8e2 b42 * b47 + 1.3e2 b42 * b48 + 4.5e2 b43 * b44 + 5.2e2 b43 * b45 + 7.9e2 b43 * b46 + 1.1e2 b43 * b47 + 400 b43 * b48 + 1.2e2 b44 * b45 + 5.7e2 b44 * b46 + 4.8e2 b44 * b47 + 1.7e2 b44 * b48 + 4.3e2 b45 * b46 + 6.2e2 b45 * b47 + 2.4e2 b45 * b48 + 4.5e2 b46 * b47 + 2.1e2 b46 * b48 + 600 b47 * b48 ] >= 23348 e2453: [ 2.6e2 b4 * b34 + 2.9e2 b4 * b49 + 7.3e2 b4 * b50 + 500 b4 * b51 + 4.7e2 b4 * b52 + 4.7e2 b4 * b53 + 5.6e2 b4 * b54 + 1.5e2 b4 * b55 + 8.5e2 b4 * b56 + 8.3e2 b4 * b57 + 5.3e2 b4 * b58 + 6.4e2 b4 * b59 + 3.5e2 b4 * b60 + 6.4e2 b4 * b61 + 8.9e2 b4 * b62 + 20 b4 * b154 + 300 b34 * b49 + 2.6e2 b34 * b50 + 8.8e2 b34 * b51 + 2.9e2 b34 * b52 + 2.6e2 b34 * b53 + 9.6e2 b34 * b54 + 4.5e2 b34 * b55 + 1.1e2 b34 * b56 + 800 b34 * b57 + 9.8e2 b34 * b58 + 2.7e2 b34 * b59 + 1.5e2 b34 * b60 + 1.4e2 b34 * b61 + 6.9e2 b34 * b62 + 90 b34 * b154 + 7.6e2 b49 * b50 + 5.5e2 b49 * b51 + 800 b49 * b52 + 5.8e2 b49 * b53 + 3.4e2 b49 * b54 + 200 b49 * b55 + 8.8e2 b49 * b56 + 600 b49 * b57 + 1.7e2 b49 * b58 + 8.5e2 b49 * b59 + 7.1e2 b49 * b60 + 9.7e2 b49 * b61 + 8.3e2 b49 * b62 + 7.8e2 b49 * b154 + 9.9e2 b50 * b51 + 6.4e2 b50 * b52 + 9.7e2 b50 * b53 + 6.8e2 b50 * b54 + 4.1e2 b50 * b55 + 6.3e2 b50 * b56 + 6.7e2 b50 * b57 + 3.1e2 b50 * b58 + 2.1e2 b50 * b59 + 7.1e2 b50 * b60 + 8.8e2 b50 * b61 + 5.3e2 b50 * b62 + 100 b50 * b154 + 500 b51 * b52 + 6.3e2 b51 * b53 + 9.2e2 b51 * b54 + 2.9e2 b51 * b55 + 1.8e2 b51 * b56 + 8.6e2 b51 * b57 + 5.7e2 b51 * b58 + 7.3e2 b51 * b59 + 1.8e2 b51 * b60 + 1.5e2 b51 * b61 + 5.9e2 b51 * b62 + 400 b51 * b154 + 3.9e2 b52 * b53 + 30 b52 * b54 + 1.9e2 b52 * b55 + 80 b52 * b56 + 8.8e2 b52 * b57 + 4.3e2 b52 * b58 + 5.7e2 b52 * b59 + 2.3e2 b52 * b60 + 9.4e2 b52 * b61 + 2.1e2 b52 * b62 + 40 b52 * b154 + 7.2e2 b53 * b54 + 1.4e2 b53 * b55 + 1.4e2 b53 * b56 + 8.7e2 b53 * b57 + 3.3e2 b53 * b58 + 4.6e2 b53 * b59 + 80 b53 * b60 + 40 b53 * b61 + 3.4e2 b53 * b62 + 6.6e2 b53 * b154 + 6.2e2 b54 * b55 + 5.5e2 b54 * b56 + 4.9e2 b54 * b57 + 60 b54 * b58 + 3.6e2 b54 * b59 + 6.7e2 b54 * b60 + 4.5e2 b54 * b61 + 9.3e2 b54 * b62 + 7.4e2 b54 * b154 + 9.3e2 b55 * b56 + 6.3e2 b55 * b57 + 80 b55 * b58 + 5.2e2 b55 * b59 + 5.4e2 b55 * b60 + 6.4e2 b55 * b61 + 2.4e2 b55 * b62 + 7.6e2 b55 * b154 + 1.4e2 b56 * b57 + 40 b56 * b58 + 1.9e2 b56 * b59 + 7.1e2 b56 * b60 + 2.8e2 b56 * b61 + 1.3e2 b56 * b62 + 1.9e2 b56 * b154 + 4.5e2 b57 * b58 + 5.2e2 b57 * b59 + 7.9e2 b57 * b60 + 1.1e2 b57 * b61 + 400 b57 * b62 + 5.4e2 b57 * b154 + 1.2e2 b58 * b59 + 5.7e2 b58 * b60 + 4.8e2 b58 * b61 + 1.7e2 b58 * b62 + 4.7e2 b58 * b154 + 4.3e2 b59 * b60 + 6.2e2 b59 * b61 + 2.4e2 b59 * b62 + 7.5e2 b59 * b154 + 4.5e2 b60 * b61 + 2.1e2 b60 * b62 + 30 b60 * b154 + 600 b61 * b62 + 4.9e2 b61 * b154 + 5.3e2 b62 * b154 ] >= 23348 e2454: [ 20 b5 * b20 + 2.6e2 b5 * b35 + 3.1e2 b5 * b49 + 7.3e2 b5 * b63 + 500 b5 * b64 + 4.7e2 b5 * b65 + 4.7e2 b5 * b66 + 5.6e2 b5 * b67 + 1.5e2 b5 * b68 + 8.5e2 b5 * b69 + 8.3e2 b5 * b70 + 5.3e2 b5 * b71 + 6.4e2 b5 * b72 + 3.5e2 b5 * b73 + 6.4e2 b5 * b74 + 8.9e2 b5 * b75 + 90 b20 * b35 + 100 b20 * b63 + 400 b20 * b64 + 40 b20 * b65 + 6.6e2 b20 * b66 + 7.4e2 b20 * b67 + 7.6e2 b20 * b68 + 1.9e2 b20 * b69 + 5.4e2 b20 * b70 + 4.7e2 b20 * b71 + 7.5e2 b20 * b72 + 30 b20 * b73 + 4.9e2 b20 * b74 + 5.3e2 b20 * b75 + 8.6e2 b35 * b49 + 2.6e2 b35 * b63 + 8.8e2 b35 * b64 + 2.9e2 b35 * b65 + 2.6e2 b35 * b66 + 9.6e2 b35 * b67 + 4.5e2 b35 * b68 + 1.1e2 b35 * b69 + 800 b35 * b70 + 9.8e2 b35 * b71 + 2.7e2 b35 * b72 + 1.5e2 b35 * b73 + 1.4e2 b35 * b74 + 6.9e2 b35 * b75 + 1.4e2 b49 * b63 + 4.7e2 b49 * b64 + 3.8e2 b49 * b65 + 60 b49 * b66 + 5.1e2 b49 * b67 + 5.6e2 b49 * b68 + 3.2e2 b49 * b69 + 7.9e2 b49 * b70 + 7.5e2 b49 * b71 + 3.9e2 b49 * b72 + 2.6e2 b49 * b73 + 20 b49 * b74 + 9.4e2 b49 * b75 + 9.9e2 b63 * b64 + 6.4e2 b63 * b65 + 9.7e2 b63 * b66 + 6.8e2 b63 * b67 + 4.1e2 b63 * b68 + 6.3e2 b63 * b69 + 6.7e2 b63 * b70 + 3.1e2 b63 * b71 + 2.1e2 b63 * b72 + 7.1e2 b63 * b73 + 8.8e2 b63 * b74 + 5.3e2 b63 * b75 + 500 b64 * b65 + 6.3e2 b64 * b66 + 9.2e2 b64 * b67 + 2.9e2 b64 * b68 + 1.8e2 b64 * b69 + 8.6e2 b64 * b70 + 5.7e2 b64 * b71 + 7.3e2 b64 * b72 + 1.8e2 b64 * b73 + 1.5e2 b64 * b74 + 5.9e2 b64 * b75 + 3.9e2 b65 * b66 + 30 b65 * b67 + 1.9e2 b65 * b68 + 80 b65 * b69 + 8.8e2 b65 * b70 + 4.3e2 b65 * b71 + 5.7e2 b65 * b72 + 2.3e2 b65 * b73 + 9.4e2 b65 * b74 + 2.1e2 b65 * b75 + 7.2e2 b66 * b67 + 1.4e2 b66 * b68 + 1.4e2 b66 * b69 + 8.7e2 b66 * b70 + 3.3e2 b66 * b71 + 4.6e2 b66 * b72 + 80 b66 * b73 + 40 b66 * b74 + 3.4e2 b66 * b75 + 6.2e2 b67 * b68 + 5.5e2 b67 * b69 + 4.9e2 b67 * b70 + 60 b67 * b71 + 3.6e2 b67 * b72 + 6.7e2 b67 * b73 + 4.5e2 b67 * b74 + 9.3e2 b67 * b75 + 9.3e2 b68 * b69 + 6.3e2 b68 * b70 + 80 b68 * b71 + 5.2e2 b68 * b72 + 5.4e2 b68 * b73 + 6.4e2 b68 * b74 + 2.4e2 b68 * b75 + 1.4e2 b69 * b70 + 40 b69 * b71 + 1.9e2 b69 * b72 + 7.1e2 b69 * b73 + 2.8e2 b69 * b74 + 1.3e2 b69 * b75 + 4.5e2 b70 * b71 + 5.2e2 b70 * b72 + 7.9e2 b70 * b73 + 1.1e2 b70 * b74 + 400 b70 * b75 + 1.2e2 b71 * b72 + 5.7e2 b71 * b73 + 4.8e2 b71 * b74 + 1.7e2 b71 * b75 + 4.3e2 b72 * b73 + 6.2e2 b72 * b74 + 2.4e2 b72 * b75 + 4.5e2 b73 * b74 + 2.1e2 b73 * b75 + 600 b74 * b75 ] >= 23348 e2455: [ 20 b6 * b21 + 2.6e2 b6 * b36 + 3.1e2 b6 * b50 + 2.9e2 b6 * b63 + 500 b6 * b76 + 4.7e2 b6 * b77 + 4.7e2 b6 * b78 + 5.6e2 b6 * b79 + 1.5e2 b6 * b80 + 8.5e2 b6 * b81 + 8.3e2 b6 * b82 + 5.3e2 b6 * b83 + 6.4e2 b6 * b84 + 3.5e2 b6 * b85 + 6.4e2 b6 * b86 + 8.9e2 b6 * b87 + 90 b21 * b36 + 7.8e2 b21 * b63 + 400 b21 * b76 + 40 b21 * b77 + 6.6e2 b21 * b78 + 7.4e2 b21 * b79 + 7.6e2 b21 * b80 + 1.9e2 b21 * b81 + 5.4e2 b21 * b82 + 4.7e2 b21 * b83 + 7.5e2 b21 * b84 + 30 b21 * b85 + 4.9e2 b21 * b86 + 5.3e2 b21 * b87 + 8.6e2 b36 * b50 + 300 b36 * b63 + 8.8e2 b36 * b76 + 2.9e2 b36 * b77 + 2.6e2 b36 * b78 + 9.6e2 b36 * b79 + 4.5e2 b36 * b80 + 1.1e2 b36 * b81 + 800 b36 * b82 + 9.8e2 b36 * b83 + 2.7e2 b36 * b84 + 1.5e2 b36 * b85 + 1.4e2 b36 * b86 + 6.9e2 b36 * b87 + 7.6e2 b50 * b63 + 4.7e2 b50 * b76 + 3.8e2 b50 * b77 + 60 b50 * b78 + 5.1e2 b50 * b79 + 5.6e2 b50 * b80 + 3.2e2 b50 * b81 + 7.9e2 b50 * b82 + 7.5e2 b50 * b83 + 3.9e2 b50 * b84 + 2.6e2 b50 * b85 + 20 b50 * b86 + 9.4e2 b50 * b87 + 5.5e2 b63 * b76 + 800 b63 * b77 + 5.8e2 b63 * b78 + 3.4e2 b63 * b79 + 200 b63 * b80 + 8.8e2 b63 * b81 + 600 b63 * b82 + 1.7e2 b63 * b83 + 8.5e2 b63 * b84 + 7.1e2 b63 * b85 + 9.7e2 b63 * b86 + 8.3e2 b63 * b87 + 500 b76 * b77 + 6.3e2 b76 * b78 + 9.2e2 b76 * b79 + 2.9e2 b76 * b80 + 1.8e2 b76 * b81 + 8.6e2 b76 * b82 + 5.7e2 b76 * b83 + 7.3e2 b76 * b84 + 1.8e2 b76 * b85 + 1.5e2 b76 * b86 + 5.9e2 b76 * b87 + 3.9e2 b77 * b78 + 30 b77 * b79 + 1.9e2 b77 * b80 + 80 b77 * b81 + 8.8e2 b77 * b82 + 4.3e2 b77 * b83 + 5.7e2 b77 * b84 + 2.3e2 b77 * b85 + 9.4e2 b77 * b86 + 2.1e2 b77 * b87 + 7.2e2 b78 * b79 + 1.4e2 b78 * b80 + 1.4e2 b78 * b81 + 8.7e2 b78 * b82 + 3.3e2 b78 * b83 + 4.6e2 b78 * b84 + 80 b78 * b85 + 40 b78 * b86 + 3.4e2 b78 * b87 + 6.2e2 b79 * b80 + 5.5e2 b79 * b81 + 4.9e2 b79 * b82 + 60 b79 * b83 + 3.6e2 b79 * b84 + 6.7e2 b79 * b85 + 4.5e2 b79 * b86 + 9.3e2 b79 * b87 + 9.3e2 b80 * b81 + 6.3e2 b80 * b82 + 80 b80 * b83 + 5.2e2 b80 * b84 + 5.4e2 b80 * b85 + 6.4e2 b80 * b86 + 2.4e2 b80 * b87 + 1.4e2 b81 * b82 + 40 b81 * b83 + 1.9e2 b81 * b84 + 7.1e2 b81 * b85 + 2.8e2 b81 * b86 + 1.3e2 b81 * b87 + 4.5e2 b82 * b83 + 5.2e2 b82 * b84 + 7.9e2 b82 * b85 + 1.1e2 b82 * b86 + 400 b82 * b87 + 1.2e2 b83 * b84 + 5.7e2 b83 * b85 + 4.8e2 b83 * b86 + 1.7e2 b83 * b87 + 4.3e2 b84 * b85 + 6.2e2 b84 * b86 + 2.4e2 b84 * b87 + 4.5e2 b85 * b86 + 2.1e2 b85 * b87 + 600 b86 * b87 ] >= 23348 e2456: [ 20 b7 * b22 + 2.6e2 b7 * b37 + 3.1e2 b7 * b51 + 2.9e2 b7 * b64 + 7.3e2 b7 * b76 + 4.7e2 b7 * b88 + 4.7e2 b7 * b89 + 5.6e2 b7 * b90 + 1.5e2 b7 * b91 + 8.5e2 b7 * b92 + 8.3e2 b7 * b93 + 5.3e2 b7 * b94 + 6.4e2 b7 * b95 + 3.5e2 b7 * b96 + 6.4e2 b7 * b97 + 8.9e2 b7 * b98 + 90 b22 * b37 + 7.8e2 b22 * b64 + 100 b22 * b76 + 40 b22 * b88 + 6.6e2 b22 * b89 + 7.4e2 b22 * b90 + 7.6e2 b22 * b91 + 1.9e2 b22 * b92 + 5.4e2 b22 * b93 + 4.7e2 b22 * b94 + 7.5e2 b22 * b95 + 30 b22 * b96 + 4.9e2 b22 * b97 + 5.3e2 b22 * b98 + 8.6e2 b37 * b51 + 300 b37 * b64 + 2.6e2 b37 * b76 + 2.9e2 b37 * b88 + 2.6e2 b37 * b89 + 9.6e2 b37 * b90 + 4.5e2 b37 * b91 + 1.1e2 b37 * b92 + 800 b37 * b93 + 9.8e2 b37 * b94 + 2.7e2 b37 * b95 + 1.5e2 b37 * b96 + 1.4e2 b37 * b97 + 6.9e2 b37 * b98 + 7.6e2 b51 * b64 + 1.4e2 b51 * b76 + 3.8e2 b51 * b88 + 60 b51 * b89 + 5.1e2 b51 * b90 + 5.6e2 b51 * b91 + 3.2e2 b51 * b92 + 7.9e2 b51 * b93 + 7.5e2 b51 * b94 + 3.9e2 b51 * b95 + 2.6e2 b51 * b96 + 20 b51 * b97 + 9.4e2 b51 * b98 + 7.6e2 b64 * b76 + 800 b64 * b88 + 5.8e2 b64 * b89 + 3.4e2 b64 * b90 + 200 b64 * b91 + 8.8e2 b64 * b92 + 600 b64 * b93 + 1.7e2 b64 * b94 + 8.5e2 b64 * b95 + 7.1e2 b64 * b96 + 9.7e2 b64 * b97 + 8.3e2 b64 * b98 + 6.4e2 b76 * b88 + 9.7e2 b76 * b89 + 6.8e2 b76 * b90 + 4.1e2 b76 * b91 + 6.3e2 b76 * b92 + 6.7e2 b76 * b93 + 3.1e2 b76 * b94 + 2.1e2 b76 * b95 + 7.1e2 b76 * b96 + 8.8e2 b76 * b97 + 5.3e2 b76 * b98 + 3.9e2 b88 * b89 + 30 b88 * b90 + 1.9e2 b88 * b91 + 80 b88 * b92 + 8.8e2 b88 * b93 + 4.3e2 b88 * b94 + 5.7e2 b88 * b95 + 2.3e2 b88 * b96 + 9.4e2 b88 * b97 + 2.1e2 b88 * b98 + 7.2e2 b89 * b90 + 1.4e2 b89 * b91 + 1.4e2 b89 * b92 + 8.7e2 b89 * b93 + 3.3e2 b89 * b94 + 4.6e2 b89 * b95 + 80 b89 * b96 + 40 b89 * b97 + 3.4e2 b89 * b98 + 6.2e2 b90 * b91 + 5.5e2 b90 * b92 + 4.9e2 b90 * b93 + 60 b90 * b94 + 3.6e2 b90 * b95 + 6.7e2 b90 * b96 + 4.5e2 b90 * b97 + 9.3e2 b90 * b98 + 9.3e2 b91 * b92 + 6.3e2 b91 * b93 + 80 b91 * b94 + 5.2e2 b91 * b95 + 5.4e2 b91 * b96 + 6.4e2 b91 * b97 + 2.4e2 b91 * b98 + 1.4e2 b92 * b93 + 40 b92 * b94 + 1.9e2 b92 * b95 + 7.1e2 b92 * b96 + 2.8e2 b92 * b97 + 1.3e2 b92 * b98 + 4.5e2 b93 * b94 + 5.2e2 b93 * b95 + 7.9e2 b93 * b96 + 1.1e2 b93 * b97 + 400 b93 * b98 + 1.2e2 b94 * b95 + 5.7e2 b94 * b96 + 4.8e2 b94 * b97 + 1.7e2 b94 * b98 + 4.3e2 b95 * b96 + 6.2e2 b95 * b97 + 2.4e2 b95 * b98 + 4.5e2 b96 * b97 + 2.1e2 b96 * b98 + 600 b97 * b98 ] >= 23348 e2457: [ 20 b8 * b23 + 2.6e2 b8 * b38 + 3.1e2 b8 * b52 + 2.9e2 b8 * b65 + 7.3e2 b8 * b77 + 500 b8 * b88 + 4.7e2 b8 * b99 + 5.6e2 b8 * b100 + 1.5e2 b8 * b101 + 8.5e2 b8 * b102 + 8.3e2 b8 * b103 + 5.3e2 b8 * b104 + 6.4e2 b8 * b105 + 3.5e2 b8 * b106 + 6.4e2 b8 * b107 + 8.9e2 b8 * b108 + 90 b23 * b38 + 7.8e2 b23 * b65 + 100 b23 * b77 + 400 b23 * b88 + 6.6e2 b23 * b99 + 7.4e2 b23 * b100 + 7.6e2 b23 * b101 + 1.9e2 b23 * b102 + 5.4e2 b23 * b103 + 4.7e2 b23 * b104 + 7.5e2 b23 * b105 + 30 b23 * b106 + 4.9e2 b23 * b107 + 5.3e2 b23 * b108 + 8.6e2 b38 * b52 + 300 b38 * b65 + 2.6e2 b38 * b77 + 8.8e2 b38 * b88 + 2.6e2 b38 * b99 + 9.6e2 b38 * b100 + 4.5e2 b38 * b101 + 1.1e2 b38 * b102 + 800 b38 * b103 + 9.8e2 b38 * b104 + 2.7e2 b38 * b105 + 1.5e2 b38 * b106 + 1.4e2 b38 * b107 + 6.9e2 b38 * b108 + 7.6e2 b52 * b65 + 1.4e2 b52 * b77 + 4.7e2 b52 * b88 + 60 b52 * b99 + 5.1e2 b52 * b100 + 5.6e2 b52 * b101 + 3.2e2 b52 * b102 + 7.9e2 b52 * b103 + 7.5e2 b52 * b104 + 3.9e2 b52 * b105 + 2.6e2 b52 * b106 + 20 b52 * b107 + 9.4e2 b52 * b108 + 7.6e2 b65 * b77 + 5.5e2 b65 * b88 + 5.8e2 b65 * b99 + 3.4e2 b65 * b100 + 200 b65 * b101 + 8.8e2 b65 * b102 + 600 b65 * b103 + 1.7e2 b65 * b104 + 8.5e2 b65 * b105 + 7.1e2 b65 * b106 + 9.7e2 b65 * b107 + 8.3e2 b65 * b108 + 9.9e2 b77 * b88 + 9.7e2 b77 * b99 + 6.8e2 b77 * b100 + 4.1e2 b77 * b101 + 6.3e2 b77 * b102 + 6.7e2 b77 * b103 + 3.1e2 b77 * b104 + 2.1e2 b77 * b105 + 7.1e2 b77 * b106 + 8.8e2 b77 * b107 + 5.3e2 b77 * b108 + 6.3e2 b88 * b99 + 9.2e2 b88 * b100 + 2.9e2 b88 * b101 + 1.8e2 b88 * b102 + 8.6e2 b88 * b103 + 5.7e2 b88 * b104 + 7.3e2 b88 * b105 + 1.8e2 b88 * b106 + 1.5e2 b88 * b107 + 5.9e2 b88 * b108 + 7.2e2 b99 * b100 + 1.4e2 b99 * b101 + 1.4e2 b99 * b102 + 8.7e2 b99 * b103 + 3.3e2 b99 * b104 + 4.6e2 b99 * b105 + 80 b99 * b106 + 40 b99 * b107 + 3.4e2 b99 * b108 + 6.2e2 b100 * b101 + 5.5e2 b100 * b102 + 4.9e2 b100 * b103 + 60 b100 * b104 + 3.6e2 b100 * b105 + 6.7e2 b100 * b106 + 4.5e2 b100 * b107 + 9.3e2 b100 * b108 + 9.3e2 b101 * b102 + 6.3e2 b101 * b103 + 80 b101 * b104 + 5.2e2 b101 * b105 + 5.4e2 b101 * b106 + 6.4e2 b101 * b107 + 2.4e2 b101 * b108 + 1.4e2 b102 * b103 + 40 b102 * b104 + 1.9e2 b102 * b105 + 7.1e2 b102 * b106 + 2.8e2 b102 * b107 + 1.3e2 b102 * b108 + 4.5e2 b103 * b104 + 5.2e2 b103 * b105 + 7.9e2 b103 * b106 + 1.1e2 b103 * b107 + 400 b103 * b108 + 1.2e2 b104 * b105 + 5.7e2 b104 * b106 + 4.8e2 b104 * b107 + 1.7e2 b104 * b108 + 4.3e2 b105 * b106 + 6.2e2 b105 * b107 + 2.4e2 b105 * b108 + 4.5e2 b106 * b107 + 2.1e2 b106 * b108 + 600 b107 * b108 ] >= 23348 e2458: [ 20 b9 * b24 + 2.6e2 b9 * b39 + 3.1e2 b9 * b53 + 2.9e2 b9 * b66 + 7.3e2 b9 * b78 + 500 b9 * b89 + 4.7e2 b9 * b99 + 5.6e2 b9 * b109 + 1.5e2 b9 * b110 + 8.5e2 b9 * b111 + 8.3e2 b9 * b112 + 5.3e2 b9 * b113 + 6.4e2 b9 * b114 + 3.5e2 b9 * b115 + 6.4e2 b9 * b116 + 8.9e2 b9 * b117 + 90 b24 * b39 + 7.8e2 b24 * b66 + 100 b24 * b78 + 400 b24 * b89 + 40 b24 * b99 + 7.4e2 b24 * b109 + 7.6e2 b24 * b110 + 1.9e2 b24 * b111 + 5.4e2 b24 * b112 + 4.7e2 b24 * b113 + 7.5e2 b24 * b114 + 30 b24 * b115 + 4.9e2 b24 * b116 + 5.3e2 b24 * b117 + 8.6e2 b39 * b53 + 300 b39 * b66 + 2.6e2 b39 * b78 + 8.8e2 b39 * b89 + 2.9e2 b39 * b99 + 9.6e2 b39 * b109 + 4.5e2 b39 * b110 + 1.1e2 b39 * b111 + 800 b39 * b112 + 9.8e2 b39 * b113 + 2.7e2 b39 * b114 + 1.5e2 b39 * b115 + 1.4e2 b39 * b116 + 6.9e2 b39 * b117 + 7.6e2 b53 * b66 + 1.4e2 b53 * b78 + 4.7e2 b53 * b89 + 3.8e2 b53 * b99 + 5.1e2 b53 * b109 + 5.6e2 b53 * b110 + 3.2e2 b53 * b111 + 7.9e2 b53 * b112 + 7.5e2 b53 * b113 + 3.9e2 b53 * b114 + 2.6e2 b53 * b115 + 20 b53 * b116 + 9.4e2 b53 * b117 + 7.6e2 b66 * b78 + 5.5e2 b66 * b89 + 800 b66 * b99 + 3.4e2 b66 * b109 + 200 b66 * b110 + 8.8e2 b66 * b111 + 600 b66 * b112 + 1.7e2 b66 * b113 + 8.5e2 b66 * b114 + 7.1e2 b66 * b115 + 9.7e2 b66 * b116 + 8.3e2 b66 * b117 + 9.9e2 b78 * b89 + 6.4e2 b78 * b99 + 6.8e2 b78 * b109 + 4.1e2 b78 * b110 + 6.3e2 b78 * b111 + 6.7e2 b78 * b112 + 3.1e2 b78 * b113 + 2.1e2 b78 * b114 + 7.1e2 b78 * b115 + 8.8e2 b78 * b116 + 5.3e2 b78 * b117 + 500 b89 * b99 + 9.2e2 b89 * b109 + 2.9e2 b89 * b110 + 1.8e2 b89 * b111 + 8.6e2 b89 * b112 + 5.7e2 b89 * b113 + 7.3e2 b89 * b114 + 1.8e2 b89 * b115 + 1.5e2 b89 * b116 + 5.9e2 b89 * b117 + 30 b99 * b109 + 1.9e2 b99 * b110 + 80 b99 * b111 + 8.8e2 b99 * b112 + 4.3e2 b99 * b113 + 5.7e2 b99 * b114 + 2.3e2 b99 * b115 + 9.4e2 b99 * b116 + 2.1e2 b99 * b117 + 6.2e2 b109 * b110 + 5.5e2 b109 * b111 + 4.9e2 b109 * b112 + 60 b109 * b113 + 3.6e2 b109 * b114 + 6.7e2 b109 * b115 + 4.5e2 b109 * b116 + 9.3e2 b109 * b117 + 9.3e2 b110 * b111 + 6.3e2 b110 * b112 + 80 b110 * b113 + 5.2e2 b110 * b114 + 5.4e2 b110 * b115 + 6.4e2 b110 * b116 + 2.4e2 b110 * b117 + 1.4e2 b111 * b112 + 40 b111 * b113 + 1.9e2 b111 * b114 + 7.1e2 b111 * b115 + 2.8e2 b111 * b116 + 1.3e2 b111 * b117 + 4.5e2 b112 * b113 + 5.2e2 b112 * b114 + 7.9e2 b112 * b115 + 1.1e2 b112 * b116 + 400 b112 * b117 + 1.2e2 b113 * b114 + 5.7e2 b113 * b115 + 4.8e2 b113 * b116 + 1.7e2 b113 * b117 + 4.3e2 b114 * b115 + 6.2e2 b114 * b116 + 2.4e2 b114 * b117 + 4.5e2 b115 * b116 + 2.1e2 b115 * b117 + 600 b116 * b117 ] >= 23348 e2459: [ 20 b10 * b25 + 2.6e2 b10 * b40 + 3.1e2 b10 * b54 + 2.9e2 b10 * b67 + 7.3e2 b10 * b79 + 500 b10 * b90 + 4.7e2 b10 * b100 + 4.7e2 b10 * b109 + 1.5e2 b10 * b118 + 8.5e2 b10 * b119 + 8.3e2 b10 * b120 + 5.3e2 b10 * b121 + 6.4e2 b10 * b122 + 3.5e2 b10 * b123 + 6.4e2 b10 * b124 + 8.9e2 b10 * b125 + 90 b25 * b40 + 7.8e2 b25 * b67 + 100 b25 * b79 + 400 b25 * b90 + 40 b25 * b100 + 6.6e2 b25 * b109 + 7.6e2 b25 * b118 + 1.9e2 b25 * b119 + 5.4e2 b25 * b120 + 4.7e2 b25 * b121 + 7.5e2 b25 * b122 + 30 b25 * b123 + 4.9e2 b25 * b124 + 5.3e2 b25 * b125 + 8.6e2 b40 * b54 + 300 b40 * b67 + 2.6e2 b40 * b79 + 8.8e2 b40 * b90 + 2.9e2 b40 * b100 + 2.6e2 b40 * b109 + 4.5e2 b40 * b118 + 1.1e2 b40 * b119 + 800 b40 * b120 + 9.8e2 b40 * b121 + 2.7e2 b40 * b122 + 1.5e2 b40 * b123 + 1.4e2 b40 * b124 + 6.9e2 b40 * b125 + 7.6e2 b54 * b67 + 1.4e2 b54 * b79 + 4.7e2 b54 * b90 + 3.8e2 b54 * b100 + 60 b54 * b109 + 5.6e2 b54 * b118 + 3.2e2 b54 * b119 + 7.9e2 b54 * b120 + 7.5e2 b54 * b121 + 3.9e2 b54 * b122 + 2.6e2 b54 * b123 + 20 b54 * b124 + 9.4e2 b54 * b125 + 7.6e2 b67 * b79 + 5.5e2 b67 * b90 + 800 b67 * b100 + 5.8e2 b67 * b109 + 200 b67 * b118 + 8.8e2 b67 * b119 + 600 b67 * b120 + 1.7e2 b67 * b121 + 8.5e2 b67 * b122 + 7.1e2 b67 * b123 + 9.7e2 b67 * b124 + 8.3e2 b67 * b125 + 9.9e2 b79 * b90 + 6.4e2 b79 * b100 + 9.7e2 b79 * b109 + 4.1e2 b79 * b118 + 6.3e2 b79 * b119 + 6.7e2 b79 * b120 + 3.1e2 b79 * b121 + 2.1e2 b79 * b122 + 7.1e2 b79 * b123 + 8.8e2 b79 * b124 + 5.3e2 b79 * b125 + 500 b90 * b100 + 6.3e2 b90 * b109 + 2.9e2 b90 * b118 + 1.8e2 b90 * b119 + 8.6e2 b90 * b120 + 5.7e2 b90 * b121 + 7.3e2 b90 * b122 + 1.8e2 b90 * b123 + 1.5e2 b90 * b124 + 5.9e2 b90 * b125 + 3.9e2 b100 * b109 + 1.9e2 b100 * b118 + 80 b100 * b119 + 8.8e2 b100 * b120 + 4.3e2 b100 * b121 + 5.7e2 b100 * b122 + 2.3e2 b100 * b123 + 9.4e2 b100 * b124 + 2.1e2 b100 * b125 + 1.4e2 b109 * b118 + 1.4e2 b109 * b119 + 8.7e2 b109 * b120 + 3.3e2 b109 * b121 + 4.6e2 b109 * b122 + 80 b109 * b123 + 40 b109 * b124 + 3.4e2 b109 * b125 + 9.3e2 b118 * b119 + 6.3e2 b118 * b120 + 80 b118 * b121 + 5.2e2 b118 * b122 + 5.4e2 b118 * b123 + 6.4e2 b118 * b124 + 2.4e2 b118 * b125 + 1.4e2 b119 * b120 + 40 b119 * b121 + 1.9e2 b119 * b122 + 7.1e2 b119 * b123 + 2.8e2 b119 * b124 + 1.3e2 b119 * b125 + 4.5e2 b120 * b121 + 5.2e2 b120 * b122 + 7.9e2 b120 * b123 + 1.1e2 b120 * b124 + 400 b120 * b125 + 1.2e2 b121 * b122 + 5.7e2 b121 * b123 + 4.8e2 b121 * b124 + 1.7e2 b121 * b125 + 4.3e2 b122 * b123 + 6.2e2 b122 * b124 + 2.4e2 b122 * b125 + 4.5e2 b123 * b124 + 2.1e2 b123 * b125 + 600 b124 * b125 ] >= 23348 e2460: [ 20 b11 * b26 + 2.6e2 b11 * b41 + 3.1e2 b11 * b55 + 2.9e2 b11 * b68 + 7.3e2 b11 * b80 + 500 b11 * b91 + 4.7e2 b11 * b101 + 4.7e2 b11 * b110 + 5.6e2 b11 * b118 + 8.5e2 b11 * b126 + 8.3e2 b11 * b127 + 5.3e2 b11 * b128 + 6.4e2 b11 * b129 + 3.5e2 b11 * b130 + 6.4e2 b11 * b131 + 8.9e2 b11 * b132 + 90 b26 * b41 + 7.8e2 b26 * b68 + 100 b26 * b80 + 400 b26 * b91 + 40 b26 * b101 + 6.6e2 b26 * b110 + 7.4e2 b26 * b118 + 1.9e2 b26 * b126 + 5.4e2 b26 * b127 + 4.7e2 b26 * b128 + 7.5e2 b26 * b129 + 30 b26 * b130 + 4.9e2 b26 * b131 + 5.3e2 b26 * b132 + 8.6e2 b41 * b55 + 300 b41 * b68 + 2.6e2 b41 * b80 + 8.8e2 b41 * b91 + 2.9e2 b41 * b101 + 2.6e2 b41 * b110 + 9.6e2 b41 * b118 + 1.1e2 b41 * b126 + 800 b41 * b127 + 9.8e2 b41 * b128 + 2.7e2 b41 * b129 + 1.5e2 b41 * b130 + 1.4e2 b41 * b131 + 6.9e2 b41 * b132 + 7.6e2 b55 * b68 + 1.4e2 b55 * b80 + 4.7e2 b55 * b91 + 3.8e2 b55 * b101 + 60 b55 * b110 + 5.1e2 b55 * b118 + 3.2e2 b55 * b126 + 7.9e2 b55 * b127 + 7.5e2 b55 * b128 + 3.9e2 b55 * b129 + 2.6e2 b55 * b130 + 20 b55 * b131 + 9.4e2 b55 * b132 + 7.6e2 b68 * b80 + 5.5e2 b68 * b91 + 800 b68 * b101 + 5.8e2 b68 * b110 + 3.4e2 b68 * b118 + 8.8e2 b68 * b126 + 600 b68 * b127 + 1.7e2 b68 * b128 + 8.5e2 b68 * b129 + 7.1e2 b68 * b130 + 9.7e2 b68 * b131 + 8.3e2 b68 * b132 + 9.9e2 b80 * b91 + 6.4e2 b80 * b101 + 9.7e2 b80 * b110 + 6.8e2 b80 * b118 + 6.3e2 b80 * b126 + 6.7e2 b80 * b127 + 3.1e2 b80 * b128 + 2.1e2 b80 * b129 + 7.1e2 b80 * b130 + 8.8e2 b80 * b131 + 5.3e2 b80 * b132 + 500 b91 * b101 + 6.3e2 b91 * b110 + 9.2e2 b91 * b118 + 1.8e2 b91 * b126 + 8.6e2 b91 * b127 + 5.7e2 b91 * b128 + 7.3e2 b91 * b129 + 1.8e2 b91 * b130 + 1.5e2 b91 * b131 + 5.9e2 b91 * b132 + 3.9e2 b101 * b110 + 30 b101 * b118 + 80 b101 * b126 + 8.8e2 b101 * b127 + 4.3e2 b101 * b128 + 5.7e2 b101 * b129 + 2.3e2 b101 * b130 + 9.4e2 b101 * b131 + 2.1e2 b101 * b132 + 7.2e2 b110 * b118 + 1.4e2 b110 * b126 + 8.7e2 b110 * b127 + 3.3e2 b110 * b128 + 4.6e2 b110 * b129 + 80 b110 * b130 + 40 b110 * b131 + 3.4e2 b110 * b132 + 5.5e2 b118 * b126 + 4.9e2 b118 * b127 + 60 b118 * b128 + 3.6e2 b118 * b129 + 6.7e2 b118 * b130 + 4.5e2 b118 * b131 + 9.3e2 b118 * b132 + 1.4e2 b126 * b127 + 40 b126 * b128 + 1.9e2 b126 * b129 + 7.1e2 b126 * b130 + 2.8e2 b126 * b131 + 1.3e2 b126 * b132 + 4.5e2 b127 * b128 + 5.2e2 b127 * b129 + 7.9e2 b127 * b130 + 1.1e2 b127 * b131 + 400 b127 * b132 + 1.2e2 b128 * b129 + 5.7e2 b128 * b130 + 4.8e2 b128 * b131 + 1.7e2 b128 * b132 + 4.3e2 b129 * b130 + 6.2e2 b129 * b131 + 2.4e2 b129 * b132 + 4.5e2 b130 * b131 + 2.1e2 b130 * b132 + 600 b131 * b132 ] >= 23348 e2461: [ 20 b12 * b27 + 2.6e2 b12 * b42 + 3.1e2 b12 * b56 + 2.9e2 b12 * b69 + 7.3e2 b12 * b81 + 500 b12 * b92 + 4.7e2 b12 * b102 + 4.7e2 b12 * b111 + 5.6e2 b12 * b119 + 1.5e2 b12 * b126 + 8.3e2 b12 * b133 + 5.3e2 b12 * b134 + 6.4e2 b12 * b135 + 3.5e2 b12 * b136 + 6.4e2 b12 * b137 + 8.9e2 b12 * b138 + 90 b27 * b42 + 7.8e2 b27 * b69 + 100 b27 * b81 + 400 b27 * b92 + 40 b27 * b102 + 6.6e2 b27 * b111 + 7.4e2 b27 * b119 + 7.6e2 b27 * b126 + 5.4e2 b27 * b133 + 4.7e2 b27 * b134 + 7.5e2 b27 * b135 + 30 b27 * b136 + 4.9e2 b27 * b137 + 5.3e2 b27 * b138 + 8.6e2 b42 * b56 + 300 b42 * b69 + 2.6e2 b42 * b81 + 8.8e2 b42 * b92 + 2.9e2 b42 * b102 + 2.6e2 b42 * b111 + 9.6e2 b42 * b119 + 4.5e2 b42 * b126 + 800 b42 * b133 + 9.8e2 b42 * b134 + 2.7e2 b42 * b135 + 1.5e2 b42 * b136 + 1.4e2 b42 * b137 + 6.9e2 b42 * b138 + 7.6e2 b56 * b69 + 1.4e2 b56 * b81 + 4.7e2 b56 * b92 + 3.8e2 b56 * b102 + 60 b56 * b111 + 5.1e2 b56 * b119 + 5.6e2 b56 * b126 + 7.9e2 b56 * b133 + 7.5e2 b56 * b134 + 3.9e2 b56 * b135 + 2.6e2 b56 * b136 + 20 b56 * b137 + 9.4e2 b56 * b138 + 7.6e2 b69 * b81 + 5.5e2 b69 * b92 + 800 b69 * b102 + 5.8e2 b69 * b111 + 3.4e2 b69 * b119 + 200 b69 * b126 + 600 b69 * b133 + 1.7e2 b69 * b134 + 8.5e2 b69 * b135 + 7.1e2 b69 * b136 + 9.7e2 b69 * b137 + 8.3e2 b69 * b138 + 9.9e2 b81 * b92 + 6.4e2 b81 * b102 + 9.7e2 b81 * b111 + 6.8e2 b81 * b119 + 4.1e2 b81 * b126 + 6.7e2 b81 * b133 + 3.1e2 b81 * b134 + 2.1e2 b81 * b135 + 7.1e2 b81 * b136 + 8.8e2 b81 * b137 + 5.3e2 b81 * b138 + 500 b92 * b102 + 6.3e2 b92 * b111 + 9.2e2 b92 * b119 + 2.9e2 b92 * b126 + 8.6e2 b92 * b133 + 5.7e2 b92 * b134 + 7.3e2 b92 * b135 + 1.8e2 b92 * b136 + 1.5e2 b92 * b137 + 5.9e2 b92 * b138 + 3.9e2 b102 * b111 + 30 b102 * b119 + 1.9e2 b102 * b126 + 8.8e2 b102 * b133 + 4.3e2 b102 * b134 + 5.7e2 b102 * b135 + 2.3e2 b102 * b136 + 9.4e2 b102 * b137 + 2.1e2 b102 * b138 + 7.2e2 b111 * b119 + 1.4e2 b111 * b126 + 8.7e2 b111 * b133 + 3.3e2 b111 * b134 + 4.6e2 b111 * b135 + 80 b111 * b136 + 40 b111 * b137 + 3.4e2 b111 * b138 + 6.2e2 b119 * b126 + 4.9e2 b119 * b133 + 60 b119 * b134 + 3.6e2 b119 * b135 + 6.7e2 b119 * b136 + 4.5e2 b119 * b137 + 9.3e2 b119 * b138 + 6.3e2 b126 * b133 + 80 b126 * b134 + 5.2e2 b126 * b135 + 5.4e2 b126 * b136 + 6.4e2 b126 * b137 + 2.4e2 b126 * b138 + 4.5e2 b133 * b134 + 5.2e2 b133 * b135 + 7.9e2 b133 * b136 + 1.1e2 b133 * b137 + 400 b133 * b138 + 1.2e2 b134 * b135 + 5.7e2 b134 * b136 + 4.8e2 b134 * b137 + 1.7e2 b134 * b138 + 4.3e2 b135 * b136 + 6.2e2 b135 * b137 + 2.4e2 b135 * b138 + 4.5e2 b136 * b137 + 2.1e2 b136 * b138 + 600 b137 * b138 ] >= 23348 e2462: [ 20 b13 * b28 + 2.6e2 b13 * b43 + 3.1e2 b13 * b57 + 2.9e2 b13 * b70 + 7.3e2 b13 * b82 + 500 b13 * b93 + 4.7e2 b13 * b103 + 4.7e2 b13 * b112 + 5.6e2 b13 * b120 + 1.5e2 b13 * b127 + 8.5e2 b13 * b133 + 5.3e2 b13 * b139 + 6.4e2 b13 * b140 + 3.5e2 b13 * b141 + 6.4e2 b13 * b142 + 8.9e2 b13 * b143 + 90 b28 * b43 + 7.8e2 b28 * b70 + 100 b28 * b82 + 400 b28 * b93 + 40 b28 * b103 + 6.6e2 b28 * b112 + 7.4e2 b28 * b120 + 7.6e2 b28 * b127 + 1.9e2 b28 * b133 + 4.7e2 b28 * b139 + 7.5e2 b28 * b140 + 30 b28 * b141 + 4.9e2 b28 * b142 + 5.3e2 b28 * b143 + 8.6e2 b43 * b57 + 300 b43 * b70 + 2.6e2 b43 * b82 + 8.8e2 b43 * b93 + 2.9e2 b43 * b103 + 2.6e2 b43 * b112 + 9.6e2 b43 * b120 + 4.5e2 b43 * b127 + 1.1e2 b43 * b133 + 9.8e2 b43 * b139 + 2.7e2 b43 * b140 + 1.5e2 b43 * b141 + 1.4e2 b43 * b142 + 6.9e2 b43 * b143 + 7.6e2 b57 * b70 + 1.4e2 b57 * b82 + 4.7e2 b57 * b93 + 3.8e2 b57 * b103 + 60 b57 * b112 + 5.1e2 b57 * b120 + 5.6e2 b57 * b127 + 3.2e2 b57 * b133 + 7.5e2 b57 * b139 + 3.9e2 b57 * b140 + 2.6e2 b57 * b141 + 20 b57 * b142 + 9.4e2 b57 * b143 + 7.6e2 b70 * b82 + 5.5e2 b70 * b93 + 800 b70 * b103 + 5.8e2 b70 * b112 + 3.4e2 b70 * b120 + 200 b70 * b127 + 8.8e2 b70 * b133 + 1.7e2 b70 * b139 + 8.5e2 b70 * b140 + 7.1e2 b70 * b141 + 9.7e2 b70 * b142 + 8.3e2 b70 * b143 + 9.9e2 b82 * b93 + 6.4e2 b82 * b103 + 9.7e2 b82 * b112 + 6.8e2 b82 * b120 + 4.1e2 b82 * b127 + 6.3e2 b82 * b133 + 3.1e2 b82 * b139 + 2.1e2 b82 * b140 + 7.1e2 b82 * b141 + 8.8e2 b82 * b142 + 5.3e2 b82 * b143 + 500 b93 * b103 + 6.3e2 b93 * b112 + 9.2e2 b93 * b120 + 2.9e2 b93 * b127 + 1.8e2 b93 * b133 + 5.7e2 b93 * b139 + 7.3e2 b93 * b140 + 1.8e2 b93 * b141 + 1.5e2 b93 * b142 + 5.9e2 b93 * b143 + 3.9e2 b103 * b112 + 30 b103 * b120 + 1.9e2 b103 * b127 + 80 b103 * b133 + 4.3e2 b103 * b139 + 5.7e2 b103 * b140 + 2.3e2 b103 * b141 + 9.4e2 b103 * b142 + 2.1e2 b103 * b143 + 7.2e2 b112 * b120 + 1.4e2 b112 * b127 + 1.4e2 b112 * b133 + 3.3e2 b112 * b139 + 4.6e2 b112 * b140 + 80 b112 * b141 + 40 b112 * b142 + 3.4e2 b112 * b143 + 6.2e2 b120 * b127 + 5.5e2 b120 * b133 + 60 b120 * b139 + 3.6e2 b120 * b140 + 6.7e2 b120 * b141 + 4.5e2 b120 * b142 + 9.3e2 b120 * b143 + 9.3e2 b127 * b133 + 80 b127 * b139 + 5.2e2 b127 * b140 + 5.4e2 b127 * b141 + 6.4e2 b127 * b142 + 2.4e2 b127 * b143 + 40 b133 * b139 + 1.9e2 b133 * b140 + 7.1e2 b133 * b141 + 2.8e2 b133 * b142 + 1.3e2 b133 * b143 + 1.2e2 b139 * b140 + 5.7e2 b139 * b141 + 4.8e2 b139 * b142 + 1.7e2 b139 * b143 + 4.3e2 b140 * b141 + 6.2e2 b140 * b142 + 2.4e2 b140 * b143 + 4.5e2 b141 * b142 + 2.1e2 b141 * b143 + 600 b142 * b143 ] >= 23348 e2463: [ 20 b14 * b29 + 2.6e2 b14 * b44 + 3.1e2 b14 * b58 + 2.9e2 b14 * b71 + 7.3e2 b14 * b83 + 500 b14 * b94 + 4.7e2 b14 * b104 + 4.7e2 b14 * b113 + 5.6e2 b14 * b121 + 1.5e2 b14 * b128 + 8.5e2 b14 * b134 + 8.3e2 b14 * b139 + 6.4e2 b14 * b144 + 3.5e2 b14 * b145 + 6.4e2 b14 * b146 + 8.9e2 b14 * b147 + 90 b29 * b44 + 7.8e2 b29 * b71 + 100 b29 * b83 + 400 b29 * b94 + 40 b29 * b104 + 6.6e2 b29 * b113 + 7.4e2 b29 * b121 + 7.6e2 b29 * b128 + 1.9e2 b29 * b134 + 5.4e2 b29 * b139 + 7.5e2 b29 * b144 + 30 b29 * b145 + 4.9e2 b29 * b146 + 5.3e2 b29 * b147 + 8.6e2 b44 * b58 + 300 b44 * b71 + 2.6e2 b44 * b83 + 8.8e2 b44 * b94 + 2.9e2 b44 * b104 + 2.6e2 b44 * b113 + 9.6e2 b44 * b121 + 4.5e2 b44 * b128 + 1.1e2 b44 * b134 + 800 b44 * b139 + 2.7e2 b44 * b144 + 1.5e2 b44 * b145 + 1.4e2 b44 * b146 + 6.9e2 b44 * b147 + 7.6e2 b58 * b71 + 1.4e2 b58 * b83 + 4.7e2 b58 * b94 + 3.8e2 b58 * b104 + 60 b58 * b113 + 5.1e2 b58 * b121 + 5.6e2 b58 * b128 + 3.2e2 b58 * b134 + 7.9e2 b58 * b139 + 3.9e2 b58 * b144 + 2.6e2 b58 * b145 + 20 b58 * b146 + 9.4e2 b58 * b147 + 7.6e2 b71 * b83 + 5.5e2 b71 * b94 + 800 b71 * b104 + 5.8e2 b71 * b113 + 3.4e2 b71 * b121 + 200 b71 * b128 + 8.8e2 b71 * b134 + 600 b71 * b139 + 8.5e2 b71 * b144 + 7.1e2 b71 * b145 + 9.7e2 b71 * b146 + 8.3e2 b71 * b147 + 9.9e2 b83 * b94 + 6.4e2 b83 * b104 + 9.7e2 b83 * b113 + 6.8e2 b83 * b121 + 4.1e2 b83 * b128 + 6.3e2 b83 * b134 + 6.7e2 b83 * b139 + 2.1e2 b83 * b144 + 7.1e2 b83 * b145 + 8.8e2 b83 * b146 + 5.3e2 b83 * b147 + 500 b94 * b104 + 6.3e2 b94 * b113 + 9.2e2 b94 * b121 + 2.9e2 b94 * b128 + 1.8e2 b94 * b134 + 8.6e2 b94 * b139 + 7.3e2 b94 * b144 + 1.8e2 b94 * b145 + 1.5e2 b94 * b146 + 5.9e2 b94 * b147 + 3.9e2 b104 * b113 + 30 b104 * b121 + 1.9e2 b104 * b128 + 80 b104 * b134 + 8.8e2 b104 * b139 + 5.7e2 b104 * b144 + 2.3e2 b104 * b145 + 9.4e2 b104 * b146 + 2.1e2 b104 * b147 + 7.2e2 b113 * b121 + 1.4e2 b113 * b128 + 1.4e2 b113 * b134 + 8.7e2 b113 * b139 + 4.6e2 b113 * b144 + 80 b113 * b145 + 40 b113 * b146 + 3.4e2 b113 * b147 + 6.2e2 b121 * b128 + 5.5e2 b121 * b134 + 4.9e2 b121 * b139 + 3.6e2 b121 * b144 + 6.7e2 b121 * b145 + 4.5e2 b121 * b146 + 9.3e2 b121 * b147 + 9.3e2 b128 * b134 + 6.3e2 b128 * b139 + 5.2e2 b128 * b144 + 5.4e2 b128 * b145 + 6.4e2 b128 * b146 + 2.4e2 b128 * b147 + 1.4e2 b134 * b139 + 1.9e2 b134 * b144 + 7.1e2 b134 * b145 + 2.8e2 b134 * b146 + 1.3e2 b134 * b147 + 5.2e2 b139 * b144 + 7.9e2 b139 * b145 + 1.1e2 b139 * b146 + 400 b139 * b147 + 4.3e2 b144 * b145 + 6.2e2 b144 * b146 + 2.4e2 b144 * b147 + 4.5e2 b145 * b146 + 2.1e2 b145 * b147 + 600 b146 * b147 ] >= 23348 e2464: [ 20 b15 * b30 + 2.6e2 b15 * b45 + 3.1e2 b15 * b59 + 2.9e2 b15 * b72 + 7.3e2 b15 * b84 + 500 b15 * b95 + 4.7e2 b15 * b105 + 4.7e2 b15 * b114 + 5.6e2 b15 * b122 + 1.5e2 b15 * b129 + 8.5e2 b15 * b135 + 8.3e2 b15 * b140 + 5.3e2 b15 * b144 + 3.5e2 b15 * b148 + 6.4e2 b15 * b149 + 8.9e2 b15 * b150 + 90 b30 * b45 + 7.8e2 b30 * b72 + 100 b30 * b84 + 400 b30 * b95 + 40 b30 * b105 + 6.6e2 b30 * b114 + 7.4e2 b30 * b122 + 7.6e2 b30 * b129 + 1.9e2 b30 * b135 + 5.4e2 b30 * b140 + 4.7e2 b30 * b144 + 30 b30 * b148 + 4.9e2 b30 * b149 + 5.3e2 b30 * b150 + 8.6e2 b45 * b59 + 300 b45 * b72 + 2.6e2 b45 * b84 + 8.8e2 b45 * b95 + 2.9e2 b45 * b105 + 2.6e2 b45 * b114 + 9.6e2 b45 * b122 + 4.5e2 b45 * b129 + 1.1e2 b45 * b135 + 800 b45 * b140 + 9.8e2 b45 * b144 + 1.5e2 b45 * b148 + 1.4e2 b45 * b149 + 6.9e2 b45 * b150 + 7.6e2 b59 * b72 + 1.4e2 b59 * b84 + 4.7e2 b59 * b95 + 3.8e2 b59 * b105 + 60 b59 * b114 + 5.1e2 b59 * b122 + 5.6e2 b59 * b129 + 3.2e2 b59 * b135 + 7.9e2 b59 * b140 + 7.5e2 b59 * b144 + 2.6e2 b59 * b148 + 20 b59 * b149 + 9.4e2 b59 * b150 + 7.6e2 b72 * b84 + 5.5e2 b72 * b95 + 800 b72 * b105 + 5.8e2 b72 * b114 + 3.4e2 b72 * b122 + 200 b72 * b129 + 8.8e2 b72 * b135 + 600 b72 * b140 + 1.7e2 b72 * b144 + 7.1e2 b72 * b148 + 9.7e2 b72 * b149 + 8.3e2 b72 * b150 + 9.9e2 b84 * b95 + 6.4e2 b84 * b105 + 9.7e2 b84 * b114 + 6.8e2 b84 * b122 + 4.1e2 b84 * b129 + 6.3e2 b84 * b135 + 6.7e2 b84 * b140 + 3.1e2 b84 * b144 + 7.1e2 b84 * b148 + 8.8e2 b84 * b149 + 5.3e2 b84 * b150 + 500 b95 * b105 + 6.3e2 b95 * b114 + 9.2e2 b95 * b122 + 2.9e2 b95 * b129 + 1.8e2 b95 * b135 + 8.6e2 b95 * b140 + 5.7e2 b95 * b144 + 1.8e2 b95 * b148 + 1.5e2 b95 * b149 + 5.9e2 b95 * b150 + 3.9e2 b105 * b114 + 30 b105 * b122 + 1.9e2 b105 * b129 + 80 b105 * b135 + 8.8e2 b105 * b140 + 4.3e2 b105 * b144 + 2.3e2 b105 * b148 + 9.4e2 b105 * b149 + 2.1e2 b105 * b150 + 7.2e2 b114 * b122 + 1.4e2 b114 * b129 + 1.4e2 b114 * b135 + 8.7e2 b114 * b140 + 3.3e2 b114 * b144 + 80 b114 * b148 + 40 b114 * b149 + 3.4e2 b114 * b150 + 6.2e2 b122 * b129 + 5.5e2 b122 * b135 + 4.9e2 b122 * b140 + 60 b122 * b144 + 6.7e2 b122 * b148 + 4.5e2 b122 * b149 + 9.3e2 b122 * b150 + 9.3e2 b129 * b135 + 6.3e2 b129 * b140 + 80 b129 * b144 + 5.4e2 b129 * b148 + 6.4e2 b129 * b149 + 2.4e2 b129 * b150 + 1.4e2 b135 * b140 + 40 b135 * b144 + 7.1e2 b135 * b148 + 2.8e2 b135 * b149 + 1.3e2 b135 * b150 + 4.5e2 b140 * b144 + 7.9e2 b140 * b148 + 1.1e2 b140 * b149 + 400 b140 * b150 + 5.7e2 b144 * b148 + 4.8e2 b144 * b149 + 1.7e2 b144 * b150 + 4.5e2 b148 * b149 + 2.1e2 b148 * b150 + 600 b149 * b150 ] >= 23348 e2465: [ 20 b16 * b31 + 2.6e2 b16 * b46 + 3.1e2 b16 * b60 + 2.9e2 b16 * b73 + 7.3e2 b16 * b85 + 500 b16 * b96 + 4.7e2 b16 * b106 + 4.7e2 b16 * b115 + 5.6e2 b16 * b123 + 1.5e2 b16 * b130 + 8.5e2 b16 * b136 + 8.3e2 b16 * b141 + 5.3e2 b16 * b145 + 6.4e2 b16 * b148 + 6.4e2 b16 * b151 + 8.9e2 b16 * b152 + 90 b31 * b46 + 7.8e2 b31 * b73 + 100 b31 * b85 + 400 b31 * b96 + 40 b31 * b106 + 6.6e2 b31 * b115 + 7.4e2 b31 * b123 + 7.6e2 b31 * b130 + 1.9e2 b31 * b136 + 5.4e2 b31 * b141 + 4.7e2 b31 * b145 + 7.5e2 b31 * b148 + 4.9e2 b31 * b151 + 5.3e2 b31 * b152 + 8.6e2 b46 * b60 + 300 b46 * b73 + 2.6e2 b46 * b85 + 8.8e2 b46 * b96 + 2.9e2 b46 * b106 + 2.6e2 b46 * b115 + 9.6e2 b46 * b123 + 4.5e2 b46 * b130 + 1.1e2 b46 * b136 + 800 b46 * b141 + 9.8e2 b46 * b145 + 2.7e2 b46 * b148 + 1.4e2 b46 * b151 + 6.9e2 b46 * b152 + 7.6e2 b60 * b73 + 1.4e2 b60 * b85 + 4.7e2 b60 * b96 + 3.8e2 b60 * b106 + 60 b60 * b115 + 5.1e2 b60 * b123 + 5.6e2 b60 * b130 + 3.2e2 b60 * b136 + 7.9e2 b60 * b141 + 7.5e2 b60 * b145 + 3.9e2 b60 * b148 + 20 b60 * b151 + 9.4e2 b60 * b152 + 7.6e2 b73 * b85 + 5.5e2 b73 * b96 + 800 b73 * b106 + 5.8e2 b73 * b115 + 3.4e2 b73 * b123 + 200 b73 * b130 + 8.8e2 b73 * b136 + 600 b73 * b141 + 1.7e2 b73 * b145 + 8.5e2 b73 * b148 + 9.7e2 b73 * b151 + 8.3e2 b73 * b152 + 9.9e2 b85 * b96 + 6.4e2 b85 * b106 + 9.7e2 b85 * b115 + 6.8e2 b85 * b123 + 4.1e2 b85 * b130 + 6.3e2 b85 * b136 + 6.7e2 b85 * b141 + 3.1e2 b85 * b145 + 2.1e2 b85 * b148 + 8.8e2 b85 * b151 + 5.3e2 b85 * b152 + 500 b96 * b106 + 6.3e2 b96 * b115 + 9.2e2 b96 * b123 + 2.9e2 b96 * b130 + 1.8e2 b96 * b136 + 8.6e2 b96 * b141 + 5.7e2 b96 * b145 + 7.3e2 b96 * b148 + 1.5e2 b96 * b151 + 5.9e2 b96 * b152 + 3.9e2 b106 * b115 + 30 b106 * b123 + 1.9e2 b106 * b130 + 80 b106 * b136 + 8.8e2 b106 * b141 + 4.3e2 b106 * b145 + 5.7e2 b106 * b148 + 9.4e2 b106 * b151 + 2.1e2 b106 * b152 + 7.2e2 b115 * b123 + 1.4e2 b115 * b130 + 1.4e2 b115 * b136 + 8.7e2 b115 * b141 + 3.3e2 b115 * b145 + 4.6e2 b115 * b148 + 40 b115 * b151 + 3.4e2 b115 * b152 + 6.2e2 b123 * b130 + 5.5e2 b123 * b136 + 4.9e2 b123 * b141 + 60 b123 * b145 + 3.6e2 b123 * b148 + 4.5e2 b123 * b151 + 9.3e2 b123 * b152 + 9.3e2 b130 * b136 + 6.3e2 b130 * b141 + 80 b130 * b145 + 5.2e2 b130 * b148 + 6.4e2 b130 * b151 + 2.4e2 b130 * b152 + 1.4e2 b136 * b141 + 40 b136 * b145 + 1.9e2 b136 * b148 + 2.8e2 b136 * b151 + 1.3e2 b136 * b152 + 4.5e2 b141 * b145 + 5.2e2 b141 * b148 + 1.1e2 b141 * b151 + 400 b141 * b152 + 1.2e2 b145 * b148 + 4.8e2 b145 * b151 + 1.7e2 b145 * b152 + 6.2e2 b148 * b151 + 2.4e2 b148 * b152 + 600 b151 * b152 ] >= 23348 e2466: [ 20 b17 * b32 + 2.6e2 b17 * b47 + 3.1e2 b17 * b61 + 2.9e2 b17 * b74 + 7.3e2 b17 * b86 + 500 b17 * b97 + 4.7e2 b17 * b107 + 4.7e2 b17 * b116 + 5.6e2 b17 * b124 + 1.5e2 b17 * b131 + 8.5e2 b17 * b137 + 8.3e2 b17 * b142 + 5.3e2 b17 * b146 + 6.4e2 b17 * b149 + 3.5e2 b17 * b151 + 8.9e2 b17 * b153 + 90 b32 * b47 + 7.8e2 b32 * b74 + 100 b32 * b86 + 400 b32 * b97 + 40 b32 * b107 + 6.6e2 b32 * b116 + 7.4e2 b32 * b124 + 7.6e2 b32 * b131 + 1.9e2 b32 * b137 + 5.4e2 b32 * b142 + 4.7e2 b32 * b146 + 7.5e2 b32 * b149 + 30 b32 * b151 + 5.3e2 b32 * b153 + 8.6e2 b47 * b61 + 300 b47 * b74 + 2.6e2 b47 * b86 + 8.8e2 b47 * b97 + 2.9e2 b47 * b107 + 2.6e2 b47 * b116 + 9.6e2 b47 * b124 + 4.5e2 b47 * b131 + 1.1e2 b47 * b137 + 800 b47 * b142 + 9.8e2 b47 * b146 + 2.7e2 b47 * b149 + 1.5e2 b47 * b151 + 6.9e2 b47 * b153 + 7.6e2 b61 * b74 + 1.4e2 b61 * b86 + 4.7e2 b61 * b97 + 3.8e2 b61 * b107 + 60 b61 * b116 + 5.1e2 b61 * b124 + 5.6e2 b61 * b131 + 3.2e2 b61 * b137 + 7.9e2 b61 * b142 + 7.5e2 b61 * b146 + 3.9e2 b61 * b149 + 2.6e2 b61 * b151 + 9.4e2 b61 * b153 + 7.6e2 b74 * b86 + 5.5e2 b74 * b97 + 800 b74 * b107 + 5.8e2 b74 * b116 + 3.4e2 b74 * b124 + 200 b74 * b131 + 8.8e2 b74 * b137 + 600 b74 * b142 + 1.7e2 b74 * b146 + 8.5e2 b74 * b149 + 7.1e2 b74 * b151 + 8.3e2 b74 * b153 + 9.9e2 b86 * b97 + 6.4e2 b86 * b107 + 9.7e2 b86 * b116 + 6.8e2 b86 * b124 + 4.1e2 b86 * b131 + 6.3e2 b86 * b137 + 6.7e2 b86 * b142 + 3.1e2 b86 * b146 + 2.1e2 b86 * b149 + 7.1e2 b86 * b151 + 5.3e2 b86 * b153 + 500 b97 * b107 + 6.3e2 b97 * b116 + 9.2e2 b97 * b124 + 2.9e2 b97 * b131 + 1.8e2 b97 * b137 + 8.6e2 b97 * b142 + 5.7e2 b97 * b146 + 7.3e2 b97 * b149 + 1.8e2 b97 * b151 + 5.9e2 b97 * b153 + 3.9e2 b107 * b116 + 30 b107 * b124 + 1.9e2 b107 * b131 + 80 b107 * b137 + 8.8e2 b107 * b142 + 4.3e2 b107 * b146 + 5.7e2 b107 * b149 + 2.3e2 b107 * b151 + 2.1e2 b107 * b153 + 7.2e2 b116 * b124 + 1.4e2 b116 * b131 + 1.4e2 b116 * b137 + 8.7e2 b116 * b142 + 3.3e2 b116 * b146 + 4.6e2 b116 * b149 + 80 b116 * b151 + 3.4e2 b116 * b153 + 6.2e2 b124 * b131 + 5.5e2 b124 * b137 + 4.9e2 b124 * b142 + 60 b124 * b146 + 3.6e2 b124 * b149 + 6.7e2 b124 * b151 + 9.3e2 b124 * b153 + 9.3e2 b131 * b137 + 6.3e2 b131 * b142 + 80 b131 * b146 + 5.2e2 b131 * b149 + 5.4e2 b131 * b151 + 2.4e2 b131 * b153 + 1.4e2 b137 * b142 + 40 b137 * b146 + 1.9e2 b137 * b149 + 7.1e2 b137 * b151 + 1.3e2 b137 * b153 + 4.5e2 b142 * b146 + 5.2e2 b142 * b149 + 7.9e2 b142 * b151 + 400 b142 * b153 + 1.2e2 b146 * b149 + 5.7e2 b146 * b151 + 1.7e2 b146 * b153 + 4.3e2 b149 * b151 + 2.4e2 b149 * b153 + 2.1e2 b151 * b153 ] >= 23348 e2467: [ 20 b18 * b33 + 2.6e2 b18 * b48 + 3.1e2 b18 * b62 + 2.9e2 b18 * b75 + 7.3e2 b18 * b87 + 500 b18 * b98 + 4.7e2 b18 * b108 + 4.7e2 b18 * b117 + 5.6e2 b18 * b125 + 1.5e2 b18 * b132 + 8.5e2 b18 * b138 + 8.3e2 b18 * b143 + 5.3e2 b18 * b147 + 6.4e2 b18 * b150 + 3.5e2 b18 * b152 + 6.4e2 b18 * b153 + 90 b33 * b48 + 7.8e2 b33 * b75 + 100 b33 * b87 + 400 b33 * b98 + 40 b33 * b108 + 6.6e2 b33 * b117 + 7.4e2 b33 * b125 + 7.6e2 b33 * b132 + 1.9e2 b33 * b138 + 5.4e2 b33 * b143 + 4.7e2 b33 * b147 + 7.5e2 b33 * b150 + 30 b33 * b152 + 4.9e2 b33 * b153 + 8.6e2 b48 * b62 + 300 b48 * b75 + 2.6e2 b48 * b87 + 8.8e2 b48 * b98 + 2.9e2 b48 * b108 + 2.6e2 b48 * b117 + 9.6e2 b48 * b125 + 4.5e2 b48 * b132 + 1.1e2 b48 * b138 + 800 b48 * b143 + 9.8e2 b48 * b147 + 2.7e2 b48 * b150 + 1.5e2 b48 * b152 + 1.4e2 b48 * b153 + 7.6e2 b62 * b75 + 1.4e2 b62 * b87 + 4.7e2 b62 * b98 + 3.8e2 b62 * b108 + 60 b62 * b117 + 5.1e2 b62 * b125 + 5.6e2 b62 * b132 + 3.2e2 b62 * b138 + 7.9e2 b62 * b143 + 7.5e2 b62 * b147 + 3.9e2 b62 * b150 + 2.6e2 b62 * b152 + 20 b62 * b153 + 7.6e2 b75 * b87 + 5.5e2 b75 * b98 + 800 b75 * b108 + 5.8e2 b75 * b117 + 3.4e2 b75 * b125 + 200 b75 * b132 + 8.8e2 b75 * b138 + 600 b75 * b143 + 1.7e2 b75 * b147 + 8.5e2 b75 * b150 + 7.1e2 b75 * b152 + 9.7e2 b75 * b153 + 9.9e2 b87 * b98 + 6.4e2 b87 * b108 + 9.7e2 b87 * b117 + 6.8e2 b87 * b125 + 4.1e2 b87 * b132 + 6.3e2 b87 * b138 + 6.7e2 b87 * b143 + 3.1e2 b87 * b147 + 2.1e2 b87 * b150 + 7.1e2 b87 * b152 + 8.8e2 b87 * b153 + 500 b98 * b108 + 6.3e2 b98 * b117 + 9.2e2 b98 * b125 + 2.9e2 b98 * b132 + 1.8e2 b98 * b138 + 8.6e2 b98 * b143 + 5.7e2 b98 * b147 + 7.3e2 b98 * b150 + 1.8e2 b98 * b152 + 1.5e2 b98 * b153 + 3.9e2 b108 * b117 + 30 b108 * b125 + 1.9e2 b108 * b132 + 80 b108 * b138 + 8.8e2 b108 * b143 + 4.3e2 b108 * b147 + 5.7e2 b108 * b150 + 2.3e2 b108 * b152 + 9.4e2 b108 * b153 + 7.2e2 b117 * b125 + 1.4e2 b117 * b132 + 1.4e2 b117 * b138 + 8.7e2 b117 * b143 + 3.3e2 b117 * b147 + 4.6e2 b117 * b150 + 80 b117 * b152 + 40 b117 * b153 + 6.2e2 b125 * b132 + 5.5e2 b125 * b138 + 4.9e2 b125 * b143 + 60 b125 * b147 + 3.6e2 b125 * b150 + 6.7e2 b125 * b152 + 4.5e2 b125 * b153 + 9.3e2 b132 * b138 + 6.3e2 b132 * b143 + 80 b132 * b147 + 5.2e2 b132 * b150 + 5.4e2 b132 * b152 + 6.4e2 b132 * b153 + 1.4e2 b138 * b143 + 40 b138 * b147 + 1.9e2 b138 * b150 + 7.1e2 b138 * b152 + 2.8e2 b138 * b153 + 4.5e2 b143 * b147 + 5.2e2 b143 * b150 + 7.9e2 b143 * b152 + 1.1e2 b143 * b153 + 1.2e2 b147 * b150 + 5.7e2 b147 * b152 + 4.8e2 b147 * b153 + 4.3e2 b150 * b152 + 6.2e2 b150 * b153 + 4.5e2 b152 * b153 ] >= 23348 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 End