MAYBE 242.27/63.85 MAYBE 242.27/63.88 242.27/63.88 Problem: 242.27/63.88 0(0(0(0(0(0(0(1(2(0(1(2(0(2(2(1(2(2(1(2(0(0(1(x1))))))))))))))))))))))) -> 242.27/63.88 2(0(0(0(0(2(1(0(2(0(0(2(0(0(2(1(0(0(0(0(2(1(0(0(2(1(0(x1))))))))))))))))))))))))))) 242.27/63.88 0(0(0(0(0(0(1(2(1(0(2(1(0(2(1(0(1(2(0(2(1(0(2(x1))))))))))))))))))))))) -> 242.27/63.88 2(2(1(0(1(1(0(0(2(0(0(0(0(0(2(2(0(0(0(2(0(0(0(2(0(0(0(x1))))))))))))))))))))))))))) 242.27/63.88 0(0(0(1(0(0(2(2(0(2(2(1(1(2(2(2(2(2(2(0(0(0(2(x1))))))))))))))))))))))) -> 242.27/63.88 0(1(1(0(0(0(2(1(0(2(1(1(0(2(0(0(2(1(0(0(1(0(0(0(1(0(1(x1))))))))))))))))))))))))))) 242.27/63.88 0(0(0(2(1(0(1(2(2(0(2(2(1(1(2(1(1(0(0(1(0(2(1(x1))))))))))))))))))))))) -> 242.27/63.88 0(0(0(1(0(0(1(1(2(1(2(1(1(2(2(1(1(0(0(0(0(2(1(0(0(2(1(x1))))))))))))))))))))))))))) 242.27/63.88 0(0(0(2(2(0(1(1(1(0(2(2(2(1(2(0(1(1(1(1(1(1(0(x1))))))))))))))))))))))) -> 242.27/63.88 0(0(1(0(1(0(2(0(0(0(0(2(0(0(0(1(1(0(2(1(2(1(1(1(1(1(0(x1))))))))))))))))))))))))))) 242.27/63.88 0(0(1(0(0(0(1(2(2(2(0(0(2(0(2(2(1(0(2(1(0(1(0(x1))))))))))))))))))))))) -> 242.27/63.88 0(0(2(0(2(0(0(0(0(0(0(2(0(1(1(0(1(1(1(2(2(1(1(2(2(0(0(x1))))))))))))))))))))))))))) 242.27/63.88 0(0(1(0(0(0(2(1(2(0(1(0(1(1(1(2(2(2(0(1(1(0(1(x1))))))))))))))))))))))) -> 242.27/63.88 2(0(0(0(0(0(0(0(1(1(1(1(2(0(0(0(1(0(1(0(0(1(1(1(1(0(0(x1))))))))))))))))))))))))))) 242.27/63.88 0(0(1(1(0(2(1(0(0(1(2(0(2(1(1(0(0(1(2(1(0(2(1(x1))))))))))))))))))))))) -> 242.27/63.88 0(0(0(0(2(0(0(0(1(1(1(2(1(1(1(1(0(0(2(0(2(0(0(1(2(0(1(x1))))))))))))))))))))))))))) 242.27/63.88 0(0(1(1(1(2(1(2(1(1(1(0(2(2(0(0(0(2(0(1(2(0(2(x1))))))))))))))))))))))) -> 242.27/63.88 0(2(2(2(0(1(0(0(2(2(0(2(1(1(1(1(0(0(0(0(0(0(0(2(1(2(0(x1))))))))))))))))))))))))))) 242.27/63.88 0(0(1(2(0(1(1(1(1(0(1(1(1(0(2(1(2(1(2(2(0(1(1(x1))))))))))))))))))))))) -> 242.27/63.88 0(2(0(1(0(0(0(0(0(0(0(0(2(1(0(2(1(1(2(2(2(0(2(0(2(1(1(x1))))))))))))))))))))))))))) 242.27/63.88 0(0(1(2(0(2(1(2(1(2(1(2(2(0(1(1(1(1(0(1(1(2(1(x1))))))))))))))))))))))) -> 242.27/63.88 0(0(0(2(2(2(2(1(1(1(0(0(1(0(1(2(2(1(1(0(2(1(0(1(1(0(2(x1))))))))))))))))))))))))))) 242.27/63.88 0(0(1(2(1(0(1(1(0(0(2(1(2(0(1(2(1(1(0(2(0(0(2(x1))))))))))))))))))))))) -> 242.27/63.88 2(1(0(1(0(1(0(0(2(2(1(1(0(1(0(0(0(0(0(2(0(0(0(1(2(0(1(x1))))))))))))))))))))))))))) 242.27/63.88 0(0(1(2(2(2(2(2(2(0(0(0(1(1(2(2(0(2(1(0(1(2(2(x1))))))))))))))))))))))) -> 242.27/63.88 0(2(1(0(2(0(0(2(1(0(2(0(2(1(1(1(1(1(2(1(1(1(0(0(1(2(2(x1))))))))))))))))))))))))))) 242.27/63.88 0(0(2(0(0(0(1(2(2(2(2(1(0(0(2(1(2(0(2(1(1(0(0(x1))))))))))))))))))))))) -> 242.27/63.88 0(0(0(2(0(0(1(2(0(0(0(1(0(0(0(0(2(0(0(1(2(2(1(2(2(1(0(x1))))))))))))))))))))))))))) 242.27/63.88 0(0(2(0(1(1(1(2(1(0(0(1(2(1(2(1(2(2(0(0(1(0(2(x1))))))))))))))))))))))) -> 242.27/63.88 1(2(0(0(1(1(0(0(0(2(1(1(1(1(2(0(0(1(0(0(0(0(2(2(0(0(1(x1))))))))))))))))))))))))))) 242.27/63.88 0(0(2(0(1(2(2(2(2(2(0(1(2(2(1(0(2(1(0(1(2(0(1(x1))))))))))))))))))))))) -> 242.27/63.88 1(0(1(2(1(2(0(2(0(2(0(0(0(0(0(1(1(1(1(1(0(1(1(0(2(0(1(x1))))))))))))))))))))))))))) 242.27/63.88 0(0(2(2(0(1(2(0(1(2(2(2(2(2(1(1(0(1(1(1(1(0(1(x1))))))))))))))))))))))) -> 242.27/63.88 0(0(0(2(1(0(1(0(2(0(1(1(2(2(1(1(2(1(1(0(0(1(0(0(1(0(0(x1))))))))))))))))))))))))))) 242.27/63.88 0(0(2(2(1(2(2(0(0(1(2(1(1(2(1(2(2(0(0(0(1(1(1(x1))))))))))))))))))))))) -> 242.27/63.88 0(2(0(0(0(1(0(0(0(0(2(0(2(2(0(0(0(0(0(0(2(2(1(0(2(2(0(x1))))))))))))))))))))))))))) 242.27/63.88 0(0(2(2(2(1(1(2(2(0(0(2(0(1(2(0(0(2(2(2(1(0(1(x1))))))))))))))))))))))) -> 242.27/63.88 2(1(0(0(0(2(0(0(0(0(1(2(0(0(0(1(0(0(0(2(1(0(1(2(1(2(1(x1))))))))))))))))))))))))))) 242.27/63.88 0(0(2(2(2(2(0(2(1(2(2(0(0(0(2(2(0(2(2(0(1(0(1(x1))))))))))))))))))))))) -> 242.27/63.88 1(1(1(1(0(2(0(1(0(0(2(0(1(0(0(1(0(0(2(2(1(1(1(1(1(0(2(x1))))))))))))))))))))))))))) 242.27/63.88 0(1(0(0(0(0(0(0(1(2(0(1(2(2(2(1(1(0(2(1(0(2(1(x1))))))))))))))))))))))) -> 242.27/63.88 0(0(0(0(0(2(1(1(1(1(0(0(0(2(1(1(1(1(1(1(1(0(0(2(2(1(1(x1))))))))))))))))))))))))))) 242.27/63.88 0(1(0(0(1(0(0(1(0(1(1(1(2(2(0(2(0(1(2(0(1(2(1(x1))))))))))))))))))))))) -> 242.27/63.88 0(0(0(1(1(0(1(1(1(0(0(0(1(0(0(2(0(0(1(0(0(0(1(0(0(2(0(x1))))))))))))))))))))))))))) 242.27/63.88 0(1(0(0(1(1(1(2(2(2(0(2(1(1(1(0(1(0(2(0(1(1(0(x1))))))))))))))))))))))) -> 242.27/63.88 0(0(1(2(0(1(1(0(1(1(0(0(0(0(1(1(1(0(0(0(2(1(0(2(0(2(0(x1))))))))))))))))))))))))))) 242.27/63.88 0(1(0(0(2(2(2(1(1(1(2(2(1(2(1(0(1(1(0(1(0(1(2(x1))))))))))))))))))))))) -> 242.27/63.88 0(1(1(0(0(0(2(2(0(1(0(2(2(1(1(0(0(0(0(0(1(0(2(1(2(0(0(x1))))))))))))))))))))))))))) 242.27/63.88 0(1(0(1(2(0(2(1(1(0(1(0(2(1(1(1(1(0(2(1(2(1(0(x1))))))))))))))))))))))) -> 242.27/63.88 0(0(1(1(1(0(0(0(1(0(2(0(2(1(0(2(1(1(0(2(2(1(0(2(0(0(0(x1))))))))))))))))))))))))))) 242.27/63.88 0(1(0(2(1(0(1(1(2(1(0(0(2(1(0(1(2(0(2(2(1(2(1(x1))))))))))))))))))))))) -> 242.27/63.90 0(1(0(1(1(0(2(1(1(0(1(1(0(1(0(1(1(1(1(1(0(0(2(2(1(1(1(x1))))))))))))))))))))))))))) 242.27/63.90 0(1(0(2(1(0(2(1(1(0(2(1(1(2(1(0(2(0(2(2(2(0(0(x1))))))))))))))))))))))) -> 242.27/63.90 1(1(1(1(1(1(0(0(1(0(1(0(1(0(0(0(0(1(1(1(2(1(1(1(2(1(0(x1))))))))))))))))))))))))))) 242.27/63.90 0(1(0(2(1(2(1(0(1(0(2(0(2(2(0(0(1(1(1(0(0(1(1(x1))))))))))))))))))))))) -> 242.27/63.90 0(0(0(0(1(1(1(1(1(1(2(0(1(0(2(0(0(0(0(0(2(2(2(0(2(1(1(x1))))))))))))))))))))))))))) 242.27/63.90 0(1(1(1(2(2(0(1(0(2(2(2(1(0(2(0(1(2(0(2(1(1(1(x1))))))))))))))))))))))) -> 242.27/63.90 2(1(1(0(0(0(1(0(0(0(0(2(2(1(0(1(0(1(0(2(0(0(0(0(2(2(1(x1))))))))))))))))))))))))))) 242.27/63.90 0(1(2(0(0(0(2(1(2(2(0(1(1(2(2(1(2(2(2(2(0(1(0(x1))))))))))))))))))))))) -> 242.27/63.90 1(2(0(1(0(0(1(2(1(0(0(1(0(2(1(0(0(2(1(0(1(1(0(0(1(0(0(x1))))))))))))))))))))))))))) 242.27/63.90 0(1(2(0(2(1(1(1(2(1(0(0(1(0(0(0(1(1(2(0(2(2(0(x1))))))))))))))))))))))) -> 242.27/63.90 2(1(1(0(0(0(1(1(0(2(1(1(0(0(2(0(2(1(0(2(2(1(0(2(0(0(0(x1))))))))))))))))))))))))))) 242.27/63.90 0(1(2(1(2(1(1(0(2(1(1(2(0(1(2(2(0(2(0(0(2(0(0(x1))))))))))))))))))))))) -> 242.27/63.90 1(0(1(1(0(0(2(2(1(0(2(0(0(0(1(2(1(1(0(1(0(0(1(0(0(1(0(x1))))))))))))))))))))))))))) 242.27/63.90 0(1(2(2(0(2(0(0(2(1(1(1(1(1(0(1(2(2(0(1(2(0(1(x1))))))))))))))))))))))) -> 242.27/63.90 0(0(0(0(0(0(1(2(2(1(1(0(0(0(0(2(1(2(2(2(1(1(1(0(0(0(2(x1))))))))))))))))))))))))))) 242.27/63.90 0(1(2(2(1(1(1(0(0(0(1(2(2(1(2(1(2(2(2(2(2(2(0(x1))))))))))))))))))))))) -> 242.27/63.90 0(2(0(0(1(1(1(2(2(1(2(2(1(1(1(0(0(2(0(0(0(2(2(2(1(0(0(x1))))))))))))))))))))))))))) 242.27/63.90 0(2(0(1(0(0(0(1(0(0(2(2(2(1(2(0(0(2(0(1(2(2(2(x1))))))))))))))))))))))) -> 242.27/63.90 0(0(1(0(0(2(1(1(0(0(1(1(0(0(0(0(0(1(1(1(2(2(0(0(2(1(0(x1))))))))))))))))))))))))))) 242.27/63.90 0(2(0(2(0(1(0(0(1(0(1(2(1(2(2(2(0(0(2(1(2(0(2(x1))))))))))))))))))))))) -> 242.27/63.90 0(2(0(2(1(0(2(0(0(0(1(0(0(1(0(0(2(1(1(0(1(2(0(0(2(0(2(x1))))))))))))))))))))))))))) 242.27/63.90 0(2(0(2(2(1(0(0(0(2(0(2(1(0(1(1(1(2(2(1(2(2(0(x1))))))))))))))))))))))) -> 242.27/63.90 1(0(0(0(2(2(0(1(0(0(0(0(1(1(0(2(1(0(0(0(2(1(2(0(0(1(0(x1))))))))))))))))))))))))))) 242.27/63.90 0(2(1(0(0(0(1(1(1(2(1(2(2(2(2(2(2(1(2(1(1(1(2(x1))))))))))))))))))))))) -> 242.27/63.90 0(2(2(2(2(1(1(0(0(2(0(0(2(1(0(1(0(0(1(0(0(1(1(1(1(0(0(x1))))))))))))))))))))))))))) 242.27/63.90 0(2(1(1(1(2(0(2(1(2(0(0(2(1(1(0(2(0(2(2(1(1(0(x1))))))))))))))))))))))) -> 242.27/63.90 0(0(0(0(0(0(0(2(1(0(1(2(0(2(1(2(2(1(1(0(1(2(0(1(1(0(0(x1))))))))))))))))))))))))))) 242.27/63.90 0(2(1(1(2(1(2(2(2(1(0(2(0(2(1(1(1(0(1(1(1(0(2(x1))))))))))))))))))))))) -> 242.27/63.90 0(2(2(2(1(2(0(0(0(0(1(0(2(2(1(1(1(0(0(0(1(1(0(0(1(0(2(x1))))))))))))))))))))))))))) 242.27/63.90 0(2(2(0(0(2(2(2(2(1(0(2(1(1(0(0(1(2(0(2(2(2(0(x1))))))))))))))))))))))) -> 242.27/63.90 2(0(1(0(1(0(0(0(2(0(2(0(0(1(2(1(2(0(0(1(2(0(2(0(0(0(0(x1))))))))))))))))))))))))))) 242.27/63.90 0(2(2(0(1(2(0(0(2(2(0(1(1(0(2(2(2(2(2(2(0(0(2(x1))))))))))))))))))))))) -> 242.27/63.90 0(1(0(2(0(1(1(1(0(1(0(0(2(1(1(1(2(2(2(1(1(0(1(2(1(0(2(x1))))))))))))))))))))))))))) 242.27/63.90 0(2(2(2(0(1(2(0(1(0(1(2(0(1(1(1(0(1(1(2(0(1(2(x1))))))))))))))))))))))) -> 242.27/63.90 0(1(0(2(2(2(0(0(0(0(0(0(1(1(0(0(2(2(2(0(0(1(0(1(0(0(2(x1))))))))))))))))))))))))))) 242.27/63.90 0(2(2(2(2(0(0(0(2(1(0(1(1(2(0(2(2(2(0(1(0(0(0(x1))))))))))))))))))))))) -> 242.27/63.90 1(2(1(0(0(0(0(0(0(1(0(2(0(1(0(1(0(1(1(1(2(0(2(1(0(0(0(x1))))))))))))))))))))))))))) 242.27/63.90 1(0(0(1(1(1(1(2(0(0(2(1(1(0(2(1(2(0(2(2(2(2(0(x1))))))))))))))))))))))) -> 242.27/63.90 1(0(2(0(1(0(0(0(2(1(1(0(1(2(2(0(0(0(1(2(2(0(2(2(0(0(0(x1))))))))))))))))))))))))))) 242.27/63.90 1(0(0(1(1(2(0(2(2(1(2(0(1(2(1(1(1(1(0(1(1(2(2(x1))))))))))))))))))))))) -> 242.27/63.90 0(0(2(1(0(0(0(2(0(2(0(0(0(0(2(0(1(0(1(0(2(2(1(0(0(0(1(x1))))))))))))))))))))))))))) 242.27/63.90 1(0(0(2(2(0(2(0(0(0(2(0(0(2(0(1(0(1(2(2(2(0(2(x1))))))))))))))))))))))) -> 242.27/63.90 1(0(0(0(1(1(2(1(0(0(0(0(1(0(0(0(0(1(1(0(1(0(0(1(1(2(2(x1))))))))))))))))))))))))))) 242.27/63.90 1(0(0(2(2(0(2(0(1(2(1(0(2(0(2(2(2(0(1(1(0(2(1(x1))))))))))))))))))))))) -> 242.27/63.90 1(2(2(1(1(0(0(0(0(0(0(0(2(0(2(0(2(2(1(2(2(2(2(0(0(0(2(x1))))))))))))))))))))))))))) 242.27/63.90 1(0(1(0(2(1(1(1(0(2(2(1(2(1(1(1(1(2(0(0(1(0(2(x1))))))))))))))))))))))) -> 242.27/63.90 1(0(1(2(0(0(0(2(2(2(2(1(1(0(0(1(0(0(1(1(1(0(0(0(0(0(2(x1))))))))))))))))))))))))))) 242.27/63.90 1(0(1(1(0(2(0(2(2(1(0(0(1(2(2(0(2(2(1(2(1(0(2(x1))))))))))))))))))))))) -> 242.27/63.90 1(0(2(2(0(0(1(2(0(1(0(0(2(0(1(1(2(2(0(0(1(2(0(0(0(0(1(x1))))))))))))))))))))))))))) 242.27/63.90 1(0(1(1(0(2(2(1(0(1(2(1(1(0(0(0(2(1(0(1(2(2(0(x1))))))))))))))))))))))) -> 242.27/63.90 1(2(0(0(2(0(0(0(0(0(0(2(2(2(0(2(2(0(1(0(1(0(0(2(0(0(0(x1))))))))))))))))))))))))))) 242.63/63.91 1(0(1(2(2(2(2(2(1(0(1(2(2(2(1(1(0(2(1(2(1(0(0(x1))))))))))))))))))))))) -> 242.63/63.91 0(0(0(0(1(0(1(0(2(1(0(1(1(1(2(0(0(2(1(0(0(2(1(0(0(2(0(x1))))))))))))))))))))))))))) 242.63/63.91 1(0(2(1(2(2(1(0(0(2(1(0(2(2(2(2(1(0(2(2(2(2(1(x1))))))))))))))))))))))) -> 242.63/63.91 1(0(0(0(0(1(1(0(1(0(1(1(1(0(0(2(1(0(2(0(0(0(1(2(0(0(2(x1))))))))))))))))))))))))))) 242.63/63.91 1(0(2(2(0(1(1(0(0(1(0(0(1(2(1(2(0(1(2(2(2(0(2(x1))))))))))))))))))))))) -> 242.63/63.91 1(0(1(1(0(2(0(0(0(2(1(1(1(2(0(0(2(0(1(1(2(1(1(0(0(2(0(x1))))))))))))))))))))))))))) 242.63/63.91 1(0(2(2(0(1(2(1(2(0(0(1(2(1(1(1(2(2(0(1(1(0(2(x1))))))))))))))))))))))) -> 242.63/63.91 0(0(0(0(2(0(0(0(0(2(0(2(1(1(2(1(1(1(2(2(2(2(1(0(1(1(1(x1))))))))))))))))))))))))))) 242.63/63.91 1(0(2(2(1(2(0(0(1(0(1(2(1(1(0(2(2(1(1(2(0(1(1(x1))))))))))))))))))))))) -> 242.63/63.91 1(0(0(0(1(0(2(0(0(2(1(1(1(0(1(2(1(2(1(2(2(1(0(2(0(1(1(x1))))))))))))))))))))))))))) 242.63/63.91 1(1(0(0(0(2(1(1(1(2(2(2(0(2(1(2(2(1(1(2(1(0(1(x1))))))))))))))))))))))) -> 242.63/63.91 2(1(1(1(0(1(0(0(0(1(0(0(1(1(0(2(0(0(0(0(0(1(1(1(2(2(0(x1))))))))))))))))))))))))))) 242.63/63.91 1(1(0(1(1(2(0(2(1(1(1(2(2(0(2(2(2(0(0(2(2(1(0(x1))))))))))))))))))))))) -> 242.63/63.91 2(0(1(1(1(1(0(0(0(1(1(1(0(0(1(2(0(0(1(1(2(0(0(1(0(0(0(x1))))))))))))))))))))))))))) 242.63/63.91 1(1(0(1(2(0(2(1(2(1(0(0(1(0(2(2(1(2(1(1(2(0(2(x1))))))))))))))))))))))) -> 242.63/63.91 0(0(1(0(1(0(0(2(0(0(2(0(1(0(1(0(0(0(2(0(0(2(1(0(1(0(1(x1))))))))))))))))))))))))))) 242.63/63.91 1(1(0(1(2(1(0(2(0(2(0(0(0(1(2(0(1(0(2(2(1(1(2(x1))))))))))))))))))))))) -> 242.63/63.91 0(1(2(0(2(1(1(0(0(1(0(2(2(2(0(0(0(0(0(0(1(0(0(0(0(0(0(x1))))))))))))))))))))))))))) 242.63/63.91 1(1(0(2(0(1(2(0(0(1(2(0(1(1(2(0(1(1(0(2(0(0(1(x1))))))))))))))))))))))) -> 242.63/63.91 1(1(2(0(0(0(0(1(2(0(0(0(1(1(1(1(0(0(1(0(0(1(2(0(0(2(0(x1))))))))))))))))))))))))))) 242.63/63.91 1(1(0(2(2(2(2(0(2(2(1(1(2(0(1(1(1(0(1(2(0(1(0(x1))))))))))))))))))))))) -> 242.63/63.91 1(2(2(0(0(0(0(0(2(1(0(2(2(0(1(0(2(2(2(2(0(0(1(0(1(0(0(x1))))))))))))))))))))))))))) 242.63/63.91 1(1(1(0(1(1(1(2(1(0(0(2(2(1(0(1(1(1(0(2(2(0(1(x1))))))))))))))))))))))) -> 242.63/63.91 2(2(0(0(2(0(0(1(1(0(0(2(0(1(0(0(2(0(0(1(2(2(0(0(0(2(1(x1))))))))))))))))))))))))))) 242.63/63.91 1(1(1(1(1(1(2(0(1(0(0(0(0(2(2(2(2(2(0(2(2(2(0(x1))))))))))))))))))))))) -> 242.63/63.91 1(2(2(0(0(0(1(0(2(0(0(0(0(0(0(2(1(0(0(1(0(1(1(0(0(1(0(x1))))))))))))))))))))))))))) 242.63/63.91 1(1(1(2(0(1(0(1(0(2(1(0(1(2(1(1(0(2(0(2(0(0(0(x1))))))))))))))))))))))) -> 242.63/63.91 1(0(0(1(1(1(2(2(2(1(0(2(0(0(0(0(0(0(0(0(1(0(0(0(2(1(0(x1))))))))))))))))))))))))))) 242.63/63.91 1(1(1(2(2(1(1(1(2(0(2(1(1(0(0(2(2(0(2(2(1(2(0(x1))))))))))))))))))))))) -> 242.63/63.91 1(0(0(2(0(0(0(0(2(0(1(2(0(2(2(1(1(1(1(1(0(2(1(1(2(0(0(x1))))))))))))))))))))))))))) 242.63/63.91 1(1(1(2(2(2(0(0(1(2(0(2(2(0(1(0(0(2(0(2(0(0(0(x1))))))))))))))))))))))) -> 242.63/63.91 1(1(1(0(2(2(2(1(0(1(1(0(2(0(2(2(0(1(0(0(0(0(0(0(0(0(0(x1))))))))))))))))))))))))))) 242.63/63.91 1(1(2(0(0(2(1(2(1(0(0(1(2(2(0(1(0(1(1(0(2(0(2(x1))))))))))))))))))))))) -> 242.63/63.91 1(1(1(0(0(1(0(0(0(2(1(0(0(1(2(0(1(1(1(2(1(0(0(1(1(1(0(x1))))))))))))))))))))))))))) 242.63/63.91 1(1(2(1(0(1(2(1(1(0(2(1(0(0(2(1(1(1(2(2(2(0(1(x1))))))))))))))))))))))) -> 242.63/63.91 0(1(2(1(2(2(0(1(1(1(0(0(1(0(0(0(0(0(0(0(2(0(0(1(1(1(1(x1))))))))))))))))))))))))))) 242.63/63.91 1(1(2(1(1(0(1(0(0(2(2(2(1(2(0(1(1(0(1(2(1(0(0(x1))))))))))))))))))))))) -> 242.63/63.91 2(2(1(0(2(0(1(0(0(1(1(0(1(1(0(1(1(0(2(0(2(1(0(0(0(0(0(x1))))))))))))))))))))))))))) 242.63/63.91 1(1(2(1(2(2(0(0(2(1(2(1(0(2(1(2(0(0(2(2(2(0(2(x1))))))))))))))))))))))) -> 242.63/63.91 1(1(1(1(0(1(0(2(0(0(2(2(0(1(2(1(0(1(2(0(1(0(1(0(0(0(1(x1))))))))))))))))))))))))))) 242.63/63.91 1(1(2(2(1(0(2(1(2(0(2(0(2(0(1(2(1(1(0(1(2(0(2(x1))))))))))))))))))))))) -> 242.63/63.91 1(1(1(2(2(1(0(2(1(1(1(1(0(0(2(0(1(2(2(2(2(1(2(0(0(0(0(x1))))))))))))))))))))))))))) 242.63/63.91 1(2(0(0(1(1(2(1(1(2(0(1(2(2(0(0(0(0(2(2(2(1(1(x1))))))))))))))))))))))) -> 242.63/63.91 1(1(0(0(2(0(1(0(0(1(2(1(1(1(0(0(2(0(0(0(1(2(2(1(0(1(1(x1))))))))))))))))))))))))))) 242.63/63.91 1(2(0(1(1(1(0(2(0(1(1(0(2(2(1(1(1(2(2(1(2(0(1(x1))))))))))))))))))))))) -> 242.63/63.91 1(1(2(2(0(0(1(0(0(1(1(2(1(0(0(0(2(1(0(0(0(1(1(0(0(2(1(x1))))))))))))))))))))))))))) 242.63/63.91 1(2(0(2(0(1(0(0(0(1(1(0(0(2(2(1(2(2(1(1(2(1(0(x1))))))))))))))))))))))) -> 242.63/63.91 0(0(0(1(2(2(0(1(1(0(0(2(0(0(0(2(2(2(0(0(0(1(0(0(1(1(0(x1))))))))))))))))))))))))))) 242.63/63.91 1(2(1(0(0(0(1(1(2(0(0(1(0(0(1(0(2(1(2(0(1(2(1(x1))))))))))))))))))))))) -> 242.63/63.91 1(0(2(0(0(0(2(0(2(1(2(0(0(0(0(0(0(0(0(2(1(1(1(1(1(0(1(x1))))))))))))))))))))))))))) 242.63/63.91 1(2(1(0(0(1(0(2(2(2(1(0(0(1(0(2(2(0(1(1(0(1(2(x1))))))))))))))))))))))) -> 242.63/63.92 1(2(2(1(0(0(0(0(1(0(1(2(1(1(1(1(1(1(1(1(1(1(0(2(1(1(2(x1))))))))))))))))))))))))))) 242.63/63.92 1(2(1(2(2(1(2(1(0(2(1(0(1(0(0(0(2(2(1(1(2(1(0(x1))))))))))))))))))))))) -> 242.63/63.92 2(2(1(1(0(1(1(0(0(1(0(1(0(0(1(2(2(1(1(0(1(0(0(0(0(2(0(x1))))))))))))))))))))))))))) 242.63/63.92 1(2(2(0(0(1(1(1(0(1(2(2(1(2(0(1(1(0(2(0(0(1(2(x1))))))))))))))))))))))) -> 242.63/63.92 2(0(0(1(1(1(1(0(1(0(2(0(0(2(0(2(0(0(2(0(0(0(2(0(0(2(2(x1))))))))))))))))))))))))))) 242.63/63.92 1(2(2(0(0(1(2(1(0(1(0(0(0(2(2(1(2(1(1(2(1(2(0(x1))))))))))))))))))))))) -> 242.63/63.92 1(0(1(2(0(2(2(0(0(0(0(0(1(1(2(1(2(1(1(0(0(0(0(0(0(0(1(x1))))))))))))))))))))))))))) 242.63/63.92 2(0(0(0(1(1(2(0(2(2(1(2(1(2(1(1(0(2(2(0(1(1(0(x1))))))))))))))))))))))) -> 242.63/63.92 2(1(0(2(1(0(1(0(2(1(1(0(1(1(0(2(2(1(0(0(0(2(0(1(1(1(0(x1))))))))))))))))))))))))))) 242.63/63.92 2(0(0(2(0(0(1(1(2(1(1(1(2(1(2(1(2(0(0(0(2(0(0(x1))))))))))))))))))))))) -> 242.63/63.92 2(0(0(0(2(0(1(2(0(0(0(1(2(0(2(0(2(0(0(0(0(1(1(0(2(0(0(x1))))))))))))))))))))))))))) 242.63/63.92 2(0(0(2(2(2(0(0(1(2(0(2(2(0(0(2(0(0(0(2(0(0(2(x1))))))))))))))))))))))) -> 242.63/63.92 2(0(0(0(2(0(1(0(0(1(0(0(0(1(0(0(0(0(2(1(0(0(2(2(2(0(0(x1))))))))))))))))))))))))))) 242.63/63.92 2(0(1(0(1(2(1(0(2(0(0(1(1(2(1(0(1(1(2(2(1(1(2(x1))))))))))))))))))))))) -> 242.63/63.92 2(2(0(1(1(1(1(1(0(0(1(0(1(2(1(1(0(0(0(2(0(0(0(0(2(0(2(x1))))))))))))))))))))))))))) 242.63/63.92 2(0(2(0(2(1(1(2(2(2(1(2(2(1(0(1(2(2(0(1(0(0(1(x1))))))))))))))))))))))) -> 242.63/63.92 2(0(0(2(2(1(2(2(0(0(1(2(2(1(2(0(1(0(0(0(0(0(0(0(0(0(2(x1))))))))))))))))))))))))))) 242.63/63.92 2(0(2(2(0(0(1(1(0(2(1(1(2(2(1(1(2(0(1(0(1(2(0(x1))))))))))))))))))))))) -> 242.63/63.92 2(0(1(1(0(0(0(0(1(1(1(2(2(1(1(0(0(1(2(0(0(0(1(1(0(0(1(x1))))))))))))))))))))))))))) 242.63/63.92 2(0(2(2(0(1(2(1(1(1(1(0(0(0(0(2(0(1(0(2(1(2(1(x1))))))))))))))))))))))) -> 242.63/63.92 2(1(0(2(0(2(0(2(1(0(0(0(0(0(2(1(0(0(2(0(0(0(0(2(2(1(1(x1))))))))))))))))))))))))))) 242.63/63.92 2(1(0(1(0(1(2(2(1(2(1(0(2(0(2(1(2(2(1(2(1(2(2(x1))))))))))))))))))))))) -> 242.63/63.92 2(0(1(0(0(2(1(2(0(0(2(2(0(0(0(0(2(2(2(0(0(1(1(0(2(0(0(x1))))))))))))))))))))))))))) 242.63/63.92 2(1(0(2(0(1(0(2(0(2(2(0(0(2(1(0(0(2(2(2(1(2(2(x1))))))))))))))))))))))) -> 242.63/63.92 2(1(1(0(0(0(2(2(0(0(1(0(0(2(2(0(1(1(0(2(1(0(1(0(0(0(2(x1))))))))))))))))))))))))))) 242.63/63.92 2(1(1(0(0(2(2(2(2(0(2(0(1(1(1(2(2(0(0(2(2(2(2(x1))))))))))))))))))))))) -> 242.63/63.92 2(1(1(1(0(0(1(0(0(2(1(0(0(0(0(0(0(2(0(2(2(2(0(0(2(2(1(x1))))))))))))))))))))))))))) 242.63/63.92 2(1(1(1(1(2(0(2(0(0(2(2(0(1(0(0(1(2(2(2(1(0(1(x1))))))))))))))))))))))) -> 242.63/63.92 2(0(1(1(2(0(0(0(2(0(1(0(1(2(2(0(0(0(0(0(1(1(0(0(0(0(1(x1))))))))))))))))))))))))))) 242.63/63.92 2(1(1(2(0(2(2(1(1(1(2(0(1(0(2(1(0(1(1(2(1(0(2(x1))))))))))))))))))))))) -> 242.63/63.92 2(1(1(0(1(0(1(2(2(2(1(0(1(0(1(0(2(1(1(0(0(2(1(0(2(0(2(x1))))))))))))))))))))))))))) 242.63/63.92 2(1(1(2(2(0(1(1(0(0(0(2(1(1(2(0(1(1(1(1(0(2(2(x1))))))))))))))))))))))) -> 242.63/63.92 2(0(0(0(0(1(0(0(1(0(1(0(0(0(1(1(0(0(1(1(2(1(0(0(2(0(2(x1))))))))))))))))))))))))))) 242.63/63.92 2(1(2(1(1(1(2(0(2(2(0(1(1(0(1(0(0(0(1(1(2(0(2(x1))))))))))))))))))))))) -> 242.63/63.92 2(0(2(0(0(0(2(1(1(2(2(0(1(1(0(0(0(0(1(0(0(1(2(0(2(0(1(x1))))))))))))))))))))))))))) 242.63/63.92 2(2(0(1(0(2(1(2(2(2(1(2(2(1(0(0(2(2(0(0(2(2(0(x1))))))))))))))))))))))) -> 242.63/63.92 2(2(0(2(1(0(0(2(1(2(2(2(0(2(0(0(0(0(0(2(0(1(0(0(1(2(0(x1))))))))))))))))))))))))))) 242.63/63.92 2(2(2(0(2(2(0(0(1(2(1(1(2(1(0(1(1(0(2(0(2(0(1(x1))))))))))))))))))))))) -> 242.63/63.92 2(0(0(1(2(2(2(1(2(0(0(1(0(0(0(2(0(1(0(0(0(0(1(1(0(2(1(x1))))))))))))))))))))))))))) 242.63/63.92 2(2(2(2(2(1(1(1(1(0(0(2(2(1(2(0(0(1(0(1(2(0(0(x1))))))))))))))))))))))) -> 242.63/63.92 2(0(2(0(2(1(2(1(0(0(0(0(0(2(2(1(1(0(0(0(0(1(0(1(0(2(0(x1))))))))))))))))))))))))))) 242.63/63.92 242.63/63.92 Proof: 242.63/63.92 Open 242.63/63.93 EOF