MAYBE 244.74/66.28 MAYBE 244.74/66.30 244.74/66.30 Problem: 244.74/66.30 0(0(0(1(2(2(1(2(2(x1))))))))) -> 1(2(1(1(2(1(0(1(1(1(x1)))))))))) 244.74/66.30 0(0(0(2(2(1(1(0(1(0(1(x1))))))))))) -> 1(1(2(1(1(2(2(1(2(2(2(1(x1)))))))))))) 244.74/66.30 0(0(2(0(2(1(1(0(1(0(1(0(1(0(2(x1))))))))))))))) -> 244.74/66.30 1(1(2(1(2(2(2(1(2(2(2(2(2(0(2(2(2(x1))))))))))))))))) 244.74/66.30 0(1(2(0(0(1(1(1(1(0(1(2(2(1(1(0(2(x1))))))))))))))))) -> 244.74/66.30 0(2(1(1(1(0(0(1(2(1(0(0(2(1(2(0(2(1(1(x1))))))))))))))))))) 244.74/66.30 0(1(0(2(2(0(0(1(1(0(0(0(2(1(2(2(0(0(x1)))))))))))))))))) -> 244.74/66.30 2(1(2(1(0(2(1(0(2(2(2(1(0(2(1(0(2(1(1(0(x1)))))))))))))))))))) 244.74/66.30 2(0(1(0(0(1(1(0(2(0(2(0(0(2(1(1(1(0(x1)))))))))))))))))) -> 244.74/66.30 2(1(0(2(1(0(2(2(0(1(1(2(0(2(1(0(1(2(1(2(x1)))))))))))))))))))) 244.74/66.30 0(0(2(2(2(0(0(0(0(1(1(0(2(1(1(1(2(0(2(x1))))))))))))))))))) -> 244.74/66.30 2(2(1(2(1(0(0(0(2(0(2(1(0(0(2(1(1(2(1(1(x1)))))))))))))))))))) 244.74/66.30 0(0(1(0(0(0(1(0(1(1(0(2(0(2(2(2(2(2(2(0(x1)))))))))))))))))))) -> 244.74/66.30 0(2(1(0(2(1(1(2(2(0(2(0(0(2(2(1(0(1(2(1(2(1(x1)))))))))))))))))))))) 244.74/66.30 0(2(1(0(2(2(2(1(1(1(1(1(0(1(0(0(2(1(1(1(x1)))))))))))))))))))) -> 244.74/66.30 0(2(1(2(1(1(0(2(2(2(1(1(2(1(2(2(0(1(2(2(1(x1))))))))))))))))))))) 244.74/66.30 2(0(1(2(2(1(1(0(0(1(2(0(1(1(2(2(2(0(0(0(x1)))))))))))))))))))) -> 244.74/66.30 2(1(2(1(1(2(0(2(1(2(2(0(1(2(1(0(2(0(2(0(1(2(x1)))))))))))))))))))))) 244.74/66.30 1(2(1(2(2(0(0(2(1(1(1(2(2(1(0(2(2(2(1(1(0(x1))))))))))))))))))))) -> 244.74/66.30 1(1(1(2(2(2(1(2(2(2(1(0(0(2(0(1(2(1(0(2(1(x1))))))))))))))))))))) 244.74/66.30 2(0(2(2(1(0(2(1(2(2(2(0(2(0(0(2(1(2(0(0(0(x1))))))))))))))))))))) -> 244.74/66.30 0(1(2(1(2(1(2(0(1(1(2(2(0(2(0(1(2(2(2(2(2(0(x1)))))))))))))))))))))) 244.74/66.30 0(0(2(0(2(2(2(0(0(1(1(2(2(2(2(1(1(1(1(1(1(0(x1)))))))))))))))))))))) -> 244.74/66.30 2(1(2(1(2(2(1(2(2(1(2(2(2(0(2(2(1(0(1(0(1(2(2(0(x1)))))))))))))))))))))))) 244.74/66.30 0(0(1(1(0(2(0(2(1(0(2(2(0(1(1(0(0(1(2(0(2(1(1(1(1(x1))))))))))))))))))))))))) -> 244.74/66.30 1(2(2(0(2(2(1(0(2(1(1(2(2(0(1(2(2(2(2(0(0(0(1(2(1(1(x1)))))))))))))))))))))))))) 244.74/66.30 2(0(1(1(1(1(2(0(0(0(0(2(1(1(0(0(2(2(1(2(2(2(0(0(2(0(x1)))))))))))))))))))))))))) -> 244.74/66.30 2(1(2(1(0(0(0(1(1(0(1(2(1(0(1(0(1(2(1(1(1(2(2(1(0(0(2(x1))))))))))))))))))))))))))) 244.74/66.30 0(1(1(0(0(2(1(0(2(0(2(1(1(0(2(2(1(0(1(1(1(1(1(1(1(0(2(x1))))))))))))))))))))))))))) -> 244.74/66.30 1(0(0(0(1(2(2(1(2(1(0(1(0(2(0(2(0(2(2(0(1(2(0(0(2(1(2(1(x1)))))))))))))))))))))))))))) 244.74/66.30 0(2(1(1(2(0(1(0(2(0(0(1(2(2(0(0(0(0(2(0(0(2(0(1(0(0(2(x1))))))))))))))))))))))))))) -> 244.74/66.30 2(2(1(2(1(2(2(1(2(1(1(0(0(0(1(2(0(2(1(1(1(2(2(0(1(2(0(2(1(x1))))))))))))))))))))))))))))) 244.74/66.30 2(0(0(2(1(2(2(0(2(1(1(1(1(2(0(0(1(2(0(0(0(2(0(0(0(2(0(x1))))))))))))))))))))))))))) -> 244.74/66.30 2(2(2(1(2(0(1(1(0(0(1(2(1(1(2(1(2(0(1(1(0(2(0(1(0(2(1(1(x1)))))))))))))))))))))))))))) 244.74/66.30 2(2(1(2(2(1(2(0(1(2(0(1(1(1(2(2(1(0(2(2(0(0(2(2(1(0(0(x1))))))))))))))))))))))))))) -> 244.74/66.30 2(2(1(2(1(2(0(2(1(1(2(1(2(0(2(0(0(0(2(2(0(2(1(2(1(1(0(x1))))))))))))))))))))))))))) 244.74/66.30 0(0(2(1(1(1(1(0(1(0(0(0(0(0(1(0(0(2(0(2(0(2(0(0(2(1(1(0(x1)))))))))))))))))))))))))))) -> 244.74/66.30 1(0(1(1(1(0(0(0(2(0(1(2(2(2(2(1(2(1(2(0(2(0(2(0(2(0(2(2(2(x1))))))))))))))))))))))))))))) 244.74/66.30 0(2(1(2(0(2(2(0(2(1(2(2(2(0(0(2(0(0(2(2(1(0(0(2(2(0(1(1(x1)))))))))))))))))))))))))))) -> 244.74/66.30 1(0(1(2(1(2(1(0(0(1(1(0(1(2(2(2(2(1(1(2(0(1(1(0(2(2(1(2(1(x1))))))))))))))))))))))))))))) 244.74/66.30 2(0(0(0(2(2(2(0(1(2(1(1(0(0(0(1(0(2(2(2(0(0(1(1(2(1(2(2(x1)))))))))))))))))))))))))))) -> 244.74/66.30 0(1(1(2(1(2(1(0(0(0(2(0(1(2(1(2(2(1(0(0(1(2(1(2(1(2(0(1(0(x1))))))))))))))))))))))))))))) 244.74/66.30 0(1(1(2(0(1(0(1(1(2(2(0(0(2(0(2(1(2(2(2(2(0(2(0(1(1(0(0(2(x1))))))))))))))))))))))))))))) -> 244.74/66.30 1(2(2(1(1(0(2(0(0(0(0(2(1(1(0(2(0(2(1(2(2(0(2(1(1(2(1(1(2(2(x1)))))))))))))))))))))))))))))) 244.74/66.30 2(0(2(2(0(0(0(1(0(1(0(2(0(2(0(0(0(2(1(1(1(0(0(0(2(1(2(0(0(x1))))))))))))))))))))))))))))) -> 244.74/66.30 1(0(0(0(1(2(2(2(2(1(1(2(2(1(2(2(2(1(1(1(1(1(0(2(2(2(1(2(1(0(x1)))))))))))))))))))))))))))))) 244.74/66.30 0(1(1(0(0(1(0(1(2(2(2(1(1(0(0(1(2(2(0(0(2(0(1(2(2(2(1(1(2(0(x1)))))))))))))))))))))))))))))) -> 244.74/66.30 1(2(1(1(1(2(0(2(1(1(0(1(2(2(0(0(1(0(2(1(2(2(2(1(1(1(2(0(0(1(2(1(x1)))))))))))))))))))))))))))))))) 244.74/66.30 2(0(0(0(1(1(0(0(1(0(0(1(1(0(2(2(1(1(1(2(1(0(0(0(2(2(2(0(0(2(x1)))))))))))))))))))))))))))))) -> 244.74/66.30 1(2(1(1(0(2(2(1(1(1(0(0(2(2(2(2(1(1(2(1(2(2(2(1(2(1(1(2(1(2(0(x1))))))))))))))))))))))))))))))) 244.74/66.30 1(2(0(2(0(1(0(0(2(1(1(1(0(0(1(2(0(2(1(1(1(1(2(0(2(2(0(1(0(1(0(2(x1)))))))))))))))))))))))))))))))) 244.74/66.30 -> 244.74/66.30 1(1(0(0(1(1(2(1(0(1(2(2(0(1(1(2(1(2(0(1(2(1(1(2(1(2(2(1(2(1(2(1(0(2(x1)))))))))))))))))))))))))))))))))) 245.21/66.31 2(0(0(2(0(1(2(2(2(2(1(2(0(0(1(2(1(2(1(0(1(1(1(0(0(0(2(0(1(0(2(0(x1)))))))))))))))))))))))))))))))) 245.21/66.31 -> 245.21/66.31 2(1(2(1(0(0(2(1(0(1(2(1(2(2(0(2(0(1(1(2(2(2(0(1(1(2(1(2(0(1(2(0(1(x1))))))))))))))))))))))))))))))))) 245.21/66.31 2(0(2(0(0(1(0(2(2(2(1(1(1(0(0(1(1(1(0(0(0(0(1(0(1(2(0(2(2(0(0(1(x1)))))))))))))))))))))))))))))))) 245.21/66.31 -> 245.21/66.31 2(0(2(2(2(0(0(2(1(0(1(1(1(1(2(1(2(1(1(0(0(2(2(2(2(0(0(1(1(1(0(0(1(x1))))))))))))))))))))))))))))))))) 245.21/66.31 0(0(1(1(1(1(2(0(2(1(1(2(2(1(2(1(1(0(2(1(0(2(2(1(1(1(0(0(1(1(0(1(0(x1))))))))))))))))))))))))))))))))) 245.21/66.31 -> 245.21/66.31 0(0(2(2(2(1(0(2(2(0(0(0(2(1(2(1(2(1(0(1(2(1(0(2(1(1(2(2(2(2(0(1(0(2(2(x1))))))))))))))))))))))))))))))))))) 245.21/66.31 0(1(0(2(1(0(2(1(0(0(1(0(2(0(2(0(2(2(2(0(0(1(0(0(2(1(2(2(1(0(1(0(0(x1))))))))))))))))))))))))))))))))) 245.21/66.31 -> 245.21/66.31 1(0(2(2(2(1(2(1(0(1(0(0(1(2(1(2(2(1(1(2(2(2(1(2(0(2(1(2(2(0(1(2(2(0(x1)))))))))))))))))))))))))))))))))) 245.21/66.31 0(1(1(0(2(0(2(1(0(1(1(2(2(1(2(0(0(1(1(2(2(1(1(0(2(0(1(0(0(0(0(0(2(0(x1)))))))))))))))))))))))))))))))))) 245.21/66.31 -> 245.21/66.31 1(0(0(2(0(0(2(2(0(2(0(2(1(2(0(2(2(2(1(2(1(1(2(1(0(1(1(0(2(0(0(1(2(2(0(0(x1)))))))))))))))))))))))))))))))))))) 245.21/66.31 0(2(2(1(0(0(1(2(0(1(2(0(0(2(2(0(1(2(0(2(1(0(2(2(0(0(0(0(1(1(1(1(0(2(2(x1))))))))))))))))))))))))))))))))))) 245.21/66.31 -> 245.21/66.31 0(2(2(1(0(0(0(2(0(1(0(1(0(0(2(1(1(2(2(0(1(2(0(2(2(1(2(0(0(0(2(0(1(2(1(x1))))))))))))))))))))))))))))))))))) 245.21/66.31 1(1(1(0(0(1(0(2(0(2(1(0(0(0(0(0(1(0(2(1(2(0(1(1(1(2(0(1(2(1(2(0(1(2(2(x1))))))))))))))))))))))))))))))))))) 245.21/66.31 -> 245.21/66.31 1(1(0(1(0(1(0(0(2(1(1(2(1(2(1(2(0(1(2(0(2(1(2(1(0(0(2(1(0(2(0(2(2(2(2(0(x1)))))))))))))))))))))))))))))))))))) 245.21/66.31 2(2(0(1(2(2(1(1(1(0(1(0(2(0(1(1(2(2(2(2(1(2(0(0(2(1(1(0(1(0(2(2(1(1(0(x1))))))))))))))))))))))))))))))))))) 245.21/66.31 -> 245.21/66.31 2(1(1(2(1(2(1(0(2(1(0(0(2(0(2(1(1(1(0(0(0(1(1(1(1(2(0(0(1(2(0(0(2(0(2(2(x1)))))))))))))))))))))))))))))))))))) 245.21/66.31 0(0(0(2(1(0(1(0(2(0(0(0(0(0(2(2(2(0(1(0(2(0(0(0(0(2(2(2(2(1(2(2(0(1(2(0(x1)))))))))))))))))))))))))))))))))))) 245.21/66.31 -> 245.21/66.31 2(0(0(1(2(1(1(1(2(1(0(0(1(1(2(1(2(1(2(2(2(0(0(2(1(0(2(0(1(0(1(0(1(0(0(0(0(x1))))))))))))))))))))))))))))))))))))) 245.21/66.31 0(2(2(0(0(0(2(2(1(0(0(2(0(1(0(1(0(0(0(1(0(0(0(0(0(1(1(0(0(2(0(1(0(1(0(0(x1)))))))))))))))))))))))))))))))))))) 245.21/66.31 -> 245.21/66.31 1(2(2(1(0(2(2(0(0(2(1(0(0(0(2(2(2(0(0(1(2(2(0(0(0(2(1(1(1(1(0(2(1(2(2(0(0(x1))))))))))))))))))))))))))))))))))))) 245.21/66.31 1(1(1(2(0(2(0(1(0(2(2(1(0(2(0(1(1(2(0(0(2(0(0(2(0(1(1(1(1(0(0(1(2(0(0(0(x1)))))))))))))))))))))))))))))))))))) 245.21/66.31 -> 245.21/66.31 1(2(1(1(0(0(0(1(2(0(2(0(0(1(0(2(1(0(2(2(0(0(1(2(1(2(1(1(2(1(2(2(1(0(1(0(1(1(0(1(x1)))))))))))))))))))))))))))))))))))))))) 245.21/66.31 2(0(0(1(2(0(0(0(0(1(1(0(1(2(0(1(1(1(0(0(1(2(0(1(2(1(1(2(1(1(1(2(2(2(0(2(x1)))))))))))))))))))))))))))))))))))) 245.21/66.31 -> 245.21/66.31 2(2(2(0(0(0(2(1(0(1(0(1(0(1(2(1(2(0(0(1(2(1(1(2(2(2(0(2(0(2(0(2(2(2(1(2(1(x1))))))))))))))))))))))))))))))))))))) 245.21/66.31 2(1(1(1(0(1(0(1(1(2(0(0(0(1(0(0(0(0(0(0(0(1(1(1(1(1(1(0(1(1(1(1(0(0(2(2(x1)))))))))))))))))))))))))))))))))))) 245.21/66.31 -> 245.21/66.31 0(1(1(1(0(0(1(2(1(0(1(0(0(0(2(0(2(1(1(2(1(1(0(0(1(2(0(2(1(2(1(2(0(2(1(2(0(1(2(0(x1)))))))))))))))))))))))))))))))))))))))) 245.21/66.31 0(1(0(1(0(2(0(2(0(0(2(2(2(1(1(1(1(1(1(1(1(0(0(0(2(0(1(1(2(0(1(1(2(0(2(0(1(x1))))))))))))))))))))))))))))))))))))) 245.21/66.31 -> 245.21/66.31 1(1(2(2(2(1(0(1(1(1(2(0(2(1(2(2(2(2(1(0(2(0(2(1(1(0(2(0(2(2(0(0(2(0(1(0(0(1(x1)))))))))))))))))))))))))))))))))))))) 245.21/66.31 0(1(1(1(1(1(1(0(2(1(2(0(1(0(0(2(0(1(0(2(2(0(2(1(0(2(2(0(2(0(1(1(0(1(2(2(2(x1))))))))))))))))))))))))))))))))))))) 245.21/66.31 -> 245.21/66.31 0(0(2(2(0(2(1(0(0(2(0(1(1(1(2(2(1(2(0(0(2(1(2(0(0(0(0(2(1(2(1(1(0(2(1(2(0(2(x1)))))))))))))))))))))))))))))))))))))) 245.21/66.31 0(2(2(0(0(0(1(0(2(2(2(0(2(2(0(1(1(0(2(1(0(2(0(1(1(2(0(2(2(1(0(0(2(0(2(0(2(x1))))))))))))))))))))))))))))))))))))) 245.21/66.31 -> 245.21/66.31 1(1(0(1(1(2(2(0(1(2(2(0(1(2(1(1(0(0(1(2(1(0(2(2(1(2(1(2(1(0(1(1(1(1(0(0(1(1(x1)))))))))))))))))))))))))))))))))))))) 245.21/66.31 1(0(0(1(1(0(1(2(1(0(0(2(2(0(1(1(2(2(1(1(1(1(2(0(2(0(0(0(1(1(1(2(0(2(2(1(0(x1))))))))))))))))))))))))))))))))))))) 245.21/66.31 -> 245.21/66.31 1(1(2(2(2(1(0(2(0(1(1(0(0(1(2(1(1(0(0(1(2(1(0(2(0(1(0(1(0(0(1(2(1(2(1(2(0(2(2(2(x1)))))))))))))))))))))))))))))))))))))))) 245.21/66.31 2(0(2(0(2(2(1(2(2(0(1(1(2(0(1(2(0(1(1(0(0(1(2(1(1(1(0(1(1(1(2(0(1(2(2(0(0(x1))))))))))))))))))))))))))))))))))))) 245.21/66.31 -> 245.21/66.31 2(2(1(2(1(2(0(2(0(2(0(1(2(2(0(0(0(1(0(0(0(2(1(0(0(1(2(0(2(1(1(1(2(1(1(0(1(2(x1)))))))))))))))))))))))))))))))))))))) 245.21/66.32 0(1(2(0(1(2(1(1(2(0(0(0(2(0(0(0(2(0(2(2(1(1(0(1(2(0(0(0(0(1(0(2(1(2(2(2(0(1(x1)))))))))))))))))))))))))))))))))))))) 245.21/66.32 -> 245.21/66.32 1(2(1(2(1(1(0(0(0(0(1(2(0(1(0(1(0(2(0(2(1(2(1(2(2(2(2(1(2(1(0(0(0(0(2(1(0(1(2(1(x1)))))))))))))))))))))))))))))))))))))))) 245.21/66.32 0(2(0(1(1(2(0(1(1(0(2(2(0(0(0(2(0(0(2(0(0(0(2(2(1(1(1(1(1(2(1(2(0(2(0(0(1(0(x1)))))))))))))))))))))))))))))))))))))) 245.21/66.32 -> 245.21/66.32 0(0(2(1(2(0(0(0(1(0(2(1(1(2(1(1(1(2(1(2(1(0(2(2(1(1(0(1(2(0(2(1(1(0(1(0(0(1(1(2(1(1(x1)))))))))))))))))))))))))))))))))))))))))) 245.21/66.32 0(2(1(0(2(1(2(1(1(2(2(1(0(2(1(0(1(2(0(1(2(0(2(2(2(0(0(2(1(0(0(1(0(0(2(2(0(2(x1)))))))))))))))))))))))))))))))))))))) 245.21/66.32 -> 245.21/66.32 1(2(2(1(2(1(1(1(1(0(1(2(2(1(2(0(0(0(0(1(2(2(0(1(0(1(1(2(1(2(1(2(2(2(1(2(2(2(1(1(x1)))))))))))))))))))))))))))))))))))))))) 245.21/66.32 0(2(2(0(2(1(0(2(1(0(0(1(0(0(2(2(2(0(1(1(2(1(0(0(0(1(1(0(0(1(1(1(0(0(1(0(0(2(x1)))))))))))))))))))))))))))))))))))))) 245.21/66.32 -> 245.21/66.32 0(2(2(2(0(1(0(0(1(2(0(1(1(0(1(1(1(2(1(2(1(0(2(0(0(1(0(1(0(1(2(1(0(0(2(1(2(0(2(x1))))))))))))))))))))))))))))))))))))))) 245.21/66.32 2(2(1(1(0(0(2(1(0(1(2(2(0(2(2(1(0(0(2(1(0(1(0(2(0(1(0(0(0(2(0(1(2(2(1(0(0(0(x1)))))))))))))))))))))))))))))))))))))) 245.21/66.32 -> 245.21/66.32 1(1(2(2(2(1(1(2(0(1(1(2(2(1(1(0(0(2(1(1(2(1(2(0(1(0(1(0(0(2(0(2(0(2(2(0(1(0(2(x1))))))))))))))))))))))))))))))))))))))) 245.21/66.32 0(2(2(2(0(0(2(0(0(0(2(1(0(0(2(0(0(1(0(1(0(1(1(2(2(0(0(2(0(2(2(0(1(1(0(0(2(0(2(x1))))))))))))))))))))))))))))))))))))))) 245.21/66.32 -> 245.21/66.32 2(2(2(0(2(2(0(1(2(1(2(2(0(2(1(0(1(1(0(2(2(0(0(0(2(0(2(0(0(2(1(1(0(2(1(0(0(1(2(1(1(x1))))))))))))))))))))))))))))))))))))))))) 245.21/66.32 1(0(0(2(0(0(1(0(2(2(1(2(0(0(1(1(0(2(0(1(2(2(2(2(2(0(0(0(0(0(1(1(0(2(0(2(0(1(0(x1))))))))))))))))))))))))))))))))))))))) 245.21/66.32 -> 245.21/66.32 1(0(1(2(1(0(2(2(2(0(0(2(2(2(2(1(0(1(1(0(1(2(0(2(0(2(2(0(1(1(2(2(0(2(0(1(2(0(0(1(x1)))))))))))))))))))))))))))))))))))))))) 245.21/66.32 0(1(1(2(1(2(0(1(0(2(0(2(2(2(2(2(0(0(1(1(2(2(1(1(2(0(0(0(1(0(2(1(1(1(1(1(0(0(0(0(x1)))))))))))))))))))))))))))))))))))))))) 245.21/66.32 -> 245.21/66.32 2(0(0(2(0(2(1(1(2(2(1(1(2(1(2(2(2(0(0(1(1(1(1(2(1(1(2(0(1(2(2(2(1(2(0(2(0(1(0(1(2(1(2(x1))))))))))))))))))))))))))))))))))))))))))) 245.21/66.32 0(2(0(0(1(1(0(1(0(1(0(2(2(0(0(1(0(0(1(0(1(2(1(0(0(2(2(2(1(0(0(1(0(2(1(1(1(0(0(2(x1)))))))))))))))))))))))))))))))))))))))) 245.21/66.32 -> 245.21/66.32 1(1(0(1(0(0(1(1(1(2(0(1(2(2(1(0(1(0(2(2(1(2(1(1(2(0(2(1(2(1(2(2(2(0(2(0(2(0(0(1(2(1(x1)))))))))))))))))))))))))))))))))))))))))) 245.21/66.32 1(1(0(1(0(0(1(1(2(0(0(0(2(0(2(0(0(1(2(2(0(1(2(0(2(1(0(2(1(1(2(2(1(0(1(0(2(2(0(2(x1)))))))))))))))))))))))))))))))))))))))) 245.21/66.32 -> 245.21/66.32 1(2(2(2(1(1(2(1(1(0(2(2(2(0(1(1(2(0(1(1(0(1(0(2(2(1(1(0(0(1(0(0(2(2(1(2(1(2(0(1(1(x1))))))))))))))))))))))))))))))))))))))))) 245.21/66.32 1(2(0(2(1(1(1(1(0(2(0(1(2(1(0(1(0(0(2(0(1(0(1(1(1(1(2(2(2(0(0(0(2(2(0(0(2(1(2(0(x1)))))))))))))))))))))))))))))))))))))))) 245.21/66.32 -> 245.21/66.32 1(1(1(2(0(2(0(2(2(1(0(1(2(0(1(2(1(0(2(0(1(2(2(2(1(1(0(2(2(0(0(1(2(1(1(0(2(1(2(0(1(x1))))))))))))))))))))))))))))))))))))))))) 245.21/66.32 2(0(1(0(0(0(1(1(2(0(0(2(0(1(0(2(2(0(0(0(2(1(0(1(0(1(0(0(2(0(1(2(2(0(0(0(0(0(0(0(x1)))))))))))))))))))))))))))))))))))))))) 245.21/66.32 -> 245.21/66.32 0(2(1(0(1(2(0(1(1(1(2(0(1(2(1(1(2(2(0(1(0(1(2(1(1(0(1(1(0(2(1(0(2(0(2(1(0(1(0(1(0(x1))))))))))))))))))))))))))))))))))))))))) 245.21/66.32 0(0(0(2(0(1(1(2(2(0(1(1(1(1(2(2(1(1(1(2(2(1(1(2(0(0(1(2(0(2(1(1(0(0(0(1(1(1(1(1(0(x1))))))))))))))))))))))))))))))))))))))))) 245.21/66.32 -> 245.21/66.32 0(0(0(1(1(2(1(1(2(2(1(0(1(1(2(1(0(0(2(2(0(1(2(1(0(1(1(1(1(2(2(2(2(0(2(2(1(0(2(0(2(2(2(x1))))))))))))))))))))))))))))))))))))))))))) 245.21/66.32 2(2(2(1(1(0(0(0(0(0(0(0(2(2(1(2(0(0(1(0(0(0(2(2(0(2(0(0(1(0(1(0(2(2(0(1(2(0(0(0(2(x1))))))))))))))))))))))))))))))))))))))))) 245.21/66.32 -> 245.21/66.32 2(2(0(2(1(1(1(2(0(1(0(0(1(1(1(0(1(2(0(2(1(0(1(2(0(0(0(1(2(1(1(0(2(0(0(2(2(0(1(1(2(1(x1)))))))))))))))))))))))))))))))))))))))))) 245.21/66.32 2(2(0(0(0(0(0(0(1(0(0(0(1(1(2(0(2(1(0(2(1(2(2(1(1(0(0(2(2(0(0(0(0(0(1(0(0(2(2(1(0(2(x1)))))))))))))))))))))))))))))))))))))))))) 245.21/66.32 -> 245.21/66.32 1(2(2(1(2(1(1(0(0(2(2(0(0(1(2(1(1(2(0(2(2(1(0(1(2(1(0(2(2(1(1(1(0(1( 245.21/66.32 0 245.21/66.32 ( 245.21/66.32 2(2(1(2(0(2(1(0(0(x1)))))))))))))))))))))))))))))))))))))))))))) 245.21/66.32 0(0(1(1(2(0(0(1(1(1(0(1(1(1(0(0(1(2(0(2(0(0(2(2(2(2(1(2(2(0(2(1(2(2(0(1(0(2(1(0(0(1(0(x1))))))))))))))))))))))))))))))))))))))))))) 245.21/66.33 -> 245.21/66.33 1(0(1(2(2(2(1(2(1(2(0(2(2(0(0(0(1(0(2(1(2(0(0(1(1(1(1(1(2(1(2(0(2(2( 245.21/66.33 1 245.21/66.33 ( 245.21/66.33 2 245.21/66.33 ( 245.21/66.33 0 245.21/66.33 ( 245.21/66.33 1(2(1(1(0(2(2(0(2(x1)))))))))))))))))))))))))))))))))))))))))))))) 245.21/66.33 0(1(1(0(1(0(2(0(0(1(0(2(0(1(1(0(1(2(1(0(0(1(0(0(0(1(2(2(2(0(2(2(2(0( 245.21/66.33 2 245.21/66.33 ( 245.21/66.33 0(2(1(1(0(2(1(2(0(x1)))))))))))))))))))))))))))))))))))))))))))) 245.21/66.33 -> 245.21/66.33 2(2(2(0(2(0(1(2(2(2(1(1(2(1(2(2(2(1(1(1(2(0(2(1(2(1(0(2(2(2(1(2(2(0( 245.21/66.33 0 245.21/66.33 ( 245.21/66.33 1 245.21/66.33 ( 245.21/66.33 0 245.21/66.33 ( 245.21/66.33 2 245.21/66.33 ( 245.21/66.33 1 245.21/66.33 ( 245.21/66.33 1(0(2(0(2(2(2(1(0(x1)))))))))))))))))))))))))))))))))))))))))))))))) 245.21/66.33 0(2(0(0(0(0(1(1(0(0(1(0(0(1(2(0(0(0(1(2(0(1(1(1(2(1(2(2(0(0(2(0(1(0( 245.21/66.33 0 245.21/66.33 ( 245.21/66.33 0(1(1(2(0(0(2(0(2(x1)))))))))))))))))))))))))))))))))))))))))))) 245.21/66.33 -> 245.21/66.33 1(1(0(1(0(0(0(2(1(1(0(1(1(2(1(2(1(2(2(1(1(1(0(2(1(0(2(2(1(0(1(0(0(2( 245.21/66.33 0 245.21/66.33 ( 245.21/66.33 1 245.21/66.33 ( 245.21/66.33 1 245.21/66.33 ( 245.21/66.33 1(2(1(0(0(0(0(0(2(x1)))))))))))))))))))))))))))))))))))))))))))))) 245.21/66.33 2(0(2(0(1(2(2(0(1(0(1(0(1(1(2(0(0(0(1(2(2(0(1(0(1(1(2(0(0(1(1(2(2(1( 245.21/66.33 1 245.21/66.33 ( 245.21/66.33 0(0(2(0(0(1(1(2(0(x1)))))))))))))))))))))))))))))))))))))))))))) 245.21/66.33 -> 245.21/66.33 1(1(0(0(1(2(1(0(0(2(2(0(2(1(0(2(2(0(2(2(0(1(1(2(2(2(2(1(2(1(1(1(2(2( 245.21/66.33 1 245.21/66.33 ( 245.21/66.33 0 245.21/66.33 ( 245.21/66.33 1 245.21/66.33 ( 245.21/66.33 2 245.21/66.33 ( 245.21/66.33 1 245.21/66.33 ( 245.21/66.33 2 245.21/66.33 ( 245.21/66.33 1 245.21/66.33 ( 245.21/66.33 2(0(0(0(0(1(1(2(1(x1)))))))))))))))))))))))))))))))))))))))))))))))))) 245.21/66.33 2(2(0(1(1(1(1(2(2(1(0(1(2(2(0(0(1(2(1(0(2(1(1(1(1(0(1(2(1(1(1(1(0(1( 245.21/66.33 1 245.21/66.33 ( 245.21/66.33 1(0(1(0(2(0(0(1(0(x1)))))))))))))))))))))))))))))))))))))))))))) 245.21/66.33 -> 245.21/66.33 2(2(2(0(0(1(1(0(0(1(0(1(2(1(2(1(0(1(2(0(0(2(2(0(2(0(2(2(1(1(2(1(2(1( 245.21/66.33 0 245.21/66.33 ( 245.21/66.33 1 245.21/66.33 ( 245.21/66.33 2 245.21/66.33 ( 245.21/66.33 0 245.21/66.33 ( 245.21/66.33 0 245.21/66.33 ( 245.21/66.33 0(2(1(2(1(0(1(2(1(x1)))))))))))))))))))))))))))))))))))))))))))))))) 245.21/66.33 0(0(1(1(2(2(2(1(1(2(1(2(1(0(1(0(1(1(0(1(1(1(2(0(0(1(0(0(1(2(1(0(0(1( 245.21/66.33 0 245.21/66.33 ( 245.21/66.33 1 245.21/66.33 ( 245.21/66.33 0(0(2(0(0(0(0(2(0(x1))))))))))))))))))))))))))))))))))))))))))))) 245.21/66.33 -> 245.21/66.33 0(2(0(2(1(0(0(1(2(1(1(1(2(2(1(0(0(1(2(2(0(2(2(2(1(1(0(1(2(1(0(2(0(0( 245.21/66.33 0 245.21/66.33 ( 245.21/66.33 0 245.21/66.33 ( 245.21/66.33 1 245.21/66.33 ( 245.21/66.33 1(1(2(2(2(0(2(1(1(x1)))))))))))))))))))))))))))))))))))))))))))))) 245.21/66.33 1(1(1(1(2(2(1(1(2(2(0(1(1(1(0(1(1(1(0(2(1(2(1(0(0(1(0(2(2(0(2(1(1(1( 245.21/66.33 1 245.21/66.33 ( 245.21/66.33 2 245.21/66.33 ( 245.21/66.33 0(0(2(2(0(2(2(1(1(x1))))))))))))))))))))))))))))))))))))))))))))) 245.21/66.33 -> 245.21/66.33 1(0(1(2(2(2(2(2(1(2(0(1(2(0(2(0(1(2(2(1(1(2(1(0(2(1(2(1(1(1(0(0(1(2( 245.21/66.33 2 245.21/66.33 ( 245.21/66.33 1 245.21/66.33 ( 245.21/66.33 1 245.21/66.33 ( 245.21/66.33 0(1(2(2(2(0(0(0(1(x1)))))))))))))))))))))))))))))))))))))))))))))) 245.21/66.33 2(0(2(2(2(1(2(0(2(1(0(0(0(1(1(1(1(0(0(1(1(1(0(1(1(0(2(2(1(2(1(2(2(1( 245.21/66.33 1 245.21/66.33 ( 245.21/66.33 0 245.21/66.33 ( 245.21/66.33 0(0(0(2(2(2(2(1(1(x1))))))))))))))))))))))))))))))))))))))))))))) 245.21/66.33 -> 245.21/66.33 2(1(1(2(2(1(1(0(2(1(2(1(0(2(2(1(0(1(0(0(2(1(2(1(0(1(0(0(2(1(1(0(2(2( 245.21/66.33 0 245.21/66.33 ( 245.21/66.33 0 245.21/66.33 ( 245.21/66.33 0 245.21/66.33 ( 245.21/66.33 2(2(0(2(1(1(2(1(1(x1)))))))))))))))))))))))))))))))))))))))))))))) 245.21/66.33 1(0(0(1(2(0(1(1(2(1(0(0(1(1(0(2(0(0(0(2(1(0(1(0(1(2(2(0(0(0(2(1(0(0( 245.21/66.33 2 245.21/66.33 ( 245.21/66.33 1 245.21/66.33 ( 245.21/66.33 2 245.21/66.33 ( 245.21/66.33 0(0(1(0(2(2(0(0(0(x1)))))))))))))))))))))))))))))))))))))))))))))) 245.21/66.33 -> 245.21/66.33 1(1(1(0(1(0(1(2(1(2(2(2(1(1(2(1(0(0(0(2(1(0(1(0(0(2(0(0(2(2(0(1(2(2( 245.21/66.33 0 245.21/66.33 ( 245.21/66.33 1 245.21/66.33 ( 245.21/66.33 2 245.21/66.33 ( 245.21/66.33 1 245.21/66.33 ( 245.21/66.33 2 245.21/66.33 ( 245.21/66.33 2 245.21/66.33 ( 245.21/66.33 1(0(1(1(1(2(1(0(0(x1))))))))))))))))))))))))))))))))))))))))))))))))) 245.21/66.33 1(1(0(1(1(0(0(2(2(0(2(1(1(0(1(0(2(1(1(0(0(0(0(2(1(0(2(1(2(1(2(2(1(2( 245.21/66.33 1 245.21/66.33 ( 245.21/66.33 0 245.21/66.33 ( 245.21/66.33 2 245.21/66.33 ( 245.21/66.33 2(1(0(1(0(1(2(0(1(x1)))))))))))))))))))))))))))))))))))))))))))))) 245.21/66.33 -> 245.21/66.33 1(0(0(1(0(0(2(2(2(2(1(0(1(1(1(1(2(1(1(1(2(2(1(2(1(0(0(1(0(1(0(2(1(0( 245.21/66.33 2 245.21/66.33 ( 245.21/66.33 1 245.21/66.33 ( 245.21/66.33 0 245.21/66.33 ( 245.21/66.33 1 245.21/66.33 ( 245.21/66.33 1(2(1(2(2(1(2(1(1(x1))))))))))))))))))))))))))))))))))))))))))))))) 245.21/66.33 1(2(1(0(0(1(0(2(2(2(0(1(1(0(1(2(0(2(2(2(0(2(0(1(0(0(0(2(1(1(1(0(0(0( 245.21/66.33 0 245.21/66.34 ( 245.21/66.34 0 245.21/66.34 ( 245.21/66.34 0 245.21/66.34 ( 245.21/66.34 2(0(2(2(1(1(0(2(2(x1)))))))))))))))))))))))))))))))))))))))))))))) 245.21/66.34 -> 245.21/66.34 1(0(0(2(0(0(0(2(0(0(2(1(2(1(1(0(2(1(2(2(0(1(1(0(2(0(1(2(1(0(0(0(0(1( 245.21/66.34 0 245.21/66.34 ( 245.21/66.34 1 245.21/66.34 ( 245.21/66.34 1 245.21/66.34 ( 245.21/66.34 1 245.21/66.34 ( 245.21/66.34 2(1(2(1(2(0(2(2(0(x1))))))))))))))))))))))))))))))))))))))))))))))) 245.21/66.34 2(2(2(0(1(2(2(1(2(2(1(2(0(1(1(1(2(2(2(0(0(1(1(0(2(1(2(2(0(2(2(2(2(1( 245.21/66.34 1 245.21/66.34 ( 245.21/66.34 2 245.21/66.34 ( 245.21/66.34 0 245.21/66.34 ( 245.21/66.34 1(1(0(2(1(0(2(1(0(x1)))))))))))))))))))))))))))))))))))))))))))))) 245.21/66.34 -> 245.21/66.34 1(2(1(0(0(1(1(0(0(1(2(2(2(2(2(2(2(1(1(1(0(0(2(1(0(1(0(1(1(0(1(2(0(2( 245.21/66.34 0 245.21/66.34 ( 245.21/66.34 2 245.21/66.34 ( 245.21/66.34 0 245.21/66.34 ( 245.21/66.34 2 245.21/66.34 ( 245.21/66.34 0(0(0(1(2(1(1(2(1(x1))))))))))))))))))))))))))))))))))))))))))))))) 245.21/66.34 2(0(2(0(2(2(2(0(1(1(1(0(0(0(2(0(2(2(1(1(1(1(1(2(0(2(0(0(2(1(1(2(2(1( 245.21/66.34 1 245.21/66.34 ( 245.21/66.34 0 245.21/66.34 ( 245.21/66.34 1 245.21/66.34 ( 245.21/66.34 1 245.21/66.34 ( 245.21/66.34 2(0(0(2(2(1(1(2(0(x1))))))))))))))))))))))))))))))))))))))))))))))) 245.21/66.34 -> 245.21/66.34 1(2(1(1(1(2(1(0(1(0(0(0(0(1(1(0(2(2(0(2(2(2(1(2(0(2(0(2(2(0(1(2(2(2( 245.21/66.34 1 245.21/66.34 ( 245.21/66.34 0 245.21/66.34 ( 245.21/66.34 0 245.21/66.34 ( 245.21/66.34 1 245.21/66.34 ( 245.21/66.34 2(1(0(1(2(2(1(1(0(x1))))))))))))))))))))))))))))))))))))))))))))))) 245.21/66.34 0(1(0(2(2(0(0(2(2(1(2(1(0(1(2(0(0(2(2(1(0(2(1(1(0(0(0(1(1(2(2(0(0(1( 245.21/66.34 0 245.21/66.34 ( 245.21/66.34 1 245.21/66.34 ( 245.21/66.34 0 245.21/66.34 ( 245.21/66.34 1 245.21/66.34 ( 245.21/66.34 1 245.21/66.34 ( 245.21/66.34 1(0(1(1(0(0(2(2(0(x1)))))))))))))))))))))))))))))))))))))))))))))))) 245.21/66.34 -> 245.21/66.34 1(0(1(0(1(2(0(0(2(2(0(1(1(2(2(1(1(2(1(2(0(0(0(1(2(0(0(0(0(0(0(2(2(1( 245.21/66.34 0 245.21/66.34 ( 245.21/66.34 1 245.21/66.34 ( 245.21/66.34 0 245.21/66.34 ( 245.21/66.34 2 245.21/66.34 ( 245.21/66.34 1 245.21/66.34 ( 245.21/66.34 1 245.21/66.34 ( 245.21/66.34 2(1(2(0(2(1(0(0(1(x1))))))))))))))))))))))))))))))))))))))))))))))))) 245.21/66.34 2(2(1(2(0(0(2(0(0(0(0(1(2(2(2(0(1(0(0(0(2(0(0(2(1(0(0(0(2(2(0(1(0(1( 245.21/66.34 0 245.21/66.34 ( 245.21/66.34 1 245.21/66.34 ( 245.21/66.34 0 245.21/66.34 ( 245.21/66.34 1 245.21/66.34 ( 245.21/66.34 2 245.21/66.34 ( 245.21/66.34 2(2(0(1(1(1(0(2(2(x1)))))))))))))))))))))))))))))))))))))))))))))))) 245.21/66.34 -> 245.21/66.34 2(0(2(1(0(2(2(1(2(0(2(2(0(2(0(2(0(0(0(2(1(2(0(2(2(2(1(1(1(2(2(0(0(0( 245.21/66.34 0 245.21/66.34 ( 245.21/66.34 2 245.21/66.34 ( 245.21/66.34 1 245.21/66.34 ( 245.21/66.34 1 245.21/66.34 ( 245.21/66.34 2 245.21/66.34 ( 245.21/66.34 2 245.21/66.34 ( 245.21/66.34 1(2(2(1(2(2(1(0(2(x1))))))))))))))))))))))))))))))))))))))))))))))))) 245.21/66.34 245.21/66.34 Proof: 245.21/66.34 Open 245.21/66.34 EOF