\ Equation counts \ Total E G L N X C B \ 2057 0 17 2040 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 136 0 136 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 6527 6255 272 0 \ Minimize obj: 7.02e3 b2 + 4999.5 b3 + 1.8e3 b4 + 12001.5 b5 + 5.67e3 b6 + 6327 b7 + 342 b8 + 6.66e3 b9 + 23323.5 b10 + 14868 b11 + 44649 b12 + 1.944e4 b13 + 252 b14 + 3.672e4 b15 + 9747 b16 + 19908 b17 + 14904 b18 + 9.9e2 b19 + 11934 b20 + 7393.5 b21 + 7.83e3 b22 + 328.5 b23 + 2.115e4 b24 + 7825.5 b25 + 13536 b26 + 3024 b27 + 135 b28 + 48577.5 b29 + 25024.5 b30 + 14071.5 b31 + 15552 b32 + 15435 b33 + 8352 b34 + 27634.5 b35 + 1296 b36 + 15795 b37 + 4815 b38 + 3.42e3 b39 + 954 b40 + 30591 b41 + 3.33e3 b42 + 38988 b43 + 8293.5 b44 + 1.215e4 b45 + 7191 b46 + 15187.5 b47 + 1606.5 b48 + 3087 b49 + 4054.5 b50 + 15867 b51 + 9855 b52 + 9945 b53 + 28512 b54 + 14485.5 b55 + 10062 b56 + 36288 b57 + 10125 b58 + 1039.5 b59 + 7.56e3 b60 + 4.851e4 b61 + 9112.5 b62 + 3.78e3 b63 + 4788 b64 + 4347 b65 + 30096 b66 + 3654 b67 + 26860.5 b68 + 342 b69 + 2079 b70 + 11245.5 b71 + 10584 b72 + 12384 b73 + 35194.5 b74 + 2.7e3 b75 + 12811.5 b76 + 8307 b77 + 1089 b78 + 26226 b79 + 28728 b80 + 1.881e4 b81 + 1.476e4 b82 + 24795 b83 + 4.59e3 b84 + 1.008e4 b85 + 5544 b86 + 1.485e4 b87 + 306 b88 + 24097.5 b89 + 24282 b90 + 40594.5 b91 + 41085 b92 + 8.91e3 b93 + 5472 b94 + 24444 b95 + 30906 b96 + 7933.5 b97 + 14458.5 b98 + 29245.5 b99 + 15624 b100 + 12096 b101 + 26838 b102 + 9504 b103 + 5485.5 b104 + 11925 b105 + 28066.5 b106 + 3.933e4 b107 + 16182 b108 + 7.29e3 b109 + 36765 b110 + 3847.5 b111 + 11826 b112 + 486 b113 + 3172.5 b114 + 1062 b115 + 9652.5 b116 + 8.1e2 b117 + 5044.5 b118 + 2124 b119 + 24552 b120 + 774 b121 + 5386.5 b122 + 4243.5 b123 + 10152 b124 + 10111.5 b125 + 11016 b126 + 3906 b127 + 5544 b128 + 33669 b129 + 4306.5 b130 + 1449 b131 + 756 b132 + 2016 b133 + 14994 b134 + 30969 b135 + 25245 b136 + 0 b137 Subject To e2: - b2 + b3 - b18 <= 0 e3: - b2 + b4 - b19 <= 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: - b3 + b4 - b33 <= 0 e18: - b3 + b5 - b34 <= 0 e19: - b3 + b6 - b35 <= 0 e20: - b3 + b7 - b36 <= 0 e21: - b3 + b8 - b137 <= 0 e22: - b3 + b9 - b37 <= 0 e23: - b3 + b10 - b38 <= 0 e24: - b3 + b11 - b39 <= 0 e25: - b3 + b12 - b40 <= 0 e26: - b3 + b13 - b41 <= 0 e27: - b3 + b14 - b42 <= 0 e28: - b3 + b15 - b43 <= 0 e29: - b3 + b16 - b44 <= 0 e30: - b3 + b17 - b45 <= 0 e31: - b4 + b5 - b46 <= 0 e32: - b4 + b6 - b47 <= 0 e33: - b4 + b7 - b48 <= 0 e34: - b4 + b8 - b49 <= 0 e35: - b4 + b9 - b50 <= 0 e36: - b4 + b10 - b51 <= 0 e37: - b4 + b11 - b52 <= 0 e38: - b4 + b12 - b53 <= 0 e39: - b4 + b13 - b54 <= 0 e40: - b4 + b14 - b55 <= 0 e41: - b4 + b15 - b56 <= 0 e42: - b4 + b16 - b57 <= 0 e43: - b4 + b17 - b58 <= 0 e44: - b5 + b6 - b59 <= 0 e45: - b5 + b7 - b60 <= 0 e46: - b5 + b8 - b61 <= 0 e47: - b5 + b9 - b62 <= 0 e48: - b5 + b10 - b63 <= 0 e49: - b5 + b11 - b64 <= 0 e50: - b5 + b12 - b65 <= 0 e51: - b5 + b13 - b66 <= 0 e52: - b5 + b14 - b67 <= 0 e53: - b5 + b15 - b68 <= 0 e54: - b5 + b16 - b69 <= 0 e55: - b5 + b17 - b70 <= 0 e56: - b6 + b7 - b71 <= 0 e57: - b6 + b8 - b72 <= 0 e58: - b6 + b9 - b73 <= 0 e59: - b6 + b10 - b74 <= 0 e60: - b6 + b11 - b75 <= 0 e61: - b6 + b12 - b76 <= 0 e62: - b6 + b13 - b77 <= 0 e63: - b6 + b14 - b78 <= 0 e64: - b6 + b15 - b79 <= 0 e65: - b6 + b16 - b80 <= 0 e66: - b6 + b17 - b81 <= 0 e67: - b7 + b8 - b82 <= 0 e68: - b7 + b9 - b83 <= 0 e69: - b7 + b10 - b84 <= 0 e70: - b7 + b11 - b85 <= 0 e71: - b7 + b12 - b86 <= 0 e72: - b7 + b13 - b87 <= 0 e73: - b7 + b14 - b88 <= 0 e74: - b7 + b15 - b89 <= 0 e75: - b7 + b16 - b90 <= 0 e76: - b7 + b17 - b91 <= 0 e77: - b8 + b9 - b92 <= 0 e78: - b8 + b10 - b93 <= 0 e79: - b8 + b11 - b94 <= 0 e80: - b8 + b12 - b95 <= 0 e81: - b8 + b13 - b96 <= 0 e82: - b8 + b14 - b97 <= 0 e83: - b8 + b15 - b98 <= 0 e84: - b8 + b16 - b99 <= 0 e85: - b8 + b17 - b100 <= 0 e86: - b9 + b10 - b101 <= 0 e87: - b9 + b11 - b102 <= 0 e88: - b9 + b12 - b103 <= 0 e89: - b9 + b13 - b104 <= 0 e90: - b9 + b14 - b105 <= 0 e91: - b9 + b15 - b106 <= 0 e92: - b9 + b16 - b107 <= 0 e93: - b9 + b17 - b108 <= 0 e94: - b10 + b11 - b109 <= 0 e95: - b10 + b12 - b110 <= 0 e96: - b10 + b13 - b111 <= 0 e97: - b10 + b14 - b112 <= 0 e98: - b10 + b15 - b113 <= 0 e99: - b10 + b16 - b114 <= 0 e100: - b10 + b17 - b115 <= 0 e101: - b11 + b12 - b116 <= 0 e102: - b11 + b13 - b117 <= 0 e103: - b11 + b14 - b118 <= 0 e104: - b11 + b15 - b119 <= 0 e105: - b11 + b16 - b120 <= 0 e106: - b11 + b17 - b121 <= 0 e107: - b12 + b13 - b122 <= 0 e108: - b12 + b14 - b123 <= 0 e109: - b12 + b15 - b124 <= 0 e110: - b12 + b16 - b125 <= 0 e111: - b12 + b17 - b126 <= 0 e112: - b13 + b14 - b127 <= 0 e113: - b13 + b15 - b128 <= 0 e114: - b13 + b16 - b129 <= 0 e115: - b13 + b17 - b130 <= 0 e116: - b14 + b15 - b131 <= 0 e117: - b14 + b16 - b132 <= 0 e118: - b14 + b17 - b133 <= 0 e119: - b15 + b16 - b134 <= 0 e120: - b15 + b17 - b135 <= 0 e121: - b16 + b17 - b136 <= 0 e122: - b18 + b19 - b33 <= 0 e123: - b18 + b20 - b34 <= 0 e124: - b18 + b21 - b35 <= 0 e125: - b18 + b22 - b36 <= 0 e126: - b18 + b23 - b137 <= 0 e127: - b18 + b24 - b37 <= 0 e128: - b18 + b25 - b38 <= 0 e129: - b18 + b26 - b39 <= 0 e130: - b18 + b27 - b40 <= 0 e131: - b18 + b28 - b41 <= 0 e132: - b18 + b29 - b42 <= 0 e133: - b18 + b30 - b43 <= 0 e134: - b18 + b31 - b44 <= 0 e135: - b18 + b32 - b45 <= 0 e136: - b19 + b20 - b46 <= 0 e137: - b19 + b21 - b47 <= 0 e138: - b19 + b22 - b48 <= 0 e139: - b19 + b23 - b49 <= 0 e140: - b19 + b24 - b50 <= 0 e141: - b19 + b25 - b51 <= 0 e142: - b19 + b26 - b52 <= 0 e143: - b19 + b27 - b53 <= 0 e144: - b19 + b28 - b54 <= 0 e145: - b19 + b29 - b55 <= 0 e146: - b19 + b30 - b56 <= 0 e147: - b19 + b31 - b57 <= 0 e148: - b19 + b32 - b58 <= 0 e149: - b20 + b21 - b59 <= 0 e150: - b20 + b22 - b60 <= 0 e151: - b20 + b23 - b61 <= 0 e152: - b20 + b24 - b62 <= 0 e153: - b20 + b25 - b63 <= 0 e154: - b20 + b26 - b64 <= 0 e155: - b20 + b27 - b65 <= 0 e156: - b20 + b28 - b66 <= 0 e157: - b20 + b29 - b67 <= 0 e158: - b20 + b30 - b68 <= 0 e159: - b20 + b31 - b69 <= 0 e160: - b20 + b32 - b70 <= 0 e161: - b21 + b22 - b71 <= 0 e162: - b21 + b23 - b72 <= 0 e163: - b21 + b24 - b73 <= 0 e164: - b21 + b25 - b74 <= 0 e165: - b21 + b26 - b75 <= 0 e166: - b21 + b27 - b76 <= 0 e167: - b21 + b28 - b77 <= 0 e168: - b21 + b29 - b78 <= 0 e169: - b21 + b30 - b79 <= 0 e170: - b21 + b31 - b80 <= 0 e171: - b21 + b32 - b81 <= 0 e172: - b22 + b23 - b82 <= 0 e173: - b22 + b24 - b83 <= 0 e174: - b22 + b25 - b84 <= 0 e175: - b22 + b26 - b85 <= 0 e176: - b22 + b27 - b86 <= 0 e177: - b22 + b28 - b87 <= 0 e178: - b22 + b29 - b88 <= 0 e179: - b22 + b30 - b89 <= 0 e180: - b22 + b31 - b90 <= 0 e181: - b22 + b32 - b91 <= 0 e182: - b23 + b24 - b92 <= 0 e183: - b23 + b25 - b93 <= 0 e184: - b23 + b26 - b94 <= 0 e185: - b23 + b27 - b95 <= 0 e186: - b23 + b28 - b96 <= 0 e187: - b23 + b29 - b97 <= 0 e188: - b23 + b30 - b98 <= 0 e189: - b23 + b31 - b99 <= 0 e190: - b23 + b32 - b100 <= 0 e191: - b24 + b25 - b101 <= 0 e192: - b24 + b26 - b102 <= 0 e193: - b24 + b27 - b103 <= 0 e194: - b24 + b28 - b104 <= 0 e195: - b24 + b29 - b105 <= 0 e196: - b24 + b30 - b106 <= 0 e197: - b24 + b31 - b107 <= 0 e198: - b24 + b32 - b108 <= 0 e199: - b25 + b26 - b109 <= 0 e200: - b25 + b27 - b110 <= 0 e201: - b25 + b28 - b111 <= 0 e202: - b25 + b29 - b112 <= 0 e203: - b25 + b30 - b113 <= 0 e204: - b25 + b31 - b114 <= 0 e205: - b25 + b32 - b115 <= 0 e206: - b26 + b27 - b116 <= 0 e207: - b26 + b28 - b117 <= 0 e208: - b26 + b29 - b118 <= 0 e209: - b26 + b30 - b119 <= 0 e210: - b26 + b31 - b120 <= 0 e211: - b26 + b32 - b121 <= 0 e212: - b27 + b28 - b122 <= 0 e213: - b27 + b29 - b123 <= 0 e214: - b27 + b30 - b124 <= 0 e215: - b27 + b31 - b125 <= 0 e216: - b27 + b32 - b126 <= 0 e217: - b28 + b29 - b127 <= 0 e218: - b28 + b30 - b128 <= 0 e219: - b28 + b31 - b129 <= 0 e220: - b28 + b32 - b130 <= 0 e221: - b29 + b30 - b131 <= 0 e222: - b29 + b31 - b132 <= 0 e223: - b29 + b32 - b133 <= 0 e224: - b30 + b31 - b134 <= 0 e225: - b30 + b32 - b135 <= 0 e226: - b31 + b32 - b136 <= 0 e227: - b33 + b34 - b46 <= 0 e228: - b33 + b35 - b47 <= 0 e229: - b33 + b36 - b48 <= 0 e230: - b33 - b49 + b137 <= 0 e231: - b33 + b37 - b50 <= 0 e232: - b33 + b38 - b51 <= 0 e233: - b33 + b39 - b52 <= 0 e234: - b33 + b40 - b53 <= 0 e235: - b33 + b41 - b54 <= 0 e236: - b33 + b42 - b55 <= 0 e237: - b33 + b43 - b56 <= 0 e238: - b33 + b44 - b57 <= 0 e239: - b33 + b45 - b58 <= 0 e240: - b34 + b35 - b59 <= 0 e241: - b34 + b36 - b60 <= 0 e242: - b34 - b61 + b137 <= 0 e243: - b34 + b37 - b62 <= 0 e244: - b34 + b38 - b63 <= 0 e245: - b34 + b39 - b64 <= 0 e246: - b34 + b40 - b65 <= 0 e247: - b34 + b41 - b66 <= 0 e248: - b34 + b42 - b67 <= 0 e249: - b34 + b43 - b68 <= 0 e250: - b34 + b44 - b69 <= 0 e251: - b34 + b45 - b70 <= 0 e252: - b35 + b36 - b71 <= 0 e253: - b35 - b72 + b137 <= 0 e254: - b35 + b37 - b73 <= 0 e255: - b35 + b38 - b74 <= 0 e256: - b35 + b39 - b75 <= 0 e257: - b35 + b40 - b76 <= 0 e258: - b35 + b41 - b77 <= 0 e259: - b35 + b42 - b78 <= 0 e260: - b35 + b43 - b79 <= 0 e261: - b35 + b44 - b80 <= 0 e262: - b35 + b45 - b81 <= 0 e263: - b36 - b82 + b137 <= 0 e264: - b36 + b37 - b83 <= 0 e265: - b36 + b38 - b84 <= 0 e266: - b36 + b39 - b85 <= 0 e267: - b36 + b40 - b86 <= 0 e268: - b36 + b41 - b87 <= 0 e269: - b36 + b42 - b88 <= 0 e270: - b36 + b43 - b89 <= 0 e271: - b36 + b44 - b90 <= 0 e272: - b36 + b45 - b91 <= 0 e273: b37 - b92 - b137 <= 0 e274: b38 - b93 - b137 <= 0 e275: b39 - b94 - b137 <= 0 e276: b40 - b95 - b137 <= 0 e277: b41 - b96 - b137 <= 0 e278: b42 - b97 - b137 <= 0 e279: b43 - b98 - b137 <= 0 e280: b44 - b99 - b137 <= 0 e281: b45 - b100 - b137 <= 0 e282: - b37 + b38 - b101 <= 0 e283: - b37 + b39 - b102 <= 0 e284: - b37 + b40 - b103 <= 0 e285: - b37 + b41 - b104 <= 0 e286: - b37 + b42 - b105 <= 0 e287: - b37 + b43 - b106 <= 0 e288: - b37 + b44 - b107 <= 0 e289: - b37 + b45 - b108 <= 0 e290: - b38 + b39 - b109 <= 0 e291: - b38 + b40 - b110 <= 0 e292: - b38 + b41 - b111 <= 0 e293: - b38 + b42 - b112 <= 0 e294: - b38 + b43 - b113 <= 0 e295: - b38 + b44 - b114 <= 0 e296: - b38 + b45 - b115 <= 0 e297: - b39 + b40 - b116 <= 0 e298: - b39 + b41 - b117 <= 0 e299: - b39 + b42 - b118 <= 0 e300: - b39 + b43 - b119 <= 0 e301: - b39 + b44 - b120 <= 0 e302: - b39 + b45 - b121 <= 0 e303: - b40 + b41 - b122 <= 0 e304: - b40 + b42 - b123 <= 0 e305: - b40 + b43 - b124 <= 0 e306: - b40 + b44 - b125 <= 0 e307: - b40 + b45 - b126 <= 0 e308: - b41 + b42 - b127 <= 0 e309: - b41 + b43 - b128 <= 0 e310: - b41 + b44 - b129 <= 0 e311: - b41 + b45 - b130 <= 0 e312: - b42 + b43 - b131 <= 0 e313: - b42 + b44 - b132 <= 0 e314: - b42 + b45 - b133 <= 0 e315: - b43 + b44 - b134 <= 0 e316: - b43 + b45 - b135 <= 0 e317: - b44 + b45 - b136 <= 0 e318: - b46 + b47 - b59 <= 0 e319: - b46 + b48 - b60 <= 0 e320: - b46 + b49 - b61 <= 0 e321: - b46 + b50 - b62 <= 0 e322: - b46 + b51 - b63 <= 0 e323: - b46 + b52 - b64 <= 0 e324: - b46 + b53 - b65 <= 0 e325: - b46 + b54 - b66 <= 0 e326: - b46 + b55 - b67 <= 0 e327: - b46 + b56 - b68 <= 0 e328: - b46 + b57 - b69 <= 0 e329: - b46 + b58 - b70 <= 0 e330: - b47 + b48 - b71 <= 0 e331: - b47 + b49 - b72 <= 0 e332: - b47 + b50 - b73 <= 0 e333: - b47 + b51 - b74 <= 0 e334: - b47 + b52 - b75 <= 0 e335: - b47 + b53 - b76 <= 0 e336: - b47 + b54 - b77 <= 0 e337: - b47 + b55 - b78 <= 0 e338: - b47 + b56 - b79 <= 0 e339: - b47 + b57 - b80 <= 0 e340: - b47 + b58 - b81 <= 0 e341: - b48 + b49 - b82 <= 0 e342: - b48 + b50 - b83 <= 0 e343: - b48 + b51 - b84 <= 0 e344: - b48 + b52 - b85 <= 0 e345: - b48 + b53 - b86 <= 0 e346: - b48 + b54 - b87 <= 0 e347: - b48 + b55 - b88 <= 0 e348: - b48 + b56 - b89 <= 0 e349: - b48 + b57 - b90 <= 0 e350: - b48 + b58 - b91 <= 0 e351: - b49 + b50 - b92 <= 0 e352: - b49 + b51 - b93 <= 0 e353: - b49 + b52 - b94 <= 0 e354: - b49 + b53 - b95 <= 0 e355: - b49 + b54 - b96 <= 0 e356: - b49 + b55 - b97 <= 0 e357: - b49 + b56 - b98 <= 0 e358: - b49 + b57 - b99 <= 0 e359: - b49 + b58 - b100 <= 0 e360: - b50 + b51 - b101 <= 0 e361: - b50 + b52 - b102 <= 0 e362: - b50 + b53 - b103 <= 0 e363: - b50 + b54 - b104 <= 0 e364: - b50 + b55 - b105 <= 0 e365: - b50 + b56 - b106 <= 0 e366: - b50 + b57 - b107 <= 0 e367: - b50 + b58 - b108 <= 0 e368: - b51 + b52 - b109 <= 0 e369: - b51 + b53 - b110 <= 0 e370: - b51 + b54 - b111 <= 0 e371: - b51 + b55 - b112 <= 0 e372: - b51 + b56 - b113 <= 0 e373: - b51 + b57 - b114 <= 0 e374: - b51 + b58 - b115 <= 0 e375: - b52 + b53 - b116 <= 0 e376: - b52 + b54 - b117 <= 0 e377: - b52 + b55 - b118 <= 0 e378: - b52 + b56 - b119 <= 0 e379: - b52 + b57 - b120 <= 0 e380: - b52 + b58 - b121 <= 0 e381: - b53 + b54 - b122 <= 0 e382: - b53 + b55 - b123 <= 0 e383: - b53 + b56 - b124 <= 0 e384: - b53 + b57 - b125 <= 0 e385: - b53 + b58 - b126 <= 0 e386: - b54 + b55 - b127 <= 0 e387: - b54 + b56 - b128 <= 0 e388: - b54 + b57 - b129 <= 0 e389: - b54 + b58 - b130 <= 0 e390: - b55 + b56 - b131 <= 0 e391: - b55 + b57 - b132 <= 0 e392: - b55 + b58 - b133 <= 0 e393: - b56 + b57 - b134 <= 0 e394: - b56 + b58 - b135 <= 0 e395: - b57 + b58 - b136 <= 0 e396: - b59 + b60 - b71 <= 0 e397: - b59 + b61 - b72 <= 0 e398: - b59 + b62 - b73 <= 0 e399: - b59 + b63 - b74 <= 0 e400: - b59 + b64 - b75 <= 0 e401: - b59 + b65 - b76 <= 0 e402: - b59 + b66 - b77 <= 0 e403: - b59 + b67 - b78 <= 0 e404: - b59 + b68 - b79 <= 0 e405: - b59 + b69 - b80 <= 0 e406: - b59 + b70 - b81 <= 0 e407: - b60 + b61 - b82 <= 0 e408: - b60 + b62 - b83 <= 0 e409: - b60 + b63 - b84 <= 0 e410: - b60 + b64 - b85 <= 0 e411: - b60 + b65 - b86 <= 0 e412: - b60 + b66 - b87 <= 0 e413: - b60 + b67 - b88 <= 0 e414: - b60 + b68 - b89 <= 0 e415: - b60 + b69 - b90 <= 0 e416: - b60 + b70 - b91 <= 0 e417: - b61 + b62 - b92 <= 0 e418: - b61 + b63 - b93 <= 0 e419: - b61 + b64 - b94 <= 0 e420: - b61 + b65 - b95 <= 0 e421: - b61 + b66 - b96 <= 0 e422: - b61 + b67 - b97 <= 0 e423: - b61 + b68 - b98 <= 0 e424: - b61 + b69 - b99 <= 0 e425: - b61 + b70 - b100 <= 0 e426: - b62 + b63 - b101 <= 0 e427: - b62 + b64 - b102 <= 0 e428: - b62 + b65 - b103 <= 0 e429: - b62 + b66 - b104 <= 0 e430: - b62 + b67 - b105 <= 0 e431: - b62 + b68 - b106 <= 0 e432: - b62 + b69 - b107 <= 0 e433: - b62 + b70 - b108 <= 0 e434: - b63 + b64 - b109 <= 0 e435: - b63 + b65 - b110 <= 0 e436: - b63 + b66 - b111 <= 0 e437: - b63 + b67 - b112 <= 0 e438: - b63 + b68 - b113 <= 0 e439: - b63 + b69 - b114 <= 0 e440: - b63 + b70 - b115 <= 0 e441: - b64 + b65 - b116 <= 0 e442: - b64 + b66 - b117 <= 0 e443: - b64 + b67 - b118 <= 0 e444: - b64 + b68 - b119 <= 0 e445: - b64 + b69 - b120 <= 0 e446: - b64 + b70 - b121 <= 0 e447: - b65 + b66 - b122 <= 0 e448: - b65 + b67 - b123 <= 0 e449: - b65 + b68 - b124 <= 0 e450: - b65 + b69 - b125 <= 0 e451: - b65 + b70 - b126 <= 0 e452: - b66 + b67 - b127 <= 0 e453: - b66 + b68 - b128 <= 0 e454: - b66 + b69 - b129 <= 0 e455: - b66 + b70 - b130 <= 0 e456: - b67 + b68 - b131 <= 0 e457: - b67 + b69 - b132 <= 0 e458: - b67 + b70 - b133 <= 0 e459: - b68 + b69 - b134 <= 0 e460: - b68 + b70 - b135 <= 0 e461: - b69 + b70 - b136 <= 0 e462: - b71 + b72 - b82 <= 0 e463: - b71 + b73 - b83 <= 0 e464: - b71 + b74 - b84 <= 0 e465: - b71 + b75 - b85 <= 0 e466: - b71 + b76 - b86 <= 0 e467: - b71 + b77 - b87 <= 0 e468: - b71 + b78 - b88 <= 0 e469: - b71 + b79 - b89 <= 0 e470: - b71 + b80 - b90 <= 0 e471: - b71 + b81 - b91 <= 0 e472: - b72 + b73 - b92 <= 0 e473: - b72 + b74 - b93 <= 0 e474: - b72 + b75 - b94 <= 0 e475: - b72 + b76 - b95 <= 0 e476: - b72 + b77 - b96 <= 0 e477: - b72 + b78 - b97 <= 0 e478: - b72 + b79 - b98 <= 0 e479: - b72 + b80 - b99 <= 0 e480: - b72 + b81 - b100 <= 0 e481: - b73 + b74 - b101 <= 0 e482: - b73 + b75 - b102 <= 0 e483: - b73 + b76 - b103 <= 0 e484: - b73 + b77 - b104 <= 0 e485: - b73 + b78 - b105 <= 0 e486: - b73 + b79 - b106 <= 0 e487: - b73 + b80 - b107 <= 0 e488: - b73 + b81 - b108 <= 0 e489: - b74 + b75 - b109 <= 0 e490: - b74 + b76 - b110 <= 0 e491: - b74 + b77 - b111 <= 0 e492: - b74 + b78 - b112 <= 0 e493: - b74 + b79 - b113 <= 0 e494: - b74 + b80 - b114 <= 0 e495: - b74 + b81 - b115 <= 0 e496: - b75 + b76 - b116 <= 0 e497: - b75 + b77 - b117 <= 0 e498: - b75 + b78 - b118 <= 0 e499: - b75 + b79 - b119 <= 0 e500: - b75 + b80 - b120 <= 0 e501: - b75 + b81 - b121 <= 0 e502: - b76 + b77 - b122 <= 0 e503: - b76 + b78 - b123 <= 0 e504: - b76 + b79 - b124 <= 0 e505: - b76 + b80 - b125 <= 0 e506: - b76 + b81 - b126 <= 0 e507: - b77 + b78 - b127 <= 0 e508: - b77 + b79 - b128 <= 0 e509: - b77 + b80 - b129 <= 0 e510: - b77 + b81 - b130 <= 0 e511: - b78 + b79 - b131 <= 0 e512: - b78 + b80 - b132 <= 0 e513: - b78 + b81 - b133 <= 0 e514: - b79 + b80 - b134 <= 0 e515: - b79 + b81 - b135 <= 0 e516: - b80 + b81 - b136 <= 0 e517: - b82 + b83 - b92 <= 0 e518: - b82 + b84 - b93 <= 0 e519: - b82 + b85 - b94 <= 0 e520: - b82 + b86 - b95 <= 0 e521: - b82 + b87 - b96 <= 0 e522: - b82 + b88 - b97 <= 0 e523: - b82 + b89 - b98 <= 0 e524: - b82 + b90 - b99 <= 0 e525: - b82 + b91 - b100 <= 0 e526: - b83 + b84 - b101 <= 0 e527: - b83 + b85 - b102 <= 0 e528: - b83 + b86 - b103 <= 0 e529: - b83 + b87 - b104 <= 0 e530: - b83 + b88 - b105 <= 0 e531: - b83 + b89 - b106 <= 0 e532: - b83 + b90 - b107 <= 0 e533: - b83 + b91 - b108 <= 0 e534: - b84 + b85 - b109 <= 0 e535: - b84 + b86 - b110 <= 0 e536: - b84 + b87 - b111 <= 0 e537: - b84 + b88 - b112 <= 0 e538: - b84 + b89 - b113 <= 0 e539: - b84 + b90 - b114 <= 0 e540: - b84 + b91 - b115 <= 0 e541: - b85 + b86 - b116 <= 0 e542: - b85 + b87 - b117 <= 0 e543: - b85 + b88 - b118 <= 0 e544: - b85 + b89 - b119 <= 0 e545: - b85 + b90 - b120 <= 0 e546: - b85 + b91 - b121 <= 0 e547: - b86 + b87 - b122 <= 0 e548: - b86 + b88 - b123 <= 0 e549: - b86 + b89 - b124 <= 0 e550: - b86 + b90 - b125 <= 0 e551: - b86 + b91 - b126 <= 0 e552: - b87 + b88 - b127 <= 0 e553: - b87 + b89 - b128 <= 0 e554: - b87 + b90 - b129 <= 0 e555: - b87 + b91 - b130 <= 0 e556: - b88 + b89 - b131 <= 0 e557: - b88 + b90 - b132 <= 0 e558: - b88 + b91 - b133 <= 0 e559: - b89 + b90 - b134 <= 0 e560: - b89 + b91 - b135 <= 0 e561: - b90 + b91 - b136 <= 0 e562: - b92 + b93 - b101 <= 0 e563: - b92 + b94 - b102 <= 0 e564: - b92 + b95 - b103 <= 0 e565: - b92 + b96 - b104 <= 0 e566: - b92 + b97 - b105 <= 0 e567: - b92 + b98 - b106 <= 0 e568: - b92 + b99 - b107 <= 0 e569: - b92 + b100 - b108 <= 0 e570: - b93 + b94 - b109 <= 0 e571: - b93 + b95 - b110 <= 0 e572: - b93 + b96 - b111 <= 0 e573: - b93 + b97 - b112 <= 0 e574: - b93 + b98 - b113 <= 0 e575: - b93 + b99 - b114 <= 0 e576: - b93 + b100 - b115 <= 0 e577: - b94 + b95 - b116 <= 0 e578: - b94 + b96 - b117 <= 0 e579: - b94 + b97 - b118 <= 0 e580: - b94 + b98 - b119 <= 0 e581: - b94 + b99 - b120 <= 0 e582: - b94 + b100 - b121 <= 0 e583: - b95 + b96 - b122 <= 0 e584: - b95 + b97 - b123 <= 0 e585: - b95 + b98 - b124 <= 0 e586: - b95 + b99 - b125 <= 0 e587: - b95 + b100 - b126 <= 0 e588: - b96 + b97 - b127 <= 0 e589: - b96 + b98 - b128 <= 0 e590: - b96 + b99 - b129 <= 0 e591: - b96 + b100 - b130 <= 0 e592: - b97 + b98 - b131 <= 0 e593: - b97 + b99 - b132 <= 0 e594: - b97 + b100 - b133 <= 0 e595: - b98 + b99 - b134 <= 0 e596: - b98 + b100 - b135 <= 0 e597: - b99 + b100 - b136 <= 0 e598: - b101 + b102 - b109 <= 0 e599: - b101 + b103 - b110 <= 0 e600: - b101 + b104 - b111 <= 0 e601: - b101 + b105 - b112 <= 0 e602: - b101 + b106 - b113 <= 0 e603: - b101 + b107 - b114 <= 0 e604: - b101 + b108 - b115 <= 0 e605: - b102 + b103 - b116 <= 0 e606: - b102 + b104 - b117 <= 0 e607: - b102 + b105 - b118 <= 0 e608: - b102 + b106 - b119 <= 0 e609: - b102 + b107 - b120 <= 0 e610: - b102 + b108 - b121 <= 0 e611: - b103 + b104 - b122 <= 0 e612: - b103 + b105 - b123 <= 0 e613: - b103 + b106 - b124 <= 0 e614: - b103 + b107 - b125 <= 0 e615: - b103 + b108 - b126 <= 0 e616: - b104 + b105 - b127 <= 0 e617: - b104 + b106 - b128 <= 0 e618: - b104 + b107 - b129 <= 0 e619: - b104 + b108 - b130 <= 0 e620: - b105 + b106 - b131 <= 0 e621: - b105 + b107 - b132 <= 0 e622: - b105 + b108 - b133 <= 0 e623: - b106 + b107 - b134 <= 0 e624: - b106 + b108 - b135 <= 0 e625: - b107 + b108 - b136 <= 0 e626: - b109 + b110 - b116 <= 0 e627: - b109 + b111 - b117 <= 0 e628: - b109 + b112 - b118 <= 0 e629: - b109 + b113 - b119 <= 0 e630: - b109 + b114 - b120 <= 0 e631: - b109 + b115 - b121 <= 0 e632: - b110 + b111 - b122 <= 0 e633: - b110 + b112 - b123 <= 0 e634: - b110 + b113 - b124 <= 0 e635: - b110 + b114 - b125 <= 0 e636: - b110 + b115 - b126 <= 0 e637: - b111 + b112 - b127 <= 0 e638: - b111 + b113 - b128 <= 0 e639: - b111 + b114 - b129 <= 0 e640: - b111 + b115 - b130 <= 0 e641: - b112 + b113 - b131 <= 0 e642: - b112 + b114 - b132 <= 0 e643: - b112 + b115 - b133 <= 0 e644: - b113 + b114 - b134 <= 0 e645: - b113 + b115 - b135 <= 0 e646: - b114 + b115 - b136 <= 0 e647: - b116 + b117 - b122 <= 0 e648: - b116 + b118 - b123 <= 0 e649: - b116 + b119 - b124 <= 0 e650: - b116 + b120 - b125 <= 0 e651: - b116 + b121 - b126 <= 0 e652: - b117 + b118 - b127 <= 0 e653: - b117 + b119 - b128 <= 0 e654: - b117 + b120 - b129 <= 0 e655: - b117 + b121 - b130 <= 0 e656: - b118 + b119 - b131 <= 0 e657: - b118 + b120 - b132 <= 0 e658: - b118 + b121 - b133 <= 0 e659: - b119 + b120 - b134 <= 0 e660: - b119 + b121 - b135 <= 0 e661: - b120 + b121 - b136 <= 0 e662: - b122 + b123 - b127 <= 0 e663: - b122 + b124 - b128 <= 0 e664: - b122 + b125 - b129 <= 0 e665: - b122 + b126 - b130 <= 0 e666: - b123 + b124 - b131 <= 0 e667: - b123 + b125 - b132 <= 0 e668: - b123 + b126 - b133 <= 0 e669: - b124 + b125 - b134 <= 0 e670: - b124 + b126 - b135 <= 0 e671: - b125 + b126 - b136 <= 0 e672: - b127 + b128 - b131 <= 0 e673: - b127 + b129 - b132 <= 0 e674: - b127 + b130 - b133 <= 0 e675: - b128 + b129 - b134 <= 0 e676: - b128 + b130 - b135 <= 0 e677: - b129 + b130 - b136 <= 0 e678: - b131 + b132 - b134 <= 0 e679: - b131 + b133 - b135 <= 0 e680: - b132 + b133 - b136 <= 0 e681: - b134 + b135 - b136 <= 0 e682: b2 - b3 - b18 <= 0 e683: b2 - b4 - b19 <= 0 e684: b2 - b5 - b20 <= 0 e685: b2 - b6 - b21 <= 0 e686: b2 - b7 - b22 <= 0 e687: b2 - b8 - b23 <= 0 e688: b2 - b9 - b24 <= 0 e689: b2 - b10 - b25 <= 0 e690: b2 - b11 - b26 <= 0 e691: b2 - b12 - b27 <= 0 e692: b2 - b13 - b28 <= 0 e693: b2 - b14 - b29 <= 0 e694: b2 - b15 - b30 <= 0 e695: b2 - b16 - b31 <= 0 e696: b2 - b17 - b32 <= 0 e697: b3 - b4 - b33 <= 0 e698: b3 - b5 - b34 <= 0 e699: b3 - b6 - b35 <= 0 e700: b3 - b7 - b36 <= 0 e701: b3 - b8 - b137 <= 0 e702: b3 - b9 - b37 <= 0 e703: b3 - b10 - b38 <= 0 e704: b3 - b11 - b39 <= 0 e705: b3 - b12 - b40 <= 0 e706: b3 - b13 - b41 <= 0 e707: b3 - b14 - b42 <= 0 e708: b3 - b15 - b43 <= 0 e709: b3 - b16 - b44 <= 0 e710: b3 - b17 - b45 <= 0 e711: b4 - b5 - b46 <= 0 e712: b4 - b6 - b47 <= 0 e713: b4 - b7 - b48 <= 0 e714: b4 - b8 - b49 <= 0 e715: b4 - b9 - b50 <= 0 e716: b4 - b10 - b51 <= 0 e717: b4 - b11 - b52 <= 0 e718: b4 - b12 - b53 <= 0 e719: b4 - b13 - b54 <= 0 e720: b4 - b14 - b55 <= 0 e721: b4 - b15 - b56 <= 0 e722: b4 - b16 - b57 <= 0 e723: b4 - b17 - b58 <= 0 e724: b5 - b6 - b59 <= 0 e725: b5 - b7 - b60 <= 0 e726: b5 - b8 - b61 <= 0 e727: b5 - b9 - b62 <= 0 e728: b5 - b10 - b63 <= 0 e729: b5 - b11 - b64 <= 0 e730: b5 - b12 - b65 <= 0 e731: b5 - b13 - b66 <= 0 e732: b5 - b14 - b67 <= 0 e733: b5 - b15 - b68 <= 0 e734: b5 - b16 - b69 <= 0 e735: b5 - b17 - b70 <= 0 e736: b6 - b7 - b71 <= 0 e737: b6 - b8 - b72 <= 0 e738: b6 - b9 - b73 <= 0 e739: b6 - b10 - b74 <= 0 e740: b6 - b11 - b75 <= 0 e741: b6 - b12 - b76 <= 0 e742: b6 - b13 - b77 <= 0 e743: b6 - b14 - b78 <= 0 e744: b6 - b15 - b79 <= 0 e745: b6 - b16 - b80 <= 0 e746: b6 - b17 - b81 <= 0 e747: b7 - b8 - b82 <= 0 e748: b7 - b9 - b83 <= 0 e749: b7 - b10 - b84 <= 0 e750: b7 - b11 - b85 <= 0 e751: b7 - b12 - b86 <= 0 e752: b7 - b13 - b87 <= 0 e753: b7 - b14 - b88 <= 0 e754: b7 - b15 - b89 <= 0 e755: b7 - b16 - b90 <= 0 e756: b7 - b17 - b91 <= 0 e757: b8 - b9 - b92 <= 0 e758: b8 - b10 - b93 <= 0 e759: b8 - b11 - b94 <= 0 e760: b8 - b12 - b95 <= 0 e761: b8 - b13 - b96 <= 0 e762: b8 - b14 - b97 <= 0 e763: b8 - b15 - b98 <= 0 e764: b8 - b16 - b99 <= 0 e765: b8 - b17 - b100 <= 0 e766: b9 - b10 - b101 <= 0 e767: b9 - b11 - b102 <= 0 e768: b9 - b12 - b103 <= 0 e769: b9 - b13 - b104 <= 0 e770: b9 - b14 - b105 <= 0 e771: b9 - b15 - b106 <= 0 e772: b9 - b16 - b107 <= 0 e773: b9 - b17 - b108 <= 0 e774: b10 - b11 - b109 <= 0 e775: b10 - b12 - b110 <= 0 e776: b10 - b13 - b111 <= 0 e777: b10 - b14 - b112 <= 0 e778: b10 - b15 - b113 <= 0 e779: b10 - b16 - b114 <= 0 e780: b10 - b17 - b115 <= 0 e781: b11 - b12 - b116 <= 0 e782: b11 - b13 - b117 <= 0 e783: b11 - b14 - b118 <= 0 e784: b11 - b15 - b119 <= 0 e785: b11 - b16 - b120 <= 0 e786: b11 - b17 - b121 <= 0 e787: b12 - b13 - b122 <= 0 e788: b12 - b14 - b123 <= 0 e789: b12 - b15 - b124 <= 0 e790: b12 - b16 - b125 <= 0 e791: b12 - b17 - b126 <= 0 e792: b13 - b14 - b127 <= 0 e793: b13 - b15 - b128 <= 0 e794: b13 - b16 - b129 <= 0 e795: b13 - b17 - b130 <= 0 e796: b14 - b15 - b131 <= 0 e797: b14 - b16 - b132 <= 0 e798: b14 - b17 - b133 <= 0 e799: b15 - b16 - b134 <= 0 e800: b15 - b17 - b135 <= 0 e801: b16 - b17 - b136 <= 0 e802: b18 - b19 - b33 <= 0 e803: b18 - b20 - b34 <= 0 e804: b18 - b21 - b35 <= 0 e805: b18 - b22 - b36 <= 0 e806: b18 - b23 - b137 <= 0 e807: b18 - b24 - b37 <= 0 e808: b18 - b25 - b38 <= 0 e809: b18 - b26 - b39 <= 0 e810: b18 - b27 - b40 <= 0 e811: b18 - b28 - b41 <= 0 e812: b18 - b29 - b42 <= 0 e813: b18 - b30 - b43 <= 0 e814: b18 - b31 - b44 <= 0 e815: b18 - b32 - b45 <= 0 e816: b19 - b20 - b46 <= 0 e817: b19 - b21 - b47 <= 0 e818: b19 - b22 - b48 <= 0 e819: b19 - b23 - b49 <= 0 e820: b19 - b24 - b50 <= 0 e821: b19 - b25 - b51 <= 0 e822: b19 - b26 - b52 <= 0 e823: b19 - b27 - b53 <= 0 e824: b19 - b28 - b54 <= 0 e825: b19 - b29 - b55 <= 0 e826: b19 - b30 - b56 <= 0 e827: b19 - b31 - b57 <= 0 e828: b19 - b32 - b58 <= 0 e829: b20 - b21 - b59 <= 0 e830: b20 - b22 - b60 <= 0 e831: b20 - b23 - b61 <= 0 e832: b20 - b24 - b62 <= 0 e833: b20 - b25 - b63 <= 0 e834: b20 - b26 - b64 <= 0 e835: b20 - b27 - b65 <= 0 e836: b20 - b28 - b66 <= 0 e837: b20 - b29 - b67 <= 0 e838: b20 - b30 - b68 <= 0 e839: b20 - b31 - b69 <= 0 e840: b20 - b32 - b70 <= 0 e841: b21 - b22 - b71 <= 0 e842: b21 - b23 - b72 <= 0 e843: b21 - b24 - b73 <= 0 e844: b21 - b25 - b74 <= 0 e845: b21 - b26 - b75 <= 0 e846: b21 - b27 - b76 <= 0 e847: b21 - b28 - b77 <= 0 e848: b21 - b29 - b78 <= 0 e849: b21 - b30 - b79 <= 0 e850: b21 - b31 - b80 <= 0 e851: b21 - b32 - b81 <= 0 e852: b22 - b23 - b82 <= 0 e853: b22 - b24 - b83 <= 0 e854: b22 - b25 - b84 <= 0 e855: b22 - b26 - b85 <= 0 e856: b22 - b27 - b86 <= 0 e857: b22 - b28 - b87 <= 0 e858: b22 - b29 - b88 <= 0 e859: b22 - b30 - b89 <= 0 e860: b22 - b31 - b90 <= 0 e861: b22 - b32 - b91 <= 0 e862: b23 - b24 - b92 <= 0 e863: b23 - b25 - b93 <= 0 e864: b23 - b26 - b94 <= 0 e865: b23 - b27 - b95 <= 0 e866: b23 - b28 - b96 <= 0 e867: b23 - b29 - b97 <= 0 e868: b23 - b30 - b98 <= 0 e869: b23 - b31 - b99 <= 0 e870: b23 - b32 - b100 <= 0 e871: b24 - b25 - b101 <= 0 e872: b24 - b26 - b102 <= 0 e873: b24 - b27 - b103 <= 0 e874: b24 - b28 - b104 <= 0 e875: b24 - b29 - b105 <= 0 e876: b24 - b30 - b106 <= 0 e877: b24 - b31 - b107 <= 0 e878: b24 - b32 - b108 <= 0 e879: b25 - b26 - b109 <= 0 e880: b25 - b27 - b110 <= 0 e881: b25 - b28 - b111 <= 0 e882: b25 - b29 - b112 <= 0 e883: b25 - b30 - b113 <= 0 e884: b25 - b31 - b114 <= 0 e885: b25 - b32 - b115 <= 0 e886: b26 - b27 - b116 <= 0 e887: b26 - b28 - b117 <= 0 e888: b26 - b29 - b118 <= 0 e889: b26 - b30 - b119 <= 0 e890: b26 - b31 - b120 <= 0 e891: b26 - b32 - b121 <= 0 e892: b27 - b28 - b122 <= 0 e893: b27 - b29 - b123 <= 0 e894: b27 - b30 - b124 <= 0 e895: b27 - b31 - b125 <= 0 e896: b27 - b32 - b126 <= 0 e897: b28 - b29 - b127 <= 0 e898: b28 - b30 - b128 <= 0 e899: b28 - b31 - b129 <= 0 e900: b28 - b32 - b130 <= 0 e901: b29 - b30 - b131 <= 0 e902: b29 - b31 - b132 <= 0 e903: b29 - b32 - b133 <= 0 e904: b30 - b31 - b134 <= 0 e905: b30 - b32 - b135 <= 0 e906: b31 - b32 - b136 <= 0 e907: b33 - b34 - b46 <= 0 e908: b33 - b35 - b47 <= 0 e909: b33 - b36 - b48 <= 0 e910: b33 - b49 - b137 <= 0 e911: b33 - b37 - b50 <= 0 e912: b33 - b38 - b51 <= 0 e913: b33 - b39 - b52 <= 0 e914: b33 - b40 - b53 <= 0 e915: b33 - b41 - b54 <= 0 e916: b33 - b42 - b55 <= 0 e917: b33 - b43 - b56 <= 0 e918: b33 - b44 - b57 <= 0 e919: b33 - b45 - b58 <= 0 e920: b34 - b35 - b59 <= 0 e921: b34 - b36 - b60 <= 0 e922: b34 - b61 - b137 <= 0 e923: b34 - b37 - b62 <= 0 e924: b34 - b38 - b63 <= 0 e925: b34 - b39 - b64 <= 0 e926: b34 - b40 - b65 <= 0 e927: b34 - b41 - b66 <= 0 e928: b34 - b42 - b67 <= 0 e929: b34 - b43 - b68 <= 0 e930: b34 - b44 - b69 <= 0 e931: b34 - b45 - b70 <= 0 e932: b35 - b36 - b71 <= 0 e933: b35 - b72 - b137 <= 0 e934: b35 - b37 - b73 <= 0 e935: b35 - b38 - b74 <= 0 e936: b35 - b39 - b75 <= 0 e937: b35 - b40 - b76 <= 0 e938: b35 - b41 - b77 <= 0 e939: b35 - b42 - b78 <= 0 e940: b35 - b43 - b79 <= 0 e941: b35 - b44 - b80 <= 0 e942: b35 - b45 - b81 <= 0 e943: b36 - b82 - b137 <= 0 e944: b36 - b37 - b83 <= 0 e945: b36 - b38 - b84 <= 0 e946: b36 - b39 - b85 <= 0 e947: b36 - b40 - b86 <= 0 e948: b36 - b41 - b87 <= 0 e949: b36 - b42 - b88 <= 0 e950: b36 - b43 - b89 <= 0 e951: b36 - b44 - b90 <= 0 e952: b36 - b45 - b91 <= 0 e953: - b37 - b92 + b137 <= 0 e954: - b38 - b93 + b137 <= 0 e955: - b39 - b94 + b137 <= 0 e956: - b40 - b95 + b137 <= 0 e957: - b41 - b96 + b137 <= 0 e958: - b42 - b97 + b137 <= 0 e959: - b43 - b98 + b137 <= 0 e960: - b44 - b99 + b137 <= 0 e961: - b45 - b100 + b137 <= 0 e962: b37 - b38 - b101 <= 0 e963: b37 - b39 - b102 <= 0 e964: b37 - b40 - b103 <= 0 e965: b37 - b41 - b104 <= 0 e966: b37 - b42 - b105 <= 0 e967: b37 - b43 - b106 <= 0 e968: b37 - b44 - b107 <= 0 e969: b37 - b45 - b108 <= 0 e970: b38 - b39 - b109 <= 0 e971: b38 - b40 - b110 <= 0 e972: b38 - b41 - b111 <= 0 e973: b38 - b42 - b112 <= 0 e974: b38 - b43 - b113 <= 0 e975: b38 - b44 - b114 <= 0 e976: b38 - b45 - b115 <= 0 e977: b39 - b40 - b116 <= 0 e978: b39 - b41 - b117 <= 0 e979: b39 - b42 - b118 <= 0 e980: b39 - b43 - b119 <= 0 e981: b39 - b44 - b120 <= 0 e982: b39 - b45 - b121 <= 0 e983: b40 - b41 - b122 <= 0 e984: b40 - b42 - b123 <= 0 e985: b40 - b43 - b124 <= 0 e986: b40 - b44 - b125 <= 0 e987: b40 - b45 - b126 <= 0 e988: b41 - b42 - b127 <= 0 e989: b41 - b43 - b128 <= 0 e990: b41 - b44 - b129 <= 0 e991: b41 - b45 - b130 <= 0 e992: b42 - b43 - b131 <= 0 e993: b42 - b44 - b132 <= 0 e994: b42 - b45 - b133 <= 0 e995: b43 - b44 - b134 <= 0 e996: b43 - b45 - b135 <= 0 e997: b44 - b45 - b136 <= 0 e998: b46 - b47 - b59 <= 0 e999: b46 - b48 - b60 <= 0 e1000: b46 - b49 - b61 <= 0 e1001: b46 - b50 - b62 <= 0 e1002: b46 - b51 - b63 <= 0 e1003: b46 - b52 - b64 <= 0 e1004: b46 - b53 - b65 <= 0 e1005: b46 - b54 - b66 <= 0 e1006: b46 - b55 - b67 <= 0 e1007: b46 - b56 - b68 <= 0 e1008: b46 - b57 - b69 <= 0 e1009: b46 - b58 - b70 <= 0 e1010: b47 - b48 - b71 <= 0 e1011: b47 - b49 - b72 <= 0 e1012: b47 - b50 - b73 <= 0 e1013: b47 - b51 - b74 <= 0 e1014: b47 - b52 - b75 <= 0 e1015: b47 - b53 - b76 <= 0 e1016: b47 - b54 - b77 <= 0 e1017: b47 - b55 - b78 <= 0 e1018: b47 - b56 - b79 <= 0 e1019: b47 - b57 - b80 <= 0 e1020: b47 - b58 - b81 <= 0 e1021: b48 - b49 - b82 <= 0 e1022: b48 - b50 - b83 <= 0 e1023: b48 - b51 - b84 <= 0 e1024: b48 - b52 - b85 <= 0 e1025: b48 - b53 - b86 <= 0 e1026: b48 - b54 - b87 <= 0 e1027: b48 - b55 - b88 <= 0 e1028: b48 - b56 - b89 <= 0 e1029: b48 - b57 - b90 <= 0 e1030: b48 - b58 - b91 <= 0 e1031: b49 - b50 - b92 <= 0 e1032: b49 - b51 - b93 <= 0 e1033: b49 - b52 - b94 <= 0 e1034: b49 - b53 - b95 <= 0 e1035: b49 - b54 - b96 <= 0 e1036: b49 - b55 - b97 <= 0 e1037: b49 - b56 - b98 <= 0 e1038: b49 - b57 - b99 <= 0 e1039: b49 - b58 - b100 <= 0 e1040: b50 - b51 - b101 <= 0 e1041: b50 - b52 - b102 <= 0 e1042: b50 - b53 - b103 <= 0 e1043: b50 - b54 - b104 <= 0 e1044: b50 - b55 - b105 <= 0 e1045: b50 - b56 - b106 <= 0 e1046: b50 - b57 - b107 <= 0 e1047: b50 - b58 - b108 <= 0 e1048: b51 - b52 - b109 <= 0 e1049: b51 - b53 - b110 <= 0 e1050: b51 - b54 - b111 <= 0 e1051: b51 - b55 - b112 <= 0 e1052: b51 - b56 - b113 <= 0 e1053: b51 - b57 - b114 <= 0 e1054: b51 - b58 - b115 <= 0 e1055: b52 - b53 - b116 <= 0 e1056: b52 - b54 - b117 <= 0 e1057: b52 - b55 - b118 <= 0 e1058: b52 - b56 - b119 <= 0 e1059: b52 - b57 - b120 <= 0 e1060: b52 - b58 - b121 <= 0 e1061: b53 - b54 - b122 <= 0 e1062: b53 - b55 - b123 <= 0 e1063: b53 - b56 - b124 <= 0 e1064: b53 - b57 - b125 <= 0 e1065: b53 - b58 - b126 <= 0 e1066: b54 - b55 - b127 <= 0 e1067: b54 - b56 - b128 <= 0 e1068: b54 - b57 - b129 <= 0 e1069: b54 - b58 - b130 <= 0 e1070: b55 - b56 - b131 <= 0 e1071: b55 - b57 - b132 <= 0 e1072: b55 - b58 - b133 <= 0 e1073: b56 - b57 - b134 <= 0 e1074: b56 - b58 - b135 <= 0 e1075: b57 - b58 - b136 <= 0 e1076: b59 - b60 - b71 <= 0 e1077: b59 - b61 - b72 <= 0 e1078: b59 - b62 - b73 <= 0 e1079: b59 - b63 - b74 <= 0 e1080: b59 - b64 - b75 <= 0 e1081: b59 - b65 - b76 <= 0 e1082: b59 - b66 - b77 <= 0 e1083: b59 - b67 - b78 <= 0 e1084: b59 - b68 - b79 <= 0 e1085: b59 - b69 - b80 <= 0 e1086: b59 - b70 - b81 <= 0 e1087: b60 - b61 - b82 <= 0 e1088: b60 - b62 - b83 <= 0 e1089: b60 - b63 - b84 <= 0 e1090: b60 - b64 - b85 <= 0 e1091: b60 - b65 - b86 <= 0 e1092: b60 - b66 - b87 <= 0 e1093: b60 - b67 - b88 <= 0 e1094: b60 - b68 - b89 <= 0 e1095: b60 - b69 - b90 <= 0 e1096: b60 - b70 - b91 <= 0 e1097: b61 - b62 - b92 <= 0 e1098: b61 - b63 - b93 <= 0 e1099: b61 - b64 - b94 <= 0 e1100: b61 - b65 - b95 <= 0 e1101: b61 - b66 - b96 <= 0 e1102: b61 - b67 - b97 <= 0 e1103: b61 - b68 - b98 <= 0 e1104: b61 - b69 - b99 <= 0 e1105: b61 - b70 - b100 <= 0 e1106: b62 - b63 - b101 <= 0 e1107: b62 - b64 - b102 <= 0 e1108: b62 - b65 - b103 <= 0 e1109: b62 - b66 - b104 <= 0 e1110: b62 - b67 - b105 <= 0 e1111: b62 - b68 - b106 <= 0 e1112: b62 - b69 - b107 <= 0 e1113: b62 - b70 - b108 <= 0 e1114: b63 - b64 - b109 <= 0 e1115: b63 - b65 - b110 <= 0 e1116: b63 - b66 - b111 <= 0 e1117: b63 - b67 - b112 <= 0 e1118: b63 - b68 - b113 <= 0 e1119: b63 - b69 - b114 <= 0 e1120: b63 - b70 - b115 <= 0 e1121: b64 - b65 - b116 <= 0 e1122: b64 - b66 - b117 <= 0 e1123: b64 - b67 - b118 <= 0 e1124: b64 - b68 - b119 <= 0 e1125: b64 - b69 - b120 <= 0 e1126: b64 - b70 - b121 <= 0 e1127: b65 - b66 - b122 <= 0 e1128: b65 - b67 - b123 <= 0 e1129: b65 - b68 - b124 <= 0 e1130: b65 - b69 - b125 <= 0 e1131: b65 - b70 - b126 <= 0 e1132: b66 - b67 - b127 <= 0 e1133: b66 - b68 - b128 <= 0 e1134: b66 - b69 - b129 <= 0 e1135: b66 - b70 - b130 <= 0 e1136: b67 - b68 - b131 <= 0 e1137: b67 - b69 - b132 <= 0 e1138: b67 - b70 - b133 <= 0 e1139: b68 - b69 - b134 <= 0 e1140: b68 - b70 - b135 <= 0 e1141: b69 - b70 - b136 <= 0 e1142: b71 - b72 - b82 <= 0 e1143: b71 - b73 - b83 <= 0 e1144: b71 - b74 - b84 <= 0 e1145: b71 - b75 - b85 <= 0 e1146: b71 - b76 - b86 <= 0 e1147: b71 - b77 - b87 <= 0 e1148: b71 - b78 - b88 <= 0 e1149: b71 - b79 - b89 <= 0 e1150: b71 - b80 - b90 <= 0 e1151: b71 - b81 - b91 <= 0 e1152: b72 - b73 - b92 <= 0 e1153: b72 - b74 - b93 <= 0 e1154: b72 - b75 - b94 <= 0 e1155: b72 - b76 - b95 <= 0 e1156: b72 - b77 - b96 <= 0 e1157: b72 - b78 - b97 <= 0 e1158: b72 - b79 - b98 <= 0 e1159: b72 - b80 - b99 <= 0 e1160: b72 - b81 - b100 <= 0 e1161: b73 - b74 - b101 <= 0 e1162: b73 - b75 - b102 <= 0 e1163: b73 - b76 - b103 <= 0 e1164: b73 - b77 - b104 <= 0 e1165: b73 - b78 - b105 <= 0 e1166: b73 - b79 - b106 <= 0 e1167: b73 - b80 - b107 <= 0 e1168: b73 - b81 - b108 <= 0 e1169: b74 - b75 - b109 <= 0 e1170: b74 - b76 - b110 <= 0 e1171: b74 - b77 - b111 <= 0 e1172: b74 - b78 - b112 <= 0 e1173: b74 - b79 - b113 <= 0 e1174: b74 - b80 - b114 <= 0 e1175: b74 - b81 - b115 <= 0 e1176: b75 - b76 - b116 <= 0 e1177: b75 - b77 - b117 <= 0 e1178: b75 - b78 - b118 <= 0 e1179: b75 - b79 - b119 <= 0 e1180: b75 - b80 - b120 <= 0 e1181: b75 - b81 - b121 <= 0 e1182: b76 - b77 - b122 <= 0 e1183: b76 - b78 - b123 <= 0 e1184: b76 - b79 - b124 <= 0 e1185: b76 - b80 - b125 <= 0 e1186: b76 - b81 - b126 <= 0 e1187: b77 - b78 - b127 <= 0 e1188: b77 - b79 - b128 <= 0 e1189: b77 - b80 - b129 <= 0 e1190: b77 - b81 - b130 <= 0 e1191: b78 - b79 - b131 <= 0 e1192: b78 - b80 - b132 <= 0 e1193: b78 - b81 - b133 <= 0 e1194: b79 - b80 - b134 <= 0 e1195: b79 - b81 - b135 <= 0 e1196: b80 - b81 - b136 <= 0 e1197: b82 - b83 - b92 <= 0 e1198: b82 - b84 - b93 <= 0 e1199: b82 - b85 - b94 <= 0 e1200: b82 - b86 - b95 <= 0 e1201: b82 - b87 - b96 <= 0 e1202: b82 - b88 - b97 <= 0 e1203: b82 - b89 - b98 <= 0 e1204: b82 - b90 - b99 <= 0 e1205: b82 - b91 - b100 <= 0 e1206: b83 - b84 - b101 <= 0 e1207: b83 - b85 - b102 <= 0 e1208: b83 - b86 - b103 <= 0 e1209: b83 - b87 - b104 <= 0 e1210: b83 - b88 - b105 <= 0 e1211: b83 - b89 - b106 <= 0 e1212: b83 - b90 - b107 <= 0 e1213: b83 - b91 - b108 <= 0 e1214: b84 - b85 - b109 <= 0 e1215: b84 - b86 - b110 <= 0 e1216: b84 - b87 - b111 <= 0 e1217: b84 - b88 - b112 <= 0 e1218: b84 - b89 - b113 <= 0 e1219: b84 - b90 - b114 <= 0 e1220: b84 - b91 - b115 <= 0 e1221: b85 - b86 - b116 <= 0 e1222: b85 - b87 - b117 <= 0 e1223: b85 - b88 - b118 <= 0 e1224: b85 - b89 - b119 <= 0 e1225: b85 - b90 - b120 <= 0 e1226: b85 - b91 - b121 <= 0 e1227: b86 - b87 - b122 <= 0 e1228: b86 - b88 - b123 <= 0 e1229: b86 - b89 - b124 <= 0 e1230: b86 - b90 - b125 <= 0 e1231: b86 - b91 - b126 <= 0 e1232: b87 - b88 - b127 <= 0 e1233: b87 - b89 - b128 <= 0 e1234: b87 - b90 - b129 <= 0 e1235: b87 - b91 - b130 <= 0 e1236: b88 - b89 - b131 <= 0 e1237: b88 - b90 - b132 <= 0 e1238: b88 - b91 - b133 <= 0 e1239: b89 - b90 - b134 <= 0 e1240: b89 - b91 - b135 <= 0 e1241: b90 - b91 - b136 <= 0 e1242: b92 - b93 - b101 <= 0 e1243: b92 - b94 - b102 <= 0 e1244: b92 - b95 - b103 <= 0 e1245: b92 - b96 - b104 <= 0 e1246: b92 - b97 - b105 <= 0 e1247: b92 - b98 - b106 <= 0 e1248: b92 - b99 - b107 <= 0 e1249: b92 - b100 - b108 <= 0 e1250: b93 - b94 - b109 <= 0 e1251: b93 - b95 - b110 <= 0 e1252: b93 - b96 - b111 <= 0 e1253: b93 - b97 - b112 <= 0 e1254: b93 - b98 - b113 <= 0 e1255: b93 - b99 - b114 <= 0 e1256: b93 - b100 - b115 <= 0 e1257: b94 - b95 - b116 <= 0 e1258: b94 - b96 - b117 <= 0 e1259: b94 - b97 - b118 <= 0 e1260: b94 - b98 - b119 <= 0 e1261: b94 - b99 - b120 <= 0 e1262: b94 - b100 - b121 <= 0 e1263: b95 - b96 - b122 <= 0 e1264: b95 - b97 - b123 <= 0 e1265: b95 - b98 - b124 <= 0 e1266: b95 - b99 - b125 <= 0 e1267: b95 - b100 - b126 <= 0 e1268: b96 - b97 - b127 <= 0 e1269: b96 - b98 - b128 <= 0 e1270: b96 - b99 - b129 <= 0 e1271: b96 - b100 - b130 <= 0 e1272: b97 - b98 - b131 <= 0 e1273: b97 - b99 - b132 <= 0 e1274: b97 - b100 - b133 <= 0 e1275: b98 - b99 - b134 <= 0 e1276: b98 - b100 - b135 <= 0 e1277: b99 - b100 - b136 <= 0 e1278: b101 - b102 - b109 <= 0 e1279: b101 - b103 - b110 <= 0 e1280: b101 - b104 - b111 <= 0 e1281: b101 - b105 - b112 <= 0 e1282: b101 - b106 - b113 <= 0 e1283: b101 - b107 - b114 <= 0 e1284: b101 - b108 - b115 <= 0 e1285: b102 - b103 - b116 <= 0 e1286: b102 - b104 - b117 <= 0 e1287: b102 - b105 - b118 <= 0 e1288: b102 - b106 - b119 <= 0 e1289: b102 - b107 - b120 <= 0 e1290: b102 - b108 - b121 <= 0 e1291: b103 - b104 - b122 <= 0 e1292: b103 - b105 - b123 <= 0 e1293: b103 - b106 - b124 <= 0 e1294: b103 - b107 - b125 <= 0 e1295: b103 - b108 - b126 <= 0 e1296: b104 - b105 - b127 <= 0 e1297: b104 - b106 - b128 <= 0 e1298: b104 - b107 - b129 <= 0 e1299: b104 - b108 - b130 <= 0 e1300: b105 - b106 - b131 <= 0 e1301: b105 - b107 - b132 <= 0 e1302: b105 - b108 - b133 <= 0 e1303: b106 - b107 - b134 <= 0 e1304: b106 - b108 - b135 <= 0 e1305: b107 - b108 - b136 <= 0 e1306: b109 - b110 - b116 <= 0 e1307: b109 - b111 - b117 <= 0 e1308: b109 - b112 - b118 <= 0 e1309: b109 - b113 - b119 <= 0 e1310: b109 - b114 - b120 <= 0 e1311: b109 - b115 - b121 <= 0 e1312: b110 - b111 - b122 <= 0 e1313: b110 - b112 - b123 <= 0 e1314: b110 - b113 - b124 <= 0 e1315: b110 - b114 - b125 <= 0 e1316: b110 - b115 - b126 <= 0 e1317: b111 - b112 - b127 <= 0 e1318: b111 - b113 - b128 <= 0 e1319: b111 - b114 - b129 <= 0 e1320: b111 - b115 - b130 <= 0 e1321: b112 - b113 - b131 <= 0 e1322: b112 - b114 - b132 <= 0 e1323: b112 - b115 - b133 <= 0 e1324: b113 - b114 - b134 <= 0 e1325: b113 - b115 - b135 <= 0 e1326: b114 - b115 - b136 <= 0 e1327: b116 - b117 - b122 <= 0 e1328: b116 - b118 - b123 <= 0 e1329: b116 - b119 - b124 <= 0 e1330: b116 - b120 - b125 <= 0 e1331: b116 - b121 - b126 <= 0 e1332: b117 - b118 - b127 <= 0 e1333: b117 - b119 - b128 <= 0 e1334: b117 - b120 - b129 <= 0 e1335: b117 - b121 - b130 <= 0 e1336: b118 - b119 - b131 <= 0 e1337: b118 - b120 - b132 <= 0 e1338: b118 - b121 - b133 <= 0 e1339: b119 - b120 - b134 <= 0 e1340: b119 - b121 - b135 <= 0 e1341: b120 - b121 - b136 <= 0 e1342: b122 - b123 - b127 <= 0 e1343: b122 - b124 - b128 <= 0 e1344: b122 - b125 - b129 <= 0 e1345: b122 - b126 - b130 <= 0 e1346: b123 - b124 - b131 <= 0 e1347: b123 - b125 - b132 <= 0 e1348: b123 - b126 - b133 <= 0 e1349: b124 - b125 - b134 <= 0 e1350: b124 - b126 - b135 <= 0 e1351: b125 - b126 - b136 <= 0 e1352: b127 - b128 - b131 <= 0 e1353: b127 - b129 - b132 <= 0 e1354: b127 - b130 - b133 <= 0 e1355: b128 - b129 - b134 <= 0 e1356: b128 - b130 - b135 <= 0 e1357: b129 - b130 - b136 <= 0 e1358: b131 - b132 - b134 <= 0 e1359: b131 - b133 - b135 <= 0 e1360: b132 - b133 - b136 <= 0 e1361: b134 - b135 - b136 <= 0 e1362: - b2 - b3 + b18 <= 0 e1363: - b2 - b4 + b19 <= 0 e1364: - b2 - b5 + b20 <= 0 e1365: - b2 - b6 + b21 <= 0 e1366: - b2 - b7 + b22 <= 0 e1367: - b2 - b8 + b23 <= 0 e1368: - b2 - b9 + b24 <= 0 e1369: - b2 - b10 + b25 <= 0 e1370: - b2 - b11 + b26 <= 0 e1371: - b2 - b12 + b27 <= 0 e1372: - b2 - b13 + b28 <= 0 e1373: - b2 - b14 + b29 <= 0 e1374: - b2 - b15 + b30 <= 0 e1375: - b2 - b16 + b31 <= 0 e1376: - b2 - b17 + b32 <= 0 e1377: - b3 - b4 + b33 <= 0 e1378: - b3 - b5 + b34 <= 0 e1379: - b3 - b6 + b35 <= 0 e1380: - b3 - b7 + b36 <= 0 e1381: - b3 - b8 + b137 <= 0 e1382: - b3 - b9 + b37 <= 0 e1383: - b3 - b10 + b38 <= 0 e1384: - b3 - b11 + b39 <= 0 e1385: - b3 - b12 + b40 <= 0 e1386: - b3 - b13 + b41 <= 0 e1387: - b3 - b14 + b42 <= 0 e1388: - b3 - b15 + b43 <= 0 e1389: - b3 - b16 + b44 <= 0 e1390: - b3 - b17 + b45 <= 0 e1391: - b4 - b5 + b46 <= 0 e1392: - b4 - b6 + b47 <= 0 e1393: - b4 - b7 + b48 <= 0 e1394: - b4 - b8 + b49 <= 0 e1395: - b4 - b9 + b50 <= 0 e1396: - b4 - b10 + b51 <= 0 e1397: - b4 - b11 + b52 <= 0 e1398: - b4 - b12 + b53 <= 0 e1399: - b4 - b13 + b54 <= 0 e1400: - b4 - b14 + b55 <= 0 e1401: - b4 - b15 + b56 <= 0 e1402: - b4 - b16 + b57 <= 0 e1403: - b4 - b17 + b58 <= 0 e1404: - b5 - b6 + b59 <= 0 e1405: - b5 - b7 + b60 <= 0 e1406: - b5 - b8 + b61 <= 0 e1407: - b5 - b9 + b62 <= 0 e1408: - b5 - b10 + b63 <= 0 e1409: - b5 - b11 + b64 <= 0 e1410: - b5 - b12 + b65 <= 0 e1411: - b5 - b13 + b66 <= 0 e1412: - b5 - b14 + b67 <= 0 e1413: - b5 - b15 + b68 <= 0 e1414: - b5 - b16 + b69 <= 0 e1415: - b5 - b17 + b70 <= 0 e1416: - b6 - b7 + b71 <= 0 e1417: - b6 - b8 + b72 <= 0 e1418: - b6 - b9 + b73 <= 0 e1419: - b6 - b10 + b74 <= 0 e1420: - b6 - b11 + b75 <= 0 e1421: - b6 - b12 + b76 <= 0 e1422: - b6 - b13 + b77 <= 0 e1423: - b6 - b14 + b78 <= 0 e1424: - b6 - b15 + b79 <= 0 e1425: - b6 - b16 + b80 <= 0 e1426: - b6 - b17 + b81 <= 0 e1427: - b7 - b8 + b82 <= 0 e1428: - b7 - b9 + b83 <= 0 e1429: - b7 - b10 + b84 <= 0 e1430: - b7 - b11 + b85 <= 0 e1431: - b7 - b12 + b86 <= 0 e1432: - b7 - b13 + b87 <= 0 e1433: - b7 - b14 + b88 <= 0 e1434: - b7 - b15 + b89 <= 0 e1435: - b7 - b16 + b90 <= 0 e1436: - b7 - b17 + b91 <= 0 e1437: - b8 - b9 + b92 <= 0 e1438: - b8 - b10 + b93 <= 0 e1439: - b8 - b11 + b94 <= 0 e1440: - b8 - b12 + b95 <= 0 e1441: - b8 - b13 + b96 <= 0 e1442: - b8 - b14 + b97 <= 0 e1443: - b8 - b15 + b98 <= 0 e1444: - b8 - b16 + b99 <= 0 e1445: - b8 - b17 + b100 <= 0 e1446: - b9 - b10 + b101 <= 0 e1447: - b9 - b11 + b102 <= 0 e1448: - b9 - b12 + b103 <= 0 e1449: - b9 - b13 + b104 <= 0 e1450: - b9 - b14 + b105 <= 0 e1451: - b9 - b15 + b106 <= 0 e1452: - b9 - b16 + b107 <= 0 e1453: - b9 - b17 + b108 <= 0 e1454: - b10 - b11 + b109 <= 0 e1455: - b10 - b12 + b110 <= 0 e1456: - b10 - b13 + b111 <= 0 e1457: - b10 - b14 + b112 <= 0 e1458: - b10 - b15 + b113 <= 0 e1459: - b10 - b16 + b114 <= 0 e1460: - b10 - b17 + b115 <= 0 e1461: - b11 - b12 + b116 <= 0 e1462: - b11 - b13 + b117 <= 0 e1463: - b11 - b14 + b118 <= 0 e1464: - b11 - b15 + b119 <= 0 e1465: - b11 - b16 + b120 <= 0 e1466: - b11 - b17 + b121 <= 0 e1467: - b12 - b13 + b122 <= 0 e1468: - b12 - b14 + b123 <= 0 e1469: - b12 - b15 + b124 <= 0 e1470: - b12 - b16 + b125 <= 0 e1471: - b12 - b17 + b126 <= 0 e1472: - b13 - b14 + b127 <= 0 e1473: - b13 - b15 + b128 <= 0 e1474: - b13 - b16 + b129 <= 0 e1475: - b13 - b17 + b130 <= 0 e1476: - b14 - b15 + b131 <= 0 e1477: - b14 - b16 + b132 <= 0 e1478: - b14 - b17 + b133 <= 0 e1479: - b15 - b16 + b134 <= 0 e1480: - b15 - b17 + b135 <= 0 e1481: - b16 - b17 + b136 <= 0 e1482: - b18 - b19 + b33 <= 0 e1483: - b18 - b20 + b34 <= 0 e1484: - b18 - b21 + b35 <= 0 e1485: - b18 - b22 + b36 <= 0 e1486: - b18 - b23 + b137 <= 0 e1487: - b18 - b24 + b37 <= 0 e1488: - b18 - b25 + b38 <= 0 e1489: - b18 - b26 + b39 <= 0 e1490: - b18 - b27 + b40 <= 0 e1491: - b18 - b28 + b41 <= 0 e1492: - b18 - b29 + b42 <= 0 e1493: - b18 - b30 + b43 <= 0 e1494: - b18 - b31 + b44 <= 0 e1495: - b18 - b32 + b45 <= 0 e1496: - b19 - b20 + b46 <= 0 e1497: - b19 - b21 + b47 <= 0 e1498: - b19 - b22 + b48 <= 0 e1499: - b19 - b23 + b49 <= 0 e1500: - b19 - b24 + b50 <= 0 e1501: - b19 - b25 + b51 <= 0 e1502: - b19 - b26 + b52 <= 0 e1503: - b19 - b27 + b53 <= 0 e1504: - b19 - b28 + b54 <= 0 e1505: - b19 - b29 + b55 <= 0 e1506: - b19 - b30 + b56 <= 0 e1507: - b19 - b31 + b57 <= 0 e1508: - b19 - b32 + b58 <= 0 e1509: - b20 - b21 + b59 <= 0 e1510: - b20 - b22 + b60 <= 0 e1511: - b20 - b23 + b61 <= 0 e1512: - b20 - b24 + b62 <= 0 e1513: - b20 - b25 + b63 <= 0 e1514: - b20 - b26 + b64 <= 0 e1515: - b20 - b27 + b65 <= 0 e1516: - b20 - b28 + b66 <= 0 e1517: - b20 - b29 + b67 <= 0 e1518: - b20 - b30 + b68 <= 0 e1519: - b20 - b31 + b69 <= 0 e1520: - b20 - b32 + b70 <= 0 e1521: - b21 - b22 + b71 <= 0 e1522: - b21 - b23 + b72 <= 0 e1523: - b21 - b24 + b73 <= 0 e1524: - b21 - b25 + b74 <= 0 e1525: - b21 - b26 + b75 <= 0 e1526: - b21 - b27 + b76 <= 0 e1527: - b21 - b28 + b77 <= 0 e1528: - b21 - b29 + b78 <= 0 e1529: - b21 - b30 + b79 <= 0 e1530: - b21 - b31 + b80 <= 0 e1531: - b21 - b32 + b81 <= 0 e1532: - b22 - b23 + b82 <= 0 e1533: - b22 - b24 + b83 <= 0 e1534: - b22 - b25 + b84 <= 0 e1535: - b22 - b26 + b85 <= 0 e1536: - b22 - b27 + b86 <= 0 e1537: - b22 - b28 + b87 <= 0 e1538: - b22 - b29 + b88 <= 0 e1539: - b22 - b30 + b89 <= 0 e1540: - b22 - b31 + b90 <= 0 e1541: - b22 - b32 + b91 <= 0 e1542: - b23 - b24 + b92 <= 0 e1543: - b23 - b25 + b93 <= 0 e1544: - b23 - b26 + b94 <= 0 e1545: - b23 - b27 + b95 <= 0 e1546: - b23 - b28 + b96 <= 0 e1547: - b23 - b29 + b97 <= 0 e1548: - b23 - b30 + b98 <= 0 e1549: - b23 - b31 + b99 <= 0 e1550: - b23 - b32 + b100 <= 0 e1551: - b24 - b25 + b101 <= 0 e1552: - b24 - b26 + b102 <= 0 e1553: - b24 - b27 + b103 <= 0 e1554: - b24 - b28 + b104 <= 0 e1555: - b24 - b29 + b105 <= 0 e1556: - b24 - b30 + b106 <= 0 e1557: - b24 - b31 + b107 <= 0 e1558: - b24 - b32 + b108 <= 0 e1559: - b25 - b26 + b109 <= 0 e1560: - b25 - b27 + b110 <= 0 e1561: - b25 - b28 + b111 <= 0 e1562: - b25 - b29 + b112 <= 0 e1563: - b25 - b30 + b113 <= 0 e1564: - b25 - b31 + b114 <= 0 e1565: - b25 - b32 + b115 <= 0 e1566: - b26 - b27 + b116 <= 0 e1567: - b26 - b28 + b117 <= 0 e1568: - b26 - b29 + b118 <= 0 e1569: - b26 - b30 + b119 <= 0 e1570: - b26 - b31 + b120 <= 0 e1571: - b26 - b32 + b121 <= 0 e1572: - b27 - b28 + b122 <= 0 e1573: - b27 - b29 + b123 <= 0 e1574: - b27 - b30 + b124 <= 0 e1575: - b27 - b31 + b125 <= 0 e1576: - b27 - b32 + b126 <= 0 e1577: - b28 - b29 + b127 <= 0 e1578: - b28 - b30 + b128 <= 0 e1579: - b28 - b31 + b129 <= 0 e1580: - b28 - b32 + b130 <= 0 e1581: - b29 - b30 + b131 <= 0 e1582: - b29 - b31 + b132 <= 0 e1583: - b29 - b32 + b133 <= 0 e1584: - b30 - b31 + b134 <= 0 e1585: - b30 - b32 + b135 <= 0 e1586: - b31 - b32 + b136 <= 0 e1587: - b33 - b34 + b46 <= 0 e1588: - b33 - b35 + b47 <= 0 e1589: - b33 - b36 + b48 <= 0 e1590: - b33 + b49 - b137 <= 0 e1591: - b33 - b37 + b50 <= 0 e1592: - b33 - b38 + b51 <= 0 e1593: - b33 - b39 + b52 <= 0 e1594: - b33 - b40 + b53 <= 0 e1595: - b33 - b41 + b54 <= 0 e1596: - b33 - b42 + b55 <= 0 e1597: - b33 - b43 + b56 <= 0 e1598: - b33 - b44 + b57 <= 0 e1599: - b33 - b45 + b58 <= 0 e1600: - b34 - b35 + b59 <= 0 e1601: - b34 - b36 + b60 <= 0 e1602: - b34 + b61 - b137 <= 0 e1603: - b34 - b37 + b62 <= 0 e1604: - b34 - b38 + b63 <= 0 e1605: - b34 - b39 + b64 <= 0 e1606: - b34 - b40 + b65 <= 0 e1607: - b34 - b41 + b66 <= 0 e1608: - b34 - b42 + b67 <= 0 e1609: - b34 - b43 + b68 <= 0 e1610: - b34 - b44 + b69 <= 0 e1611: - b34 - b45 + b70 <= 0 e1612: - b35 - b36 + b71 <= 0 e1613: - b35 + b72 - b137 <= 0 e1614: - b35 - b37 + b73 <= 0 e1615: - b35 - b38 + b74 <= 0 e1616: - b35 - b39 + b75 <= 0 e1617: - b35 - b40 + b76 <= 0 e1618: - b35 - b41 + b77 <= 0 e1619: - b35 - b42 + b78 <= 0 e1620: - b35 - b43 + b79 <= 0 e1621: - b35 - b44 + b80 <= 0 e1622: - b35 - b45 + b81 <= 0 e1623: - b36 + b82 - b137 <= 0 e1624: - b36 - b37 + b83 <= 0 e1625: - b36 - b38 + b84 <= 0 e1626: - b36 - b39 + b85 <= 0 e1627: - b36 - b40 + b86 <= 0 e1628: - b36 - b41 + b87 <= 0 e1629: - b36 - b42 + b88 <= 0 e1630: - b36 - b43 + b89 <= 0 e1631: - b36 - b44 + b90 <= 0 e1632: - b36 - b45 + b91 <= 0 e1633: - b37 + b92 - b137 <= 0 e1634: - b38 + b93 - b137 <= 0 e1635: - b39 + b94 - b137 <= 0 e1636: - b40 + b95 - b137 <= 0 e1637: - b41 + b96 - b137 <= 0 e1638: - b42 + b97 - b137 <= 0 e1639: - b43 + b98 - b137 <= 0 e1640: - b44 + b99 - b137 <= 0 e1641: - b45 + b100 - b137 <= 0 e1642: - b37 - b38 + b101 <= 0 e1643: - b37 - b39 + b102 <= 0 e1644: - b37 - b40 + b103 <= 0 e1645: - b37 - b41 + b104 <= 0 e1646: - b37 - b42 + b105 <= 0 e1647: - b37 - b43 + b106 <= 0 e1648: - b37 - b44 + b107 <= 0 e1649: - b37 - b45 + b108 <= 0 e1650: - b38 - b39 + b109 <= 0 e1651: - b38 - b40 + b110 <= 0 e1652: - b38 - b41 + b111 <= 0 e1653: - b38 - b42 + b112 <= 0 e1654: - b38 - b43 + b113 <= 0 e1655: - b38 - b44 + b114 <= 0 e1656: - b38 - b45 + b115 <= 0 e1657: - b39 - b40 + b116 <= 0 e1658: - b39 - b41 + b117 <= 0 e1659: - b39 - b42 + b118 <= 0 e1660: - b39 - b43 + b119 <= 0 e1661: - b39 - b44 + b120 <= 0 e1662: - b39 - b45 + b121 <= 0 e1663: - b40 - b41 + b122 <= 0 e1664: - b40 - b42 + b123 <= 0 e1665: - b40 - b43 + b124 <= 0 e1666: - b40 - b44 + b125 <= 0 e1667: - b40 - b45 + b126 <= 0 e1668: - b41 - b42 + b127 <= 0 e1669: - b41 - b43 + b128 <= 0 e1670: - b41 - b44 + b129 <= 0 e1671: - b41 - b45 + b130 <= 0 e1672: - b42 - b43 + b131 <= 0 e1673: - b42 - b44 + b132 <= 0 e1674: - b42 - b45 + b133 <= 0 e1675: - b43 - b44 + b134 <= 0 e1676: - b43 - b45 + b135 <= 0 e1677: - b44 - b45 + b136 <= 0 e1678: - b46 - b47 + b59 <= 0 e1679: - b46 - b48 + b60 <= 0 e1680: - b46 - b49 + b61 <= 0 e1681: - b46 - b50 + b62 <= 0 e1682: - b46 - b51 + b63 <= 0 e1683: - b46 - b52 + b64 <= 0 e1684: - b46 - b53 + b65 <= 0 e1685: - b46 - b54 + b66 <= 0 e1686: - b46 - b55 + b67 <= 0 e1687: - b46 - b56 + b68 <= 0 e1688: - b46 - b57 + b69 <= 0 e1689: - b46 - b58 + b70 <= 0 e1690: - b47 - b48 + b71 <= 0 e1691: - b47 - b49 + b72 <= 0 e1692: - b47 - b50 + b73 <= 0 e1693: - b47 - b51 + b74 <= 0 e1694: - b47 - b52 + b75 <= 0 e1695: - b47 - b53 + b76 <= 0 e1696: - b47 - b54 + b77 <= 0 e1697: - b47 - b55 + b78 <= 0 e1698: - b47 - b56 + b79 <= 0 e1699: - b47 - b57 + b80 <= 0 e1700: - b47 - b58 + b81 <= 0 e1701: - b48 - b49 + b82 <= 0 e1702: - b48 - b50 + b83 <= 0 e1703: - b48 - b51 + b84 <= 0 e1704: - b48 - b52 + b85 <= 0 e1705: - b48 - b53 + b86 <= 0 e1706: - b48 - b54 + b87 <= 0 e1707: - b48 - b55 + b88 <= 0 e1708: - b48 - b56 + b89 <= 0 e1709: - b48 - b57 + b90 <= 0 e1710: - b48 - b58 + b91 <= 0 e1711: - b49 - b50 + b92 <= 0 e1712: - b49 - b51 + b93 <= 0 e1713: - b49 - b52 + b94 <= 0 e1714: - b49 - b53 + b95 <= 0 e1715: - b49 - b54 + b96 <= 0 e1716: - b49 - b55 + b97 <= 0 e1717: - b49 - b56 + b98 <= 0 e1718: - b49 - b57 + b99 <= 0 e1719: - b49 - b58 + b100 <= 0 e1720: - b50 - b51 + b101 <= 0 e1721: - b50 - b52 + b102 <= 0 e1722: - b50 - b53 + b103 <= 0 e1723: - b50 - b54 + b104 <= 0 e1724: - b50 - b55 + b105 <= 0 e1725: - b50 - b56 + b106 <= 0 e1726: - b50 - b57 + b107 <= 0 e1727: - b50 - b58 + b108 <= 0 e1728: - b51 - b52 + b109 <= 0 e1729: - b51 - b53 + b110 <= 0 e1730: - b51 - b54 + b111 <= 0 e1731: - b51 - b55 + b112 <= 0 e1732: - b51 - b56 + b113 <= 0 e1733: - b51 - b57 + b114 <= 0 e1734: - b51 - b58 + b115 <= 0 e1735: - b52 - b53 + b116 <= 0 e1736: - b52 - b54 + b117 <= 0 e1737: - b52 - b55 + b118 <= 0 e1738: - b52 - b56 + b119 <= 0 e1739: - b52 - b57 + b120 <= 0 e1740: - b52 - b58 + b121 <= 0 e1741: - b53 - b54 + b122 <= 0 e1742: - b53 - b55 + b123 <= 0 e1743: - b53 - b56 + b124 <= 0 e1744: - b53 - b57 + b125 <= 0 e1745: - b53 - b58 + b126 <= 0 e1746: - b54 - b55 + b127 <= 0 e1747: - b54 - b56 + b128 <= 0 e1748: - b54 - b57 + b129 <= 0 e1749: - b54 - b58 + b130 <= 0 e1750: - b55 - b56 + b131 <= 0 e1751: - b55 - b57 + b132 <= 0 e1752: - b55 - b58 + b133 <= 0 e1753: - b56 - b57 + b134 <= 0 e1754: - b56 - b58 + b135 <= 0 e1755: - b57 - b58 + b136 <= 0 e1756: - b59 - b60 + b71 <= 0 e1757: - b59 - b61 + b72 <= 0 e1758: - b59 - b62 + b73 <= 0 e1759: - b59 - b63 + b74 <= 0 e1760: - b59 - b64 + b75 <= 0 e1761: - b59 - b65 + b76 <= 0 e1762: - b59 - b66 + b77 <= 0 e1763: - b59 - b67 + b78 <= 0 e1764: - b59 - b68 + b79 <= 0 e1765: - b59 - b69 + b80 <= 0 e1766: - b59 - b70 + b81 <= 0 e1767: - b60 - b61 + b82 <= 0 e1768: - b60 - b62 + b83 <= 0 e1769: - b60 - b63 + b84 <= 0 e1770: - b60 - b64 + b85 <= 0 e1771: - b60 - b65 + b86 <= 0 e1772: - b60 - b66 + b87 <= 0 e1773: - b60 - b67 + b88 <= 0 e1774: - b60 - b68 + b89 <= 0 e1775: - b60 - b69 + b90 <= 0 e1776: - b60 - b70 + b91 <= 0 e1777: - b61 - b62 + b92 <= 0 e1778: - b61 - b63 + b93 <= 0 e1779: - b61 - b64 + b94 <= 0 e1780: - b61 - b65 + b95 <= 0 e1781: - b61 - b66 + b96 <= 0 e1782: - b61 - b67 + b97 <= 0 e1783: - b61 - b68 + b98 <= 0 e1784: - b61 - b69 + b99 <= 0 e1785: - b61 - b70 + b100 <= 0 e1786: - b62 - b63 + b101 <= 0 e1787: - b62 - b64 + b102 <= 0 e1788: - b62 - b65 + b103 <= 0 e1789: - b62 - b66 + b104 <= 0 e1790: - b62 - b67 + b105 <= 0 e1791: - b62 - b68 + b106 <= 0 e1792: - b62 - b69 + b107 <= 0 e1793: - b62 - b70 + b108 <= 0 e1794: - b63 - b64 + b109 <= 0 e1795: - b63 - b65 + b110 <= 0 e1796: - b63 - b66 + b111 <= 0 e1797: - b63 - b67 + b112 <= 0 e1798: - b63 - b68 + b113 <= 0 e1799: - b63 - b69 + b114 <= 0 e1800: - b63 - b70 + b115 <= 0 e1801: - b64 - b65 + b116 <= 0 e1802: - b64 - b66 + b117 <= 0 e1803: - b64 - b67 + b118 <= 0 e1804: - b64 - b68 + b119 <= 0 e1805: - b64 - b69 + b120 <= 0 e1806: - b64 - b70 + b121 <= 0 e1807: - b65 - b66 + b122 <= 0 e1808: - b65 - b67 + b123 <= 0 e1809: - b65 - b68 + b124 <= 0 e1810: - b65 - b69 + b125 <= 0 e1811: - b65 - b70 + b126 <= 0 e1812: - b66 - b67 + b127 <= 0 e1813: - b66 - b68 + b128 <= 0 e1814: - b66 - b69 + b129 <= 0 e1815: - b66 - b70 + b130 <= 0 e1816: - b67 - b68 + b131 <= 0 e1817: - b67 - b69 + b132 <= 0 e1818: - b67 - b70 + b133 <= 0 e1819: - b68 - b69 + b134 <= 0 e1820: - b68 - b70 + b135 <= 0 e1821: - b69 - b70 + b136 <= 0 e1822: - b71 - b72 + b82 <= 0 e1823: - b71 - b73 + b83 <= 0 e1824: - b71 - b74 + b84 <= 0 e1825: - b71 - b75 + b85 <= 0 e1826: - b71 - b76 + b86 <= 0 e1827: - b71 - b77 + b87 <= 0 e1828: - b71 - b78 + b88 <= 0 e1829: - b71 - b79 + b89 <= 0 e1830: - b71 - b80 + b90 <= 0 e1831: - b71 - b81 + b91 <= 0 e1832: - b72 - b73 + b92 <= 0 e1833: - b72 - b74 + b93 <= 0 e1834: - b72 - b75 + b94 <= 0 e1835: - b72 - b76 + b95 <= 0 e1836: - b72 - b77 + b96 <= 0 e1837: - b72 - b78 + b97 <= 0 e1838: - b72 - b79 + b98 <= 0 e1839: - b72 - b80 + b99 <= 0 e1840: - b72 - b81 + b100 <= 0 e1841: - b73 - b74 + b101 <= 0 e1842: - b73 - b75 + b102 <= 0 e1843: - b73 - b76 + b103 <= 0 e1844: - b73 - b77 + b104 <= 0 e1845: - b73 - b78 + b105 <= 0 e1846: - b73 - b79 + b106 <= 0 e1847: - b73 - b80 + b107 <= 0 e1848: - b73 - b81 + b108 <= 0 e1849: - b74 - b75 + b109 <= 0 e1850: - b74 - b76 + b110 <= 0 e1851: - b74 - b77 + b111 <= 0 e1852: - b74 - b78 + b112 <= 0 e1853: - b74 - b79 + b113 <= 0 e1854: - b74 - b80 + b114 <= 0 e1855: - b74 - b81 + b115 <= 0 e1856: - b75 - b76 + b116 <= 0 e1857: - b75 - b77 + b117 <= 0 e1858: - b75 - b78 + b118 <= 0 e1859: - b75 - b79 + b119 <= 0 e1860: - b75 - b80 + b120 <= 0 e1861: - b75 - b81 + b121 <= 0 e1862: - b76 - b77 + b122 <= 0 e1863: - b76 - b78 + b123 <= 0 e1864: - b76 - b79 + b124 <= 0 e1865: - b76 - b80 + b125 <= 0 e1866: - b76 - b81 + b126 <= 0 e1867: - b77 - b78 + b127 <= 0 e1868: - b77 - b79 + b128 <= 0 e1869: - b77 - b80 + b129 <= 0 e1870: - b77 - b81 + b130 <= 0 e1871: - b78 - b79 + b131 <= 0 e1872: - b78 - b80 + b132 <= 0 e1873: - b78 - b81 + b133 <= 0 e1874: - b79 - b80 + b134 <= 0 e1875: - b79 - b81 + b135 <= 0 e1876: - b80 - b81 + b136 <= 0 e1877: - b82 - b83 + b92 <= 0 e1878: - b82 - b84 + b93 <= 0 e1879: - b82 - b85 + b94 <= 0 e1880: - b82 - b86 + b95 <= 0 e1881: - b82 - b87 + b96 <= 0 e1882: - b82 - b88 + b97 <= 0 e1883: - b82 - b89 + b98 <= 0 e1884: - b82 - b90 + b99 <= 0 e1885: - b82 - b91 + b100 <= 0 e1886: - b83 - b84 + b101 <= 0 e1887: - b83 - b85 + b102 <= 0 e1888: - b83 - b86 + b103 <= 0 e1889: - b83 - b87 + b104 <= 0 e1890: - b83 - b88 + b105 <= 0 e1891: - b83 - b89 + b106 <= 0 e1892: - b83 - b90 + b107 <= 0 e1893: - b83 - b91 + b108 <= 0 e1894: - b84 - b85 + b109 <= 0 e1895: - b84 - b86 + b110 <= 0 e1896: - b84 - b87 + b111 <= 0 e1897: - b84 - b88 + b112 <= 0 e1898: - b84 - b89 + b113 <= 0 e1899: - b84 - b90 + b114 <= 0 e1900: - b84 - b91 + b115 <= 0 e1901: - b85 - b86 + b116 <= 0 e1902: - b85 - b87 + b117 <= 0 e1903: - b85 - b88 + b118 <= 0 e1904: - b85 - b89 + b119 <= 0 e1905: - b85 - b90 + b120 <= 0 e1906: - b85 - b91 + b121 <= 0 e1907: - b86 - b87 + b122 <= 0 e1908: - b86 - b88 + b123 <= 0 e1909: - b86 - b89 + b124 <= 0 e1910: - b86 - b90 + b125 <= 0 e1911: - b86 - b91 + b126 <= 0 e1912: - b87 - b88 + b127 <= 0 e1913: - b87 - b89 + b128 <= 0 e1914: - b87 - b90 + b129 <= 0 e1915: - b87 - b91 + b130 <= 0 e1916: - b88 - b89 + b131 <= 0 e1917: - b88 - b90 + b132 <= 0 e1918: - b88 - b91 + b133 <= 0 e1919: - b89 - b90 + b134 <= 0 e1920: - b89 - b91 + b135 <= 0 e1921: - b90 - b91 + b136 <= 0 e1922: - b92 - b93 + b101 <= 0 e1923: - b92 - b94 + b102 <= 0 e1924: - b92 - b95 + b103 <= 0 e1925: - b92 - b96 + b104 <= 0 e1926: - b92 - b97 + b105 <= 0 e1927: - b92 - b98 + b106 <= 0 e1928: - b92 - b99 + b107 <= 0 e1929: - b92 - b100 + b108 <= 0 e1930: - b93 - b94 + b109 <= 0 e1931: - b93 - b95 + b110 <= 0 e1932: - b93 - b96 + b111 <= 0 e1933: - b93 - b97 + b112 <= 0 e1934: - b93 - b98 + b113 <= 0 e1935: - b93 - b99 + b114 <= 0 e1936: - b93 - b100 + b115 <= 0 e1937: - b94 - b95 + b116 <= 0 e1938: - b94 - b96 + b117 <= 0 e1939: - b94 - b97 + b118 <= 0 e1940: - b94 - b98 + b119 <= 0 e1941: - b94 - b99 + b120 <= 0 e1942: - b94 - b100 + b121 <= 0 e1943: - b95 - b96 + b122 <= 0 e1944: - b95 - b97 + b123 <= 0 e1945: - b95 - b98 + b124 <= 0 e1946: - b95 - b99 + b125 <= 0 e1947: - b95 - b100 + b126 <= 0 e1948: - b96 - b97 + b127 <= 0 e1949: - b96 - b98 + b128 <= 0 e1950: - b96 - b99 + b129 <= 0 e1951: - b96 - b100 + b130 <= 0 e1952: - b97 - b98 + b131 <= 0 e1953: - b97 - b99 + b132 <= 0 e1954: - b97 - b100 + b133 <= 0 e1955: - b98 - b99 + b134 <= 0 e1956: - b98 - b100 + b135 <= 0 e1957: - b99 - b100 + b136 <= 0 e1958: - b101 - b102 + b109 <= 0 e1959: - b101 - b103 + b110 <= 0 e1960: - b101 - b104 + b111 <= 0 e1961: - b101 - b105 + b112 <= 0 e1962: - b101 - b106 + b113 <= 0 e1963: - b101 - b107 + b114 <= 0 e1964: - b101 - b108 + b115 <= 0 e1965: - b102 - b103 + b116 <= 0 e1966: - b102 - b104 + b117 <= 0 e1967: - b102 - b105 + b118 <= 0 e1968: - b102 - b106 + b119 <= 0 e1969: - b102 - b107 + b120 <= 0 e1970: - b102 - b108 + b121 <= 0 e1971: - b103 - b104 + b122 <= 0 e1972: - b103 - b105 + b123 <= 0 e1973: - b103 - b106 + b124 <= 0 e1974: - b103 - b107 + b125 <= 0 e1975: - b103 - b108 + b126 <= 0 e1976: - b104 - b105 + b127 <= 0 e1977: - b104 - b106 + b128 <= 0 e1978: - b104 - b107 + b129 <= 0 e1979: - b104 - b108 + b130 <= 0 e1980: - b105 - b106 + b131 <= 0 e1981: - b105 - b107 + b132 <= 0 e1982: - b105 - b108 + b133 <= 0 e1983: - b106 - b107 + b134 <= 0 e1984: - b106 - b108 + b135 <= 0 e1985: - b107 - b108 + b136 <= 0 e1986: - b109 - b110 + b116 <= 0 e1987: - b109 - b111 + b117 <= 0 e1988: - b109 - b112 + b118 <= 0 e1989: - b109 - b113 + b119 <= 0 e1990: - b109 - b114 + b120 <= 0 e1991: - b109 - b115 + b121 <= 0 e1992: - b110 - b111 + b122 <= 0 e1993: - b110 - b112 + b123 <= 0 e1994: - b110 - b113 + b124 <= 0 e1995: - b110 - b114 + b125 <= 0 e1996: - b110 - b115 + b126 <= 0 e1997: - b111 - b112 + b127 <= 0 e1998: - b111 - b113 + b128 <= 0 e1999: - b111 - b114 + b129 <= 0 e2000: - b111 - b115 + b130 <= 0 e2001: - b112 - b113 + b131 <= 0 e2002: - b112 - b114 + b132 <= 0 e2003: - b112 - b115 + b133 <= 0 e2004: - b113 - b114 + b134 <= 0 e2005: - b113 - b115 + b135 <= 0 e2006: - b114 - b115 + b136 <= 0 e2007: - b116 - b117 + b122 <= 0 e2008: - b116 - b118 + b123 <= 0 e2009: - b116 - b119 + b124 <= 0 e2010: - b116 - b120 + b125 <= 0 e2011: - b116 - b121 + b126 <= 0 e2012: - b117 - b118 + b127 <= 0 e2013: - b117 - b119 + b128 <= 0 e2014: - b117 - b120 + b129 <= 0 e2015: - b117 - b121 + b130 <= 0 e2016: - b118 - b119 + b131 <= 0 e2017: - b118 - b120 + b132 <= 0 e2018: - b118 - b121 + b133 <= 0 e2019: - b119 - b120 + b134 <= 0 e2020: - b119 - b121 + b135 <= 0 e2021: - b120 - b121 + b136 <= 0 e2022: - b122 - b123 + b127 <= 0 e2023: - b122 - b124 + b128 <= 0 e2024: - b122 - b125 + b129 <= 0 e2025: - b122 - b126 + b130 <= 0 e2026: - b123 - b124 + b131 <= 0 e2027: - b123 - b125 + b132 <= 0 e2028: - b123 - b126 + b133 <= 0 e2029: - b124 - b125 + b134 <= 0 e2030: - b124 - b126 + b135 <= 0 e2031: - b125 - b126 + b136 <= 0 e2032: - b127 - b128 + b131 <= 0 e2033: - b127 - b129 + b132 <= 0 e2034: - b127 - b130 + b133 <= 0 e2035: - b128 - b129 + b134 <= 0 e2036: - b128 - b130 + b135 <= 0 e2037: - b129 - b130 + b136 <= 0 e2038: - b131 - b132 + b134 <= 0 e2039: - b131 - b133 + b135 <= 0 e2040: - b132 - b133 + b136 <= 0 e2041: - b134 - b135 + b136 <= 0 e2042: 216 b2 b3 + 9 b2 b4 + 117 b2 b5 + 139.5 b2 b6 + 130.5 b2 b7 + 328.5 b2 b8 + 225 b2 b9 + 211.5 b2 b10 + 211.5 b2 b11 + 252 b2 b12 + 67.5 b2 b13 + 382.5 b2 b14 + 373.5 b2 b15 + 238.5 b2 b16 + 288 b2 b17 + 157.5 b3 b4 + 288 b3 b5 + 400.5 b3 b6 + 40.5 b3 b7 + 351 b3 b9 + 45 b3 b10 + 1.8e2 b3 b11 + 18 b3 b12 + 297 b3 b13 + 333 b3 b14 + 342 b3 b15 + 85.5 b3 b16 + 243 b3 b17 + 211.5 b4 b5 + 337.5 b4 b6 + 13.5 b4 b7 + 220.5 b4 b8 + 238.5 b4 b9 + 387 b4 b10 + 135 b4 b11 + 117 b4 b12 + 396 b4 b13 + 130.5 b4 b14 + 117 b4 b15 + 432 b4 b16 + 202.5 b4 b17 + 49.5 b5 b6 + 3.6e2 b5 b7 + 441 b5 b8 + 121.5 b5 b9 + 67.5 b5 b10 + 63 b5 b11 + 310.5 b5 b12 + 342 b5 b13 + 63 b5 b14 + 211.5 b5 b15 + 171 b5 b16 + 27 b5 b17 + 229.5 b6 b7 + 252 b6 b8 + 144 b6 b9 + 355.5 b6 b10 + 337.5 b6 b11 + 175.5 b6 b12 + 117 b6 b13 + 9 b6 b14 + 423 b6 b15 + 342 b6 b16 + 247.5 b6 b17 + 3.6e2 b7 b8 + 261 b7 b9 + 153 b7 b10 + 90 b7 b11 + 396 b7 b12 + 2.7e2 b7 b13 + 76.5 b7 b14 + 382.5 b7 b15 + 319.5 b7 b16 + 436.5 b7 b17 + 373.5 b8 b9 + 445.5 b8 b10 + 288 b8 b11 + 436.5 b8 b12 + 306 b8 b13 + 184.5 b8 b14 + 283.5 b8 b15 + 301.5 b8 b16 + 139.5 b8 b17 + 94.5 b9 b10 + 319.5 b9 b11 + 396 b9 b12 + 238.5 b9 b13 + 225 b9 b14 + 283.5 b9 b15 + 414 b9 b16 + 130.5 b9 b17 + 81 b10 b11 + 387 b10 b12 + 256.5 b10 b13 + 328.5 b10 b14 + 81 b10 b15 + 67.5 b10 b16 + 265.5 b10 b17 + 175.5 b11 b12 + 13.5 b11 b13 + 85.5 b11 b14 + 36 b11 b15 + 396 b11 b16 + 193.5 b11 b17 + 256.5 b12 b13 + 103.5 b12 b14 + 423 b12 b15 + 94.5 b12 b16 + 324 b12 b17 + 63 b13 b14 + 63 b13 b15 + 391.5 b13 b16 + 148.5 b13 b17 + 207 b14 b15 + 36 b14 b16 + 18 b14 b17 + 153 b15 b16 + 279 b15 b17 + 247.5 b16 b17 >= 16315.6 e2043: 49.5 b2 b18 + 112.5 b2 b19 + 94.5 b2 b20 + 378 b2 b21 + 166.5 b2 b22 + 4.5 b2 b23 + 1.8e2 b2 b24 + 328.5 b2 b25 + 252 b2 b26 + 369 b2 b27 + 324 b2 b28 + 4.5 b2 b29 + 3.6e2 b2 b30 + 85.5 b2 b31 + 252 b2 b32 + 157.5 b18 b19 + 288 b18 b20 + 400.5 b18 b21 + 40.5 b18 b22 + 351 b18 b24 + 45 b18 b25 + 1.8e2 b18 b26 + 18 b18 b27 + 297 b18 b28 + 333 b18 b29 + 342 b18 b30 + 85.5 b18 b31 + 243 b18 b32 + 211.5 b19 b20 + 337.5 b19 b21 + 13.5 b19 b22 + 220.5 b19 b23 + 238.5 b19 b24 + 387 b19 b25 + 135 b19 b26 + 117 b19 b27 + 396 b19 b28 + 130.5 b19 b29 + 117 b19 b30 + 432 b19 b31 + 202.5 b19 b32 + 49.5 b20 b21 + 3.6e2 b20 b22 + 441 b20 b23 + 121.5 b20 b24 + 67.5 b20 b25 + 63 b20 b26 + 310.5 b20 b27 + 342 b20 b28 + 63 b20 b29 + 211.5 b20 b30 + 171 b20 b31 + 27 b20 b32 + 229.5 b21 b22 + 252 b21 b23 + 144 b21 b24 + 355.5 b21 b25 + 337.5 b21 b26 + 175.5 b21 b27 + 117 b21 b28 + 9 b21 b29 + 423 b21 b30 + 342 b21 b31 + 247.5 b21 b32 + 3.6e2 b22 b23 + 261 b22 b24 + 153 b22 b25 + 90 b22 b26 + 396 b22 b27 + 2.7e2 b22 b28 + 76.5 b22 b29 + 382.5 b22 b30 + 319.5 b22 b31 + 436.5 b22 b32 + 373.5 b23 b24 + 445.5 b23 b25 + 288 b23 b26 + 436.5 b23 b27 + 306 b23 b28 + 184.5 b23 b29 + 283.5 b23 b30 + 301.5 b23 b31 + 139.5 b23 b32 + 94.5 b24 b25 + 319.5 b24 b26 + 396 b24 b27 + 238.5 b24 b28 + 225 b24 b29 + 283.5 b24 b30 + 414 b24 b31 + 130.5 b24 b32 + 81 b25 b26 + 387 b25 b27 + 256.5 b25 b28 + 328.5 b25 b29 + 81 b25 b30 + 67.5 b25 b31 + 265.5 b25 b32 + 175.5 b26 b27 + 13.5 b26 b28 + 85.5 b26 b29 + 36 b26 b30 + 396 b26 b31 + 193.5 b26 b32 + 256.5 b27 b28 + 103.5 b27 b29 + 423 b27 b30 + 94.5 b27 b31 + 324 b27 b32 + 63 b28 b29 + 63 b28 b30 + 391.5 b28 b31 + 148.5 b28 b32 + 207 b29 b30 + 36 b29 b31 + 18 b29 b32 + 153 b30 b31 + 279 b30 b32 + 247.5 b31 b32 >= 16315.6 e2044: 234 b3 b18 + 112.5 b3 b33 + 94.5 b3 b34 + 378 b3 b35 + 166.5 b3 b36 + 1.8e2 b3 b37 + 328.5 b3 b38 + 252 b3 b39 + 369 b3 b40 + 324 b3 b41 + 4.5 b3 b42 + 3.6e2 b3 b43 + 85.5 b3 b44 + 252 b3 b45 + 4.5 b3 b137 + 9 b18 b33 + 117 b18 b34 + 139.5 b18 b35 + 130.5 b18 b36 + 225 b18 b37 + 211.5 b18 b38 + 211.5 b18 b39 + 252 b18 b40 + 67.5 b18 b41 + 382.5 b18 b42 + 373.5 b18 b43 + 238.5 b18 b44 + 288 b18 b45 + 328.5 b18 b137 + 211.5 b33 b34 + 337.5 b33 b35 + 13.5 b33 b36 + 238.5 b33 b37 + 387 b33 b38 + 135 b33 b39 + 117 b33 b40 + 396 b33 b41 + 130.5 b33 b42 + 117 b33 b43 + 432 b33 b44 + 202.5 b33 b45 + 220.5 b33 b137 + 49.5 b34 b35 + 3.6e2 b34 b36 + 121.5 b34 b37 + 67.5 b34 b38 + 63 b34 b39 + 310.5 b34 b40 + 342 b34 b41 + 63 b34 b42 + 211.5 b34 b43 + 171 b34 b44 + 27 b34 b45 + 441 b34 b137 + 229.5 b35 b36 + 144 b35 b37 + 355.5 b35 b38 + 337.5 b35 b39 + 175.5 b35 b40 + 117 b35 b41 + 9 b35 b42 + 423 b35 b43 + 342 b35 b44 + 247.5 b35 b45 + 252 b35 b137 + 261 b36 b37 + 153 b36 b38 + 90 b36 b39 + 396 b36 b40 + 2.7e2 b36 b41 + 76.5 b36 b42 + 382.5 b36 b43 + 319.5 b36 b44 + 436.5 b36 b45 + 3.6e2 b36 b137 + 94.5 b37 b38 + 319.5 b37 b39 + 396 b37 b40 + 238.5 b37 b41 + 225 b37 b42 + 283.5 b37 b43 + 414 b37 b44 + 130.5 b37 b45 + 373.5 b37 b137 + 81 b38 b39 + 387 b38 b40 + 256.5 b38 b41 + 328.5 b38 b42 + 81 b38 b43 + 67.5 b38 b44 + 265.5 b38 b45 + 445.5 b38 b137 + 175.5 b39 b40 + 13.5 b39 b41 + 85.5 b39 b42 + 36 b39 b43 + 396 b39 b44 + 193.5 b39 b45 + 288 b39 b137 + 256.5 b40 b41 + 103.5 b40 b42 + 423 b40 b43 + 94.5 b40 b44 + 324 b40 b45 + 436.5 b40 b137 + 63 b41 b42 + 63 b41 b43 + 391.5 b41 b44 + 148.5 b41 b45 + 306 b41 b137 + 207 b42 b43 + 36 b42 b44 + 18 b42 b45 + 184.5 b42 b137 + 153 b43 b44 + 279 b43 b45 + 283.5 b43 b137 + 247.5 b44 b45 + 301.5 b44 b137 + 139.5 b45 b137 >= 16315.6 e2045: 234 b4 b19 + 49.5 b4 b33 + 94.5 b4 b46 + 378 b4 b47 + 166.5 b4 b48 + 4.5 b4 b49 + 1.8e2 b4 b50 + 328.5 b4 b51 + 252 b4 b52 + 369 b4 b53 + 324 b4 b54 + 4.5 b4 b55 + 3.6e2 b4 b56 + 85.5 b4 b57 + 252 b4 b58 + 216 b19 b33 + 117 b19 b46 + 139.5 b19 b47 + 130.5 b19 b48 + 328.5 b19 b49 + 225 b19 b50 + 211.5 b19 b51 + 211.5 b19 b52 + 252 b19 b53 + 67.5 b19 b54 + 382.5 b19 b55 + 373.5 b19 b56 + 238.5 b19 b57 + 288 b19 b58 + 288 b33 b46 + 400.5 b33 b47 + 40.5 b33 b48 + 351 b33 b50 + 45 b33 b51 + 1.8e2 b33 b52 + 18 b33 b53 + 297 b33 b54 + 333 b33 b55 + 342 b33 b56 + 85.5 b33 b57 + 243 b33 b58 + 49.5 b46 b47 + 3.6e2 b46 b48 + 441 b46 b49 + 121.5 b46 b50 + 67.5 b46 b51 + 63 b46 b52 + 310.5 b46 b53 + 342 b46 b54 + 63 b46 b55 + 211.5 b46 b56 + 171 b46 b57 + 27 b46 b58 + 229.5 b47 b48 + 252 b47 b49 + 144 b47 b50 + 355.5 b47 b51 + 337.5 b47 b52 + 175.5 b47 b53 + 117 b47 b54 + 9 b47 b55 + 423 b47 b56 + 342 b47 b57 + 247.5 b47 b58 + 3.6e2 b48 b49 + 261 b48 b50 + 153 b48 b51 + 90 b48 b52 + 396 b48 b53 + 2.7e2 b48 b54 + 76.5 b48 b55 + 382.5 b48 b56 + 319.5 b48 b57 + 436.5 b48 b58 + 373.5 b49 b50 + 445.5 b49 b51 + 288 b49 b52 + 436.5 b49 b53 + 306 b49 b54 + 184.5 b49 b55 + 283.5 b49 b56 + 301.5 b49 b57 + 139.5 b49 b58 + 94.5 b50 b51 + 319.5 b50 b52 + 396 b50 b53 + 238.5 b50 b54 + 225 b50 b55 + 283.5 b50 b56 + 414 b50 b57 + 130.5 b50 b58 + 81 b51 b52 + 387 b51 b53 + 256.5 b51 b54 + 328.5 b51 b55 + 81 b51 b56 + 67.5 b51 b57 + 265.5 b51 b58 + 175.5 b52 b53 + 13.5 b52 b54 + 85.5 b52 b55 + 36 b52 b56 + 396 b52 b57 + 193.5 b52 b58 + 256.5 b53 b54 + 103.5 b53 b55 + 423 b53 b56 + 94.5 b53 b57 + 324 b53 b58 + 63 b54 b55 + 63 b54 b56 + 391.5 b54 b57 + 148.5 b54 b58 + 207 b55 b56 + 36 b55 b57 + 18 b55 b58 + 153 b56 b57 + 279 b56 b58 + 247.5 b57 b58 >= 16315.6 e2046: 234 b5 b20 + 49.5 b5 b34 + 112.5 b5 b46 + 378 b5 b59 + 166.5 b5 b60 + 4.5 b5 b61 + 1.8e2 b5 b62 + 328.5 b5 b63 + 252 b5 b64 + 369 b5 b65 + 324 b5 b66 + 4.5 b5 b67 + 3.6e2 b5 b68 + 85.5 b5 b69 + 252 b5 b70 + 216 b20 b34 + 9 b20 b46 + 139.5 b20 b59 + 130.5 b20 b60 + 328.5 b20 b61 + 225 b20 b62 + 211.5 b20 b63 + 211.5 b20 b64 + 252 b20 b65 + 67.5 b20 b66 + 382.5 b20 b67 + 373.5 b20 b68 + 238.5 b20 b69 + 288 b20 b70 + 157.5 b34 b46 + 400.5 b34 b59 + 40.5 b34 b60 + 351 b34 b62 + 45 b34 b63 + 1.8e2 b34 b64 + 18 b34 b65 + 297 b34 b66 + 333 b34 b67 + 342 b34 b68 + 85.5 b34 b69 + 243 b34 b70 + 337.5 b46 b59 + 13.5 b46 b60 + 220.5 b46 b61 + 238.5 b46 b62 + 387 b46 b63 + 135 b46 b64 + 117 b46 b65 + 396 b46 b66 + 130.5 b46 b67 + 117 b46 b68 + 432 b46 b69 + 202.5 b46 b70 + 229.5 b59 b60 + 252 b59 b61 + 144 b59 b62 + 355.5 b59 b63 + 337.5 b59 b64 + 175.5 b59 b65 + 117 b59 b66 + 9 b59 b67 + 423 b59 b68 + 342 b59 b69 + 247.5 b59 b70 + 3.6e2 b60 b61 + 261 b60 b62 + 153 b60 b63 + 90 b60 b64 + 396 b60 b65 + 2.7e2 b60 b66 + 76.5 b60 b67 + 382.5 b60 b68 + 319.5 b60 b69 + 436.5 b60 b70 + 373.5 b61 b62 + 445.5 b61 b63 + 288 b61 b64 + 436.5 b61 b65 + 306 b61 b66 + 184.5 b61 b67 + 283.5 b61 b68 + 301.5 b61 b69 + 139.5 b61 b70 + 94.5 b62 b63 + 319.5 b62 b64 + 396 b62 b65 + 238.5 b62 b66 + 225 b62 b67 + 283.5 b62 b68 + 414 b62 b69 + 130.5 b62 b70 + 81 b63 b64 + 387 b63 b65 + 256.5 b63 b66 + 328.5 b63 b67 + 81 b63 b68 + 67.5 b63 b69 + 265.5 b63 b70 + 175.5 b64 b65 + 13.5 b64 b66 + 85.5 b64 b67 + 36 b64 b68 + 396 b64 b69 + 193.5 b64 b70 + 256.5 b65 b66 + 103.5 b65 b67 + 423 b65 b68 + 94.5 b65 b69 + 324 b65 b70 + 63 b66 b67 + 63 b66 b68 + 391.5 b66 b69 + 148.5 b66 b70 + 207 b67 b68 + 36 b67 b69 + 18 b67 b70 + 153 b68 b69 + 279 b68 b70 + 247.5 b69 b70 >= 16315.6 e2047: 234 b6 b21 + 49.5 b6 b35 + 112.5 b6 b47 + 94.5 b6 b59 + 166.5 b6 b71 + 4.5 b6 b72 + 1.8e2 b6 b73 + 328.5 b6 b74 + 252 b6 b75 + 369 b6 b76 + 324 b6 b77 + 4.5 b6 b78 + 3.6e2 b6 b79 + 85.5 b6 b80 + 252 b6 b81 + 216 b21 b35 + 9 b21 b47 + 117 b21 b59 + 130.5 b21 b71 + 328.5 b21 b72 + 225 b21 b73 + 211.5 b21 b74 + 211.5 b21 b75 + 252 b21 b76 + 67.5 b21 b77 + 382.5 b21 b78 + 373.5 b21 b79 + 238.5 b21 b80 + 288 b21 b81 + 157.5 b35 b47 + 288 b35 b59 + 40.5 b35 b71 + 351 b35 b73 + 45 b35 b74 + 1.8e2 b35 b75 + 18 b35 b76 + 297 b35 b77 + 333 b35 b78 + 342 b35 b79 + 85.5 b35 b80 + 243 b35 b81 + 211.5 b47 b59 + 13.5 b47 b71 + 220.5 b47 b72 + 238.5 b47 b73 + 387 b47 b74 + 135 b47 b75 + 117 b47 b76 + 396 b47 b77 + 130.5 b47 b78 + 117 b47 b79 + 432 b47 b80 + 202.5 b47 b81 + 3.6e2 b59 b71 + 441 b59 b72 + 121.5 b59 b73 + 67.5 b59 b74 + 63 b59 b75 + 310.5 b59 b76 + 342 b59 b77 + 63 b59 b78 + 211.5 b59 b79 + 171 b59 b80 + 27 b59 b81 + 3.6e2 b71 b72 + 261 b71 b73 + 153 b71 b74 + 90 b71 b75 + 396 b71 b76 + 2.7e2 b71 b77 + 76.5 b71 b78 + 382.5 b71 b79 + 319.5 b71 b80 + 436.5 b71 b81 + 373.5 b72 b73 + 445.5 b72 b74 + 288 b72 b75 + 436.5 b72 b76 + 306 b72 b77 + 184.5 b72 b78 + 283.5 b72 b79 + 301.5 b72 b80 + 139.5 b72 b81 + 94.5 b73 b74 + 319.5 b73 b75 + 396 b73 b76 + 238.5 b73 b77 + 225 b73 b78 + 283.5 b73 b79 + 414 b73 b80 + 130.5 b73 b81 + 81 b74 b75 + 387 b74 b76 + 256.5 b74 b77 + 328.5 b74 b78 + 81 b74 b79 + 67.5 b74 b80 + 265.5 b74 b81 + 175.5 b75 b76 + 13.5 b75 b77 + 85.5 b75 b78 + 36 b75 b79 + 396 b75 b80 + 193.5 b75 b81 + 256.5 b76 b77 + 103.5 b76 b78 + 423 b76 b79 + 94.5 b76 b80 + 324 b76 b81 + 63 b77 b78 + 63 b77 b79 + 391.5 b77 b80 + 148.5 b77 b81 + 207 b78 b79 + 36 b78 b80 + 18 b78 b81 + 153 b79 b80 + 279 b79 b81 + 247.5 b80 b81 >= 16315.6 e2048: 234 b7 b22 + 49.5 b7 b36 + 112.5 b7 b48 + 94.5 b7 b60 + 378 b7 b71 + 4.5 b7 b82 + 1.8e2 b7 b83 + 328.5 b7 b84 + 252 b7 b85 + 369 b7 b86 + 324 b7 b87 + 4.5 b7 b88 + 3.6e2 b7 b89 + 85.5 b7 b90 + 252 b7 b91 + 216 b22 b36 + 9 b22 b48 + 117 b22 b60 + 139.5 b22 b71 + 328.5 b22 b82 + 225 b22 b83 + 211.5 b22 b84 + 211.5 b22 b85 + 252 b22 b86 + 67.5 b22 b87 + 382.5 b22 b88 + 373.5 b22 b89 + 238.5 b22 b90 + 288 b22 b91 + 157.5 b36 b48 + 288 b36 b60 + 400.5 b36 b71 + 351 b36 b83 + 45 b36 b84 + 1.8e2 b36 b85 + 18 b36 b86 + 297 b36 b87 + 333 b36 b88 + 342 b36 b89 + 85.5 b36 b90 + 243 b36 b91 + 211.5 b48 b60 + 337.5 b48 b71 + 220.5 b48 b82 + 238.5 b48 b83 + 387 b48 b84 + 135 b48 b85 + 117 b48 b86 + 396 b48 b87 + 130.5 b48 b88 + 117 b48 b89 + 432 b48 b90 + 202.5 b48 b91 + 49.5 b60 b71 + 441 b60 b82 + 121.5 b60 b83 + 67.5 b60 b84 + 63 b60 b85 + 310.5 b60 b86 + 342 b60 b87 + 63 b60 b88 + 211.5 b60 b89 + 171 b60 b90 + 27 b60 b91 + 252 b71 b82 + 144 b71 b83 + 355.5 b71 b84 + 337.5 b71 b85 + 175.5 b71 b86 + 117 b71 b87 + 9 b71 b88 + 423 b71 b89 + 342 b71 b90 + 247.5 b71 b91 + 373.5 b82 b83 + 445.5 b82 b84 + 288 b82 b85 + 436.5 b82 b86 + 306 b82 b87 + 184.5 b82 b88 + 283.5 b82 b89 + 301.5 b82 b90 + 139.5 b82 b91 + 94.5 b83 b84 + 319.5 b83 b85 + 396 b83 b86 + 238.5 b83 b87 + 225 b83 b88 + 283.5 b83 b89 + 414 b83 b90 + 130.5 b83 b91 + 81 b84 b85 + 387 b84 b86 + 256.5 b84 b87 + 328.5 b84 b88 + 81 b84 b89 + 67.5 b84 b90 + 265.5 b84 b91 + 175.5 b85 b86 + 13.5 b85 b87 + 85.5 b85 b88 + 36 b85 b89 + 396 b85 b90 + 193.5 b85 b91 + 256.5 b86 b87 + 103.5 b86 b88 + 423 b86 b89 + 94.5 b86 b90 + 324 b86 b91 + 63 b87 b88 + 63 b87 b89 + 391.5 b87 b90 + 148.5 b87 b91 + 207 b88 b89 + 36 b88 b90 + 18 b88 b91 + 153 b89 b90 + 279 b89 b91 + 247.5 b90 b91 >= 16315.6 e2049: 234 b8 b23 + 112.5 b8 b49 + 94.5 b8 b61 + 378 b8 b72 + 166.5 b8 b82 + 1.8e2 b8 b92 + 328.5 b8 b93 + 252 b8 b94 + 369 b8 b95 + 324 b8 b96 + 4.5 b8 b97 + 3.6e2 b8 b98 + 85.5 b8 b99 + 252 b8 b100 + 49.5 b8 b137 + 9 b23 b49 + 117 b23 b61 + 139.5 b23 b72 + 130.5 b23 b82 + 225 b23 b92 + 211.5 b23 b93 + 211.5 b23 b94 + 252 b23 b95 + 67.5 b23 b96 + 382.5 b23 b97 + 373.5 b23 b98 + 238.5 b23 b99 + 288 b23 b100 + 216 b23 b137 + 211.5 b49 b61 + 337.5 b49 b72 + 13.5 b49 b82 + 238.5 b49 b92 + 387 b49 b93 + 135 b49 b94 + 117 b49 b95 + 396 b49 b96 + 130.5 b49 b97 + 117 b49 b98 + 432 b49 b99 + 202.5 b49 b100 + 157.5 b49 b137 + 49.5 b61 b72 + 3.6e2 b61 b82 + 121.5 b61 b92 + 67.5 b61 b93 + 63 b61 b94 + 310.5 b61 b95 + 342 b61 b96 + 63 b61 b97 + 211.5 b61 b98 + 171 b61 b99 + 27 b61 b100 + 288 b61 b137 + 229.5 b72 b82 + 144 b72 b92 + 355.5 b72 b93 + 337.5 b72 b94 + 175.5 b72 b95 + 117 b72 b96 + 9 b72 b97 + 423 b72 b98 + 342 b72 b99 + 247.5 b72 b100 + 400.5 b72 b137 + 261 b82 b92 + 153 b82 b93 + 90 b82 b94 + 396 b82 b95 + 2.7e2 b82 b96 + 76.5 b82 b97 + 382.5 b82 b98 + 319.5 b82 b99 + 436.5 b82 b100 + 40.5 b82 b137 + 94.5 b92 b93 + 319.5 b92 b94 + 396 b92 b95 + 238.5 b92 b96 + 225 b92 b97 + 283.5 b92 b98 + 414 b92 b99 + 130.5 b92 b100 + 351 b92 b137 + 81 b93 b94 + 387 b93 b95 + 256.5 b93 b96 + 328.5 b93 b97 + 81 b93 b98 + 67.5 b93 b99 + 265.5 b93 b100 + 45 b93 b137 + 175.5 b94 b95 + 13.5 b94 b96 + 85.5 b94 b97 + 36 b94 b98 + 396 b94 b99 + 193.5 b94 b100 + 1.8e2 b94 b137 + 256.5 b95 b96 + 103.5 b95 b97 + 423 b95 b98 + 94.5 b95 b99 + 324 b95 b100 + 18 b95 b137 + 63 b96 b97 + 63 b96 b98 + 391.5 b96 b99 + 148.5 b96 b100 + 297 b96 b137 + 207 b97 b98 + 36 b97 b99 + 18 b97 b100 + 333 b97 b137 + 153 b98 b99 + 279 b98 b100 + 342 b98 b137 + 247.5 b99 b100 + 85.5 b99 b137 + 243 b100 b137 >= 16315.6 e2050: 234 b9 b24 + 49.5 b9 b37 + 112.5 b9 b50 + 94.5 b9 b62 + 378 b9 b73 + 166.5 b9 b83 + 4.5 b9 b92 + 328.5 b9 b101 + 252 b9 b102 + 369 b9 b103 + 324 b9 b104 + 4.5 b9 b105 + 3.6e2 b9 b106 + 85.5 b9 b107 + 252 b9 b108 + 216 b24 b37 + 9 b24 b50 + 117 b24 b62 + 139.5 b24 b73 + 130.5 b24 b83 + 328.5 b24 b92 + 211.5 b24 b101 + 211.5 b24 b102 + 252 b24 b103 + 67.5 b24 b104 + 382.5 b24 b105 + 373.5 b24 b106 + 238.5 b24 b107 + 288 b24 b108 + 157.5 b37 b50 + 288 b37 b62 + 400.5 b37 b73 + 40.5 b37 b83 + 45 b37 b101 + 1.8e2 b37 b102 + 18 b37 b103 + 297 b37 b104 + 333 b37 b105 + 342 b37 b106 + 85.5 b37 b107 + 243 b37 b108 + 211.5 b50 b62 + 337.5 b50 b73 + 13.5 b50 b83 + 220.5 b50 b92 + 387 b50 b101 + 135 b50 b102 + 117 b50 b103 + 396 b50 b104 + 130.5 b50 b105 + 117 b50 b106 + 432 b50 b107 + 202.5 b50 b108 + 49.5 b62 b73 + 3.6e2 b62 b83 + 441 b62 b92 + 67.5 b62 b101 + 63 b62 b102 + 310.5 b62 b103 + 342 b62 b104 + 63 b62 b105 + 211.5 b62 b106 + 171 b62 b107 + 27 b62 b108 + 229.5 b73 b83 + 252 b73 b92 + 355.5 b73 b101 + 337.5 b73 b102 + 175.5 b73 b103 + 117 b73 b104 + 9 b73 b105 + 423 b73 b106 + 342 b73 b107 + 247.5 b73 b108 + 3.6e2 b83 b92 + 153 b83 b101 + 90 b83 b102 + 396 b83 b103 + 2.7e2 b83 b104 + 76.5 b83 b105 + 382.5 b83 b106 + 319.5 b83 b107 + 436.5 b83 b108 + 445.5 b92 b101 + 288 b92 b102 + 436.5 b92 b103 + 306 b92 b104 + 184.5 b92 b105 + 283.5 b92 b106 + 301.5 b92 b107 + 139.5 b92 b108 + 81 b101 b102 + 387 b101 b103 + 256.5 b101 b104 + 328.5 b101 b105 + 81 b101 b106 + 67.5 b101 b107 + 265.5 b101 b108 + 175.5 b102 b103 + 13.5 b102 b104 + 85.5 b102 b105 + 36 b102 b106 + 396 b102 b107 + 193.5 b102 b108 + 256.5 b103 b104 + 103.5 b103 b105 + 423 b103 b106 + 94.5 b103 b107 + 324 b103 b108 + 63 b104 b105 + 63 b104 b106 + 391.5 b104 b107 + 148.5 b104 b108 + 207 b105 b106 + 36 b105 b107 + 18 b105 b108 + 153 b106 b107 + 279 b106 b108 + 247.5 b107 b108 >= 16315.6 e2051: 234 b10 b25 + 49.5 b10 b38 + 112.5 b10 b51 + 94.5 b10 b63 + 378 b10 b74 + 166.5 b10 b84 + 4.5 b10 b93 + 1.8e2 b10 b101 + 252 b10 b109 + 369 b10 b110 + 324 b10 b111 + 4.5 b10 b112 + 3.6e2 b10 b113 + 85.5 b10 b114 + 252 b10 b115 + 216 b25 b38 + 9 b25 b51 + 117 b25 b63 + 139.5 b25 b74 + 130.5 b25 b84 + 328.5 b25 b93 + 225 b25 b101 + 211.5 b25 b109 + 252 b25 b110 + 67.5 b25 b111 + 382.5 b25 b112 + 373.5 b25 b113 + 238.5 b25 b114 + 288 b25 b115 + 157.5 b38 b51 + 288 b38 b63 + 400.5 b38 b74 + 40.5 b38 b84 + 351 b38 b101 + 1.8e2 b38 b109 + 18 b38 b110 + 297 b38 b111 + 333 b38 b112 + 342 b38 b113 + 85.5 b38 b114 + 243 b38 b115 + 211.5 b51 b63 + 337.5 b51 b74 + 13.5 b51 b84 + 220.5 b51 b93 + 238.5 b51 b101 + 135 b51 b109 + 117 b51 b110 + 396 b51 b111 + 130.5 b51 b112 + 117 b51 b113 + 432 b51 b114 + 202.5 b51 b115 + 49.5 b63 b74 + 3.6e2 b63 b84 + 441 b63 b93 + 121.5 b63 b101 + 63 b63 b109 + 310.5 b63 b110 + 342 b63 b111 + 63 b63 b112 + 211.5 b63 b113 + 171 b63 b114 + 27 b63 b115 + 229.5 b74 b84 + 252 b74 b93 + 144 b74 b101 + 337.5 b74 b109 + 175.5 b74 b110 + 117 b74 b111 + 9 b74 b112 + 423 b74 b113 + 342 b74 b114 + 247.5 b74 b115 + 3.6e2 b84 b93 + 261 b84 b101 + 90 b84 b109 + 396 b84 b110 + 2.7e2 b84 b111 + 76.5 b84 b112 + 382.5 b84 b113 + 319.5 b84 b114 + 436.5 b84 b115 + 373.5 b93 b101 + 288 b93 b109 + 436.5 b93 b110 + 306 b93 b111 + 184.5 b93 b112 + 283.5 b93 b113 + 301.5 b93 b114 + 139.5 b93 b115 + 319.5 b101 b109 + 396 b101 b110 + 238.5 b101 b111 + 225 b101 b112 + 283.5 b101 b113 + 414 b101 b114 + 130.5 b101 b115 + 175.5 b109 b110 + 13.5 b109 b111 + 85.5 b109 b112 + 36 b109 b113 + 396 b109 b114 + 193.5 b109 b115 + 256.5 b110 b111 + 103.5 b110 b112 + 423 b110 b113 + 94.5 b110 b114 + 324 b110 b115 + 63 b111 b112 + 63 b111 b113 + 391.5 b111 b114 + 148.5 b111 b115 + 207 b112 b113 + 36 b112 b114 + 18 b112 b115 + 153 b113 b114 + 279 b113 b115 + 247.5 b114 b115 >= 16315.6 e2052: 234 b11 b26 + 49.5 b11 b39 + 112.5 b11 b52 + 94.5 b11 b64 + 378 b11 b75 + 166.5 b11 b85 + 4.5 b11 b94 + 1.8e2 b11 b102 + 328.5 b11 b109 + 369 b11 b116 + 324 b11 b117 + 4.5 b11 b118 + 3.6e2 b11 b119 + 85.5 b11 b120 + 252 b11 b121 + 216 b26 b39 + 9 b26 b52 + 117 b26 b64 + 139.5 b26 b75 + 130.5 b26 b85 + 328.5 b26 b94 + 225 b26 b102 + 211.5 b26 b109 + 252 b26 b116 + 67.5 b26 b117 + 382.5 b26 b118 + 373.5 b26 b119 + 238.5 b26 b120 + 288 b26 b121 + 157.5 b39 b52 + 288 b39 b64 + 400.5 b39 b75 + 40.5 b39 b85 + 351 b39 b102 + 45 b39 b109 + 18 b39 b116 + 297 b39 b117 + 333 b39 b118 + 342 b39 b119 + 85.5 b39 b120 + 243 b39 b121 + 211.5 b52 b64 + 337.5 b52 b75 + 13.5 b52 b85 + 220.5 b52 b94 + 238.5 b52 b102 + 387 b52 b109 + 117 b52 b116 + 396 b52 b117 + 130.5 b52 b118 + 117 b52 b119 + 432 b52 b120 + 202.5 b52 b121 + 49.5 b64 b75 + 3.6e2 b64 b85 + 441 b64 b94 + 121.5 b64 b102 + 67.5 b64 b109 + 310.5 b64 b116 + 342 b64 b117 + 63 b64 b118 + 211.5 b64 b119 + 171 b64 b120 + 27 b64 b121 + 229.5 b75 b85 + 252 b75 b94 + 144 b75 b102 + 355.5 b75 b109 + 175.5 b75 b116 + 117 b75 b117 + 9 b75 b118 + 423 b75 b119 + 342 b75 b120 + 247.5 b75 b121 + 3.6e2 b85 b94 + 261 b85 b102 + 153 b85 b109 + 396 b85 b116 + 2.7e2 b85 b117 + 76.5 b85 b118 + 382.5 b85 b119 + 319.5 b85 b120 + 436.5 b85 b121 + 373.5 b94 b102 + 445.5 b94 b109 + 436.5 b94 b116 + 306 b94 b117 + 184.5 b94 b118 + 283.5 b94 b119 + 301.5 b94 b120 + 139.5 b94 b121 + 94.5 b102 b109 + 396 b102 b116 + 238.5 b102 b117 + 225 b102 b118 + 283.5 b102 b119 + 414 b102 b120 + 130.5 b102 b121 + 387 b109 b116 + 256.5 b109 b117 + 328.5 b109 b118 + 81 b109 b119 + 67.5 b109 b120 + 265.5 b109 b121 + 256.5 b116 b117 + 103.5 b116 b118 + 423 b116 b119 + 94.5 b116 b120 + 324 b116 b121 + 63 b117 b118 + 63 b117 b119 + 391.5 b117 b120 + 148.5 b117 b121 + 207 b118 b119 + 36 b118 b120 + 18 b118 b121 + 153 b119 b120 + 279 b119 b121 + 247.5 b120 b121 >= 16315.6 e2053: 234 b12 b27 + 49.5 b12 b40 + 112.5 b12 b53 + 94.5 b12 b65 + 378 b12 b76 + 166.5 b12 b86 + 4.5 b12 b95 + 1.8e2 b12 b103 + 328.5 b12 b110 + 252 b12 b116 + 324 b12 b122 + 4.5 b12 b123 + 3.6e2 b12 b124 + 85.5 b12 b125 + 252 b12 b126 + 216 b27 b40 + 9 b27 b53 + 117 b27 b65 + 139.5 b27 b76 + 130.5 b27 b86 + 328.5 b27 b95 + 225 b27 b103 + 211.5 b27 b110 + 211.5 b27 b116 + 67.5 b27 b122 + 382.5 b27 b123 + 373.5 b27 b124 + 238.5 b27 b125 + 288 b27 b126 + 157.5 b40 b53 + 288 b40 b65 + 400.5 b40 b76 + 40.5 b40 b86 + 351 b40 b103 + 45 b40 b110 + 1.8e2 b40 b116 + 297 b40 b122 + 333 b40 b123 + 342 b40 b124 + 85.5 b40 b125 + 243 b40 b126 + 211.5 b53 b65 + 337.5 b53 b76 + 13.5 b53 b86 + 220.5 b53 b95 + 238.5 b53 b103 + 387 b53 b110 + 135 b53 b116 + 396 b53 b122 + 130.5 b53 b123 + 117 b53 b124 + 432 b53 b125 + 202.5 b53 b126 + 49.5 b65 b76 + 3.6e2 b65 b86 + 441 b65 b95 + 121.5 b65 b103 + 67.5 b65 b110 + 63 b65 b116 + 342 b65 b122 + 63 b65 b123 + 211.5 b65 b124 + 171 b65 b125 + 27 b65 b126 + 229.5 b76 b86 + 252 b76 b95 + 144 b76 b103 + 355.5 b76 b110 + 337.5 b76 b116 + 117 b76 b122 + 9 b76 b123 + 423 b76 b124 + 342 b76 b125 + 247.5 b76 b126 + 3.6e2 b86 b95 + 261 b86 b103 + 153 b86 b110 + 90 b86 b116 + 2.7e2 b86 b122 + 76.5 b86 b123 + 382.5 b86 b124 + 319.5 b86 b125 + 436.5 b86 b126 + 373.5 b95 b103 + 445.5 b95 b110 + 288 b95 b116 + 306 b95 b122 + 184.5 b95 b123 + 283.5 b95 b124 + 301.5 b95 b125 + 139.5 b95 b126 + 94.5 b103 b110 + 319.5 b103 b116 + 238.5 b103 b122 + 225 b103 b123 + 283.5 b103 b124 + 414 b103 b125 + 130.5 b103 b126 + 81 b110 b116 + 256.5 b110 b122 + 328.5 b110 b123 + 81 b110 b124 + 67.5 b110 b125 + 265.5 b110 b126 + 13.5 b116 b122 + 85.5 b116 b123 + 36 b116 b124 + 396 b116 b125 + 193.5 b116 b126 + 63 b122 b123 + 63 b122 b124 + 391.5 b122 b125 + 148.5 b122 b126 + 207 b123 b124 + 36 b123 b125 + 18 b123 b126 + 153 b124 b125 + 279 b124 b126 + 247.5 b125 b126 >= 16315.6 e2054: 234 b13 b28 + 49.5 b13 b41 + 112.5 b13 b54 + 94.5 b13 b66 + 378 b13 b77 + 166.5 b13 b87 + 4.5 b13 b96 + 1.8e2 b13 b104 + 328.5 b13 b111 + 252 b13 b117 + 369 b13 b122 + 4.5 b13 b127 + 3.6e2 b13 b128 + 85.5 b13 b129 + 252 b13 b130 + 216 b28 b41 + 9 b28 b54 + 117 b28 b66 + 139.5 b28 b77 + 130.5 b28 b87 + 328.5 b28 b96 + 225 b28 b104 + 211.5 b28 b111 + 211.5 b28 b117 + 252 b28 b122 + 382.5 b28 b127 + 373.5 b28 b128 + 238.5 b28 b129 + 288 b28 b130 + 157.5 b41 b54 + 288 b41 b66 + 400.5 b41 b77 + 40.5 b41 b87 + 351 b41 b104 + 45 b41 b111 + 1.8e2 b41 b117 + 18 b41 b122 + 333 b41 b127 + 342 b41 b128 + 85.5 b41 b129 + 243 b41 b130 + 211.5 b54 b66 + 337.5 b54 b77 + 13.5 b54 b87 + 220.5 b54 b96 + 238.5 b54 b104 + 387 b54 b111 + 135 b54 b117 + 117 b54 b122 + 130.5 b54 b127 + 117 b54 b128 + 432 b54 b129 + 202.5 b54 b130 + 49.5 b66 b77 + 3.6e2 b66 b87 + 441 b66 b96 + 121.5 b66 b104 + 67.5 b66 b111 + 63 b66 b117 + 310.5 b66 b122 + 63 b66 b127 + 211.5 b66 b128 + 171 b66 b129 + 27 b66 b130 + 229.5 b77 b87 + 252 b77 b96 + 144 b77 b104 + 355.5 b77 b111 + 337.5 b77 b117 + 175.5 b77 b122 + 9 b77 b127 + 423 b77 b128 + 342 b77 b129 + 247.5 b77 b130 + 3.6e2 b87 b96 + 261 b87 b104 + 153 b87 b111 + 90 b87 b117 + 396 b87 b122 + 76.5 b87 b127 + 382.5 b87 b128 + 319.5 b87 b129 + 436.5 b87 b130 + 373.5 b96 b104 + 445.5 b96 b111 + 288 b96 b117 + 436.5 b96 b122 + 184.5 b96 b127 + 283.5 b96 b128 + 301.5 b96 b129 + 139.5 b96 b130 + 94.5 b104 b111 + 319.5 b104 b117 + 396 b104 b122 + 225 b104 b127 + 283.5 b104 b128 + 414 b104 b129 + 130.5 b104 b130 + 81 b111 b117 + 387 b111 b122 + 328.5 b111 b127 + 81 b111 b128 + 67.5 b111 b129 + 265.5 b111 b130 + 175.5 b117 b122 + 85.5 b117 b127 + 36 b117 b128 + 396 b117 b129 + 193.5 b117 b130 + 103.5 b122 b127 + 423 b122 b128 + 94.5 b122 b129 + 324 b122 b130 + 207 b127 b128 + 36 b127 b129 + 18 b127 b130 + 153 b128 b129 + 279 b128 b130 + 247.5 b129 b130 >= 16315.6 e2055: 234 b14 b29 + 49.5 b14 b42 + 112.5 b14 b55 + 94.5 b14 b67 + 378 b14 b78 + 166.5 b14 b88 + 4.5 b14 b97 + 1.8e2 b14 b105 + 328.5 b14 b112 + 252 b14 b118 + 369 b14 b123 + 324 b14 b127 + 3.6e2 b14 b131 + 85.5 b14 b132 + 252 b14 b133 + 216 b29 b42 + 9 b29 b55 + 117 b29 b67 + 139.5 b29 b78 + 130.5 b29 b88 + 328.5 b29 b97 + 225 b29 b105 + 211.5 b29 b112 + 211.5 b29 b118 + 252 b29 b123 + 67.5 b29 b127 + 373.5 b29 b131 + 238.5 b29 b132 + 288 b29 b133 + 157.5 b42 b55 + 288 b42 b67 + 400.5 b42 b78 + 40.5 b42 b88 + 351 b42 b105 + 45 b42 b112 + 1.8e2 b42 b118 + 18 b42 b123 + 297 b42 b127 + 342 b42 b131 + 85.5 b42 b132 + 243 b42 b133 + 211.5 b55 b67 + 337.5 b55 b78 + 13.5 b55 b88 + 220.5 b55 b97 + 238.5 b55 b105 + 387 b55 b112 + 135 b55 b118 + 117 b55 b123 + 396 b55 b127 + 117 b55 b131 + 432 b55 b132 + 202.5 b55 b133 + 49.5 b67 b78 + 3.6e2 b67 b88 + 441 b67 b97 + 121.5 b67 b105 + 67.5 b67 b112 + 63 b67 b118 + 310.5 b67 b123 + 342 b67 b127 + 211.5 b67 b131 + 171 b67 b132 + 27 b67 b133 + 229.5 b78 b88 + 252 b78 b97 + 144 b78 b105 + 355.5 b78 b112 + 337.5 b78 b118 + 175.5 b78 b123 + 117 b78 b127 + 423 b78 b131 + 342 b78 b132 + 247.5 b78 b133 + 3.6e2 b88 b97 + 261 b88 b105 + 153 b88 b112 + 90 b88 b118 + 396 b88 b123 + 2.7e2 b88 b127 + 382.5 b88 b131 + 319.5 b88 b132 + 436.5 b88 b133 + 373.5 b97 b105 + 445.5 b97 b112 + 288 b97 b118 + 436.5 b97 b123 + 306 b97 b127 + 283.5 b97 b131 + 301.5 b97 b132 + 139.5 b97 b133 + 94.5 b105 b112 + 319.5 b105 b118 + 396 b105 b123 + 238.5 b105 b127 + 283.5 b105 b131 + 414 b105 b132 + 130.5 b105 b133 + 81 b112 b118 + 387 b112 b123 + 256.5 b112 b127 + 81 b112 b131 + 67.5 b112 b132 + 265.5 b112 b133 + 175.5 b118 b123 + 13.5 b118 b127 + 36 b118 b131 + 396 b118 b132 + 193.5 b118 b133 + 256.5 b123 b127 + 423 b123 b131 + 94.5 b123 b132 + 324 b123 b133 + 63 b127 b131 + 391.5 b127 b132 + 148.5 b127 b133 + 153 b131 b132 + 279 b131 b133 + 247.5 b132 b133 >= 16315.6 e2056: 234 b15 b30 + 49.5 b15 b43 + 112.5 b15 b56 + 94.5 b15 b68 + 378 b15 b79 + 166.5 b15 b89 + 4.5 b15 b98 + 1.8e2 b15 b106 + 328.5 b15 b113 + 252 b15 b119 + 369 b15 b124 + 324 b15 b128 + 4.5 b15 b131 + 85.5 b15 b134 + 252 b15 b135 + 216 b30 b43 + 9 b30 b56 + 117 b30 b68 + 139.5 b30 b79 + 130.5 b30 b89 + 328.5 b30 b98 + 225 b30 b106 + 211.5 b30 b113 + 211.5 b30 b119 + 252 b30 b124 + 67.5 b30 b128 + 382.5 b30 b131 + 238.5 b30 b134 + 288 b30 b135 + 157.5 b43 b56 + 288 b43 b68 + 400.5 b43 b79 + 40.5 b43 b89 + 351 b43 b106 + 45 b43 b113 + 1.8e2 b43 b119 + 18 b43 b124 + 297 b43 b128 + 333 b43 b131 + 85.5 b43 b134 + 243 b43 b135 + 211.5 b56 b68 + 337.5 b56 b79 + 13.5 b56 b89 + 220.5 b56 b98 + 238.5 b56 b106 + 387 b56 b113 + 135 b56 b119 + 117 b56 b124 + 396 b56 b128 + 130.5 b56 b131 + 432 b56 b134 + 202.5 b56 b135 + 49.5 b68 b79 + 3.6e2 b68 b89 + 441 b68 b98 + 121.5 b68 b106 + 67.5 b68 b113 + 63 b68 b119 + 310.5 b68 b124 + 342 b68 b128 + 63 b68 b131 + 171 b68 b134 + 27 b68 b135 + 229.5 b79 b89 + 252 b79 b98 + 144 b79 b106 + 355.5 b79 b113 + 337.5 b79 b119 + 175.5 b79 b124 + 117 b79 b128 + 9 b79 b131 + 342 b79 b134 + 247.5 b79 b135 + 3.6e2 b89 b98 + 261 b89 b106 + 153 b89 b113 + 90 b89 b119 + 396 b89 b124 + 2.7e2 b89 b128 + 76.5 b89 b131 + 319.5 b89 b134 + 436.5 b89 b135 + 373.5 b98 b106 + 445.5 b98 b113 + 288 b98 b119 + 436.5 b98 b124 + 306 b98 b128 + 184.5 b98 b131 + 301.5 b98 b134 + 139.5 b98 b135 + 94.5 b106 b113 + 319.5 b106 b119 + 396 b106 b124 + 238.5 b106 b128 + 225 b106 b131 + 414 b106 b134 + 130.5 b106 b135 + 81 b113 b119 + 387 b113 b124 + 256.5 b113 b128 + 328.5 b113 b131 + 67.5 b113 b134 + 265.5 b113 b135 + 175.5 b119 b124 + 13.5 b119 b128 + 85.5 b119 b131 + 396 b119 b134 + 193.5 b119 b135 + 256.5 b124 b128 + 103.5 b124 b131 + 94.5 b124 b134 + 324 b124 b135 + 63 b128 b131 + 391.5 b128 b134 + 148.5 b128 b135 + 36 b131 b134 + 18 b131 b135 + 247.5 b134 b135 >= 16315.6 e2057: 234 b16 b31 + 49.5 b16 b44 + 112.5 b16 b57 + 94.5 b16 b69 + 378 b16 b80 + 166.5 b16 b90 + 4.5 b16 b99 + 1.8e2 b16 b107 + 328.5 b16 b114 + 252 b16 b120 + 369 b16 b125 + 324 b16 b129 + 4.5 b16 b132 + 3.6e2 b16 b134 + 252 b16 b136 + 216 b31 b44 + 9 b31 b57 + 117 b31 b69 + 139.5 b31 b80 + 130.5 b31 b90 + 328.5 b31 b99 + 225 b31 b107 + 211.5 b31 b114 + 211.5 b31 b120 + 252 b31 b125 + 67.5 b31 b129 + 382.5 b31 b132 + 373.5 b31 b134 + 288 b31 b136 + 157.5 b44 b57 + 288 b44 b69 + 400.5 b44 b80 + 40.5 b44 b90 + 351 b44 b107 + 45 b44 b114 + 1.8e2 b44 b120 + 18 b44 b125 + 297 b44 b129 + 333 b44 b132 + 342 b44 b134 + 243 b44 b136 + 211.5 b57 b69 + 337.5 b57 b80 + 13.5 b57 b90 + 220.5 b57 b99 + 238.5 b57 b107 + 387 b57 b114 + 135 b57 b120 + 117 b57 b125 + 396 b57 b129 + 130.5 b57 b132 + 117 b57 b134 + 202.5 b57 b136 + 49.5 b69 b80 + 3.6e2 b69 b90 + 441 b69 b99 + 121.5 b69 b107 + 67.5 b69 b114 + 63 b69 b120 + 310.5 b69 b125 + 342 b69 b129 + 63 b69 b132 + 211.5 b69 b134 + 27 b69 b136 + 229.5 b80 b90 + 252 b80 b99 + 144 b80 b107 + 355.5 b80 b114 + 337.5 b80 b120 + 175.5 b80 b125 + 117 b80 b129 + 9 b80 b132 + 423 b80 b134 + 247.5 b80 b136 + 3.6e2 b90 b99 + 261 b90 b107 + 153 b90 b114 + 90 b90 b120 + 396 b90 b125 + 2.7e2 b90 b129 + 76.5 b90 b132 + 382.5 b90 b134 + 436.5 b90 b136 + 373.5 b99 b107 + 445.5 b99 b114 + 288 b99 b120 + 436.5 b99 b125 + 306 b99 b129 + 184.5 b99 b132 + 283.5 b99 b134 + 139.5 b99 b136 + 94.5 b107 b114 + 319.5 b107 b120 + 396 b107 b125 + 238.5 b107 b129 + 225 b107 b132 + 283.5 b107 b134 + 130.5 b107 b136 + 81 b114 b120 + 387 b114 b125 + 256.5 b114 b129 + 328.5 b114 b132 + 81 b114 b134 + 265.5 b114 b136 + 175.5 b120 b125 + 13.5 b120 b129 + 85.5 b120 b132 + 36 b120 b134 + 193.5 b120 b136 + 256.5 b125 b129 + 103.5 b125 b132 + 423 b125 b134 + 324 b125 b136 + 63 b129 b132 + 63 b129 b134 + 148.5 b129 b136 + 207 b132 b134 + 18 b132 b136 + 279 b134 b136 >= 16315.6 e2058: 234 b17 b32 + 49.5 b17 b45 + 112.5 b17 b58 + 94.5 b17 b70 + 378 b17 b81 + 166.5 b17 b91 + 4.5 b17 b100 + 1.8e2 b17 b108 + 328.5 b17 b115 + 252 b17 b121 + 369 b17 b126 + 324 b17 b130 + 4.5 b17 b133 + 3.6e2 b17 b135 + 85.5 b17 b136 + 216 b32 b45 + 9 b32 b58 + 117 b32 b70 + 139.5 b32 b81 + 130.5 b32 b91 + 328.5 b32 b100 + 225 b32 b108 + 211.5 b32 b115 + 211.5 b32 b121 + 252 b32 b126 + 67.5 b32 b130 + 382.5 b32 b133 + 373.5 b32 b135 + 238.5 b32 b136 + 157.5 b45 b58 + 288 b45 b70 + 400.5 b45 b81 + 40.5 b45 b91 + 351 b45 b108 + 45 b45 b115 + 1.8e2 b45 b121 + 18 b45 b126 + 297 b45 b130 + 333 b45 b133 + 342 b45 b135 + 85.5 b45 b136 + 211.5 b58 b70 + 337.5 b58 b81 + 13.5 b58 b91 + 220.5 b58 b100 + 238.5 b58 b108 + 387 b58 b115 + 135 b58 b121 + 117 b58 b126 + 396 b58 b130 + 130.5 b58 b133 + 117 b58 b135 + 432 b58 b136 + 49.5 b70 b81 + 3.6e2 b70 b91 + 441 b70 b100 + 121.5 b70 b108 + 67.5 b70 b115 + 63 b70 b121 + 310.5 b70 b126 + 342 b70 b130 + 63 b70 b133 + 211.5 b70 b135 + 171 b70 b136 + 229.5 b81 b91 + 252 b81 b100 + 144 b81 b108 + 355.5 b81 b115 + 337.5 b81 b121 + 175.5 b81 b126 + 117 b81 b130 + 9 b81 b133 + 423 b81 b135 + 342 b81 b136 + 3.6e2 b91 b100 + 261 b91 b108 + 153 b91 b115 + 90 b91 b121 + 396 b91 b126 + 2.7e2 b91 b130 + 76.5 b91 b133 + 382.5 b91 b135 + 319.5 b91 b136 + 373.5 b100 b108 + 445.5 b100 b115 + 288 b100 b121 + 436.5 b100 b126 + 306 b100 b130 + 184.5 b100 b133 + 283.5 b100 b135 + 301.5 b100 b136 + 94.5 b108 b115 + 319.5 b108 b121 + 396 b108 b126 + 238.5 b108 b130 + 225 b108 b133 + 283.5 b108 b135 + 414 b108 b136 + 81 b115 b121 + 387 b115 b126 + 256.5 b115 b130 + 328.5 b115 b133 + 81 b115 b135 + 67.5 b115 b136 + 175.5 b121 b126 + 13.5 b121 b130 + 85.5 b121 b133 + 36 b121 b135 + 396 b121 b136 + 256.5 b126 b130 + 103.5 b126 b133 + 423 b126 b135 + 94.5 b126 b136 + 63 b130 b133 + 63 b130 b135 + 391.5 b130 b136 + 207 b133 b135 + 36 b133 b136 + 153 b135 b136 >= 16315.6 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 End