MAYBE 244.63/66.17 MAYBE 244.63/66.18 244.63/66.18 Problem: 244.63/66.18 0(0(0(0(1(2(2(1(1(2(2(2(0(x1))))))))))))) -> 0(0(2(2(0(2(1(0(2(0(0(2(0(0(x1)))))))))))))) 244.63/66.18 1(2(0(0(2(0(2(2(2(1(2(1(2(x1))))))))))))) -> 1(2(1(1(2(2(2(0(0(0(0(1(0(0(x1)))))))))))))) 244.63/66.18 2(0(2(2(0(0(2(2(2(2(1(2(2(x1))))))))))))) -> 0(2(2(2(2(2(1(0(0(2(2(2(2(x1))))))))))))) 244.63/66.18 0(2(2(2(0(2(0(0(2(2(1(1(2(1(2(x1))))))))))))))) -> 0(1(2(2(2(0(1(0(0(2(1(2(2(2(2(x1))))))))))))))) 244.63/66.18 1(0(2(2(1(2(2(2(0(0(2(0(2(1(2(x1))))))))))))))) -> 244.63/66.18 2(1(2(0(0(0(1(0(0(1(0(1(0(0(1(1(x1)))))))))))))))) 244.63/66.18 0(1(1(1(1(1(1(2(1(0(2(0(1(0(1(2(x1)))))))))))))))) -> 244.63/66.18 0(0(2(0(0(1(1(2(2(1(0(0(0(1(0(0(0(0(x1)))))))))))))))))) 244.63/66.18 0(2(2(1(1(2(2(1(2(1(1(1(1(0(1(2(x1)))))))))))))))) -> 244.63/66.18 0(2(1(1(1(0(1(0(0(2(1(0(0(1(1(0(1(x1))))))))))))))))) 244.63/66.18 2(0(1(1(1(2(1(0(2(0(2(0(1(1(1(1(x1)))))))))))))))) -> 244.63/66.18 0(1(0(2(2(2(1(2(2(0(0(2(2(1(0(0(0(x1))))))))))))))))) 244.63/66.18 2(2(2(2(1(1(2(0(2(1(2(0(0(1(2(2(2(2(x1)))))))))))))))))) -> 244.63/66.18 0(0(2(2(2(2(0(1(0(0(0(1(0(2(2(2(0(1(1(x1))))))))))))))))))) 244.63/66.18 1(1(2(1(0(2(1(0(1(1(1(2(2(1(0(2(1(2(2(0(0(0(x1)))))))))))))))))))))) -> 244.63/66.18 2(0(0(0(1(0(1(1(0(0(1(0(1(1(0(0(2(1(0(2(1(1(0(0(2(x1))))))))))))))))))))))))) 244.63/66.18 1(2(0(2(1(2(1(0(1(2(1(0(2(1(0(0(2(1(2(2(2(1(x1)))))))))))))))))))))) -> 244.63/66.18 0(0(2(2(1(0(0(0(0(1(2(0(1(0(1(1(1(2(1(0(0(2(0(x1))))))))))))))))))))))) 244.63/66.18 0(1(1(2(0(0(0(0(2(1(2(1(2(1(1(0(0(0(0(1(0(1(2(x1))))))))))))))))))))))) -> 244.63/66.18 0(1(1(2(2(2(2(0(2(2(0(2(2(0(1(1(1(0(0(2(0(1(0(0(x1)))))))))))))))))))))))) 244.63/66.18 1(0(2(1(1(1(0(1(1(2(0(0(1(1(0(2(0(0(0(1(2(0(1(x1))))))))))))))))))))))) -> 244.63/66.18 0(1(2(0(1(2(0(1(1(0(1(2(2(2(0(0(0(2(1(0(0(1(0(2(x1)))))))))))))))))))))))) 244.63/66.18 2(0(1(1(2(0(0(2(1(1(2(1(2(2(0(2(2(1(1(1(1(2(0(x1))))))))))))))))))))))) -> 244.63/66.18 0(0(2(2(1(0(0(2(1(0(1(1(2(0(0(2(1(2(0(0(1(1(1(0(x1)))))))))))))))))))))))) 244.63/66.18 1(1(1(2(1(1(1(1(2(2(2(2(0(2(2(1(0(2(0(1(1(2(0(1(x1)))))))))))))))))))))))) -> 244.63/66.18 0(0(2(1(0(0(1(1(2(1(0(2(1(1(2(2(2(2(0(2(0(2(2(2(1(x1))))))))))))))))))))))))) 244.63/66.18 2(1(0(2(1(0(1(0(1(2(2(2(0(0(0(1(2(1(0(0(1(1(2(2(x1)))))))))))))))))))))))) -> 244.63/66.18 0(0(0(1(1(1(0(0(0(0(1(0(0(2(2(0(2(1(1(0(0(1(0(1(2(x1))))))))))))))))))))))))) 244.63/66.18 0(2(0(2(0(2(0(1(1(1(1(1(0(1(1(0(1(2(2(1(1(1(2(2(1(x1))))))))))))))))))))))))) -> 244.63/66.18 0(2(1(2(0(2(2(1(0(1(0(2(0(2(0(1(0(0(2(2(0(2(1(0(0(0(x1)))))))))))))))))))))))))) 244.63/66.18 0(2(2(1(0(2(2(2(2(1(2(0(1(0(1(2(1(2(2(0(0(2(2(1(2(x1))))))))))))))))))))))))) -> 244.63/66.18 0(1(1(1(0(0(1(0(2(0(2(0(0(0(2(1(2(2(0(2(2(0(0(0(1(1(x1)))))))))))))))))))))))))) 244.63/66.18 1(0(1(2(2(0(0(1(1(0(1(0(1(2(1(2(2(0(2(2(1(2(2(1(1(x1))))))))))))))))))))))))) -> 244.63/66.18 1(0(0(0(2(0(2(2(1(0(0(0(0(2(2(2(1(1(1(1(0(0(1(0(2(1(x1)))))))))))))))))))))))))) 244.63/66.18 1(1(1(1(0(1(1(0(2(2(1(1(0(0(0(0(0(1(0(2(1(2(1(1(0(x1))))))))))))))))))))))))) -> 244.63/66.18 1(0(2(0(0(1(2(2(2(1(0(0(0(0(0(2(2(1(0(2(0(1(1(0(0(2(x1)))))))))))))))))))))))))) 244.63/66.18 0(1(1(0(2(2(2(1(1(1(2(0(0(2(1(0(1(2(0(2(1(1(0(1(2(0(x1)))))))))))))))))))))))))) -> 244.63/66.18 0(0(1(0(1(0(2(0(0(1(0(2(0(0(2(1(0(1(0(0(0(2(2(0(1(0(0(2(x1)))))))))))))))))))))))))))) 244.63/66.18 1(0(0(0(0(0(1(1(0(1(2(0(1(2(1(2(1(2(1(0(0(0(1(1(1(2(0(x1))))))))))))))))))))))))))) -> 244.63/66.18 2(2(2(2(1(0(0(1(2(0(2(0(1(0(0(1(0(2(0(0(2(1(0(0(2(2(0(1(0(x1))))))))))))))))))))))))))))) 244.63/66.18 1(2(2(2(0(1(0(2(1(2(2(1(0(1(0(1(0(1(2(0(1(2(1(2(0(1(1(2(x1)))))))))))))))))))))))))))) -> 244.63/66.18 0(2(2(1(0(2(1(1(1(1(2(0(1(1(2(0(0(2(1(0(0(2(2(1(2(1(2(1(x1)))))))))))))))))))))))))))) 244.63/66.18 2(1(2(1(1(0(2(1(2(1(1(1(0(1(2(2(0(1(1(0(0(0(2(1(2(1(0(1(x1)))))))))))))))))))))))))))) -> 244.63/66.18 0(0(0(2(1(1(2(0(0(1(0(0(0(0(0(2(0(0(2(1(2(1(0(2(2(0(2(1(1(x1))))))))))))))))))))))))))))) 244.63/66.18 2(2(1(2(1(0(1(2(1(1(0(1(1(0(0(2(0(2(1(2(1(2(0(0(2(1(2(2(x1)))))))))))))))))))))))))))) -> 244.63/66.18 1(0(0(0(1(1(1(0(0(2(1(1(0(1(1(0(1(0(2(0(0(0(0(1(1(2(1(0(0(1(x1)))))))))))))))))))))))))))))) 244.63/66.18 1(2(1(0(2(2(1(1(2(0(1(1(0(0(1(2(1(2(2(2(2(2(2(0(2(0(1(2(0(2(x1)))))))))))))))))))))))))))))) -> 244.63/66.18 2(0(1(1(0(2(0(2(0(1(1(0(0(1(1(2(0(1(0(0(2(1(1(2(2(0(1(2(2(0(1(x1))))))))))))))))))))))))))))))) 244.63/66.18 0(1(1(2(0(0(0(2(2(2(2(1(1(0(0(0(0(2(1(0(1(2(2(2(1(1(1(0(1(1(2(x1))))))))))))))))))))))))))))))) -> 244.63/66.18 0(0(1(2(2(2(0(0(1(0(2(0(2(0(0(2(0(0(2(2(2(1(0(0(1(1(0(0(1(0(0(2(1(0(0(x1))))))))))))))))))))))))))))))))))) 244.63/66.18 1(1(0(1(0(2(1(1(2(0(2(1(2(2(0(0(2(1(2(1(0(2(0(0(1(2(1(0(1(0(1(x1))))))))))))))))))))))))))))))) -> 244.63/66.18 0(2(2(1(2(2(0(0(0(2(2(1(0(0(1(0(1(1(0(0(1(0(2(0(0(1(0(0(1(2(0(2(1(x1))))))))))))))))))))))))))))))))) 245.08/66.20 2(2(1(1(2(0(0(0(2(2(2(1(1(2(0(1(2(2(0(1(0(2(0(0(2(1(2(2(1(1(2(x1))))))))))))))))))))))))))))))) -> 245.08/66.20 1(2(1(1(1(1(2(0(1(2(0(1(0(0(2(1(0(0(0(0(2(2(0(2(1(2(0(0(0(2(0(1(x1)))))))))))))))))))))))))))))))) 245.08/66.20 1(1(2(1(1(2(0(2(1(1(2(0(0(0(0(1(1(2(2(2(0(0(1(2(1(1(1(0(2(1(1(2(x1)))))))))))))))))))))))))))))))) 245.08/66.20 -> 245.08/66.20 0(0(2(1(0(0(1(1(1(2(1(0(1(0(0(0(1(0(2(2(0(2(2(0(0(0(1(2(1(1(0(0(1(x1))))))))))))))))))))))))))))))))) 245.08/66.20 0(2(1(2(0(0(0(2(1(1(1(0(1(0(1(2(2(1(2(0(1(1(1(1(1(2(2(1(1(1(0(1(1(x1))))))))))))))))))))))))))))))))) 245.08/66.20 -> 245.08/66.20 0(0(1(0(2(0(0(2(1(2(0(1(2(0(1(2(2(1(2(2(0(0(1(1(2(1(2(2(2(0(0(0(2(1(x1)))))))))))))))))))))))))))))))))) 245.08/66.20 2(1(0(2(1(1(0(1(1(2(1(2(0(2(1(0(0(0(1(2(0(2(2(1(1(2(0(0(1(1(0(1(2(x1))))))))))))))))))))))))))))))))) 245.08/66.20 -> 245.08/66.20 0(1(2(1(0(2(1(0(0(1(0(0(1(1(1(2(1(1(0(0(0(1(0(1(1(0(2(1(2(1(1(0(1(0(0(x1))))))))))))))))))))))))))))))))))) 245.08/66.20 2(2(2(0(2(0(1(2(0(0(1(0(1(0(2(2(2(1(2(2(2(1(1(1(2(1(0(1(0(2(2(2(2(x1))))))))))))))))))))))))))))))))) 245.08/66.20 -> 245.08/66.20 1(1(2(1(1(2(1(1(2(2(2(2(2(0(0(1(2(1(2(1(0(0(1(0(2(0(0(2(2(1(0(2(1(2(x1)))))))))))))))))))))))))))))))))) 245.08/66.20 1(2(2(2(1(1(0(1(2(1(1(1(2(1(0(2(0(0(2(2(0(0(1(1(0(2(1(1(1(0(2(0(1(1(x1)))))))))))))))))))))))))))))))))) 245.08/66.20 -> 245.08/66.20 2(2(2(1(2(1(0(0(1(2(1(0(1(1(0(2(1(1(2(1(0(1(2(1(2(0(2(1(0(0(1(0(1(1(x1)))))))))))))))))))))))))))))))))) 245.08/66.20 2(1(1(0(1(1(0(2(1(0(2(1(0(2(2(1(2(1(2(0(0(2(2(1(0(2(2(1(2(2(0(0(1(1(x1)))))))))))))))))))))))))))))))))) 245.08/66.20 -> 245.08/66.20 2(0(1(1(2(1(0(0(0(2(0(0(2(0(0(0(2(0(1(1(0(0(1(1(2(1(1(2(1(0(0(0(1(0(0(2(x1)))))))))))))))))))))))))))))))))))) 245.08/66.20 1(0(2(2(0(0(2(2(0(2(1(0(1(0(1(0(2(2(1(2(0(2(0(0(1(0(1(2(0(2(1(2(1(1(1(x1))))))))))))))))))))))))))))))))))) 245.08/66.20 -> 245.08/66.20 1(2(1(2(0(0(1(2(1(1(0(2(1(1(0(0(0(2(1(1(0(0(2(1(1(1(1(0(0(0(1(0(0(1(2(1(x1)))))))))))))))))))))))))))))))))))) 245.08/66.20 2(1(2(1(2(1(2(2(0(2(1(1(1(2(1(1(0(1(2(1(2(1(2(0(1(1(0(0(1(2(0(1(2(2(0(x1))))))))))))))))))))))))))))))))))) 245.08/66.20 -> 245.08/66.20 2(2(2(1(2(0(2(0(2(0(0(2(1(1(0(1(0(2(0(0(1(0(0(1(0(2(1(2(2(2(2(1(2(1(0(0(x1)))))))))))))))))))))))))))))))))))) 245.08/66.20 2(0(0(2(1(0(2(2(1(1(0(0(1(2(2(0(0(1(0(1(1(2(1(2(0(1(2(1(1(2(2(2(2(1(1(2(x1)))))))))))))))))))))))))))))))))))) 245.08/66.20 -> 245.08/66.20 0(0(0(2(1(2(2(1(2(0(2(0(0(2(1(2(1(2(1(0(0(0(2(1(0(0(1(2(1(0(0(1(2(0(0(2(0(x1))))))))))))))))))))))))))))))))))))) 245.08/66.20 2(1(1(0(2(0(2(2(2(0(2(2(1(2(2(1(2(2(1(1(0(0(0(0(2(2(1(0(2(1(1(1(1(2(2(0(x1)))))))))))))))))))))))))))))))))))) 245.08/66.20 -> 245.08/66.20 2(1(0(2(0(1(1(2(2(0(0(2(1(1(0(2(0(0(0(2(1(0(0(0(2(1(2(0(1(1(1(0(2(1(1(0(0(x1))))))))))))))))))))))))))))))))))))) 245.08/66.20 2(2(1(0(1(1(0(1(2(2(2(1(2(1(2(2(1(0(1(0(0(2(2(2(1(2(2(0(1(2(0(2(1(0(2(1(x1)))))))))))))))))))))))))))))))))))) 245.08/66.20 -> 245.08/66.20 0(1(0(1(2(1(1(1(0(1(2(2(0(2(1(0(0(2(2(2(1(0(0(0(2(1(1(0(2(0(0(2(2(1(2(0(2(x1))))))))))))))))))))))))))))))))))))) 245.08/66.20 1(2(2(0(0(2(1(2(2(2(1(2(0(2(0(0(2(2(0(1(0(2(1(1(1(0(2(0(2(1(2(0(0(0(2(0(0(x1))))))))))))))))))))))))))))))))))))) 245.08/66.20 -> 245.08/66.20 2(2(2(0(1(1(1(2(1(2(1(2(0(0(2(0(2(2(2(1(0(0(1(2(2(0(2(2(0(0(1(0(0(0(2(0(0(x1))))))))))))))))))))))))))))))))))))) 245.08/66.20 2(0(1(2(2(0(2(0(2(2(2(0(1(1(2(0(0(0(0(2(0(0(1(2(0(1(2(0(1(1(0(1(0(2(2(1(2(x1))))))))))))))))))))))))))))))))))))) 245.08/66.20 -> 245.08/66.20 0(1(0(0(1(0(0(1(1(0(1(1(2(1(2(0(2(1(2(2(1(0(0(1(2(2(0(0(2(1(0(1(2(2(0(1(1(0(x1)))))))))))))))))))))))))))))))))))))) 245.08/66.20 2(1(2(0(2(1(2(1(1(1(0(0(0(0(0(2(2(0(1(0(2(0(2(2(2(2(0(1(1(1(1(1(1(2(1(0(1(x1))))))))))))))))))))))))))))))))))))) 245.08/66.20 -> 245.08/66.20 1(1(0(0(2(0(2(1(2(0(0(0(2(0(1(0(0(2(1(0(1(2(0(1(0(1(0(1(0(0(0(0(2(1(2(1(0(2(x1)))))))))))))))))))))))))))))))))))))) 245.08/66.20 0(1(2(1(2(0(1(0(2(1(0(2(2(2(1(1(1(1(0(2(0(0(2(0(1(1(1(2(1(2(0(1(2(2(0(2(0(2(x1)))))))))))))))))))))))))))))))))))))) 245.08/66.20 -> 245.08/66.20 0(2(1(2(1(0(2(0(1(0(2(0(0(0(1(2(1(0(1(2(2(0(2(0(0(0(0(1(0(0(2(2(2(2(0(0(2(0(2(x1))))))))))))))))))))))))))))))))))))))) 245.08/66.20 0(2(0(2(0(2(1(1(2(1(2(0(0(0(0(2(2(0(2(1(1(1(2(1(1(1(2(0(0(2(0(0(0(1(2(1(2(2(x1)))))))))))))))))))))))))))))))))))))) 245.08/66.20 -> 245.08/66.20 2(0(0(1(0(2(0(0(1(0(1(2(2(0(0(0(0(2(1(0(0(0(1(0(2(2(0(0(2(0(0(1(1(1(0(2(2(0(2(1(x1)))))))))))))))))))))))))))))))))))))))) 245.08/66.20 2(0(1(2(2(0(0(1(2(0(2(2(0(0(1(1(0(2(0(2(1(2(2(1(0(0(1(0(2(2(1(2(1(2(1(0(2(2(x1)))))))))))))))))))))))))))))))))))))) 245.08/66.20 -> 245.08/66.20 2(0(0(1(0(0(1(1(1(1(2(2(1(0(0(2(0(2(2(1(2(2(1(2(0(1(0(1(1(0(2(0(0(1(0(2(0(2(2(0(x1)))))))))))))))))))))))))))))))))))))))) 245.08/66.21 2(1(2(2(2(1(1(2(0(0(0(2(0(0(2(2(2(1(2(1(2(2(1(0(2(0(2(2(1(2(2(1(0(0(2(2(0(2(0(x1))))))))))))))))))))))))))))))))))))))) 245.08/66.21 -> 245.08/66.21 0(0(2(1(1(2(2(2(2(2(1(2(1(0(1(2(2(2(0(2(1(0(0(1(1(0(0(1(0(1(0(1(0(1(2(1(1(1(0(0(x1)))))))))))))))))))))))))))))))))))))))) 245.08/66.21 0(2(2(1(1(0(2(2(0(0(1(1(1(2(0(2(0(0(0(2(0(0(1(0(1(1(1(1(0(1(2(2(0(1(2(1(2(0(1(1(x1)))))))))))))))))))))))))))))))))))))))) 245.08/66.21 -> 245.08/66.21 0(0(2(2(2(0(1(1(0(2(1(0(0(1(2(1(1(0(0(1(2(0(2(2(0(2(1(0(2(2(1(2(0(0(0(1(0(0(0(0(0(0(x1)))))))))))))))))))))))))))))))))))))))))) 245.08/66.21 0(1(0(0(1(1(1(0(1(0(2(0(1(0(1(2(1(0(2(0(2(1(0(2(0(0(2(0(1(2(2(2(0(1(1(2(0(1(2(0(2(x1))))))))))))))))))))))))))))))))))))))))) 245.08/66.21 -> 245.08/66.21 2(0(0(0(0(2(1(2(1(1(0(0(0(0(0(2(1(0(1(1(1(1(0(0(1(0(0(1(0(0(2(0(1(0( 245.08/66.21 0 245.08/66.21 ( 245.08/66.21 2(0(2(0(0(2(0(0(1(x1)))))))))))))))))))))))))))))))))))))))))))) 245.08/66.21 1(0(1(0(0(2(0(0(1(2(0(2(1(1(2(1(2(1(1(0(0(0(0(1(1(2(1(1(0(1(2(1(2(0(2(2(1(2(1(1(0(x1))))))))))))))))))))))))))))))))))))))))) 245.08/66.21 -> 245.08/66.21 2(1(0(0(1(1(2(1(0(0(0(2(1(2(1(1(2(1(2(1(0(1(2(0(0(0(1(0(0(1(0(2(0(0(2(0(2(2(1(2(1(0(0(x1))))))))))))))))))))))))))))))))))))))))))) 245.08/66.21 1(1(0(2(2(2(0(2(0(2(0(2(0(0(2(1(1(0(0(2(2(1(2(2(2(0(2(1(2(2(1(0(2(0(0(2(0(0(1(2(0(x1))))))))))))))))))))))))))))))))))))))))) 245.08/66.21 -> 245.08/66.21 0(0(0(1(1(2(1(0(2(2(2(0(2(2(2(1(1(0(1(2(1(0(0(0(0(2(0(0(1(0(1(1(0(0(2(0(2(0(1(1(1(0(0(x1))))))))))))))))))))))))))))))))))))))))))) 245.08/66.21 1(1(1(2(2(1(2(0(0(0(1(2(0(2(1(2(1(2(1(2(2(1(0(1(1(0(1(0(0(0(1(1(1(2(1(0(2(0(2(0(1(x1))))))))))))))))))))))))))))))))))))))))) 245.08/66.21 -> 245.08/66.21 0(2(1(1(2(1(1(2(1(0(1(2(0(1(2(1(0(1(0(2(0(0(1(0(0(0(2(0(1(2(1(0(0(1(0(2(2(1(0(2(0(2(x1)))))))))))))))))))))))))))))))))))))))))) 245.08/66.21 2(0(2(1(1(1(1(0(1(0(2(1(2(0(0(0(1(1(2(0(2(0(0(2(2(0(2(0(1(2(1(1(1(0(0(1(2(1(0(1(0(x1))))))))))))))))))))))))))))))))))))))))) 245.08/66.21 -> 245.08/66.21 2(0(0(1(0(1(1(1(0(0(2(1(0(2(1(0(0(2(2(1(2(1(2(2(0(0(2(0(2(2(1(1(1(0(0(1(1(1(0(1(0(x1))))))))))))))))))))))))))))))))))))))))) 245.08/66.21 2(0(2(2(0(2(0(1(0(2(2(2(2(1(2(1(2(0(2(0(1(1(1(1(1(1(0(0(2(1(2(2(1(0(0(2(2(0(1(2(2(x1))))))))))))))))))))))))))))))))))))))))) 245.08/66.21 -> 245.08/66.21 2(1(2(0(2(1(2(0(2(1(0(0(2(1(0(0(0(0(0(1(2(1(0(2(1(1(2(0(0(0(1(0(0(2( 245.08/66.21 2 245.08/66.21 ( 245.08/66.21 2 245.08/66.21 ( 245.08/66.21 1(0(0(0(1(0(0(1(2(x1))))))))))))))))))))))))))))))))))))))))))))) 245.08/66.21 2(1(1(2(2(1(1(0(0(2(2(1(1(2(0(0(1(0(1(0(0(0(2(2(2(1(2(2(2(2(0(1(2(2(2(0(2(2(2(2(2(x1))))))))))))))))))))))))))))))))))))))))) 245.08/66.21 -> 245.08/66.21 1(2(2(0(1(1(2(1(2(1(2(0(2(2(0(0(2(2(1(2(1(1(0(0(2(0(0(2(1(0(0(0(0(0(2(0(2(0(2(0(2(2(x1)))))))))))))))))))))))))))))))))))))))))) 245.08/66.21 2(2(1(2(2(1(1(2(1(2(0(1(0(2(2(0(1(2(2(0(0(0(0(1(1(0(0(1(2(0(0(1(2(2(1(1(0(1(1(1(2(x1))))))))))))))))))))))))))))))))))))))))) 245.08/66.21 -> 245.08/66.21 0(0(0(1(1(1(1(1(0(2(2(0(0(2(1(0(0(0(2(1(0(0(2(0(0(1(0(2(0(0(2(2(1(0( 245.08/66.21 0 245.08/66.21 ( 245.08/66.21 0 245.08/66.21 ( 245.08/66.21 2(0(0(0(0(0(2(1(1(x1))))))))))))))))))))))))))))))))))))))))))))) 245.08/66.21 1(2(1(2(0(0(0(1(2(2(0(0(0(1(1(2(1(1(2(2(2(1(2(2(0(2(0(2(0(1(2(1(1(0(2(1(1(2(0(2(1(2(x1)))))))))))))))))))))))))))))))))))))))))) 245.08/66.21 -> 245.08/66.21 1(0(0(1(0(0(0(2(0(1(1(0(1(0(2(2(0(2(0(2(0(2(1(1(0(1(2(0(2(2(0(2(1(2(0(1(1(2(2(0(1(0(0(x1))))))))))))))))))))))))))))))))))))))))))) 245.08/66.21 2(0(1(1(0(0(2(0(0(1(1(2(0(0(0(1(0(0(2(1(2(0(0(0(0(2(1(2(0(0(2(0(2(1(2(2(2(1(1(0(1(2(x1)))))))))))))))))))))))))))))))))))))))))) 245.08/66.21 -> 245.08/66.21 2(0(0(1(0(0(0(2(0(1(0(2(0(1(2(1(0(0(0(2(2(2(1(1(0(1(1(0(0(0(2(2(1(2(2(2(0(0(1(0(1(2(x1)))))))))))))))))))))))))))))))))))))))))) 245.08/66.22 2(0(1(1(0(1(2(1(0(0(2(2(0(0(1(1(0(0(2(1(0(1(1(0(2(1(1(2(0(0(0(2(0(2(2(1(0(2(2(0(2(0(x1)))))))))))))))))))))))))))))))))))))))))) 245.08/66.22 -> 245.08/66.22 1(0(2(1(0(0(1(1(2(1(1(2(2(0(0(0(1(1(1(0(1(0(2(0(1(0(0(1(0(0(1(0(0(1(2(1(2(2(1(0(2(1(0(x1))))))))))))))))))))))))))))))))))))))))))) 245.08/66.22 2(2(1(0(1(2(2(0(1(2(2(2(1(1(2(0(0(2(1(1(0(0(0(1(1(2(0(1(1(0(0(2(0(1(1(0(0(0(2(1(0(1(x1)))))))))))))))))))))))))))))))))))))))))) 245.08/66.22 -> 245.08/66.22 0(1(1(1(2(2(0(0(2(2(1(0(2(1(0(1(2(2(2(1(0(2(0(1(0(0(0(2(1(0(0(2(1(0(1(1(2(2(1(1(0(0(0(x1))))))))))))))))))))))))))))))))))))))))))) 245.08/66.22 0(0(0(2(2(2(0(1(0(2(2(2(0(2(0(2(1(1(1(2(1(2(2(1(1(0(0(1(1(0(1(1(2(2(0(0(1(0(2(0(1(2(0(x1))))))))))))))))))))))))))))))))))))))))))) 245.08/66.22 -> 245.08/66.22 0(2(0(0(2(1(0(1(2(1(0(0(0(2(0(2(0(0(2(2(0(0(0(1(0(1(0(2(2(0(2(2(2(1( 245.08/66.22 0 245.08/66.22 ( 245.08/66.22 1(2(0(1(1(0(0(2(2(x1)))))))))))))))))))))))))))))))))))))))))))) 245.08/66.22 1(1(1(2(2(1(0(2(1(0(0(1(2(2(1(2(1(0(2(2(1(1(2(0(2(0(1(0(2(0(2(1(1(2(2(1(2(0(2(1(1(2(1(x1))))))))))))))))))))))))))))))))))))))))))) 245.08/66.22 -> 245.08/66.22 0(1(0(0(1(1(0(1(0(2(2(0(0(2(2(2(0(2(0(0(2(2(1(0(0(0(1(0(2(0(2(0(1(0( 245.08/66.22 2 245.08/66.22 ( 245.08/66.22 0 245.08/66.22 ( 245.08/66.22 0 245.08/66.22 ( 245.08/66.22 2 245.08/66.22 ( 245.08/66.22 1 245.08/66.22 ( 245.08/66.22 0(0(0(1(0(0(1(0(0(x1)))))))))))))))))))))))))))))))))))))))))))))))) 245.08/66.22 1(2(2(2(1(1(1(0(0(0(0(1(0(1(2(1(2(0(2(1(2(1(0(2(2(2(1(1(2(0(2(0(1(2(2(2(2(0(1(2(2(1(0(x1))))))))))))))))))))))))))))))))))))))))))) 245.08/66.22 -> 245.08/66.22 0(0(2(0(2(0(2(1(0(1(1(0(1(1(0(0(2(0(1(1(2(1(0(1(1(2(1(0(1(0(0(0(1(0( 245.08/66.22 0 245.08/66.22 ( 245.08/66.22 2(0(0(1(0(1(0(1(0(x1)))))))))))))))))))))))))))))))))))))))))))) 245.08/66.22 2(1(2(0(1(1(1(1(2(1(2(0(0(1(1(1(1(0(2(1(0(2(1(1(1(1(2(1(2(1(2(2(0(2(1(0(1(0(0(0(1(2(1(x1))))))))))))))))))))))))))))))))))))))))))) 245.08/66.22 -> 245.08/66.22 1(0(1(2(0(2(1(1(1(1(1(1(0(0(1(0(1(0(1(0(0(1(0(2(0(0(2(0(2(1(2(1(2(1( 245.08/66.22 1 245.08/66.22 ( 245.08/66.22 2(1(0(2(2(0(0(0(2(x1)))))))))))))))))))))))))))))))))))))))))))) 245.08/66.22 2(1(2(1(1(0(1(2(1(1(0(2(0(2(2(2(2(0(2(0(1(1(1(0(1(0(1(0(0(1(0(2(2(2(1(1(1(0(1(0(1(2(1(x1))))))))))))))))))))))))))))))))))))))))))) 245.08/66.22 -> 245.08/66.22 0(1(1(2(0(2(0(0(0(2(0(0(0(0(1(0(0(0(1(1(2(2(0(1(0(0(1(1(0(1(1(2(0(0( 245.08/66.22 2 245.08/66.22 ( 245.08/66.22 0(2(0(1(2(0(2(0(0(x1)))))))))))))))))))))))))))))))))))))))))))) 245.08/66.22 0(0(1(1(2(2(1(0(2(1(0(0(2(0(2(2(1(2(1(0(1(1(0(2(2(1(2(1(1(0(1(0(2(0( 245.08/66.22 2 245.08/66.22 ( 245.08/66.22 0(2(2(2(1(2(1(0(0(x1)))))))))))))))))))))))))))))))))))))))))))) 245.08/66.22 -> 245.08/66.22 0(0(1(1(0(1(1(0(2(1(0(1(0(0(0(0(2(1(1(1(2(2(1(1(2(0(0(0(1(2(0(0(2(0( 245.08/66.22 2 245.08/66.22 ( 245.08/66.22 1 245.08/66.23 ( 245.08/66.23 1(1(1(0(2(2(1(0(0(x1))))))))))))))))))))))))))))))))))))))))))))) 245.08/66.23 2(1(1(0(0(2(0(0(0(1(0(1(1(1(2(0(2(2(1(2(2(2(0(2(0(2(0(0(2(0(1(2(1(1( 245.08/66.23 2 245.08/66.23 ( 245.08/66.23 2(2(0(2(0(1(2(2(1(x1)))))))))))))))))))))))))))))))))))))))))))) 245.08/66.23 -> 245.08/66.23 2(2(0(2(2(2(2(0(1(0(2(1(0(1(1(0(1(0(2(0(0(1(0(0(0(0(0(1(0(0(2(0(2(0( 245.08/66.23 2 245.08/66.23 ( 245.08/66.23 2 245.08/66.23 ( 245.08/66.23 0 245.08/66.23 ( 245.08/66.23 1(0(0(2(1(2(1(0(1(x1)))))))))))))))))))))))))))))))))))))))))))))) 245.08/66.23 1(1(0(2(1(1(1(1(2(1(0(0(0(1(1(1(1(2(2(0(0(2(1(2(0(0(1(2(1(0(2(1(0(0( 245.08/66.23 0 245.08/66.23 ( 245.08/66.23 0 245.08/66.23 ( 245.08/66.23 1(2(2(0(1(0(2(1(0(x1))))))))))))))))))))))))))))))))))))))))))))) 245.08/66.23 -> 245.08/66.23 0(1(0(0(1(2(2(0(0(2(1(0(2(0(0(0(0(2(2(1(1(0(1(2(1(2(2(1(1(1(1(1(0(2( 245.08/66.23 2 245.08/66.23 ( 245.08/66.23 2 245.08/66.23 ( 245.08/66.23 2 245.08/66.23 ( 245.08/66.23 2 245.08/66.23 ( 245.08/66.23 2(0(0(0(1(0(0(0(2(x1))))))))))))))))))))))))))))))))))))))))))))))) 245.08/66.23 2(1(1(1(2(0(2(1(0(1(2(1(2(1(0(2(0(0(1(1(2(1(1(2(2(1(2(2(1(2(1(1(1(0( 245.08/66.23 0 245.08/66.23 ( 245.08/66.23 0 245.08/66.23 ( 245.08/66.23 2(2(2(1(2(1(1(1(1(x1))))))))))))))))))))))))))))))))))))))))))))) 245.08/66.23 -> 245.08/66.23 1(1(0(1(2(1(2(0(2(1(2(0(2(1(1(2(1(1(1(0(1(2(2(2(1(0(2(2(2(0(0(1(2(1( 245.08/66.23 2 245.08/66.23 ( 245.08/66.23 0 245.08/66.23 ( 245.08/66.23 0 245.08/66.23 ( 245.08/66.23 0(2(0(0(1(0(0(2(2(x1)))))))))))))))))))))))))))))))))))))))))))))) 245.08/66.23 0(0(0(0(1(0(2(0(1(0(1(1(0(2(0(1(1(1(2(0(2(0(2(1(2(0(0(0(0(1(2(0(0(0( 245.08/66.23 2 245.08/66.23 ( 245.08/66.23 1 245.08/66.23 ( 245.08/66.23 2 245.08/66.23 ( 245.08/66.23 0(1(2(0(2(2(0(1(2(x1)))))))))))))))))))))))))))))))))))))))))))))) 245.08/66.23 -> 245.08/66.23 0(0(2(2(0(1(0(0(0(2(1(0(2(2(0(1(1(2(1(1(2(0(0(2(0(1(0(1(0(1(2(1(0(2( 245.08/66.23 1 245.08/66.23 ( 245.08/66.23 1 245.08/66.23 ( 245.08/66.23 2 245.08/66.23 ( 245.08/66.23 0(0(0(0(2(0(0(0(2(x1)))))))))))))))))))))))))))))))))))))))))))))) 245.08/66.23 2(2(0(2(0(1(2(1(2(2(0(1(0(1(0(0(1(2(2(2(1(2(1(2(1(0(0(0(2(0(2(2(1(2( 245.08/66.23 1 245.08/66.23 ( 245.08/66.23 0 245.08/66.23 ( 245.08/66.23 0 245.08/66.23 ( 245.08/66.23 2(0(0(2(2(0(0(0(0(x1)))))))))))))))))))))))))))))))))))))))))))))) 245.08/66.23 -> 245.08/66.23 0(2(1(0(2(0(0(0(1(1(2(0(2(2(1(1(1(0(0(1(2(0(2(2(1(2(0(1(2(1(0(0(0(0( 245.08/66.23 1 245.08/66.23 ( 245.08/66.23 1 245.08/66.23 ( 245.08/66.23 0 245.08/66.23 ( 245.08/66.23 2 245.08/66.23 ( 245.08/66.23 1(0(0(1(0(0(0(0(0(x1))))))))))))))))))))))))))))))))))))))))))))))) 245.08/66.23 1(2(1(1(2(2(1(0(1(0(1(1(1(1(1(1(2(1(2(1(1(1(1(0(0(2(0(2(2(0(1(2(0(1( 245.08/66.23 0 245.08/66.23 ( 245.08/66.23 0 245.08/66.23 ( 245.08/66.23 2 245.08/66.23 ( 245.08/66.23 0 245.08/66.23 ( 245.08/66.23 2(2(1(1(2(0(1(1(1(x1))))))))))))))))))))))))))))))))))))))))))))))) 245.08/66.23 -> 245.08/66.23 2(2(1(1(0(2(0(1(0(0(1(0(0(0(2(1(1(2(2(1(0(0(2(1(0(2(1(0(0(0(0(1(0(0( 245.08/66.23 1 245.08/66.23 ( 245.08/66.23 2 245.08/66.23 ( 245.08/66.23 1 245.08/66.23 ( 245.08/66.23 2 245.08/66.23 ( 245.08/66.23 1 245.08/66.23 ( 245.08/66.23 1 245.08/66.23 ( 245.08/66.23 0(0(1(2(0(2(2(0(1(x1))))))))))))))))))))))))))))))))))))))))))))))))) 245.08/66.23 2(0(1(2(2(0(2(2(0(1(2(1(1(2(0(2(0(0(0(1(1(1(2(0(0(1(1(1(1(0(0(0(2(1( 245.08/66.23 1 245.08/66.23 ( 245.08/66.24 2 245.08/66.24 ( 245.08/66.24 2 245.08/66.24 ( 245.08/66.24 1 245.08/66.24 ( 245.08/66.24 1(2(0(2(2(0(0(0(1(x1))))))))))))))))))))))))))))))))))))))))))))))) 245.08/66.24 -> 245.08/66.24 0(0(1(0(0(1(1(1(0(2(0(2(1(1(0(1(2(0(2(1(1(1(0(0(1(2(2(2(2(0(2(0(2(2( 245.08/66.24 1 245.08/66.24 ( 245.08/66.24 2 245.08/66.24 ( 245.08/66.24 1 245.08/66.24 ( 245.08/66.24 2 245.08/66.24 ( 245.08/66.24 1 245.08/66.24 ( 245.08/66.24 0(0(0(0(0(1(1(1(1(x1)))))))))))))))))))))))))))))))))))))))))))))))) 245.08/66.24 2(2(2(0(1(1(2(2(2(0(0(1(1(1(2(2(1(2(2(0(2(2(2(1(2(1(1(2(0(2(0(2(1(1( 245.08/66.24 2 245.08/66.24 ( 245.08/66.24 0 245.08/66.24 ( 245.08/66.24 1 245.08/66.24 ( 245.08/66.24 2 245.08/66.24 ( 245.08/66.24 2(2(2(0(1(2(2(0(2(x1))))))))))))))))))))))))))))))))))))))))))))))) 245.08/66.24 -> 245.08/66.24 2(1(2(0(0(1(0(1(2(2(2(0(2(0(0(0(0(1(1(1(2(1(2(1(0(1(1(0(1(2(2(1(1(0( 245.08/66.24 1 245.08/66.24 ( 245.08/66.24 0 245.08/66.24 ( 245.08/66.24 0 245.08/66.24 ( 245.08/66.24 1 245.08/66.24 ( 245.08/66.24 1 245.08/66.24 ( 245.08/66.24 0(2(1(0(0(2(0(2(2(x1)))))))))))))))))))))))))))))))))))))))))))))))) 245.08/66.24 2(1(2(2(1(0(2(2(2(1(2(1(1(2(2(2(0(1(0(0(1(1(2(2(1(2(2(1(0(2(0(2(0(2( 245.08/66.24 2 245.08/66.24 ( 245.08/66.24 2 245.08/66.24 ( 245.08/66.24 2 245.08/66.24 ( 245.08/66.24 1 245.08/66.24 ( 245.08/66.24 0 245.08/66.24 ( 245.08/66.24 1(2(1(1(1(1(2(2(2(x1)))))))))))))))))))))))))))))))))))))))))))))))) 245.08/66.24 -> 245.08/66.24 0(0(2(1(2(1(1(1(2(0(1(1(2(0(0(1(0(0(0(2(1(0(1(0(1(0(0(2(1(0(2(2(0(2( 245.08/66.24 1 245.08/66.24 ( 245.08/66.24 1 245.08/66.24 ( 245.08/66.24 2 245.08/66.24 ( 245.08/66.24 2 245.08/66.24 ( 245.08/66.24 1 245.08/66.24 ( 245.08/66.24 0 245.08/66.24 ( 245.08/66.24 0(1(0(1(2(0(2(1(1(x1))))))))))))))))))))))))))))))))))))))))))))))))) 245.08/66.24 245.08/66.24 Proof: 245.08/66.24 Open 245.08/66.24 EOF