MAYBE 241.39/62.75 MAYBE 241.39/62.77 241.39/62.77 Problem: 241.39/62.77 0(0(0(0(0(0(1(2(2(2(1(2(0(1(0(0(1(1(1(2(x1)))))))))))))))))))) -> 241.39/62.77 2(0(0(2(2(1(1(0(2(2(2(2(0(2(2(0(0(1(2(1(x1)))))))))))))))))))) 241.39/62.77 0(0(0(0(2(2(1(1(1(2(0(1(2(0(1(2(0(1(0(2(x1)))))))))))))))))))) -> 241.39/62.77 1(2(1(2(2(2(1(0(0(0(2(2(2(1(0(2(1(0(1(1(x1)))))))))))))))))))) 241.39/62.77 0(0(0(1(1(0(2(0(0(0(2(0(0(1(2(2(2(2(0(1(x1)))))))))))))))))))) -> 241.39/62.77 1(1(1(2(0(2(2(1(1(2(1(2(2(2(0(2(0(1(1(0(x1)))))))))))))))))))) 241.39/62.77 0(0(0(1(2(2(0(1(0(2(0(1(0(2(2(0(0(0(2(1(x1)))))))))))))))))))) -> 241.39/62.77 2(0(1(1(2(2(1(0(1(0(0(0(2(2(2(2(1(2(2(0(x1)))))))))))))))))))) 241.39/62.77 0(0(0(2(0(2(0(1(0(1(2(0(2(0(1(2(2(1(1(1(x1)))))))))))))))))))) -> 241.39/62.77 0(1(2(1(0(1(0(1(0(2(0(2(2(1(0(2(0(0(1(1(x1)))))))))))))))))))) 241.39/62.77 0(0(1(0(1(0(1(2(0(2(1(1(0(0(2(0(2(1(1(0(x1)))))))))))))))))))) -> 241.39/62.77 0(2(1(0(0(1(1(2(0(0(2(2(2(1(1(1(1(1(1(0(x1)))))))))))))))))))) 241.39/62.77 0(0(1(0(2(1(1(2(1(1(0(1(0(0(1(0(2(1(1(2(x1)))))))))))))))))))) -> 241.39/62.77 1(1(0(2(2(0(0(0(2(1(2(2(1(2(2(2(2(1(1(0(x1)))))))))))))))))))) 241.39/62.77 0(0(1(2(1(1(0(0(1(2(1(0(1(2(0(1(2(2(2(1(x1)))))))))))))))))))) -> 241.39/62.77 0(2(2(2(1(0(0(0(2(2(1(2(2(0(1(1(2(1(0(1(x1)))))))))))))))))))) 241.39/62.77 0(0(2(1(1(1(1(2(0(1(2(1(2(1(1(2(2(0(2(0(x1)))))))))))))))))))) -> 241.39/62.77 2(2(2(1(0(2(1(1(1(0(1(1(2(2(1(2(0(2(1(1(x1)))))))))))))))))))) 241.39/62.77 0(0(2(2(0(0(2(0(1(0(2(1(0(1(2(0(1(0(2(0(x1)))))))))))))))))))) -> 241.39/62.77 2(2(0(1(2(0(1(1(0(1(2(2(1(2(0(2(1(0(1(2(x1)))))))))))))))))))) 241.39/62.77 0(0(2(2(2(0(2(1(0(1(1(0(2(2(1(2(0(1(0(0(x1)))))))))))))))))))) -> 241.39/62.77 0(1(0(1(2(2(1(2(2(2(1(0(0(2(0(1(0(2(1(0(x1)))))))))))))))))))) 241.39/62.77 0(1(0(0(0(2(1(2(0(0(1(0(0(2(1(1(0(2(2(2(x1)))))))))))))))))))) -> 241.39/62.77 0(0(2(1(1(2(1(2(2(1(0(1(0(2(1(1(0(1(0(1(x1)))))))))))))))))))) 241.39/62.77 0(1(0(0(1(1(2(2(0(1(0(0(1(2(1(1(0(2(2(0(x1)))))))))))))))))))) -> 241.39/62.77 0(2(2(1(2(2(1(1(0(1(0(2(0(1(2(0(1(1(2(1(x1)))))))))))))))))))) 241.39/62.77 0(1(0(0(1(2(0(2(0(2(0(1(2(0(1(0(1(2(1(1(x1)))))))))))))))))))) -> 241.39/62.77 2(2(1(0(0(1(0(2(0(2(2(2(1(0(0(0(1(1(0(1(x1)))))))))))))))))))) 241.39/62.77 0(1(0(1(2(2(1(1(1(0(2(1(1(0(1(2(1(0(2(2(x1)))))))))))))))))))) -> 241.39/62.77 0(2(2(1(2(2(2(1(1(1(1(2(2(1(2(1(0(2(0(1(x1)))))))))))))))))))) 241.39/62.77 0(1(0(2(2(1(0(1(2(2(2(1(1(1(1(0(1(1(1(1(x1)))))))))))))))))))) -> 241.39/62.77 0(2(1(1(0(1(2(2(0(2(2(2(2(1(0(1(0(2(2(2(x1)))))))))))))))))))) 241.39/62.77 0(1(1(1(2(0(1(0(2(0(1(0(2(1(1(2(2(2(0(2(x1)))))))))))))))))))) -> 241.39/62.77 0(0(2(0(1(2(2(2(0(2(1(2(2(0(1(2(2(2(1(0(x1)))))))))))))))))))) 241.39/62.77 0(1(2(0(1(0(0(1(1(1(0(1(2(2(0(1(2(2(2(0(x1)))))))))))))))))))) -> 241.39/62.77 0(1(2(2(1(0(0(2(1(2(0(2(1(2(2(2(1(0(0(1(x1)))))))))))))))))))) 241.39/62.77 0(1(2(0(2(2(0(1(0(0(0(2(2(1(0(2(2(0(0(0(x1)))))))))))))))))))) -> 241.39/62.77 1(0(1(2(0(2(0(2(0(0(2(1(0(2(2(1(1(2(2(2(x1)))))))))))))))))))) 241.39/62.77 0(1(2(1(0(0(1(0(2(1(1(2(2(1(1(2(1(1(1(1(x1)))))))))))))))))))) -> 241.39/62.77 0(2(2(2(1(1(0(2(2(1(1(1(1(0(1(2(0(2(1(0(x1)))))))))))))))))))) 241.39/62.77 0(1(2(2(0(0(2(2(1(0(1(1(1(1(1(0(0(1(2(1(x1)))))))))))))))))))) -> 241.39/62.77 0(0(0(2(0(2(1(1(1(0(2(2(2(2(1(1(2(2(0(1(x1)))))))))))))))))))) 241.39/62.77 0(1(2(2(1(1(0(1(2(0(0(0(1(2(0(2(0(0(0(2(x1)))))))))))))))))))) -> 241.39/62.77 0(0(2(1(2(2(0(1(2(1(1(0(2(1(0(1(0(1(0(1(x1)))))))))))))))))))) 241.39/62.77 0(1(2(2(1(1(2(2(0(0(1(0(0(0(2(0(0(0(1(2(x1)))))))))))))))))))) -> 241.39/62.77 0(0(2(1(0(0(1(1(2(2(1(1(2(0(0(2(1(2(0(2(x1)))))))))))))))))))) 241.39/62.77 0(2(0(1(0(0(0(0(2(0(2(2(2(0(0(1(1(0(2(1(x1)))))))))))))))))))) -> 241.39/62.77 1(2(1(2(1(0(1(1(1(2(0(0(2(2(2(2(2(1(2(0(x1)))))))))))))))))))) 241.39/62.77 0(2(0(1(1(0(1(0(2(1(1(0(2(2(1(1(0(1(0(2(x1)))))))))))))))))))) -> 241.39/62.77 1(0(0(1(1(2(2(2(2(2(1(2(2(1(2(0(1(1(2(0(x1)))))))))))))))))))) 241.39/62.77 0(2(0(1(2(0(2(0(2(1(1(2(2(0(0(2(2(1(2(2(x1)))))))))))))))))))) -> 241.39/62.77 0(2(0(2(1(1(2(2(2(2(1(2(2(1(1(1(0(1(1(0(x1)))))))))))))))))))) 241.39/62.77 0(2(0(2(1(0(2(2(2(2(2(0(1(1(2(1(1(2(0(1(x1)))))))))))))))))))) -> 241.39/62.77 2(2(1(0(1(2(2(2(0(0(2(2(1(2(2(2(0(2(0(2(x1)))))))))))))))))))) 241.39/62.77 0(2(1(1(2(2(2(1(1(0(1(2(1(1(1(1(1(1(1(1(x1)))))))))))))))))))) -> 241.39/62.77 1(0(1(2(2(1(0(1(2(0(1(0(1(0(2(2(2(2(1(0(x1)))))))))))))))))))) 241.39/62.77 0(2(1(2(2(1(0(1(2(0(0(1(1(0(0(1(2(0(1(1(x1)))))))))))))))))))) -> 241.39/62.77 0(2(1(0(1(0(1(0(0(2(2(1(1(2(0(0(2(1(1(1(x1)))))))))))))))))))) 241.39/62.77 0(2(2(0(2(1(0(2(2(2(2(1(0(2(0(1(0(2(1(2(x1)))))))))))))))))))) -> 241.39/62.77 2(2(0(2(2(0(2(2(2(1(2(0(0(2(2(2(2(1(0(2(x1)))))))))))))))))))) 241.39/62.77 0(2(2(1(2(1(0(1(0(2(2(1(1(0(0(0(0(2(0(2(x1)))))))))))))))))))) -> 241.39/62.77 2(2(1(2(0(2(2(2(1(2(1(2(0(0(1(1(1(2(0(2(x1)))))))))))))))))))) 241.39/62.77 1(0(0(0(1(1(0(2(2(2(2(2(1(1(0(0(0(2(1(2(x1)))))))))))))))))))) -> 241.39/62.79 2(2(2(1(1(0(2(0(1(0(1(1(0(2(1(0(2(2(1(2(x1)))))))))))))))))))) 241.39/62.79 1(0(0(2(0(2(2(1(2(0(0(0(2(1(0(1(2(2(1(2(x1)))))))))))))))))))) -> 241.39/62.79 1(1(1(1(2(2(2(2(2(0(2(1(1(1(1(0(0(2(2(1(x1)))))))))))))))))))) 241.39/62.79 1(0(1(0(0(0(0(1(1(2(0(0(0(2(1(0(2(2(2(0(x1)))))))))))))))))))) -> 241.39/62.79 2(0(1(1(1(0(0(2(2(1(1(1(0(2(2(0(1(2(0(0(x1)))))))))))))))))))) 241.39/62.79 1(0(2(0(1(0(2(0(0(0(2(2(2(1(0(1(0(1(2(2(x1)))))))))))))))))))) -> 241.39/62.79 1(1(1(1(2(2(2(2(2(1(1(0(0(0(2(2(1(2(1(0(x1)))))))))))))))))))) 241.39/62.79 1(0(2(0(2(0(0(0(2(2(1(2(0(2(2(0(2(2(1(1(x1)))))))))))))))))))) -> 241.39/62.79 2(0(2(2(2(2(0(0(1(0(2(2(1(1(2(2(2(2(0(2(x1)))))))))))))))))))) 241.39/62.79 1(0(2(1(0(0(2(1(2(0(1(2(0(1(2(2(0(0(1(2(x1)))))))))))))))))))) -> 241.39/62.79 0(0(2(2(1(0(0(2(1(2(0(2(0(1(2(2(2(1(0(2(x1)))))))))))))))))))) 241.39/62.79 1(0(2(2(2(1(1(1(1(2(2(0(1(0(0(0(1(2(2(0(x1)))))))))))))))))))) -> 241.39/62.79 1(2(1(1(2(2(2(0(2(1(2(2(1(0(2(1(0(2(0(0(x1)))))))))))))))))))) 241.39/62.79 1(1(0(0(1(2(1(2(2(2(0(2(1(2(1(2(1(2(0(2(x1)))))))))))))))))))) -> 241.39/62.79 0(2(1(2(0(2(2(1(1(1(2(2(2(0(1(0(0(2(2(2(x1)))))))))))))))))))) 241.39/62.79 1(1(1(0(1(2(2(2(1(0(2(0(0(1(2(2(0(1(0(0(x1)))))))))))))))))))) -> 241.39/62.79 1(2(0(2(1(1(0(0(2(0(0(1(0(2(2(2(2(0(2(2(x1)))))))))))))))))))) 241.39/62.79 1(1(2(0(1(1(1(0(0(2(1(2(1(2(1(0(2(0(1(2(x1)))))))))))))))))))) -> 241.39/62.79 1(0(2(0(0(1(2(2(1(1(0(0(0(2(0(1(2(2(2(2(x1)))))))))))))))))))) 241.39/62.79 1(1(2(0(1(2(1(0(1(0(0(0(2(1(1(2(1(0(0(0(x1)))))))))))))))))))) -> 241.39/62.79 0(0(2(2(1(2(1(2(1(1(2(0(0(0(2(0(2(2(1(0(x1)))))))))))))))))))) 241.39/62.79 1(1(2(0(2(1(0(2(2(0(1(0(2(0(1(1(2(2(1(0(x1)))))))))))))))))))) -> 241.39/62.79 2(2(2(0(2(1(2(1(0(1(2(0(2(2(2(0(2(2(1(0(x1)))))))))))))))))))) 241.39/62.79 1(1(2(0(2(1(1(1(2(1(1(1(0(2(1(2(0(1(1(2(x1)))))))))))))))))))) -> 241.39/62.79 0(2(2(0(2(2(2(0(0(2(0(2(2(2(0(1(0(2(2(0(x1)))))))))))))))))))) 241.39/62.79 1(1(2(1(1(1(1(0(2(0(0(1(1(1(1(2(0(2(2(1(x1)))))))))))))))))))) -> 241.39/62.79 0(2(2(1(2(0(2(2(1(2(2(1(0(0(2(0(1(2(2(0(x1)))))))))))))))))))) 241.39/62.79 1(1(2(2(0(1(2(1(1(1(0(2(2(1(1(1(0(2(0(2(x1)))))))))))))))))))) -> 241.39/62.79 1(2(1(2(0(2(2(2(0(2(0(0(2(2(0(1(2(1(2(2(x1)))))))))))))))))))) 241.39/62.79 1(1(2(2(2(1(0(0(2(1(0(0(1(1(2(1(1(2(1(2(x1)))))))))))))))))))) -> 241.39/62.79 1(1(2(0(2(2(1(2(1(1(2(2(0(1(0(0(0(2(2(2(x1)))))))))))))))))))) 241.39/62.79 1(2(0(0(0(1(2(2(0(2(0(1(1(2(2(2(1(0(2(2(x1)))))))))))))))))))) -> 241.39/62.79 1(0(2(1(0(1(0(2(2(1(0(2(2(0(0(2(1(0(2(2(x1)))))))))))))))))))) 241.39/62.79 1(2(0(0(2(2(2(0(1(0(0(1(2(2(0(0(1(1(2(0(x1)))))))))))))))))))) -> 241.39/62.79 0(2(0(2(2(0(0(1(2(2(2(0(0(1(0(1(2(2(1(2(x1)))))))))))))))))))) 241.39/62.79 1(2(0(2(1(1(2(2(0(0(1(1(0(0(0(0(0(2(2(2(x1)))))))))))))))))))) -> 241.39/62.79 0(1(2(0(1(2(2(2(1(2(1(2(0(1(2(1(1(2(0(2(x1)))))))))))))))))))) 241.39/62.79 1(2(0(2(1(2(0(2(0(0(1(0(2(1(2(2(0(0(1(0(x1)))))))))))))))))))) -> 241.39/62.79 2(0(2(1(0(2(2(2(1(2(1(2(0(2(0(1(1(2(1(0(x1)))))))))))))))))))) 241.39/62.79 1(2(1(1(2(2(1(2(2(2(0(0(1(2(1(1(1(1(0(2(x1)))))))))))))))))))) -> 241.39/62.79 1(2(1(0(0(2(2(1(2(1(1(0(2(1(1(1(1(2(2(2(x1)))))))))))))))))))) 241.39/62.79 1(2(1(2(0(2(1(1(1(0(1(2(1(2(0(1(2(1(2(2(x1)))))))))))))))))))) -> 241.39/62.79 1(2(1(0(0(2(2(2(1(0(2(1(2(2(2(0(1(2(0(0(x1)))))))))))))))))))) 241.39/62.79 1(2(2(1(0(1(2(0(2(1(0(1(2(1(1(0(2(0(1(0(x1)))))))))))))))))))) -> 241.39/62.79 1(1(0(1(1(1(2(1(2(2(0(2(2(1(0(1(2(1(1(0(x1)))))))))))))))))))) 241.39/62.79 2(0(0(0(0(2(2(0(0(1(0(1(0(1(1(2(2(2(1(2(x1)))))))))))))))))))) -> 241.39/62.79 2(0(0(1(2(2(0(1(1(2(2(2(2(2(0(1(1(2(1(1(x1)))))))))))))))))))) 241.39/62.79 2(0(0(2(2(2(0(0(2(0(1(1(0(1(1(0(0(1(2(2(x1)))))))))))))))))))) -> 241.39/62.79 1(0(2(2(2(1(2(2(0(2(1(2(0(2(1(2(1(0(1(0(x1)))))))))))))))))))) 241.39/62.79 2(0(1(2(2(0(1(2(2(1(1(1(2(1(2(1(2(0(2(2(x1)))))))))))))))))))) -> 241.39/62.79 0(2(2(2(0(2(2(0(1(1(2(1(1(0(1(2(2(2(2(2(x1)))))))))))))))))))) 241.39/62.79 2(0(1(2(2(0(1(2(2(2(0(1(0(2(0(1(0(1(2(1(x1)))))))))))))))))))) -> 241.39/62.79 1(0(0(2(0(2(2(2(2(1(2(0(2(2(2(0(2(1(1(1(x1)))))))))))))))))))) 241.39/62.79 2(0(2(0(0(2(1(0(1(0(0(2(0(2(2(1(1(2(0(1(x1)))))))))))))))))))) -> 241.39/62.79 2(0(2(0(1(2(0(2(2(1(1(2(1(0(2(1(0(2(1(2(x1)))))))))))))))))))) 241.39/62.79 2(0(2(0(1(2(0(0(0(0(0(1(2(2(1(0(1(1(1(2(x1)))))))))))))))))))) -> 241.39/62.79 0(2(0(1(0(1(2(2(2(1(2(1(0(1(0(0(1(2(0(2(x1)))))))))))))))))))) 241.39/62.79 2(0(2(0(2(0(1(0(1(2(0(0(1(0(1(2(1(2(1(0(x1)))))))))))))))))))) -> 241.39/62.79 1(2(1(1(1(0(0(2(1(2(2(2(2(0(0(1(0(2(1(0(x1)))))))))))))))))))) 241.39/62.79 2(0(2(2(0(1(1(1(0(2(0(0(0(0(1(1(2(1(1(2(x1)))))))))))))))))))) -> 241.39/62.79 2(0(1(0(0(0(2(1(2(1(2(0(0(0(2(1(2(1(2(2(x1)))))))))))))))))))) 241.39/62.79 2(0(2(2(1(0(0(1(2(2(0(0(0(0(1(0(2(0(0(2(x1)))))))))))))))))))) -> 241.75/62.80 0(1(0(0(2(2(2(2(1(1(1(0(1(1(1(2(0(0(2(2(x1)))))))))))))))))))) 241.75/62.80 2(1(0(0(0(0(0(2(1(0(1(1(0(0(2(2(0(2(2(1(x1)))))))))))))))))))) -> 241.75/62.80 2(2(1(2(0(0(1(1(2(0(2(2(2(1(0(1(2(0(0(1(x1)))))))))))))))))))) 241.75/62.80 2(1(0(0(1(0(0(1(1(0(0(0(1(2(2(0(2(2(1(1(x1)))))))))))))))))))) -> 241.75/62.80 2(0(2(0(2(0(1(0(1(2(2(0(2(0(2(2(1(0(1(0(x1)))))))))))))))))))) 241.75/62.80 2(1(0(1(0(0(1(0(2(2(1(1(1(0(2(2(0(2(0(1(x1)))))))))))))))))))) -> 241.75/62.80 2(1(2(0(2(2(1(1(0(1(0(1(1(0(2(1(2(2(1(2(x1)))))))))))))))))))) 241.75/62.80 2(1(0(1(1(2(1(2(1(2(0(0(1(0(1(0(2(0(1(2(x1)))))))))))))))))))) -> 241.75/62.80 1(0(1(2(1(1(0(0(2(2(0(1(1(2(0(0(2(2(2(2(x1)))))))))))))))))))) 241.75/62.80 2(1(0(2(0(1(1(1(1(2(0(2(2(1(2(1(0(2(0(2(x1)))))))))))))))))))) -> 241.75/62.80 2(0(0(2(2(2(0(1(1(2(0(1(2(0(2(0(1(2(2(2(x1)))))))))))))))))))) 241.75/62.80 2(1(0(2(1(2(2(0(1(0(2(2(0(1(2(1(2(2(0(2(x1)))))))))))))))))))) -> 241.75/62.80 2(2(2(1(1(1(2(1(2(2(0(2(2(1(1(1(2(1(2(2(x1)))))))))))))))))))) 241.75/62.80 2(1(0(2(1(2(2(0(1(2(1(1(2(1(0(0(0(1(2(0(x1)))))))))))))))))))) -> 241.75/62.80 2(0(0(1(2(0(1(0(1(2(2(0(0(2(2(2(1(0(1(2(x1)))))))))))))))))))) 241.75/62.80 2(1(1(0(0(0(1(2(0(1(2(1(1(2(2(1(2(1(0(0(x1)))))))))))))))))))) -> 241.75/62.80 2(2(2(0(0(2(0(1(1(1(1(2(2(1(1(0(2(0(2(0(x1)))))))))))))))))))) 241.75/62.80 2(1(1(1(2(1(2(0(2(0(0(1(1(1(0(0(2(2(1(2(x1)))))))))))))))))))) -> 241.75/62.80 2(2(1(1(1(1(1(0(2(1(1(1(2(0(2(2(1(1(0(2(x1)))))))))))))))))))) 241.75/62.80 2(1(1(2(0(1(2(0(2(2(2(1(1(0(0(0(2(1(0(1(x1)))))))))))))))))))) -> 241.75/62.80 1(0(0(2(2(1(0(1(2(1(2(1(0(2(1(2(2(2(2(2(x1)))))))))))))))))))) 241.75/62.80 2(1(1(2(2(0(1(0(1(2(1(1(0(2(0(1(1(1(2(2(x1)))))))))))))))))))) -> 241.75/62.80 2(1(1(2(2(1(0(1(2(1(2(2(1(2(2(1(0(0(0(0(x1)))))))))))))))))))) 241.75/62.80 2(1(1(2(2(0(1(0(1(2(2(1(1(1(1(2(2(2(0(1(x1)))))))))))))))))))) -> 241.75/62.80 2(1(0(0(2(0(1(0(2(2(2(2(2(1(2(1(2(2(0(1(x1)))))))))))))))))))) 241.75/62.80 2(1(1(2(2(0(2(2(1(0(0(0(2(0(0(1(1(0(2(0(x1)))))))))))))))))))) -> 241.75/62.80 2(2(1(1(2(0(1(0(0(2(1(2(2(2(1(1(1(0(1(2(x1)))))))))))))))))))) 241.75/62.80 2(1(2(0(2(1(0(0(0(2(1(0(0(1(1(2(1(2(2(1(x1)))))))))))))))))))) -> 241.75/62.80 2(0(0(0(1(2(2(1(2(2(0(2(0(1(2(2(1(1(2(1(x1)))))))))))))))))))) 241.75/62.80 2(1(2(0(2(2(1(0(1(1(0(2(2(0(0(1(1(0(1(2(x1)))))))))))))))))))) -> 241.75/62.80 1(2(2(1(2(2(1(2(0(2(0(2(1(1(0(2(2(0(2(2(x1)))))))))))))))))))) 241.75/62.80 2(1(2(1(0(0(1(1(1(1(1(1(0(0(2(0(0(1(2(1(x1)))))))))))))))))))) -> 241.75/62.80 1(1(0(1(0(2(2(0(2(2(1(2(2(2(0(2(1(1(0(0(x1)))))))))))))))))))) 241.75/62.80 2(1(2(1(0(1(2(1(0(1(2(0(0(1(1(2(0(2(1(2(x1)))))))))))))))))))) -> 241.75/62.80 2(2(1(0(2(2(1(1(0(1(2(1(0(1(2(1(0(2(2(1(x1)))))))))))))))))))) 241.75/62.80 2(1(2(2(0(2(0(0(1(2(0(1(0(0(1(2(2(2(2(0(x1)))))))))))))))))))) -> 241.75/62.80 2(1(1(2(2(1(2(1(1(1(2(2(0(2(0(2(1(1(2(0(x1)))))))))))))))))))) 241.75/62.80 2(1(2(2(0(2(1(1(2(0(0(1(0(2(0(0(1(1(0(2(x1)))))))))))))))))))) -> 241.75/62.80 2(1(2(2(1(1(0(1(0(1(0(2(0(1(1(0(1(1(2(1(x1)))))))))))))))))))) 241.75/62.80 2(1(2(2(1(0(0(0(1(2(0(1(2(2(2(1(0(0(2(0(x1)))))))))))))))))))) -> 241.75/62.80 2(1(2(1(0(0(2(0(1(1(2(0(2(2(2(0(2(2(2(1(x1)))))))))))))))))))) 241.75/62.80 2(1(2(2(1(0(0(0(1(2(2(0(0(1(0(2(2(2(0(0(x1)))))))))))))))))))) -> 241.75/62.80 2(1(0(0(2(1(0(0(0(1(0(1(1(2(2(1(1(2(2(2(x1)))))))))))))))))))) 241.75/62.80 2(1(2(2(1(0(2(0(1(2(2(1(1(0(2(0(1(0(0(0(x1)))))))))))))))))))) -> 241.75/62.80 2(2(2(1(2(2(2(1(1(2(0(2(2(1(1(2(0(0(1(1(x1)))))))))))))))))))) 241.75/62.80 2(1(2(2(1(2(1(2(2(0(2(2(1(0(1(2(0(2(1(1(x1)))))))))))))))))))) -> 241.75/62.80 2(2(2(2(2(2(1(1(0(2(2(1(1(2(1(2(1(0(1(1(x1)))))))))))))))))))) 241.75/62.80 2(2(0(0(2(1(0(1(0(1(0(1(1(0(2(1(1(0(1(2(x1)))))))))))))))))))) -> 241.75/62.80 1(1(2(0(1(2(2(2(2(0(2(2(1(2(2(2(1(0(0(1(x1)))))))))))))))))))) 241.75/62.80 2(2(0(1(0(2(0(2(1(0(1(2(2(1(2(0(2(0(0(1(x1)))))))))))))))))))) -> 241.75/62.80 2(2(2(1(1(1(1(0(2(0(0(2(2(1(1(1(2(1(1(1(x1)))))))))))))))))))) 241.75/62.80 2(2(0(1(1(0(2(2(1(2(0(1(1(2(1(1(0(0(1(2(x1)))))))))))))))))))) -> 241.75/62.80 1(2(2(2(1(2(0(1(0(2(2(0(0(0(2(2(2(2(0(2(x1)))))))))))))))))))) 241.75/62.80 2(2(1(0(0(2(0(0(2(2(0(0(1(2(0(2(1(2(2(2(x1)))))))))))))))))))) -> 241.75/62.80 2(0(2(2(2(2(2(0(0(2(1(2(2(1(0(1(1(2(1(0(x1)))))))))))))))))))) 241.75/62.80 2(2(1(1(0(0(2(0(2(1(0(2(1(1(2(2(1(2(1(1(x1)))))))))))))))))))) -> 241.75/62.80 2(2(2(2(1(2(0(1(0(0(2(0(2(0(1(2(1(0(1(1(x1)))))))))))))))))))) 241.75/62.80 2(2(1(1(1(1(0(2(1(2(2(2(2(1(1(1(2(0(2(1(x1)))))))))))))))))))) -> 241.75/62.80 2(2(2(1(2(2(1(1(1(2(0(2(1(1(0(2(2(0(2(1(x1)))))))))))))))))))) 241.75/62.80 2(2(1(1(1(2(2(0(0(0(1(0(1(0(1(1(2(1(1(0(x1)))))))))))))))))))) -> 241.75/62.80 1(0(2(1(2(2(2(1(2(2(2(1(0(0(1(1(2(0(0(2(x1)))))))))))))))))))) 241.75/62.80 2(2(1(2(0(1(2(1(2(0(0(1(1(1(1(2(0(0(1(2(x1)))))))))))))))))))) -> 241.75/62.80 1(0(0(2(0(2(2(1(2(1(2(0(1(2(1(1(1(0(2(2(x1)))))))))))))))))))) 241.75/62.80 2(2(2(1(1(0(1(2(1(0(0(0(1(2(2(1(2(0(2(2(x1)))))))))))))))))))) -> 241.75/62.80 0(2(0(2(1(0(2(2(2(2(2(0(2(2(1(1(0(2(2(2(x1)))))))))))))))))))) 241.75/62.80 2(2(2(1(1(1(1(2(2(2(1(2(2(0(1(1(0(1(2(1(x1)))))))))))))))))))) -> 241.75/62.80 1(2(1(0(2(2(2(2(2(1(2(0(1(2(2(2(2(2(2(2(x1)))))))))))))))))))) 241.75/62.80 2(2(2(1(2(2(1(0(0(0(2(0(2(2(0(2(1(1(1(0(x1)))))))))))))))))))) -> 241.75/62.80 2(0(2(2(2(1(2(2(1(2(1(0(1(0(2(1(2(0(1(0(x1)))))))))))))))))))) 241.75/62.80 2(2(2(2(1(1(0(0(1(0(2(0(0(2(1(2(1(0(2(0(x1)))))))))))))))))))) -> 241.75/62.80 1(0(1(1(0(2(1(1(0(1(1(2(2(0(2(2(2(2(2(1(x1)))))))))))))))))))) 241.75/62.80 2(2(2(2(1(2(0(0(2(2(0(1(2(2(0(1(0(1(0(0(x1)))))))))))))))))))) -> 241.75/62.80 2(1(2(2(2(1(0(0(1(0(2(2(0(1(1(2(2(2(0(2(x1)))))))))))))))))))) 241.75/62.80 241.75/62.80 Proof: 241.75/62.80 Open 241.75/62.81 EOF