MAYBE 242.35/63.98 MAYBE 242.35/63.99 242.35/63.99 Problem: 242.35/63.99 0(0(0(0(1(1(2(0(1(2(0(0(1(2(1(0(2(1(1(0(0(1(0(x1))))))))))))))))))))))) -> 242.35/63.99 0(0(1(2(2(2(2(2(2(1(0(1(2(0(0(0(0(0(2(0(2(2(2(0(2(1(0(x1))))))))))))))))))))))))))) 242.35/63.99 0(0(0(1(1(2(2(0(1(2(0(2(0(1(0(0(1(2(0(0(0(2(0(x1))))))))))))))))))))))) -> 242.35/63.99 0(0(0(2(0(1(0(2(0(2(1(2(0(0(0(0(0(0(0(0(0(1(2(2(2(2(0(x1))))))))))))))))))))))))))) 242.35/63.99 0(0(0(1(2(2(1(0(0(1(2(1(1(0(1(0(2(0(2(1(0(1(2(x1))))))))))))))))))))))) -> 242.35/63.99 0(0(0(1(0(0(0(1(0(0(2(2(2(0(1(2(0(1(1(2(2(0(1(1(0(0(2(x1))))))))))))))))))))))))))) 242.35/63.99 0(0(0(2(2(0(0(0(0(2(2(0(2(2(1(1(1(1(2(0(2(1(1(x1))))))))))))))))))))))) -> 242.35/63.99 0(0(2(1(0(1(1(0(0(0(1(0(0(1(0(2(2(0(0(0(0(0(1(0(2(0(0(x1))))))))))))))))))))))))))) 242.35/63.99 0(0(2(0(0(2(0(0(1(1(2(2(0(2(0(1(1(0(0(1(0(2(1(x1))))))))))))))))))))))) -> 242.35/63.99 0(0(0(2(0(2(2(1(2(0(0(0(0(0(2(0(2(2(1(2(1(2(1(2(2(2(2(x1))))))))))))))))))))))))))) 242.35/63.99 0(0(2(0(1(0(1(0(2(1(0(0(1(0(1(0(2(2(1(0(1(1(0(x1))))))))))))))))))))))) -> 242.35/63.99 0(0(0(0(0(2(1(2(2(2(0(1(2(0(0(1(0(0(0(1(0(2(0(0(0(1(1(x1))))))))))))))))))))))))))) 242.35/63.99 0(0(2(0(1(1(1(0(1(0(0(0(2(1(1(0(0(2(2(1(0(2(0(x1))))))))))))))))))))))) -> 242.35/63.99 0(0(2(2(2(0(2(0(0(2(0(0(1(1(0(2(0(2(2(2(2(2(1(2(1(2(0(x1))))))))))))))))))))))))))) 242.35/63.99 0(0(2(1(1(0(1(0(2(2(1(1(2(0(1(0(1(2(1(1(1(0(0(x1))))))))))))))))))))))) -> 242.35/63.99 0(0(0(0(1(2(0(2(2(0(2(2(0(2(0(0(0(2(1(0(0(0(1(0(0(0(2(x1))))))))))))))))))))))))))) 242.35/63.99 0(0(2(1(2(0(1(2(0(1(2(1(2(2(1(2(1(2(1(0(0(0(1(x1))))))))))))))))))))))) -> 242.35/63.99 0(0(0(2(2(2(2(1(2(0(2(1(2(0(2(1(0(0(2(0(0(2(2(2(1(0(0(x1))))))))))))))))))))))))))) 242.35/63.99 0(0(2(2(0(1(0(2(1(0(2(1(2(0(2(1(2(2(0(1(1(2(0(x1))))))))))))))))))))))) -> 242.35/63.99 0(1(2(0(1(2(1(2(2(0(2(1(2(2(1(2(0(0(1(0(0(2(2(2(2(2(0(x1))))))))))))))))))))))))))) 242.35/63.99 0(1(0(0(0(1(2(1(1(1(1(1(2(1(1(2(1(2(2(1(1(2(2(x1))))))))))))))))))))))) -> 242.35/63.99 0(2(1(0(2(0(2(1(0(1(0(2(1(2(2(0(0(1(2(1(0(0(0(1(2(2(2(x1))))))))))))))))))))))))))) 242.35/63.99 0(1(0(1(0(1(2(2(2(0(0(0(2(1(1(1(1(0(1(1(2(1(0(x1))))))))))))))))))))))) -> 242.35/63.99 0(0(1(0(2(0(1(2(1(0(0(0(2(2(0(1(0(2(1(2(0(0(0(0(2(0(2(x1))))))))))))))))))))))))))) 242.35/63.99 0(1(0(1(1(0(0(2(2(1(2(1(0(1(1(1(2(2(1(1(2(1(1(x1))))))))))))))))))))))) -> 242.35/63.99 0(1(2(2(0(0(1(1(0(0(2(1(2(0(0(1(0(0(1(0(0(1(1(2(2(1(2(x1))))))))))))))))))))))))))) 242.35/63.99 0(1(0(1(2(1(2(2(2(1(1(2(0(2(1(1(0(2(1(2(1(0(0(x1))))))))))))))))))))))) -> 242.35/63.99 0(2(0(1(1(0(2(2(0(1(0(2(0(2(2(2(2(1(2(2(2(0(1(2(1(0(0(x1))))))))))))))))))))))))))) 242.35/63.99 0(1(0(2(1(2(1(0(1(0(2(2(1(1(0(2(2(0(1(0(2(1(0(x1))))))))))))))))))))))) -> 242.35/63.99 0(0(0(2(2(1(0(0(0(2(0(1(2(0(2(2(2(1(1(0(1(0(0(0(1(0(1(x1))))))))))))))))))))))))))) 242.35/63.99 0(1(0(2(1(2(2(1(0(2(1(2(0(2(2(2(0(1(2(2(1(0(1(x1))))))))))))))))))))))) -> 242.35/63.99 0(0(0(0(1(0(0(2(1(2(0(0(1(0(0(1(0(1(1(1(2(2(2(2(1(2(1(x1))))))))))))))))))))))))))) 242.35/63.99 0(1(1(1(1(0(0(2(0(2(0(0(1(1(2(1(2(1(0(1(1(1(0(x1))))))))))))))))))))))) -> 242.35/63.99 0(1(0(1(1(2(2(1(1(1(2(0(0(2(0(2(0(2(1(2(2(1(0(1(0(0(0(x1))))))))))))))))))))))))))) 242.35/63.99 0(1(1(1(2(2(0(1(2(1(1(1(2(2(0(1(0(1(0(0(0(2(0(x1))))))))))))))))))))))) -> 242.35/63.99 0(0(0(0(2(0(1(1(0(2(2(0(1(2(0(0(1(0(2(2(0(1(2(1(2(2(0(x1))))))))))))))))))))))))))) 242.35/63.99 0(1(1(2(0(0(0(0(0(0(2(1(1(2(2(2(2(1(0(2(0(2(2(x1))))))))))))))))))))))) -> 242.35/63.99 0(0(0(0(1(0(0(1(0(2(2(2(2(1(2(1(2(2(1(1(2(0(0(0(2(2(2(x1))))))))))))))))))))))))))) 242.35/63.99 0(1(1(2(1(1(1(0(0(2(1(0(2(2(2(0(2(2(1(0(1(1(1(x1))))))))))))))))))))))) -> 242.35/63.99 0(1(1(0(1(1(0(1(0(0(2(1(2(0(0(2(0(0(2(2(0(0(2(2(1(2(0(x1))))))))))))))))))))))))))) 242.35/63.99 0(1(1(2(2(0(1(0(1(0(0(2(0(0(2(0(0(2(1(0(1(1(0(x1))))))))))))))))))))))) -> 242.35/63.99 0(1(0(2(2(1(1(0(2(2(1(0(0(0(0(2(0(1(0(2(2(2(2(1(0(1(0(x1))))))))))))))))))))))))))) 242.35/63.99 0(1(2(0(1(0(0(2(2(1(1(0(0(1(2(0(0(2(1(2(1(1(0(x1))))))))))))))))))))))) -> 242.35/63.99 0(2(1(2(1(0(1(0(1(2(2(1(0(0(0(0(0(0(2(2(2(0(0(0(2(2(2(x1))))))))))))))))))))))))))) 242.35/63.99 0(1(2(1(2(0(1(2(1(2(0(1(0(2(1(2(2(1(0(0(1(0(2(x1))))))))))))))))))))))) -> 242.35/63.99 0(0(0(1(1(0(2(1(0(0(0(1(1(2(2(1(0(2(2(2(1(2(2(2(1(1(2(x1))))))))))))))))))))))))))) 242.35/63.99 0(2(0(0(1(1(1(0(0(2(2(0(2(2(0(0(1(2(2(0(0(1(2(x1))))))))))))))))))))))) -> 242.35/63.99 0(0(2(2(0(1(0(2(2(1(0(0(0(0(2(1(0(2(0(1(0(0(1(0(0(0(2(x1))))))))))))))))))))))))))) 242.35/63.99 0(2(0(1(2(2(0(2(1(0(1(0(0(0(0(0(0(2(1(1(1(1(0(x1))))))))))))))))))))))) -> 242.35/63.99 0(0(0(0(2(2(2(2(1(1(2(1(1(2(1(2(1(2(1(0(0(0(0(0(1(0(1(x1))))))))))))))))))))))))))) 242.35/63.99 0(2(0(1(2(2(2(2(1(1(2(0(2(1(1(0(2(2(2(0(2(1(1(x1))))))))))))))))))))))) -> 242.78/64.01 0(0(2(0(0(0(1(0(2(2(0(1(0(2(2(2(2(2(2(2(0(0(2(2(1(0(2(x1))))))))))))))))))))))))))) 242.78/64.01 0(2(0(2(0(0(2(2(0(0(0(1(2(0(1(1(0(0(1(2(1(1(1(x1))))))))))))))))))))))) -> 242.78/64.01 0(0(0(1(0(0(0(1(1(1(0(0(1(1(0(0(2(1(0(0(2(0(0(1(0(2(1(x1))))))))))))))))))))))))))) 242.78/64.01 0(2(0(2(2(1(0(0(1(0(0(2(0(2(1(2(1(2(0(0(1(1(1(x1))))))))))))))))))))))) -> 242.78/64.01 0(0(0(0(0(0(0(2(1(0(1(2(2(1(2(2(2(0(0(0(1(1(0(1(2(0(0(x1))))))))))))))))))))))))))) 242.78/64.01 0(2(1(2(1(2(0(0(0(1(0(2(0(0(1(0(2(1(0(2(2(2(0(x1))))))))))))))))))))))) -> 242.78/64.01 0(0(0(2(2(2(0(0(0(0(2(2(0(0(0(1(1(0(1(1(2(0(0(0(2(2(2(x1))))))))))))))))))))))))))) 242.78/64.01 0(2(2(0(2(1(2(1(1(1(1(0(0(2(1(1(2(2(2(0(2(1(0(x1))))))))))))))))))))))) -> 242.78/64.01 0(0(0(0(2(2(2(1(0(2(2(0(1(1(1(0(2(1(1(2(1(2(2(0(0(2(0(x1))))))))))))))))))))))))))) 242.78/64.01 0(2(2(1(2(1(1(0(1(2(0(2(1(2(2(0(0(1(2(2(1(0(0(x1))))))))))))))))))))))) -> 242.78/64.01 0(0(0(1(0(0(1(1(2(2(2(1(0(2(0(0(2(1(2(2(2(0(0(0(0(0(1(x1))))))))))))))))))))))))))) 242.78/64.01 0(2(2(2(1(2(1(0(2(0(0(1(0(1(2(0(1(2(1(1(0(0(0(x1))))))))))))))))))))))) -> 242.78/64.01 0(0(0(0(0(2(0(2(0(1(0(2(2(2(0(0(0(1(0(2(2(2(2(0(2(0(0(x1))))))))))))))))))))))))))) 242.78/64.01 1(0(0(2(0(1(0(0(1(0(1(0(0(1(1(2(1(0(1(2(1(1(1(x1))))))))))))))))))))))) -> 242.78/64.01 0(2(2(2(1(2(1(0(2(2(2(1(0(0(2(2(2(0(0(0(2(1(0(2(1(1(0(x1))))))))))))))))))))))))))) 242.78/64.01 1(0(0(2(1(0(1(2(2(2(1(0(2(2(2(0(1(0(1(2(0(2(2(x1))))))))))))))))))))))) -> 242.78/64.01 1(0(2(2(0(0(2(2(1(0(2(2(2(2(2(2(0(2(0(0(2(1(2(2(1(2(2(x1))))))))))))))))))))))))))) 242.78/64.01 1(0(0(2(1(1(2(0(0(1(0(0(1(2(0(1(0(1(0(1(0(1(0(x1))))))))))))))))))))))) -> 242.78/64.01 0(0(0(0(2(0(0(0(1(2(2(1(2(1(1(0(0(0(0(2(0(0(0(1(1(1(0(x1))))))))))))))))))))))))))) 242.78/64.01 1(0(1(0(2(2(0(2(1(1(1(2(2(1(0(2(0(0(2(1(1(0(2(x1))))))))))))))))))))))) -> 242.78/64.01 1(0(1(2(0(0(2(1(2(0(0(2(0(2(2(2(2(2(1(2(1(2(2(0(1(1(2(x1))))))))))))))))))))))))))) 242.78/64.01 1(0(1(2(2(2(0(1(2(1(1(2(2(0(1(0(1(0(2(0(0(1(0(x1))))))))))))))))))))))) -> 242.78/64.01 2(2(0(1(0(2(2(2(2(2(2(1(2(2(0(0(2(0(0(0(0(0(2(2(2(0(1(x1))))))))))))))))))))))))))) 242.78/64.01 1(0(2(0(2(1(2(0(2(1(0(0(0(2(0(0(1(2(1(1(1(2(1(x1))))))))))))))))))))))) -> 242.78/64.01 0(2(2(2(2(0(0(1(2(2(0(2(0(0(0(2(2(0(1(1(0(2(1(2(2(2(1(x1))))))))))))))))))))))))))) 242.78/64.01 1(0(2(2(2(0(1(2(1(1(1(0(2(2(2(2(2(0(1(2(2(1(2(x1))))))))))))))))))))))) -> 242.78/64.01 0(0(1(2(2(2(2(0(2(0(0(2(1(0(0(1(0(2(1(0(0(0(2(2(1(2(2(x1))))))))))))))))))))))))))) 242.78/64.01 1(1(0(1(1(0(2(0(2(0(0(1(0(2(2(1(2(2(2(1(1(1(0(x1))))))))))))))))))))))) -> 242.78/64.01 1(2(0(2(2(0(2(0(2(0(0(0(2(0(0(1(0(0(0(2(2(2(2(1(0(0(1(x1))))))))))))))))))))))))))) 242.78/64.01 1(1(1(0(2(1(2(2(1(2(2(0(2(0(0(0(2(1(0(2(1(1(1(x1))))))))))))))))))))))) -> 242.78/64.01 2(2(2(0(1(0(0(0(2(0(0(2(2(2(2(1(1(2(2(0(1(2(2(2(1(1(2(x1))))))))))))))))))))))))))) 242.78/64.01 1(1(1(0(2(1(2(2(2(1(1(2(2(1(0(0(0(2(0(1(1(0(0(x1))))))))))))))))))))))) -> 242.78/64.01 2(2(1(2(2(1(2(2(2(0(0(0(0(2(2(0(0(0(2(0(1(0(0(0(2(2(0(x1))))))))))))))))))))))))))) 242.78/64.01 1(1(1(2(2(2(1(1(2(1(2(2(0(0(0(1(0(1(1(1(0(0(2(x1))))))))))))))))))))))) -> 242.78/64.01 2(0(2(1(2(1(0(2(2(2(2(1(1(1(2(2(0(0(0(2(2(2(2(0(0(0(2(x1))))))))))))))))))))))))))) 242.78/64.01 1(1(2(0(1(0(0(2(1(0(0(2(1(0(2(2(1(2(1(2(0(1(2(x1))))))))))))))))))))))) -> 242.78/64.01 0(2(0(0(2(1(0(0(0(0(0(2(0(2(1(1(0(2(0(1(2(2(2(2(1(2(2(x1))))))))))))))))))))))))))) 242.78/64.01 1(1(2(0(1(0(2(1(0(0(1(0(1(0(0(1(0(1(1(2(2(0(2(x1))))))))))))))))))))))) -> 242.78/64.01 2(0(1(1(1(0(0(2(1(1(0(0(2(2(2(2(0(0(0(0(1(1(2(2(2(2(1(x1))))))))))))))))))))))))))) 242.78/64.01 1(1(2(0(2(2(2(0(0(1(0(0(2(2(0(1(2(1(0(1(1(2(1(x1))))))))))))))))))))))) -> 242.78/64.01 1(2(2(0(1(2(2(1(2(0(0(2(2(2(1(1(0(0(2(2(0(0(0(1(2(2(2(x1))))))))))))))))))))))))))) 242.78/64.01 1(1(2(2(1(2(0(0(0(2(0(1(0(2(1(1(2(0(0(2(2(0(2(x1))))))))))))))))))))))) -> 242.78/64.01 1(0(2(2(2(1(1(1(0(0(1(2(0(0(0(0(0(0(0(2(0(1(1(1(0(0(2(x1))))))))))))))))))))))))))) 242.78/64.01 1(2(0(0(0(0(2(2(2(0(0(0(1(2(2(2(1(0(1(2(0(1(2(x1))))))))))))))))))))))) -> 242.78/64.01 2(2(2(0(2(2(2(0(2(0(1(2(2(0(2(2(2(1(0(2(2(2(2(2(2(2(2(x1))))))))))))))))))))))))))) 242.78/64.01 1(2(0(0(0(2(2(0(2(0(0(0(2(0(2(0(2(0(2(2(1(1(0(x1))))))))))))))))))))))) -> 242.78/64.01 0(0(2(2(2(2(1(2(1(0(0(2(1(1(2(0(0(2(2(2(0(0(0(0(0(2(0(x1))))))))))))))))))))))))))) 242.78/64.01 1(2(0(1(0(1(0(2(0(0(0(2(2(0(1(0(1(0(1(1(2(1(1(x1))))))))))))))))))))))) -> 242.78/64.01 1(0(1(0(2(0(2(0(0(1(0(0(0(0(0(0(2(0(0(0(1(1(0(2(1(2(0(x1))))))))))))))))))))))))))) 242.78/64.01 1(2(1(0(0(2(2(2(0(2(0(2(2(1(2(0(2(2(1(2(1(1(1(x1))))))))))))))))))))))) -> 242.78/64.01 1(2(2(0(0(0(0(1(0(0(0(0(2(1(1(1(2(0(0(2(2(1(1(1(0(0(0(x1))))))))))))))))))))))))))) 242.78/64.02 1(2(1(2(0(0(0(0(1(2(2(0(2(2(0(1(2(2(0(1(0(1(2(x1))))))))))))))))))))))) -> 242.78/64.02 2(2(2(0(1(0(0(0(1(1(0(1(0(0(0(2(2(2(2(1(2(2(1(2(0(0(2(x1))))))))))))))))))))))))))) 242.78/64.02 1(2(2(1(2(1(2(0(2(2(1(2(0(0(1(2(2(1(1(0(0(0(0(x1))))))))))))))))))))))) -> 242.78/64.02 1(2(2(2(2(1(2(0(2(0(2(0(2(2(1(2(2(2(2(0(2(2(2(2(2(2(0(x1))))))))))))))))))))))))))) 242.78/64.02 1(2(2(2(0(0(2(0(1(1(1(0(0(1(0(1(2(0(0(0(1(1(2(x1))))))))))))))))))))))) -> 242.78/64.02 1(2(2(2(0(2(2(0(2(1(2(0(0(1(1(0(1(2(0(0(0(0(0(1(0(0(2(x1))))))))))))))))))))))))))) 242.78/64.02 2(0(0(0(0(2(1(0(0(2(2(2(2(2(0(1(2(1(1(1(1(1(0(x1))))))))))))))))))))))) -> 242.78/64.02 0(0(1(2(1(2(2(2(2(2(1(0(0(0(0(2(2(0(1(1(2(2(2(2(2(2(1(x1))))))))))))))))))))))))))) 242.78/64.02 2(0(0(0(0(2(2(2(2(0(1(0(0(1(2(1(2(1(1(1(1(2(1(x1))))))))))))))))))))))) -> 242.78/64.02 2(0(0(1(0(0(0(0(2(1(2(0(0(0(0(0(0(2(2(0(1(0(0(0(0(2(2(x1))))))))))))))))))))))))))) 242.78/64.02 2(0(0(2(0(0(0(2(2(0(1(0(2(2(0(2(0(2(1(1(2(2(1(x1))))))))))))))))))))))) -> 242.78/64.02 0(0(0(2(2(2(1(2(0(2(2(0(0(0(1(0(0(0(1(0(2(2(2(0(2(0(2(x1))))))))))))))))))))))))))) 242.78/64.02 2(0(0(2(0(2(1(0(1(2(2(0(0(1(0(2(0(1(0(0(1(1(1(x1))))))))))))))))))))))) -> 242.78/64.02 2(2(0(2(2(1(1(2(0(0(0(2(1(0(2(2(2(0(0(0(0(2(1(0(0(1(1(x1))))))))))))))))))))))))))) 242.78/64.02 2(0(0(2(0(2(2(0(0(2(2(0(0(2(1(1(2(2(1(2(1(0(1(x1))))))))))))))))))))))) -> 242.78/64.02 2(2(1(0(2(2(2(2(2(2(0(0(0(0(1(1(1(1(2(0(0(0(0(0(1(0(1(x1))))))))))))))))))))))))))) 242.78/64.02 2(0(1(0(0(0(2(0(0(1(1(1(2(1(0(0(0(0(1(0(1(0(1(x1))))))))))))))))))))))) -> 242.78/64.02 0(2(2(1(2(0(1(0(0(2(2(2(2(2(2(0(2(1(2(1(0(2(0(0(0(0(0(x1))))))))))))))))))))))))))) 242.78/64.02 2(0(1(1(1(0(1(2(2(2(0(2(2(0(2(1(2(1(0(2(2(1(0(x1))))))))))))))))))))))) -> 242.78/64.02 2(2(1(0(0(0(0(2(2(0(0(2(0(0(0(1(2(0(0(1(1(0(1(1(2(2(1(x1))))))))))))))))))))))))))) 242.78/64.02 2(0(1(1(1(2(0(0(0(0(0(2(0(0(0(2(1(0(1(0(2(1(1(x1))))))))))))))))))))))) -> 242.78/64.02 2(2(2(0(0(2(0(1(2(2(2(2(1(0(1(0(2(1(2(1(2(2(2(2(0(0(2(x1))))))))))))))))))))))))))) 242.78/64.02 2(0(2(0(2(2(0(2(0(1(0(0(1(1(0(2(1(0(1(1(0(1(2(x1))))))))))))))))))))))) -> 242.78/64.02 2(1(0(2(2(1(0(0(0(2(1(2(2(1(2(1(1(0(2(0(0(2(2(1(1(2(2(x1))))))))))))))))))))))))))) 242.78/64.02 2(0(2(0(2(2(1(0(2(0(2(0(0(1(2(2(2(0(1(0(1(2(1(x1))))))))))))))))))))))) -> 242.78/64.02 2(2(2(2(1(0(2(2(0(2(2(2(1(0(2(2(2(2(0(1(1(2(2(2(2(0(2(x1))))))))))))))))))))))))))) 242.78/64.02 2(0(2(1(2(0(0(0(1(2(0(2(0(0(0(1(0(0(0(1(0(2(1(x1))))))))))))))))))))))) -> 242.78/64.02 2(2(0(0(2(0(2(2(1(2(0(0(0(0(2(2(2(2(1(2(2(1(2(1(0(0(2(x1))))))))))))))))))))))))))) 242.78/64.02 2(1(0(1(0(0(1(2(1(2(0(1(1(2(2(0(0(0(1(0(2(1(2(x1))))))))))))))))))))))) -> 242.78/64.02 1(1(2(2(0(0(2(2(1(2(0(0(1(0(2(0(2(0(1(0(0(0(1(0(0(2(2(x1))))))))))))))))))))))))))) 242.78/64.02 2(1(0(1(1(0(2(2(0(1(0(2(0(2(0(0(1(2(0(1(0(1(0(x1))))))))))))))))))))))) -> 242.78/64.02 1(2(0(2(1(2(2(0(1(2(2(0(0(0(2(0(0(1(0(0(2(2(1(2(2(0(0(x1))))))))))))))))))))))))))) 242.78/64.02 2(1(0(2(2(1(0(2(0(2(2(2(1(1(0(0(2(0(0(0(1(2(0(x1))))))))))))))))))))))) -> 242.78/64.02 0(0(0(2(2(1(1(2(0(0(0(1(0(0(1(0(2(2(1(0(0(0(2(2(0(0(0(x1))))))))))))))))))))))))))) 242.78/64.02 2(1(0(2(2(1(1(1(0(0(1(0(0(1(0(1(1(1(2(2(0(1(0(x1))))))))))))))))))))))) -> 242.78/64.02 2(1(0(1(1(0(0(0(1(2(2(2(2(2(1(1(0(0(2(0(1(1(0(1(0(0(0(x1))))))))))))))))))))))))))) 242.78/64.02 2(1(1(1(0(0(1(0(2(0(0(1(0(0(1(2(0(0(0(0(1(0(2(x1))))))))))))))))))))))) -> 242.78/64.02 2(1(2(1(2(2(2(2(2(2(2(0(2(2(1(2(2(0(1(1(0(0(0(0(1(2(2(x1))))))))))))))))))))))))))) 242.78/64.02 2(1(1(1(0(0(2(0(0(2(0(1(1(0(0(0(1(1(2(0(2(2(2(x1))))))))))))))))))))))) -> 242.78/64.02 2(1(1(0(0(1(0(0(0(1(0(2(2(2(0(0(0(1(1(1(2(2(0(2(2(2(2(x1))))))))))))))))))))))))))) 242.78/64.02 2(1(1(1(0(1(0(1(1(0(2(2(2(0(2(0(1(0(2(1(0(1(2(x1))))))))))))))))))))))) -> 242.78/64.02 2(2(2(0(1(0(2(2(2(0(0(1(0(1(0(0(2(1(2(0(0(1(1(2(1(1(2(x1))))))))))))))))))))))))))) 242.78/64.02 2(1(1(1(1(2(1(0(0(2(1(0(0(1(0(0(0(2(1(2(0(2(1(x1))))))))))))))))))))))) -> 242.78/64.02 1(2(2(0(0(0(1(0(0(0(2(1(1(2(2(0(1(2(1(2(2(2(0(0(0(0(1(x1))))))))))))))))))))))))))) 242.78/64.02 2(1(1(1(2(1(0(0(0(0(0(2(0(2(0(1(0(0(0(1(2(0(0(x1))))))))))))))))))))))) -> 242.78/64.02 2(2(0(0(1(0(2(1(1(0(0(2(2(0(1(2(2(2(2(2(2(0(2(2(0(0(0(x1))))))))))))))))))))))))))) 242.78/64.02 2(1(1(2(1(2(2(2(1(0(2(2(0(0(2(1(2(2(2(1(2(0(1(x1))))))))))))))))))))))) -> 242.78/64.02 1(0(0(0(2(2(2(0(0(2(2(2(2(1(0(0(1(2(2(0(0(2(0(0(2(0(0(x1))))))))))))))))))))))))))) 242.78/64.02 2(1(2(0(0(1(0(1(2(0(0(0(1(2(1(1(1(0(1(0(0(2(1(x1))))))))))))))))))))))) -> 242.78/64.02 1(0(0(0(0(0(2(0(1(0(0(0(0(2(0(2(1(1(1(0(0(2(2(2(1(2(1(x1))))))))))))))))))))))))))) 242.78/64.02 2(1(2(0(1(2(1(0(1(2(1(2(1(2(2(1(0(0(1(0(1(0(2(x1))))))))))))))))))))))) -> 242.78/64.04 0(2(2(1(2(2(0(2(2(2(1(0(0(1(0(1(0(1(2(2(0(2(1(2(2(2(2(x1))))))))))))))))))))))))))) 242.78/64.04 2(1(2(1(2(1(0(0(1(0(0(0(2(1(1(0(1(1(1(0(2(0(0(x1))))))))))))))))))))))) -> 242.78/64.04 0(0(1(0(2(0(2(1(1(2(2(2(2(2(2(1(2(0(1(0(0(0(1(0(0(0(2(x1))))))))))))))))))))))))))) 242.78/64.04 2(1(2(2(2(1(2(1(0(2(2(2(1(1(2(1(0(2(1(0(2(1(2(x1))))))))))))))))))))))) -> 242.78/64.04 2(1(0(2(0(0(0(0(2(0(2(2(2(0(2(0(1(0(2(2(0(2(0(0(2(2(2(x1))))))))))))))))))))))))))) 242.78/64.04 2(2(0(0(0(0(1(0(2(2(1(2(1(0(2(0(2(0(2(1(0(0(1(x1))))))))))))))))))))))) -> 242.78/64.04 0(1(0(0(1(0(0(2(0(0(2(2(2(2(2(2(2(2(0(0(1(2(2(0(0(1(0(x1))))))))))))))))))))))))))) 242.78/64.04 2(2(0(1(2(0(1(0(1(1(0(2(2(1(2(1(0(1(2(2(1(0(0(x1))))))))))))))))))))))) -> 242.78/64.04 2(2(2(0(0(0(1(1(0(0(1(0(0(2(0(2(2(1(2(0(2(2(2(1(0(1(1(x1))))))))))))))))))))))))))) 242.78/64.04 2(2(0(2(0(2(0(1(2(0(0(0(2(0(0(2(2(2(2(0(1(1(2(x1))))))))))))))))))))))) -> 242.78/64.04 0(1(0(0(0(1(2(2(2(1(2(2(1(2(2(0(2(0(2(2(1(2(2(2(1(2(2(x1))))))))))))))))))))))))))) 242.78/64.04 2(2(0(2(0(2(0(2(2(0(2(1(1(1(0(2(1(1(0(0(1(1(0(x1))))))))))))))))))))))) -> 242.78/64.04 2(1(2(2(2(0(0(0(1(0(2(2(1(2(0(0(0(1(1(1(0(1(2(2(0(0(2(x1))))))))))))))))))))))))))) 242.78/64.04 2(2(0(2(1(1(1(0(2(1(2(1(2(1(0(2(2(1(1(0(2(0(2(x1))))))))))))))))))))))) -> 242.78/64.04 1(2(1(2(2(2(2(1(2(0(2(1(2(2(0(2(1(0(2(2(2(2(2(1(0(1(2(x1))))))))))))))))))))))))))) 242.78/64.04 2(2(0(2(2(1(1(2(2(1(2(1(2(1(2(2(0(1(1(1(1(1(2(x1))))))))))))))))))))))) -> 242.78/64.04 2(2(0(0(2(0(1(1(2(2(2(2(1(1(1(0(2(1(2(0(0(0(2(0(1(0(2(x1))))))))))))))))))))))))))) 242.78/64.04 2(2(1(0(2(0(0(0(2(0(0(0(2(0(1(2(2(0(0(1(1(1(2(x1))))))))))))))))))))))) -> 242.78/64.04 1(0(2(0(0(0(0(1(2(1(2(2(2(2(2(2(1(2(2(0(0(1(0(0(1(2(2(x1))))))))))))))))))))))))))) 242.78/64.04 2(2(1(0(2(2(1(2(1(0(1(0(0(2(2(1(2(0(0(0(2(1(0(x1))))))))))))))))))))))) -> 242.78/64.04 2(2(0(0(0(1(0(0(0(2(1(2(2(2(2(2(1(0(2(2(1(0(0(1(2(2(0(x1))))))))))))))))))))))))))) 242.78/64.04 2(2(1(1(1(2(0(0(0(0(2(1(0(0(1(2(1(2(1(0(2(0(2(x1))))))))))))))))))))))) -> 242.78/64.04 2(0(1(2(2(2(2(2(0(2(1(2(2(0(0(0(0(0(2(1(2(1(1(0(1(0(2(x1))))))))))))))))))))))))))) 242.78/64.04 2(2(1(1(1(2(0(1(1(0(2(0(0(1(2(2(2(1(2(2(1(0(0(x1))))))))))))))))))))))) -> 242.78/64.04 2(1(0(0(0(2(0(0(0(1(2(2(2(2(0(1(1(1(0(0(0(0(0(1(0(0(1(x1))))))))))))))))))))))))))) 242.78/64.04 2(2(1(1(1(2(0(1(2(0(0(2(0(2(1(2(2(2(1(2(0(2(2(x1))))))))))))))))))))))) -> 242.78/64.04 2(0(1(0(2(0(2(0(0(0(1(1(0(0(0(2(1(2(0(0(0(0(2(2(2(1(2(x1))))))))))))))))))))))))))) 242.78/64.04 2(2(1(2(0(0(1(2(0(2(2(0(2(2(0(2(1(0(1(0(1(2(0(x1))))))))))))))))))))))) -> 242.78/64.04 2(2(0(0(0(2(2(0(1(0(0(0(2(1(0(0(2(0(0(1(1(0(2(2(1(2(2(x1))))))))))))))))))))))))))) 242.78/64.04 2(2(1(2(0(1(0(1(1(0(1(0(2(2(1(2(2(1(0(1(1(2(1(x1))))))))))))))))))))))) -> 242.78/64.04 2(2(2(1(1(1(0(0(2(1(0(2(2(2(0(2(0(0(0(1(0(0(2(0(2(2(1(x1))))))))))))))))))))))))))) 242.78/64.04 2(2(1(2(0(1(1(1(0(2(1(2(0(0(1(1(1(0(0(0(0(1(1(x1))))))))))))))))))))))) -> 242.78/64.04 0(2(1(0(0(0(0(2(2(2(2(2(0(0(0(2(2(2(1(0(1(1(1(0(0(1(2(x1))))))))))))))))))))))))))) 242.78/64.04 2(2(1(2(1(1(1(1(0(0(1(1(2(2(1(2(0(1(1(1(1(2(2(x1))))))))))))))))))))))) -> 242.78/64.04 2(0(0(0(1(1(2(1(1(0(1(0(2(0(2(1(2(1(0(2(2(2(0(1(2(2(2(x1))))))))))))))))))))))))))) 242.78/64.04 2(2(1(2(2(1(2(0(2(1(2(1(0(2(1(0(0(0(1(2(1(1(1(x1))))))))))))))))))))))) -> 242.78/64.04 2(0(0(0(0(2(2(0(0(1(2(2(2(0(0(2(0(0(1(2(1(1(1(0(0(2(0(x1))))))))))))))))))))))))))) 242.78/64.04 2(2(1(2(2(2(2(1(0(2(2(1(0(1(2(1(1(0(2(1(1(2(0(x1))))))))))))))))))))))) -> 242.78/64.04 2(2(1(2(2(2(1(2(2(2(2(2(1(0(0(2(0(0(0(1(2(1(0(1(0(1(2(x1))))))))))))))))))))))))))) 242.78/64.04 2(2(2(0(1(0(0(0(2(2(2(0(2(2(1(1(2(1(1(2(0(1(2(x1))))))))))))))))))))))) -> 242.78/64.04 2(2(2(1(2(1(1(0(0(0(2(0(1(0(0(0(0(1(1(0(0(0(0(2(2(2(1(x1))))))))))))))))))))))))))) 242.78/64.04 2(2(2(0(1(1(0(1(2(2(1(0(0(2(2(1(1(1(1(1(0(1(2(x1))))))))))))))))))))))) -> 242.78/64.04 2(2(2(2(2(2(2(2(1(2(0(0(2(1(2(0(0(1(1(2(2(1(0(1(1(1(2(x1))))))))))))))))))))))))))) 242.78/64.04 2(2(2(0(2(1(1(2(1(2(2(1(2(2(1(0(2(0(2(2(1(1(0(x1))))))))))))))))))))))) -> 242.78/64.04 2(2(2(1(2(2(1(1(2(2(0(2(1(1(1(0(0(2(0(0(1(0(0(0(0(2(0(x1))))))))))))))))))))))))))) 242.78/64.04 2(2(2(1(1(1(2(2(2(2(1(1(0(0(2(2(1(0(1(0(1(0(1(x1))))))))))))))))))))))) -> 242.78/64.04 0(1(2(0(0(2(0(2(2(1(2(2(2(1(2(1(0(0(0(0(0(0(0(1(0(0(0(x1))))))))))))))))))))))))))) 242.78/64.04 242.78/64.04 Proof: 242.78/64.04 Open 242.78/64.05 EOF