MAYBE 243.18/64.57 MAYBE 243.18/64.59 243.18/64.59 Problem: 243.18/64.59 0(0(x1)) -> 1(2(0(x1))) 243.18/64.59 2(0(x1)) -> 1(1(1(1(x1)))) 243.18/64.59 0(1(2(0(1(x1))))) -> 1(1(0(1(1(1(2(1(x1)))))))) 243.18/64.59 0(2(1(1(1(x1))))) -> 1(1(1(1(1(0(1(1(x1)))))))) 243.18/64.59 0(2(2(2(0(x1))))) -> 2(2(1(1(1(1(2(1(x1)))))))) 243.18/64.59 2(0(2(2(0(2(x1)))))) -> 1(2(0(1(0(0(1(x1))))))) 243.18/64.59 2(0(2(2(0(0(2(2(x1)))))))) -> 1(2(0(2(1(2(0(0(0(x1))))))))) 243.18/64.59 2(2(1(1(1(0(0(0(x1)))))))) -> 1(2(1(1(0(1(1(2(2(1(x1)))))))))) 243.18/64.59 0(0(2(0(1(2(0(0(0(x1))))))))) -> 1(2(2(0(1(2(1(0(2(1(x1)))))))))) 243.18/64.59 0(0(2(2(1(0(2(0(0(x1))))))))) -> 0(2(0(0(2(1(2(0(0(x1))))))))) 243.18/64.59 1(2(0(0(0(1(2(1(0(x1))))))))) -> 1(0(1(0(2(1(2(1(1(1(1(1(x1)))))))))))) 243.18/64.59 2(2(0(2(2(0(1(1(0(x1))))))))) -> 1(1(0(1(1(1(2(1(0(0(0(x1))))))))))) 243.18/64.59 2(0(2(1(2(1(1(0(1(1(x1)))))))))) -> 1(1(1(2(1(1(1(0(1(1(1(x1))))))))))) 243.18/64.59 0(0(0(1(0(0(1(0(0(0(0(x1))))))))))) -> 0(1(0(1(1(2(1(0(1(1(0(2(2(1(x1)))))))))))))) 243.18/64.59 0(2(0(2(1(1(0(0(2(2(2(x1))))))))))) -> 2(1(2(0(2(1(2(2(0(1(1(0(1(1(1(x1))))))))))))))) 243.18/64.59 2(0(2(2(1(1(2(0(2(0(0(0(x1)))))))))))) -> 2(1(1(0(1(1(1(1(0(2(0(0(1(x1))))))))))))) 243.18/64.59 2(0(1(0(0(1(0(0(0(2(2(0(2(x1))))))))))))) -> 243.18/64.59 2(1(2(2(1(2(2(2(1(2(1(2(1(1(0(1(1(0(1(1(x1)))))))))))))))))))) 243.18/64.59 2(2(2(0(1(2(2(2(1(1(1(2(2(x1))))))))))))) -> 1(1(0(1(1(1(2(0(0(2(0(0(1(1(2(x1))))))))))))))) 243.18/64.59 1(0(1(1(0(0(2(0(0(2(0(0(1(2(0(x1))))))))))))))) -> 243.18/64.59 1(1(1(0(1(2(0(2(1(0(0(2(2(1(1(1(1(2(1(0(1(2(x1)))))))))))))))))))))) 243.18/64.59 1(1(2(1(2(2(2(0(0(2(0(0(0(2(2(x1))))))))))))))) -> 243.18/64.59 1(1(2(0(2(0(0(1(0(2(0(1(2(2(1(1(2(x1))))))))))))))))) 243.18/64.59 0(0(2(1(2(2(0(2(1(1(0(0(0(0(1(2(x1)))))))))))))))) -> 243.18/64.59 2(2(1(0(1(1(2(0(2(1(1(2(2(0(2(2(1(x1))))))))))))))))) 243.18/64.59 0(1(2(1(0(1(0(0(0(2(2(0(2(1(1(0(2(2(x1)))))))))))))))))) -> 243.18/64.59 1(0(1(1(1(2(1(0(1(1(0(1(1(2(1(2(2(2(0(2(2(1(2(x1))))))))))))))))))))))) 243.18/64.59 0(1(2(1(0(1(2(2(2(2(1(0(0(0(1(2(2(2(x1)))))))))))))))))) -> 243.18/64.59 2(2(2(0(1(1(2(1(2(0(2(0(0(2(1(0(1(2(x1)))))))))))))))))) 243.18/64.59 1(2(2(1(1(1(1(0(0(0(1(0(2(1(1(2(1(0(x1)))))))))))))))))) -> 243.18/64.59 1(1(2(1(1(2(2(1(1(2(2(2(2(1(2(1(1(1(0(1(x1)))))))))))))))))))) 243.18/64.59 2(0(0(1(0(0(0(2(1(2(0(2(0(2(0(2(2(2(x1)))))))))))))))))) -> 243.18/64.59 2(2(0(2(0(1(1(1(0(0(2(2(2(0(2(2(1(2(1(x1))))))))))))))))))) 243.18/64.59 2(2(1(1(2(2(2(2(0(0(1(2(2(1(0(0(2(2(x1)))))))))))))))))) -> 243.18/64.59 0(1(0(1(2(2(2(2(1(0(1(0(2(2(2(2(2(1(1(1(x1)))))))))))))))))))) 243.18/64.59 2(2(0(2(1(0(1(0(2(0(2(1(0(1(2(1(0(2(0(x1))))))))))))))))))) -> 243.18/64.59 0(1(2(0(1(0(1(1(2(1(1(0(1(2(1(1(2(1(0(0(1(0(2(x1))))))))))))))))))))))) 243.18/64.59 0(1(1(0(0(1(2(0(1(1(2(1(0(1(0(1(1(2(2(1(x1)))))))))))))))))))) -> 243.18/64.59 1(1(0(1(0(2(0(1(0(1(1(1(1(1(0(1(1(2(1(1(2(1(1(1(2(0(1(x1))))))))))))))))))))))))))) 243.18/64.59 0(0(0(2(0(2(0(1(1(1(2(2(0(0(0(2(2(2(0(0(2(x1))))))))))))))))))))) -> 243.18/64.59 1(0(0(2(1(2(1(1(1(0(2(1(0(0(0(1(2(1(2(0(1(2(2(x1))))))))))))))))))))))) 243.18/64.59 0(1(1(0(2(2(0(2(2(2(1(0(2(0(2(2(0(2(1(0(0(x1))))))))))))))))))))) -> 243.18/64.59 1(2(0(0(1(1(2(2(2(2(1(2(2(0(2(2(0(1(1(1(2(2(x1)))))))))))))))))))))) 243.18/64.59 2(0(0(0(2(2(2(2(2(1(1(0(2(0(2(1(2(2(1(1(2(x1))))))))))))))))))))) -> 243.18/64.59 1(0(2(1(2(0(1(2(1(1(2(0(2(2(0(1(2(0(1(2(0(0(x1)))))))))))))))))))))) 243.18/64.59 0(2(1(1(0(1(0(0(1(2(1(0(2(0(2(2(0(1(0(1(1(2(x1)))))))))))))))))))))) -> 243.18/64.59 1(2(1(0(0(2(0(0(0(2(1(1(2(0(1(1(2(0(1(0(1(2(x1)))))))))))))))))))))) 243.18/64.59 1(0(1(2(1(0(0(2(1(2(0(0(1(1(0(2(1(0(1(0(2(0(x1)))))))))))))))))))))) -> 243.18/64.59 1(2(1(0(1(2(2(2(2(0(1(2(2(2(2(1(2(1(1(1(2(2(1(1(1(1(1(1(1(0(x1)))))))))))))))))))))))))))))) 243.18/64.59 1(2(1(2(0(1(0(1(0(2(1(0(0(2(2(1(2(2(2(0(2(0(x1)))))))))))))))))))))) -> 243.18/64.59 1(0(2(0(1(2(2(2(1(2(1(0(0(2(1(0(1(2(0(0(2(1(1(1(1(x1))))))))))))))))))))))))) 243.18/64.59 2(2(0(1(0(2(1(2(1(2(0(2(1(1(2(1(0(0(2(1(1(1(x1)))))))))))))))))))))) -> 243.18/64.59 0(1(2(1(1(0(0(0(1(1(1(1(1(0(0(0(0(2(0(2(1(1(1(1(x1)))))))))))))))))))))))) 243.18/64.59 0(2(2(2(2(2(0(1(2(2(1(1(0(1(0(0(0(2(0(0(2(2(2(x1))))))))))))))))))))))) -> 243.18/64.59 2(0(2(1(2(0(0(0(2(1(1(2(1(2(1(0(1(2(1(1(0(0(1(0(2(1(0(1(x1)))))))))))))))))))))))))))) 243.18/64.59 2(1(1(2(2(2(1(0(2(2(0(0(0(0(1(1(0(1(2(0(1(2(0(x1))))))))))))))))))))))) -> 243.18/64.59 2(1(2(1(0(2(0(1(1(0(1(1(0(0(1(2(1(0(1(2(1(0(1(0(1(1(2(2(x1)))))))))))))))))))))))))))) 243.18/64.59 1(1(0(1(0(1(0(0(0(0(1(0(2(2(1(0(0(0(0(1(0(2(2(0(2(x1))))))))))))))))))))))))) -> 243.18/64.59 1(0(0(0(0(0(1(1(0(0(0(1(2(0(0(1(0(2(0(1(1(2(2(0(2(x1))))))))))))))))))))))))) 243.18/64.59 0(1(1(2(2(0(1(2(1(0(2(2(1(2(2(2(1(2(2(0(2(0(0(2(2(0(x1)))))))))))))))))))))))))) -> 243.18/64.59 2(2(0(2(1(1(1(1(0(1(0(0(1(2(1(0(0(1(2(2(2(0(2(0(1(1(2(1(0(x1))))))))))))))))))))))))))))) 243.61/64.60 0(1(0(0(0(2(0(2(2(2(2(0(0(2(2(2(0(1(0(1(2(2(1(0(2(0(2(2(x1)))))))))))))))))))))))))))) -> 243.61/64.60 2(2(2(2(2(1(2(2(0(2(1(2(0(2(1(1(1(1(0(2(2(1(1(1(2(1(0(0(2(0(1(0(2(1(x1)))))))))))))))))))))))))))))))))) 243.61/64.60 2(2(0(1(0(1(0(2(1(0(2(1(1(1(1(1(1(0(0(1(1(0(0(0(1(0(2(0(x1)))))))))))))))))))))))))))) -> 243.61/64.60 1(1(0(2(1(2(2(2(2(2(2(1(2(1(1(1(1(0(2(2(1(1(0(1(0(2(1(2(1(x1))))))))))))))))))))))))))))) 243.61/64.60 2(2(2(0(2(2(0(0(2(1(0(0(2(1(0(2(2(1(0(1(0(2(0(0(0(0(2(2(0(x1))))))))))))))))))))))))))))) -> 243.61/64.60 1(2(0(1(0(0(1(0(1(1(2(2(0(2(0(1(0(1(1(2(2(2(1(2(1(0(1(0(1(2(0(0(x1)))))))))))))))))))))))))))))))) 243.61/64.60 0(1(0(2(2(2(0(0(0(2(2(0(1(0(2(2(2(2(1(1(2(0(0(0(2(1(2(2(2(0(x1)))))))))))))))))))))))))))))) -> 243.61/64.60 1(0(2(1(1(0(1(2(2(1(1(1(0(2(2(2(0(2(0(0(1(0(1(0(1(1(2(1(2(1(1(2(x1)))))))))))))))))))))))))))))))) 243.61/64.60 0(2(2(2(0(0(2(1(2(1(1(0(0(2(2(2(2(2(0(1(2(1(1(2(2(0(0(1(1(0(x1)))))))))))))))))))))))))))))) -> 243.61/64.60 0(2(2(2(2(2(1(0(1(0(2(1(1(1(1(1(1(1(0(2(2(2(1(1(2(0(1(1(0(2(2(1(x1)))))))))))))))))))))))))))))))) 243.61/64.60 2(1(0(0(0(0(2(2(0(0(2(1(2(1(0(0(2(0(1(1(2(0(0(2(2(2(1(2(1(1(x1)))))))))))))))))))))))))))))) -> 243.61/64.60 1(1(1(0(0(2(0(0(0(1(0(1(0(2(0(0(1(2(2(1(1(2(2(1(2(2(0(1(1(0(1(2(1(1(1(1(x1)))))))))))))))))))))))))))))))))))) 243.61/64.60 2(2(2(1(2(0(2(0(0(0(0(0(0(2(0(2(0(0(1(1(1(0(2(0(2(2(2(1(2(0(x1)))))))))))))))))))))))))))))) -> 243.61/64.60 2(0(2(1(2(2(1(0(0(1(0(1(1(0(0(0(2(0(2(0(1(2(0(1(2(1(2(1(1(0(1(1(x1)))))))))))))))))))))))))))))))) 243.61/64.60 2(2(2(0(1(1(2(1(2(2(2(0(0(0(1(2(1(2(2(0(1(0(0(2(1(0(2(0(0(1(0(x1))))))))))))))))))))))))))))))) -> 243.61/64.60 2(0(0(1(0(1(2(1(0(0(2(0(0(2(2(1(2(0(0(2(1(2(2(2(1(1(2(2(0(1(0(x1))))))))))))))))))))))))))))))) 243.61/64.60 0(1(2(0(2(2(1(1(2(0(0(2(0(0(2(2(0(2(2(2(1(0(2(2(1(1(0(1(0(2(2(2(x1)))))))))))))))))))))))))))))))) 243.61/64.60 -> 243.61/64.60 0(1(1(1(1(1(1(0(2(0(1(2(2(0(0(0(2(2(2(2(1(0(2(2(1(0(1(1(0(2(0(2(0(1(x1)))))))))))))))))))))))))))))))))) 243.61/64.60 0(2(1(2(2(0(2(2(1(1(1(1(0(1(1(0(2(0(2(2(0(2(1(0(1(1(0(2(2(2(0(1(x1)))))))))))))))))))))))))))))))) 243.61/64.60 -> 243.61/64.60 0(2(2(2(2(0(2(2(2(2(0(1(0(1(1(0(2(2(1(0(1(1(1(0(1(2(0(1(1(2(0(1(x1)))))))))))))))))))))))))))))))) 243.61/64.60 2(2(2(2(1(0(2(1(0(0(1(0(0(0(0(0(1(0(0(0(2(2(0(2(1(1(1(1(0(2(1(2(x1)))))))))))))))))))))))))))))))) 243.61/64.60 -> 243.61/64.60 2(0(2(0(1(1(2(1(0(2(1(1(1(2(0(1(2(2(1(2(2(2(1(2(1(0(2(2(2(1(0(0(0(1(1(2(x1)))))))))))))))))))))))))))))))))))) 243.61/64.60 0(2(2(1(0(0(2(1(1(0(2(2(1(1(0(0(0(0(1(1(2(1(0(2(0(2(1(2(2(1(2(1(2(x1))))))))))))))))))))))))))))))))) 243.61/64.60 -> 243.61/64.60 2(1(1(0(0(0(1(0(2(2(2(0(1(1(1(2(1(0(1(1(2(0(2(1(1(2(0(2(2(1(1(0(2(1(1(2(1(x1))))))))))))))))))))))))))))))))))))) 243.61/64.60 2(1(1(1(0(1(1(0(2(0(1(0(0(0(2(2(1(2(1(2(0(2(1(2(0(0(0(0(1(2(2(0(2(x1))))))))))))))))))))))))))))))))) 243.61/64.60 -> 243.61/64.60 2(1(1(1(0(2(1(1(1(1(2(1(1(1(2(2(2(0(1(1(2(1(0(2(0(2(2(2(0(0(2(0(0(0(1(0(1(x1))))))))))))))))))))))))))))))))))))) 243.61/64.60 1(2(2(1(0(2(1(2(0(2(0(1(1(2(1(1(2(0(0(1(2(2(0(0(1(0(0(0(2(2(1(0(2(0(x1)))))))))))))))))))))))))))))))))) 243.61/64.60 -> 243.61/64.60 1(2(1(2(1(0(2(1(2(1(2(0(2(2(0(1(1(1(1(0(1(2(1(2(0(0(0(1(1(2(1(1(1(0(2(0(0(0(2(x1))))))))))))))))))))))))))))))))))))))) 243.61/64.60 0(0(1(2(0(2(2(1(2(2(2(1(1(2(0(0(2(0(2(1(1(1(0(0(0(0(0(1(0(0(1(0(2(0(0(x1))))))))))))))))))))))))))))))))))) 243.61/64.60 -> 243.61/64.60 0(0(0(1(1(1(2(1(1(1(1(1(0(0(0(1(1(1(0(1(0(1(1(0(0(2(1(1(0(1(0(0(1(2(2(1(1(2(1(x1))))))))))))))))))))))))))))))))))))))) 243.61/64.60 1(0(2(2(2(0(0(0(2(2(2(2(1(2(0(1(1(0(0(0(0(0(0(1(0(0(0(0(1(2(2(0(2(2(2(x1))))))))))))))))))))))))))))))))))) 243.61/64.60 -> 243.61/64.60 1(2(0(2(0(0(1(1(1(0(1(1(2(1(0(1(1(1(1(2(1(2(2(2(1(2(0(1(0(1(0(0(1(2(2(1(2(0(x1)))))))))))))))))))))))))))))))))))))) 243.61/64.60 1(2(1(0(2(0(2(2(2(1(2(2(1(0(1(0(2(2(1(2(1(2(1(2(2(0(2(2(2(0(1(2(0(1(0(x1))))))))))))))))))))))))))))))))))) 243.61/64.60 -> 243.61/64.60 1(1(1(1(1(1(2(1(0(0(0(0(2(0(1(2(0(2(2(0(0(1(1(1(1(1(0(0(2(2(1(1(1(1(1(2(2(0(2(1(0(x1))))))))))))))))))))))))))))))))))))))))) 243.61/64.60 0(2(2(0(0(0(1(0(2(2(1(0(0(2(0(0(1(0(0(2(1(1(2(0(2(1(0(0(0(1(0(0(2(1(2(2(2(x1))))))))))))))))))))))))))))))))))))) 243.61/64.60 -> 243.61/64.60 0(2(2(1(1(1(2(1(1(2(2(2(0(2(2(1(2(2(0(0(0(0(0(2(0(2(1(1(1(1(2(1(2(0(0(1(2(0(2(x1))))))))))))))))))))))))))))))))))))))) 243.61/64.60 1(0(2(2(0(1(1(1(0(1(2(0(1(2(2(2(2(2(2(1(2(0(0(1(2(2(2(2(0(1(1(2(0(1(2(0(0(x1))))))))))))))))))))))))))))))))))))) 243.61/64.60 -> 243.61/64.60 1(0(1(0(1(1(0(2(1(2(1(1(2(1(1(1(1(2(1(1(0(1(0(1(0(2(1(0(0(0(0(1(2(2(0(2(2(1(x1)))))))))))))))))))))))))))))))))))))) 243.61/64.61 0(0(1(1(1(1(2(0(2(1(0(0(0(2(2(1(2(1(1(1(0(0(0(0(1(2(2(1(0(1(0(2(2(2(2(2(0(1(x1)))))))))))))))))))))))))))))))))))))) 243.61/64.61 -> 243.61/64.61 1(0(1(0(0(1(2(0(2(1(0(0(1(2(2(0(0(1(1(2(0(0(1(0(1(2(1(2(0(1(0(1(2(2(2(2(2(1(x1)))))))))))))))))))))))))))))))))))))) 243.61/64.61 0(0(2(0(2(2(2(2(0(2(2(2(2(2(0(0(2(2(1(1(0(0(0(1(1(2(2(1(2(1(0(0(0(0(1(2(2(0(x1)))))))))))))))))))))))))))))))))))))) 243.61/64.61 -> 243.61/64.61 2(1(2(0(1(0(2(0(1(0(2(1(0(1(0(1(2(0(0(2(0(0(1(2(1(0(1(1(2(1(1(0(0(0(0(0(0(2(2(1(1(x1))))))))))))))))))))))))))))))))))))))))) 243.61/64.61 0(1(1(0(2(0(2(2(1(0(1(2(2(0(2(1(2(1(0(0(0(0(0(2(0(0(0(0(0(0(0(0(1(0(2(0(1(2(x1)))))))))))))))))))))))))))))))))))))) 243.61/64.61 -> 243.61/64.61 1(2(1(2(2(2(1(2(0(1(2(1(0(1(2(2(0(2(2(0(2(1(1(2(0(1(0(0(1(2(0(1(1(0(1(2(1(0(1(0(1(2(1(x1))))))))))))))))))))))))))))))))))))))))))) 243.61/64.61 2(0(0(2(2(0(1(2(2(2(2(1(0(2(2(2(2(2(1(0(2(1(2(2(0(0(1(0(2(0(0(1(1(0(1(2(0(1(1(x1))))))))))))))))))))))))))))))))))))))) 243.61/64.61 -> 243.61/64.61 1(2(0(1(1(0(0(1(1(2(1(0(1(1(1(2(0(2(2(1(2(0(0(2(1(2(0(1(0(0(0(1(1(2( 243.61/64.61 0 243.61/64.61 ( 243.61/64.61 0 243.61/64.61 ( 243.61/64.61 2 243.61/64.61 ( 243.61/64.61 0 243.61/64.61 ( 243.61/64.61 1 243.61/64.61 ( 243.61/64.61 0 243.61/64.61 ( 243.61/64.61 1 243.61/64.61 ( 243.61/64.61 1(0(1(2(1(0(2(1(1(x1)))))))))))))))))))))))))))))))))))))))))))))))))) 243.61/64.61 2(2(2(0(2(0(2(2(1(1(2(2(2(0(2(0(1(1(1(1(1(1(2(1(2(2(2(2(0(2(2(2(0(2(0(1(0(2(1(2(x1)))))))))))))))))))))))))))))))))))))))) 243.61/64.61 -> 243.61/64.61 1(0(0(2(1(2(1(1(2(1(0(2(0(2(2(1(1(2(2(0(1(1(1(2(1(1(0(0(0(1(0(2(0(1( 243.61/64.61 1 243.61/64.61 ( 243.61/64.61 1 243.61/64.61 ( 243.61/64.61 1 243.61/64.61 ( 243.61/64.61 1(0(1(0(2(1(1(2(2(x1)))))))))))))))))))))))))))))))))))))))))))))) 243.61/64.61 0(0(2(0(2(2(1(0(0(2(0(1(1(0(2(2(2(2(0(2(0(0(2(1(0(0(2(1(0(2(1(0(0(2(1(0(0(0(1(2(1(x1))))))))))))))))))))))))))))))))))))))))) 243.61/64.61 -> 243.61/64.61 1(2(1(2(2(0(1(0(0(0(1(1(0(1(0(2(2(2(1(2(2(0(2(0(0(2(0(1(2(2(1(2(2(1(1(2(0(0(1(1(2(1(1(x1))))))))))))))))))))))))))))))))))))))))))) 243.61/64.61 0(2(2(0(1(1(1(1(0(0(2(1(1(2(2(0(1(0(2(0(1(1(2(2(2(0(2(1(0(0(2(1(2(2(0(2(0(2(2(2(2(x1))))))))))))))))))))))))))))))))))))))))) 243.61/64.61 -> 243.61/64.61 1(1(1(0(1(0(2(2(1(0(1(1(2(2(1(0(1(1(2(0(0(0(0(1(1(0(1(1(2(0(2(2(0(1( 243.61/64.61 0 243.61/64.61 ( 243.61/64.61 2 243.61/64.61 ( 243.61/64.61 1 243.61/64.61 ( 243.61/64.61 1(1(2(2(0(1(1(0(0(x1)))))))))))))))))))))))))))))))))))))))))))))) 243.61/64.61 2(0(0(1(2(2(1(2(2(0(1(1(0(0(2(1(2(1(0(2(1(1(2(1(0(1(0(2(2(0(2(2(0(2(2(1(0(0(0(2(0(x1))))))))))))))))))))))))))))))))))))))))) 243.61/64.61 -> 243.61/64.61 2(0(0(0(1(2(1(2(2(0(2(0(2(1(2(1(2(1(0(2(1(1(2(2(0(1(1(0(1(1(2(2(0(2(2(2(0(0(0(0(0(x1))))))))))))))))))))))))))))))))))))))))) 243.61/64.61 2(0(2(1(0(2(2(1(0(2(1(1(2(0(2(2(2(2(0(2(2(0(1(1(0(0(0(0(2(2(1(0(1(0(2(1(1(2(1(1(0(x1))))))))))))))))))))))))))))))))))))))))) 243.61/64.61 -> 243.61/64.61 1(1(2(1(0(0(1(0(0(1(1(1(1(2(0(2(2(1(0(2(0(1(0(0(1(0(0(2(0(2(1(1(2(1( 243.61/64.61 2 243.61/64.61 ( 243.61/64.61 1 243.61/64.61 ( 243.61/64.61 1 243.61/64.61 ( 243.61/64.61 2 243.61/64.61 ( 243.61/64.61 1(2(2(0(0(1(1(1(0(x1))))))))))))))))))))))))))))))))))))))))))))))) 243.61/64.61 0(2(2(0(0(1(0(2(1(0(2(0(1(0(2(1(0(2(1(0(0(0(2(0(0(0(2(1(0(1(1(1(0(0(0(0(0(2(1(1(0(0(x1)))))))))))))))))))))))))))))))))))))))))) 243.61/64.61 -> 243.61/64.61 2(1(0(0(1(2(2(0(0(1(1(2(1(0(0(2(2(0(2(1(0(2(1(0(1(1(2(0(0(2(0(0(1(2( 243.61/64.61 0 243.61/64.61 ( 243.61/64.61 0(0(2(0(0(0(2(1(2(x1)))))))))))))))))))))))))))))))))))))))))))) 243.61/64.61 2(1(0(1(0(0(2(2(0(0(2(1(1(2(2(1(2(0(2(2(2(1(2(2(2(2(0(1(1(1(2(2(2(1(0(1(0(2(0(2(2(2(x1)))))))))))))))))))))))))))))))))))))))))) 243.61/64.61 -> 243.61/64.61 1(1(2(2(1(2(2(2(0(0(2(1(2(1(2(1(2(0(2(2(2(0(1(1(2(2(0(0(1(1(2(0(2(2(0(0(1(2(2(2(2(0(x1)))))))))))))))))))))))))))))))))))))))))) 243.61/64.61 1(0(1(0(2(2(2(0(0(0(1(1(1(0(0(1(1(2(2(1(1(2(2(1(1(2(1(2(2(2(1(2(1(1( 243.61/64.61 0 243.61/64.61 ( 243.61/64.61 1 243.61/64.61 ( 243.61/64.61 0(1(0(0(0(2(1(1(0(x1))))))))))))))))))))))))))))))))))))))))))))) 243.61/64.61 -> 243.61/64.61 1(2(0(0(2(2(2(2(0(0(1(1(1(2(0(1(1(0(0(1(1(2(2(1(1(2(1(1(0(1(1(0(1(1( 243.61/64.61 2 243.61/64.61 ( 243.61/64.61 2 243.61/64.61 ( 243.61/64.61 1(1(0(0(0(2(1(2(0(x1))))))))))))))))))))))))))))))))))))))))))))) 243.61/64.61 0(0(0(0(1(0(0(1(2(1(1(2(2(0(2(2(2(2(0(2(1(0(1(0(0(0(0(0(0(0(2(1(2(2( 243.61/64.61 2 243.61/64.61 ( 243.61/64.61 2 243.61/64.61 ( 243.61/64.61 2 243.61/64.61 ( 243.61/64.61 0(1(0(1(1(0(2(2(2(x1)))))))))))))))))))))))))))))))))))))))))))))) 243.61/64.61 -> 243.61/64.61 1(0(1(1(2(0(1(1(2(2(2(2(1(0(2(2(1(2(1(2(1(0(1(1(2(0(1(2(2(0(2(2(1(2( 243.61/64.61 1 243.61/64.61 ( 243.61/64.61 0 243.61/64.61 ( 243.61/64.61 0 243.61/64.61 ( 243.61/64.61 2 243.61/64.61 ( 243.61/64.61 2 243.61/64.61 ( 243.61/64.61 1 243.61/64.61 ( 243.61/64.62 1(0(2(1(2(2(0(0(1(x1))))))))))))))))))))))))))))))))))))))))))))))))) 243.61/64.62 0(0(1(1(1(1(0(2(2(2(0(0(0(2(1(2(2(0(2(0(0(0(0(2(2(0(1(0(2(1(2(1(0(2( 243.61/64.62 2 243.61/64.62 ( 243.61/64.62 2 243.61/64.62 ( 243.61/64.62 2 243.61/64.62 ( 243.61/64.62 0(1(1(2(2(1(1(0(0(x1)))))))))))))))))))))))))))))))))))))))))))))) 243.61/64.62 -> 243.61/64.62 0(0(2(2(0(1(1(0(2(0(1(1(2(1(2(1(2(0(2(0(1(0(0(1(1(1(1(2(2(1(2(0(1(2( 243.61/64.62 0 243.61/64.62 ( 243.61/64.62 0 243.61/64.62 ( 243.61/64.62 2 243.61/64.62 ( 243.61/64.62 2 243.61/64.62 ( 243.61/64.62 1 243.61/64.62 ( 243.61/64.62 2 243.61/64.62 ( 243.61/64.62 1(0(0(0(2(2(0(2(2(x1))))))))))))))))))))))))))))))))))))))))))))))))) 243.61/64.62 0(1(0(1(2(2(2(0(0(2(0(0(2(1(2(2(1(0(1(2(2(0(1(2(1(1(2(1(1(1(0(0(0(0( 243.61/64.62 1 243.61/64.62 ( 243.61/64.62 2 243.61/64.62 ( 243.61/64.62 0 243.61/64.62 ( 243.61/64.62 0(0(0(0(1(2(0(2(0(x1)))))))))))))))))))))))))))))))))))))))))))))) 243.61/64.62 -> 243.61/64.62 2(1(2(1(1(0(2(1(1(0(2(0(1(1(2(0(2(2(1(1(1(1(0(1(1(2(0(1(1(0(1(2(1(0( 243.61/64.62 1 243.61/64.62 ( 243.61/64.62 1 243.61/64.62 ( 243.61/64.62 1 243.61/64.62 ( 243.61/64.62 0 243.61/64.62 ( 243.61/64.62 1 243.61/64.62 ( 243.61/64.62 1 243.61/64.62 ( 243.61/64.62 1(2(2(2(1(2(2(2(1(x1))))))))))))))))))))))))))))))))))))))))))))))))) 243.61/64.62 2(1(2(1(1(0(0(1(2(0(0(2(2(0(0(1(2(0(0(2(2(0(2(1(1(2(0(1(2(2(2(2(0(0( 243.61/64.62 1 243.61/64.62 ( 243.61/64.62 0 243.61/64.62 ( 243.61/64.62 2 243.61/64.62 ( 243.61/64.62 1 243.61/64.62 ( 243.61/64.62 1(0(0(2(1(1(0(1(2(x1))))))))))))))))))))))))))))))))))))))))))))))) 243.61/64.62 -> 243.61/64.62 2(2(2(2(2(2(0(1(2(1(2(0(0(2(2(1(1(1(1(1(1(0(1(0(1(1(1(0(1(0(0(1(2(2( 243.61/64.62 2 243.61/64.62 ( 243.61/64.62 1 243.61/64.62 ( 243.61/64.62 0 243.61/64.62 ( 243.61/64.62 2 243.61/64.62 ( 243.61/64.62 1 243.61/64.62 ( 243.61/64.62 2 243.61/64.62 ( 243.61/64.62 2 243.61/64.62 ( 243.61/64.62 2(1(1(1(1(1(1(2(1(x1)))))))))))))))))))))))))))))))))))))))))))))))))) 243.61/64.62 2(0(0(2(0(1(1(2(2(1(1(0(1(2(2(2(2(1(2(1(0(1(1(1(1(1(1(2(0(0(0(0(2(0( 243.61/64.62 0 243.61/64.62 ( 243.61/64.62 0 243.61/64.62 ( 243.61/64.62 2 243.61/64.62 ( 243.61/64.62 2 243.61/64.62 ( 243.61/64.62 2 243.61/64.62 ( 243.61/64.62 0(2(1(0(2(2(0(2(2(x1)))))))))))))))))))))))))))))))))))))))))))))))) 243.61/64.62 -> 243.61/64.62 1(1(1(1(1(0(1(2(1(1(1(1(1(0(2(1(1(2(1(0(1(0(2(0(2(0(0(0(1(0(0(2(1(2( 243.61/64.62 1 243.61/64.62 ( 243.61/64.62 2 243.61/64.62 ( 243.61/64.62 2 243.61/64.62 ( 243.61/64.62 2 243.61/64.62 ( 243.61/64.62 0 243.61/64.62 ( 243.61/64.62 2 243.61/64.62 ( 243.61/64.62 0 243.61/64.62 ( 243.61/64.62 0(1(0(0(0(2(2(2(0(x1)))))))))))))))))))))))))))))))))))))))))))))))))) 243.61/64.62 243.61/64.62 Proof: 243.61/64.62 Open 243.61/64.62 EOF