MAYBE 245.10/66.57 MAYBE 245.10/66.58 245.10/66.58 Problem: 245.10/66.58 0(0(0(0(0(1(1(2(x1)))))))) -> 2(1(1(1(1(2(1(1(1(2(x1)))))))))) 245.10/66.58 0(0(2(2(1(2(0(0(2(x1))))))))) -> 2(1(2(2(2(1(2(0(0(2(x1)))))))))) 245.10/66.58 0(1(2(0(1(1(0(2(1(2(0(x1))))))))))) -> 2(0(2(0(0(1(1(2(1(1(0(0(x1)))))))))))) 245.10/66.58 0(2(0(1(2(0(1(1(2(0(2(1(x1)))))))))))) -> 0(1(2(1(2(1(2(2(0(0(1(0(x1)))))))))))) 245.10/66.58 0(1(2(1(1(0(2(0(1(0(1(0(1(2(x1)))))))))))))) -> 2(2(2(1(0(1(1(1(1(1(2(1(2(2(0(x1))))))))))))))) 245.10/66.58 0(2(1(2(2(1(1(2(0(2(0(2(1(1(1(x1))))))))))))))) -> 0(1(2(1(1(0(0(2(2(2(2(1(1(1(2(x1))))))))))))))) 245.10/66.58 2(2(2(0(1(0(0(2(2(2(0(0(2(1(0(1(x1)))))))))))))))) -> 245.10/66.58 2(1(2(2(1(2(1(2(1(1(2(1(2(2(1(2(0(x1))))))))))))))))) 245.10/66.58 0(2(0(2(0(0(0(0(2(2(2(2(2(2(2(0(2(x1))))))))))))))))) -> 245.10/66.58 0(1(1(1(2(1(2(2(1(2(1(0(2(0(0(0(0(2(0(x1))))))))))))))))))) 245.10/66.58 1(0(1(1(2(2(1(2(0(2(2(1(2(1(0(1(2(x1))))))))))))))))) -> 245.10/66.58 2(0(0(0(0(1(2(2(1(1(2(1(1(1(2(0(2(1(x1)))))))))))))))))) 245.10/66.58 2(0(1(2(0(0(0(0(2(2(0(2(1(0(0(0(2(0(x1)))))))))))))))))) -> 245.10/66.58 2(0(2(2(1(0(0(2(2(0(0(0(1(0(0(0(2(0(x1)))))))))))))))))) 245.10/66.58 2(0(2(0(2(0(2(1(2(2(1(0(1(2(2(1(1(2(x1)))))))))))))))))) -> 245.10/66.58 2(0(1(1(0(0(1(2(2(0(2(1(2(1(1(2(1(2(1(2(x1)))))))))))))))))))) 245.10/66.58 0(1(2(1(1(0(0(0(2(1(1(2(2(1(0(0(1(1(0(x1))))))))))))))))))) -> 245.10/66.58 1(2(1(2(1(2(0(1(2(0(0(0(2(0(2(0(2(0(0(0(x1)))))))))))))))))))) 245.10/66.58 1(0(2(2(0(0(0(0(1(0(2(0(0(1(1(0(2(0(1(x1))))))))))))))))))) -> 245.10/66.58 1(2(2(1(2(1(2(0(1(1(0(2(0(0(2(0(0(1(1(0(x1)))))))))))))))))))) 245.10/66.58 1(1(1(0(1(0(0(1(2(2(2(1(0(2(1(0(1(1(2(x1))))))))))))))))))) -> 245.10/66.58 1(2(2(0(2(2(2(1(1(2(1(2(2(1(1(2(1(2(2(2(2(2(1(x1))))))))))))))))))))))) 245.10/66.58 1(1(1(2(2(2(2(1(0(2(0(2(2(0(1(1(1(0(1(x1))))))))))))))))))) -> 245.10/66.58 2(2(1(2(2(2(2(1(2(2(1(1(1(2(1(2(2(1(0(2(0(1(1(0(x1)))))))))))))))))))))))) 245.10/66.58 0(1(1(0(1(1(0(2(2(0(1(2(1(0(2(0(2(0(2(0(x1)))))))))))))))))))) -> 245.10/66.58 0(1(1(2(2(1(1(2(1(0(2(0(0(1(0(0(2(0(2(0(x1)))))))))))))))))))) 245.10/66.58 1(1(2(0(2(0(2(2(0(1(1(2(0(2(0(0(0(1(2(1(x1)))))))))))))))))))) -> 245.10/66.58 2(1(1(2(1(0(2(1(1(1(0(1(1(2(1(2(0(2(2(1(1(x1))))))))))))))))))))) 245.10/66.58 2(0(2(1(0(1(2(0(1(1(0(2(2(0(2(0(2(0(0(2(x1)))))))))))))))))))) -> 245.10/66.58 2(2(1(0(0(2(2(1(2(0(2(2(0(2(1(1(2(2(1(2(0(x1))))))))))))))))))))) 245.10/66.58 2(1(0(2(0(0(0(2(1(0(1(0(2(0(2(1(0(1(1(0(x1)))))))))))))))))))) -> 245.10/66.59 2(0(1(0(2(0(0(1(1(1(1(2(1(0(2(0(0(2(0(0(x1)))))))))))))))))))) 245.10/66.59 1(2(1(1(0(1(2(0(1(0(1(1(2(1(0(0(0(2(1(2(0(x1))))))))))))))))))))) -> 245.10/66.59 1(1(1(1(1(2(2(1(2(0(2(1(0(0(2(0(2(2(0(0(2(0(2(0(0(x1))))))))))))))))))))))))) 245.10/66.59 1(0(2(2(0(1(1(1(2(1(0(2(2(0(1(0(2(1(0(0(1(1(x1)))))))))))))))))))))) -> 245.10/66.59 2(2(1(2(1(2(1(1(1(1(2(1(2(0(2(1(0(0(0(0(1(2(1(0(2(1(x1)))))))))))))))))))))))))) 245.10/66.59 1(2(2(2(1(1(0(0(2(1(0(2(0(0(2(1(1(0(2(1(0(1(2(2(x1)))))))))))))))))))))))) -> 245.10/66.59 1(1(2(1(2(1(2(0(1(1(2(1(1(1(2(2(1(1(1(2(1(0(1(0(2(2(2(0(2(1(0(x1))))))))))))))))))))))))))))))) 245.10/66.59 2(0(1(0(1(2(2(2(2(1(1(1(0(2(2(1(2(1(1(1(2(2(0(2(x1)))))))))))))))))))))))) -> 245.10/66.59 2(2(1(2(2(1(2(0(2(1(0(2(1(2(0(0(1(2(2(1(2(1(0(1(0(x1))))))))))))))))))))))))) 245.10/66.59 0(0(2(1(2(2(1(0(2(0(0(0(0(2(2(2(1(2(1(2(2(0(2(1(2(0(x1)))))))))))))))))))))))))) -> 245.10/66.59 2(2(1(0(0(2(0(0(1(2(1(1(1(2(1(2(2(1(2(2(2(1(2(2(1(1(0(0(x1)))))))))))))))))))))))))))) 245.10/66.59 1(1(1(2(1(0(2(1(2(1(0(1(1(1(2(2(0(1(1(0(1(1(1(0(2(2(1(2(x1)))))))))))))))))))))))))))) -> 245.10/66.59 1(2(2(2(1(1(1(2(2(0(0(2(2(1(0(2(1(0(2(0(1(2(0(0(0(2(0(0(1(x1))))))))))))))))))))))))))))) 245.10/66.59 0(0(2(0(0(0(0(2(2(0(1(2(0(1(1(1(1(0(0(2(0(1(2(2(2(2(2(0(1(x1))))))))))))))))))))))))))))) -> 245.10/66.59 0(0(1(0(1(0(1(1(0(1(2(0(2(2(0(2(0(0(0(2(2(2(2(0(1(2(1(2(0(1(x1)))))))))))))))))))))))))))))) 245.10/66.59 0(2(2(2(2(1(1(0(0(0(0(1(1(0(1(0(1(2(1(0(2(2(0(0(0(1(0(2(0(2(x1)))))))))))))))))))))))))))))) -> 245.10/66.59 2(0(1(2(1(2(2(0(1(1(2(0(1(1(0(1(0(2(2(1(1(1(2(1(2(1(1(1(2(0(1(0(x1)))))))))))))))))))))))))))))))) 245.10/66.59 2(2(0(2(1(0(1(2(2(0(0(1(0(0(0(0(1(1(2(2(2(0(2(1(2(2(0(2(2(0(1(x1))))))))))))))))))))))))))))))) -> 245.10/66.59 1(1(1(2(2(1(2(1(2(0(0(1(1(2(2(2(0(2(0(1(2(0(0(0(2(2(2(2(1(1(2(1(2(0(0(0(x1)))))))))))))))))))))))))))))))))))) 245.10/66.59 2(2(2(0(2(1(0(1(2(2(2(1(1(1(0(0(0(0(1(0(1(1(1(2(0(2(1(0(0(0(1(2(x1)))))))))))))))))))))))))))))))) 245.10/66.59 -> 245.10/66.59 2(0(1(1(2(0(2(2(1(1(1(2(1(2(2(0(2(1(0(0(2(1(1(0(1(2(1(1(0(2(1(1(0(2(1(x1))))))))))))))))))))))))))))))))))) 245.10/66.59 1(1(1(0(1(2(0(2(0(1(1(2(0(1(2(1(2(2(2(0(0(1(1(0(1(2(2(2(0(0(0(2(0(x1))))))))))))))))))))))))))))))))) 245.10/66.59 -> 245.10/66.59 1(0(2(2(2(1(2(0(2(1(0(1(0(1(0(1(2(1(2(1(1(0(0(2(1(1(1(2(2(2(1(2(1(2(0(x1))))))))))))))))))))))))))))))))))) 245.51/66.60 0(1(0(0(1(2(2(0(0(2(0(0(1(2(0(1(2(1(1(0(0(0(1(2(0(2(2(0(0(2(0(2(0(0(1(x1))))))))))))))))))))))))))))))))))) 245.51/66.60 -> 245.51/66.60 1(0(2(0(2(2(1(0(0(2(0(0(0(0(2(1(2(1(0(0(0(0(1(1(0(2(2(1(0(2(0(2(0(0(1(x1))))))))))))))))))))))))))))))))))) 245.51/66.60 1(0(2(2(0(1(2(0(1(0(1(0(2(1(1(0(2(0(1(2(2(0(1(0(1(0(1(2(0(1(1(0(1(1(2(x1))))))))))))))))))))))))))))))))))) 245.51/66.60 -> 245.51/66.60 2(1(0(2(1(0(2(1(2(0(1(1(2(2(2(0(0(2(2(2(0(0(2(0(0(2(0(0(2(1(1(1(2(1(2(0(2(2(1(x1))))))))))))))))))))))))))))))))))))))) 245.51/66.60 1(0(2(2(0(1(2(0(1(1(1(1(1(2(0(1(0(0(0(0(0(1(0(2(1(1(1(1(0(2(1(0(0(2(1(x1))))))))))))))))))))))))))))))))))) 245.51/66.60 -> 245.51/66.60 0(1(1(1(2(1(2(1(1(2(2(1(2(1(2(0(1(2(0(1(1(2(0(0(0(2(0(1(2(1(2(2(1(2( 245.51/66.60 2 245.51/66.60 ( 245.51/66.60 2 245.51/66.60 ( 245.51/66.60 0(0(2(1(0(2(0(0(1(x1))))))))))))))))))))))))))))))))))))))))))))) 245.51/66.60 1(2(0(0(2(0(0(2(1(1(1(0(2(1(2(1(0(0(2(1(0(0(1(2(2(1(2(1(1(2(2(0(1(2(1(1(x1)))))))))))))))))))))))))))))))))))) 245.51/66.60 -> 245.51/66.60 2(2(2(1(2(2(0(0(2(0(0(1(1(1(2(2(1(2(0(1(2(0(1(1(1(2(0(1(2(2(1(2(1(2(1(1(1(2(x1)))))))))))))))))))))))))))))))))))))) 245.51/66.60 1(2(2(0(0(0(2(1(0(0(1(1(2(0(2(2(0(2(0(1(0(2(2(2(0(2(1(0(1(1(2(2(0(1(1(0(x1)))))))))))))))))))))))))))))))))))) 245.51/66.60 -> 245.51/66.60 1(2(2(2(1(0(0(2(1(0(1(1(0(2(1(0(0(0(2(0(0(1(1(1(1(2(2(2(2(1(1(2(1(2(0(2(0(2(0(0(x1)))))))))))))))))))))))))))))))))))))))) 245.51/66.60 0(0(0(0(1(0(0(0(1(2(0(1(1(0(1(2(2(1(1(2(2(1(1(2(0(2(1(1(2(2(0(2(1(2(2(2(2(x1))))))))))))))))))))))))))))))))))))) 245.51/66.60 -> 245.51/66.60 0(0(0(1(2(0(2(1(1(2(2(0(0(2(2(1(2(1(2(1(2(1(1(0(0(0(1(0(1(0(2(2(2(2(1(0(1(2(x1)))))))))))))))))))))))))))))))))))))) 245.51/66.60 0(1(1(0(0(1(2(0(2(0(1(0(2(0(2(2(2(2(2(1(0(2(0(1(1(0(2(0(1(0(1(0(2(0(0(0(2(x1))))))))))))))))))))))))))))))))))))) 245.51/66.60 -> 245.51/66.60 2(0(1(0(0(2(0(2(1(2(2(2(0(0(0(0(1(2(2(1(2(2(1(2(1(2(1(2(2(2(1(0(2(1(2(1(1(1(0(0(2(x1))))))))))))))))))))))))))))))))))))))))) 245.51/66.60 1(2(1(0(0(2(1(2(0(2(2(2(2(0(2(1(1(2(0(2(2(2(1(0(2(1(1(0(2(2(1(0(1(2(1(2(2(x1))))))))))))))))))))))))))))))))))))) 245.51/66.60 -> 245.51/66.60 2(1(2(2(1(0(2(2(0(1(1(2(2(1(2(1(2(0(0(2(2(2(1(0(2(1(1(2(0(1(2(1(1(1(1(2(2(1(2(1(2(2(x1)))))))))))))))))))))))))))))))))))))))))) 245.51/66.60 2(0(0(2(1(2(0(2(0(0(0(0(1(0(1(2(2(1(1(1(1(2(1(0(0(1(2(1(2(0(1(0(0(2(2(2(2(x1))))))))))))))))))))))))))))))))))))) 245.51/66.60 -> 245.51/66.60 1(2(1(2(0(0(2(2(1(2(1(1(1(2(1(2(2(2(1(0(0(0(2(1(2(1(2(0(1(1(0(1(2(0(2(1(0(2(x1)))))))))))))))))))))))))))))))))))))) 245.51/66.60 0(0(2(2(1(1(1(2(0(1(1(0(1(2(0(2(0(1(1(0(0(0(1(0(2(0(2(2(1(2(0(2(2(0(0(2(1(2(x1)))))))))))))))))))))))))))))))))))))) 245.51/66.60 -> 245.51/66.60 1(0(1(0(2(2(1(2(0(1(1(2(1(1(1(1(2(2(0(2(1(1(1(1(2(1(0(2(0(1(0(2(1(0(1(2(1(1(1(2(2(1(2(x1))))))))))))))))))))))))))))))))))))))))))) 245.51/66.60 1(0(2(2(2(0(0(2(0(0(1(1(2(2(0(2(0(0(1(2(2(0(0(1(0(2(2(1(2(2(0(1(1(0(0(0(2(0(x1)))))))))))))))))))))))))))))))))))))) 245.51/66.60 -> 245.51/66.60 1(2(0(1(1(1(1(1(1(2(1(2(2(1(2(0(1(0(2(0(0(0(0(0(2(0(2(0(0(0(2(2(0(1(0(1(0(2(1(0(0(x1))))))))))))))))))))))))))))))))))))))))) 245.51/66.60 0(0(1(0(0(0(0(0(2(2(2(2(2(0(1(0(1(1(2(1(1(2(0(0(1(2(0(2(2(2(2(1(2(0(1(0(1(2(1(x1))))))))))))))))))))))))))))))))))))))) 245.51/66.60 -> 245.51/66.60 1(1(1(0(1(0(2(1(1(1(1(2(2(2(2(1(2(2(1(2(1(2(1(1(1(0(0(0(2(1(1(0(2(0(0(1(2(0(1(2(x1)))))))))))))))))))))))))))))))))))))))) 245.51/66.60 2(0(2(0(0(0(0(0(2(0(0(2(0(0(2(0(0(2(1(1(2(2(0(2(0(1(2(1(2(1(1(1(1(2(1(1(0(1(1(x1))))))))))))))))))))))))))))))))))))))) 245.51/66.60 -> 245.51/66.60 2(1(2(1(2(2(0(1(2(2(1(1(1(2(0(1(1(2(0(1(1(1(1(1(0(0(0(2(1(2(0(1(1(2(0(1(0(2(0(1(x1)))))))))))))))))))))))))))))))))))))))) 245.51/66.60 1(1(0(1(2(0(0(0(1(0(0(0(0(2(1(2(1(1(2(0(2(0(0(1(0(1(0(0(2(1(0(0(1(0(0(0(2(0(1(0(x1)))))))))))))))))))))))))))))))))))))))) 245.51/66.60 -> 245.51/66.60 0(0(1(0(0(0(0(2(0(0(0(2(1(1(2(0(1(0(0(0(1(2(1(0(0(2(2(1(1(2(0(1(1(0(2(1(1(1(2(1(0(x1))))))))))))))))))))))))))))))))))))))))) 245.51/66.60 1(1(1(0(2(1(0(1(1(1(1(0(0(1(2(0(0(0(2(2(1(1(2(0(2(2(2(1(1(1(1(0(1(0(0(2(0(2(2(2(x1)))))))))))))))))))))))))))))))))))))))) 245.51/66.60 -> 245.51/66.60 1(1(0(2(2(1(1(1(1(1(0(1(1(2(1(2(0(1(1(0(1(1(0(1(2(1(2(1(1(1(0(2(1(1(1(0(0(2(1(1(0(x1))))))))))))))))))))))))))))))))))))))))) 245.51/66.60 1(1(2(0(0(2(2(1(2(2(2(1(2(1(0(2(2(2(0(2(2(1(0(0(2(0(1(0(0(0(2(1(1(1(0(1(1(0(0(2(x1)))))))))))))))))))))))))))))))))))))))) 245.51/66.61 -> 245.51/66.61 2(1(1(1(1(2(2(1(1(1(2(0(0(1(2(2(2(0(2(0(1(2(0(1(0(0(2(2(1(2(0(2(1(0(0(1(1(1(1(1(0(x1))))))))))))))))))))))))))))))))))))))))) 245.51/66.61 1(0(0(2(2(2(0(0(0(1(2(0(0(2(0(0(0(1(1(2(0(0(1(2(1(0(0(0(0(1(2(2(0(2(2(0(1(1(0(1(2(x1))))))))))))))))))))))))))))))))))))))))) 245.51/66.61 -> 245.51/66.61 0(1(1(0(1(0(1(1(0(2(1(2(1(2(1(2(2(0(0(1(2(2(2(2(1(1(2(1(1(2(2(1(2(0( 245.51/66.61 0 245.51/66.61 ( 245.51/66.61 0 245.51/66.61 ( 245.51/66.61 1(2(2(0(2(1(1(0(2(x1))))))))))))))))))))))))))))))))))))))))))))) 245.51/66.61 1(0(1(2(2(1(2(0(1(2(1(1(0(1(1(1(0(1(2(2(1(0(0(2(2(0(2(0(1(0(0(2(0(1(2(0(2(2(2(0(1(x1))))))))))))))))))))))))))))))))))))))))) 245.51/66.61 -> 245.51/66.61 1(1(2(1(0(1(1(2(0(0(0(0(1(2(1(2(1(0(1(2(1(2(0(1(2(0(1(2(1(1(2(2(1(1( 245.51/66.61 1 245.51/66.61 ( 245.51/66.61 2 245.51/66.61 ( 245.51/66.61 2(1(1(1(1(0(2(2(1(x1))))))))))))))))))))))))))))))))))))))))))))) 245.51/66.61 0(0(1(0(0(2(0(0(2(1(0(2(0(2(1(0(0(1(0(0(0(1(0(0(1(0(2(2(2(1(0(0(0(1(1(1(1(2(0(1(0(0(x1)))))))))))))))))))))))))))))))))))))))))) 245.51/66.61 -> 245.51/66.61 1(2(0(1(1(0(2(2(1(2(1(1(2(1(2(0(1(1(0(0(1(1(2(0(0(2(2(0(0(2(2(1(0(2(1(0(0(0(0(2(1(1(0(x1))))))))))))))))))))))))))))))))))))))))))) 245.51/66.61 0(1(1(1(0(1(2(2(1(0(1(0(1(2(0(0(0(0(0(1(2(0(0(0(0(1(0(0(0(1(0(1(2(2(2(0(2(2(0(1(2(2(x1)))))))))))))))))))))))))))))))))))))))))) 245.51/66.61 -> 245.51/66.61 0(0(2(1(2(1(0(1(0(0(0(1(1(2(2(1(2(1(1(1(2(0(1(1(0(2(0(0(2(1(0(2(2(1(1(1(0(0(2(0(2(2(2(x1))))))))))))))))))))))))))))))))))))))))))) 245.51/66.61 1(1(0(1(1(0(1(1(0(0(2(2(1(0(0(0(1(1(0(1(0(0(0(2(2(1(1(1(0(2(0(0(1(1(0(1(1(1(0(0(1(2(x1)))))))))))))))))))))))))))))))))))))))))) 245.51/66.61 -> 245.51/66.61 2(0(1(1(2(2(2(2(2(2(1(2(2(2(1(2(0(1(0(1(1(0(0(0(2(2(0(0(2(2(2(0(2(1( 245.51/66.61 0 245.51/66.61 ( 245.51/66.61 1(1(1(1(0(1(1(0(0(x1)))))))))))))))))))))))))))))))))))))))))))) 245.51/66.61 2(2(2(1(2(0(2(2(0(1(2(2(2(1(1(0(1(1(2(1(0(2(1(1(1(0(0(0(2(1(1(0(2(2(0(1(2(1(0(2(1(0(x1)))))))))))))))))))))))))))))))))))))))))) 245.51/66.61 -> 245.51/66.61 1(1(2(2(2(1(2(1(0(2(0(0(1(0(2(1(1(1(2(2(1(2(0(0(1(0(0(2(0(2(2(1(0(1(0(0(0(2(2(2(0(0(0(x1))))))))))))))))))))))))))))))))))))))))))) 245.51/66.61 0(1(1(0(0(2(2(2(0(1(2(2(0(1(1(0(1(1(1(0(0(1(1(0(2(0(0(0(2(2(1(2(1(1(1(2(2(1(1(2(0(1(2(x1))))))))))))))))))))))))))))))))))))))))))) 245.51/66.61 -> 245.51/66.61 1(2(1(2(0(1(1(2(0(0(0(1(0(1(0(1(2(1(2(2(0(1(2(1(2(1(1(0(0(2(2(2(2(2( 245.51/66.61 1 245.51/66.61 ( 245.51/66.61 1 245.51/66.61 ( 245.51/66.61 1 245.51/66.61 ( 245.51/66.61 2(1(1(1(2(2(1(2(0(x1)))))))))))))))))))))))))))))))))))))))))))))) 245.51/66.61 1(1(2(2(0(2(0(0(0(2(1(0(0(1(0(1(0(2(2(1(1(0(2(2(0(2(2(1(1(0(2(2(1(2(0(0(0(1(1(2(1(1(2(x1))))))))))))))))))))))))))))))))))))))))))) 245.51/66.61 -> 245.51/66.61 2(0(2(0(1(2(2(1(2(1(1(2(1(2(1(2(0(1(0(0(2(2(2(1(1(2(2(2(1(1(0(0(2(2( 245.51/66.61 2 245.51/66.61 ( 245.51/66.61 1 245.51/66.61 ( 245.51/66.61 1 245.51/66.61 ( 245.51/66.61 1 245.51/66.61 ( 245.51/66.61 2(0(1(2(0(1(1(1(2(x1))))))))))))))))))))))))))))))))))))))))))))))) 245.51/66.61 2(0(0(2(2(0(2(1(2(2(0(2(0(2(2(1(0(2(1(2(1(0(0(1(2(2(2(2(0(0(0(2(1(0(1(1(0(2(0(1(1(1(0(x1))))))))))))))))))))))))))))))))))))))))))) 245.51/66.61 -> 245.51/66.61 1(2(2(1(2(1(2(2(1(1(2(2(2(1(2(0(2(0(0(1(2(0(2(2(0(1(1(1(2(1(0(1(0(2( 245.51/66.61 2 245.51/66.61 ( 245.51/66.61 1 245.51/66.61 ( 245.51/66.61 2 245.51/66.61 ( 245.51/66.61 0 245.51/66.61 ( 245.51/66.61 1(1(0(2(1(2(0(1(0(x1))))))))))))))))))))))))))))))))))))))))))))))) 245.51/66.61 2(0(1(2(1(2(1(1(0(0(2(0(2(0(1(2(2(1(2(2(2(1(2(1(2(0(0(1(0(0(2(0(1(1(0(0(1(1(1(2(0(2(0(x1))))))))))))))))))))))))))))))))))))))))))) 245.51/66.61 -> 245.51/66.61 2(0(1(1(2(2(2(1(0(0(0(0(2(2(0(1(2(1(2(2(2(1(0(1(1(0(2(2(0(1(2(0(1(0(0(0(1(1(1(2(1(2(0(x1))))))))))))))))))))))))))))))))))))))))))) 245.51/66.61 2(0(2(2(2(2(2(0(2(1(1(1(2(1(0(1(0(1(0(0(1(0(1(2(1(0(1(0(1(1(2(2(2(0(0(0(2(1(1(2(2(0(1(x1))))))))))))))))))))))))))))))))))))))))))) 245.51/66.61 -> 245.51/66.61 2(0(1(0(2(0(1(1(1(1(2(0(0(0(2(1(2(2(1(1(1(1(2(2(1(2(2(0(0(0(1(2(2(1( 245.51/66.61 0 245.51/66.61 ( 245.51/66.61 1 245.51/66.61 ( 245.51/66.61 1 245.51/66.61 ( 245.51/66.61 0 245.51/66.61 ( 245.51/66.61 2(2(2(1(2(0(0(0(1(x1))))))))))))))))))))))))))))))))))))))))))))))) 245.51/66.61 0(1(0(0(0(0(1(1(1(1(2(2(1(0(0(2(2(1(0(1(0(1(2(0(1(2(1(1(0(2(0(1(0(1( 245.51/66.61 0 245.51/66.61 ( 245.51/66.61 0(0(0(1(1(0(1(1(0(x1)))))))))))))))))))))))))))))))))))))))))))) 245.51/66.61 -> 245.51/66.61 1(1(1(2(1(2(0(0(1(2(2(0(2(1(2(1(2(1(2(0(2(0(0(1(2(0(0(0(1(2(1(0(2(2( 245.51/66.61 0 245.51/66.61 ( 245.51/66.61 0 245.51/66.61 ( 245.51/66.61 0 245.51/66.61 ( 245.51/66.61 0 245.51/66.61 ( 245.51/66.61 1(0(2(0(2(0(2(0(0(x1))))))))))))))))))))))))))))))))))))))))))))))) 245.51/66.61 0(1(1(1(1(0(1(0(0(1(2(0(1(2(2(1(0(1(1(2(1(1(0(2(2(1(2(0(0(1(0(2(1(1( 245.51/66.61 2 245.51/66.61 ( 245.51/66.61 2(2(1(0(0(2(0(1(2(x1)))))))))))))))))))))))))))))))))))))))))))) 245.51/66.61 -> 245.51/66.61 2(2(0(1(0(1(1(0(2(2(0(1(2(0(2(0(1(2(2(1(2(1(2(1(2(1(2(2(0(2(2(1(2(2( 245.51/66.61 0 245.51/66.61 ( 245.51/66.61 1 245.51/66.62 ( 245.51/66.62 2(2(1(0(0(0(2(2(1(x1))))))))))))))))))))))))))))))))))))))))))))) 245.51/66.62 0(2(1(0(2(2(0(1(0(0(2(2(0(0(2(0(1(0(0(1(2(0(2(1(2(0(2(0(1(0(1(2(2(0( 245.51/66.62 1 245.51/66.62 ( 245.51/66.62 1(1(1(2(1(0(0(2(2(x1)))))))))))))))))))))))))))))))))))))))))))) 245.51/66.62 -> 245.51/66.62 0(2(2(1(0(1(1(2(1(2(1(2(2(1(0(0(1(1(2(2(0(2(1(0(1(0(1(2(1(1(2(1(2(0( 245.51/66.62 2 245.51/66.62 ( 245.51/66.62 2 245.51/66.62 ( 245.51/66.62 1 245.51/66.62 ( 245.51/66.62 1 245.51/66.62 ( 245.51/66.62 0(2(0(0(0(2(2(1(0(x1))))))))))))))))))))))))))))))))))))))))))))))) 245.51/66.62 1(0(1(2(2(0(2(1(2(2(2(1(1(2(0(1(1(0(2(1(0(2(1(1(2(2(0(0(0(2(0(1(2(1( 245.51/66.62 0 245.51/66.62 ( 245.51/66.62 0(0(0(0(0(2(2(2(0(x1)))))))))))))))))))))))))))))))))))))))))))) 245.51/66.62 -> 245.51/66.62 1(0(0(1(2(0(2(0(1(2(2(1(2(0(1(0(0(0(0(2(0(0(1(1(1(0(0(0(1(1(1(2(0(1( 245.51/66.62 1 245.51/66.62 ( 245.51/66.62 2 245.51/66.62 ( 245.51/66.62 2(0(0(1(1(2(0(1(0(x1))))))))))))))))))))))))))))))))))))))))))))) 245.51/66.62 0(0(0(1(1(0(2(2(0(1(2(1(0(1(0(1(0(0(0(0(1(1(0(1(1(1(2(2(0(0(2(0(1(2( 245.51/66.62 2 245.51/66.62 ( 245.51/66.62 1 245.51/66.62 ( 245.51/66.62 0(2(0(2(1(1(1(1(0(x1))))))))))))))))))))))))))))))))))))))))))))) 245.51/66.62 -> 245.51/66.62 2(2(1(2(0(0(1(2(1(1(0(1(1(2(2(2(2(0(0(2(0(0(2(1(0(0(0(0(0(2(2(2(1(2( 245.51/66.62 0 245.51/66.62 ( 245.51/66.62 0 245.51/66.62 ( 245.51/66.62 0 245.51/66.62 ( 245.51/66.62 0 245.51/66.62 ( 245.51/66.62 2(2(0(1(1(0(0(0(0(x1))))))))))))))))))))))))))))))))))))))))))))))) 245.51/66.62 0(0(2(1(2(0(0(1(0(1(0(2(2(1(1(1(1(1(1(1(0(0(2(2(1(0(0(2(2(0(0(1(0(2( 245.51/66.62 0 245.51/66.62 ( 245.51/66.62 0 245.51/66.62 ( 245.51/66.62 0(0(0(2(0(1(1(0(2(x1))))))))))))))))))))))))))))))))))))))))))))) 245.51/66.62 -> 245.51/66.62 1(0(2(1(0(1(1(1(0(1(2(2(1(1(1(0(2(1(0(1(1(2(2(2(0(0(2(2(0(0(2(1(2(0( 245.51/66.62 2 245.51/66.62 ( 245.51/66.62 1 245.51/66.62 ( 245.51/66.62 1 245.51/66.62 ( 245.51/66.62 1 245.51/66.62 ( 245.51/66.62 2(1(2(1(0(1(2(0(0(x1))))))))))))))))))))))))))))))))))))))))))))))) 245.51/66.62 1(0(0(1(1(1(1(1(1(0(2(0(2(1(2(0(0(1(0(2(1(2(2(2(0(1(1(1(2(2(1(1(0(2( 245.51/66.62 2 245.51/66.62 ( 245.51/66.62 0 245.51/66.62 ( 245.51/66.62 1(0(2(0(1(1(1(0(0(x1))))))))))))))))))))))))))))))))))))))))))))) 245.51/66.62 -> 245.51/66.62 0(1(1(0(1(1(2(1(1(1(0(1(2(1(1(0(0(0(1(2(1(2(0(1(2(2(2(1(0(2(0(0(2(2( 245.51/66.62 2 245.51/66.62 ( 245.51/66.62 2 245.51/66.62 ( 245.51/66.62 1 245.51/66.62 ( 245.51/66.62 2(0(0(2(2(2(2(2(0(x1)))))))))))))))))))))))))))))))))))))))))))))) 245.51/66.62 1(0(0(1(2(0(1(1(0(0(1(0(2(2(1(1(1(2(2(2(0(1(1(2(0(0(1(0(1(0(2(1(2(2( 245.51/66.62 0 245.51/66.62 ( 245.51/66.62 0 245.51/66.62 ( 245.51/66.62 0(1(1(0(0(2(0(2(0(x1))))))))))))))))))))))))))))))))))))))))))))) 245.51/66.62 -> 245.51/66.62 0(0(0(0(0(0(1(2(1(1(2(1(2(0(0(0(2(0(2(2(1(1(0(1(2(0(0(0(1(2(2(1(0(0( 245.51/66.62 1 245.51/66.62 ( 245.51/66.62 0 245.51/66.62 ( 245.51/66.62 2 245.51/66.62 ( 245.51/66.62 2(2(0(0(2(2(0(0(0(x1)))))))))))))))))))))))))))))))))))))))))))))) 245.51/66.62 1(0(1(2(1(0(0(2(0(0(0(2(1(2(1(0(0(0(0(0(0(0(2(2(1(0(0(2(0(1(0(1(0(2( 245.51/66.62 1 245.51/66.62 ( 245.51/66.62 2 245.51/66.62 ( 245.51/66.62 2(0(2(1(1(0(1(1(1(x1))))))))))))))))))))))))))))))))))))))))))))) 245.51/66.62 -> 245.51/66.62 0(0(2(2(0(1(1(1(0(2(0(0(1(2(1(1(2(2(1(2(0(0(2(1(1(0(0(0(0(1(2(0(2(1( 245.51/66.62 1 245.51/66.62 ( 245.51/66.62 2 245.51/66.62 ( 245.51/66.62 2 245.51/66.62 ( 245.51/66.62 0 245.51/66.62 ( 245.51/66.62 2 245.51/66.62 ( 245.51/66.62 2 245.51/66.62 ( 245.51/66.62 1(1(2(0(1(1(1(1(2(x1))))))))))))))))))))))))))))))))))))))))))))))))) 245.51/66.62 2(2(0(2(2(2(2(0(1(1(1(0(0(1(1(2(0(1(1(0(1(2(2(1(0(2(0(1(2(2(0(0(1(0( 245.51/66.62 2 245.51/66.62 ( 245.51/66.62 0 245.51/66.62 ( 245.51/66.62 2 245.51/66.62 ( 245.51/66.62 1(1(2(0(1(0(0(2(0(x1)))))))))))))))))))))))))))))))))))))))))))))) 245.51/66.62 -> 245.51/66.62 2(1(0(2(2(0(1(1(2(2(1(2(0(1(1(1(2(2(0(1(2(0(2(1(2(1(2(0(1(2(1(2(0(1( 245.51/66.62 0 245.51/66.62 ( 245.51/66.62 2 245.51/66.62 ( 245.51/66.62 0 245.51/66.62 ( 245.51/66.62 2 245.51/66.62 ( 245.51/66.62 1(1(0(2(2(2(2(0(0(x1))))))))))))))))))))))))))))))))))))))))))))))) 245.51/66.62 0(0(0(1(0(1(1(0(1(2(0(0(2(0(1(0(2(0(0(1(0(1(1(0(0(1(2(1(1(1(0(2(1(1( 245.51/66.62 0 245.51/66.62 ( 245.51/66.62 2 245.51/66.62 ( 245.51/66.62 1 245.51/66.62 ( 245.51/66.62 0 245.51/66.62 ( 245.51/66.62 1(1(0(2(2(1(0(0(0(x1))))))))))))))))))))))))))))))))))))))))))))))) 245.51/66.62 -> 245.51/66.62 2(0(0(1(2(1(1(0(0(0(0(2(2(1(2(2(1(1(2(2(0(1(1(1(2(2(0(1(1(2(1(2(0(0( 245.51/66.62 2 245.51/66.62 ( 245.51/66.62 1 245.51/66.62 ( 245.51/66.62 1 245.51/66.62 ( 245.51/66.62 2 245.51/66.62 ( 245.51/66.62 1 245.51/66.62 ( 245.51/66.62 1 245.51/66.62 ( 245.51/66.62 0(2(1(0(2(1(0(1(0(x1))))))))))))))))))))))))))))))))))))))))))))))))) 245.51/66.62 1(0(1(0(2(0(2(1(1(1(0(2(1(2(0(2(0(2(2(2(1(2(0(2(0(0(1(1(2(1(0(0(0(2( 245.51/66.62 2 245.51/66.62 ( 245.51/66.62 1 245.51/66.62 ( 245.51/66.62 1 245.51/66.62 ( 245.51/66.62 1 245.51/66.62 ( 245.51/66.62 1(1(1(0(2(0(0(0(2(x1))))))))))))))))))))))))))))))))))))))))))))))) 245.51/66.62 -> 245.51/66.62 2(2(0(0(0(1(0(1(0(2(0(1(2(0(1(2(1(1(1(2(1(2(2(1(1(2(2(2(1(1(1(0(0(1( 245.51/66.62 0 245.51/66.62 ( 245.51/66.62 1 245.51/66.62 ( 245.51/66.62 2 245.51/66.62 ( 245.51/66.62 1 245.51/66.62 ( 245.51/66.62 0 245.51/66.62 ( 245.51/66.62 0(0(2(2(0(1(2(2(0(x1)))))))))))))))))))))))))))))))))))))))))))))))) 245.51/66.62 1(1(0(2(0(2(2(0(2(0(2(0(1(0(2(0(0(1(0(2(0(0(2(0(2(1(2(0(0(2(2(2(1(1( 245.51/66.62 0 245.51/66.62 ( 245.51/66.62 0 245.51/66.62 ( 245.51/66.62 1 245.51/66.62 ( 245.51/66.62 2 245.51/66.62 ( 245.51/66.62 1(0(1(2(0(0(0(2(1(x1))))))))))))))))))))))))))))))))))))))))))))))) 245.51/66.62 -> 245.51/66.62 2(1(0(1(0(2(1(1(0(0(1(0(2(2(0(2(1(0(1(2(2(2(1(2(0(0(0(2(0(1(0(2(1(2( 245.51/66.62 0 245.51/66.62 ( 245.51/66.62 1 245.51/66.62 ( 245.51/66.62 0 245.51/66.62 ( 245.51/66.62 2 245.51/66.62 ( 245.51/66.62 0 245.51/66.62 ( 245.51/66.62 0(0(0(2(1(0(0(2(1(x1)))))))))))))))))))))))))))))))))))))))))))))))) 245.51/66.62 0(1(1(0(1(1(1(1(0(0(0(0(2(2(2(0(1(0(1(0(0(2(2(2(1(1(2(0(2(2(1(1(0(2( 245.51/66.62 2 245.51/66.62 ( 245.51/66.62 1 245.51/66.62 ( 245.51/66.62 1 245.51/66.62 ( 245.51/66.62 2 245.51/66.62 ( 245.51/66.62 0 245.51/66.62 ( 245.51/66.62 0(1(2(0(0(1(2(1(0(x1)))))))))))))))))))))))))))))))))))))))))))))))) 245.51/66.62 -> 245.51/66.62 2(2(1(2(0(0(2(0(2(0(1(2(0(2(1(1(1(2(2(2(1(1(2(2(2(2(1(1(2(1(0(2(2(1( 245.51/66.62 0 245.51/66.62 ( 245.51/66.62 1 245.51/66.62 ( 245.51/66.62 2 245.51/66.62 ( 245.51/66.63 1 245.51/66.63 ( 245.51/66.63 1 245.51/66.63 ( 245.51/66.63 1 245.51/66.63 ( 245.51/66.63 2 245.51/66.63 ( 245.51/66.63 1(2(1(2(2(2(2(0(0(x1)))))))))))))))))))))))))))))))))))))))))))))))))) 245.51/66.63 0(1(2(2(2(2(0(2(2(1(2(2(1(0(0(0(0(0(0(2(0(1(1(0(0(0(2(0(1(0(2(2(2(0( 245.51/66.63 1 245.51/66.63 ( 245.51/66.63 0 245.51/66.63 ( 245.51/66.63 2 245.51/66.63 ( 245.51/66.63 1 245.51/66.63 ( 245.51/66.63 0 245.51/66.63 ( 245.51/66.63 2(0(1(0(0(0(0(0(0(x1)))))))))))))))))))))))))))))))))))))))))))))))) 245.51/66.63 -> 245.51/66.63 2(0(2(2(0(0(1(0(2(1(2(2(1(1(1(0(1(2(1(2(1(2(2(1(0(1(1(0(2(0(2(0(1(0( 245.51/66.63 2 245.51/66.63 ( 245.51/66.63 0 245.51/66.63 ( 245.51/66.63 2 245.51/66.63 ( 245.51/66.63 2 245.51/66.63 ( 245.51/66.63 0 245.51/66.63 ( 245.51/66.63 1 245.51/66.63 ( 245.51/66.63 1(0(1(1(1(0(2(2(0(x1))))))))))))))))))))))))))))))))))))))))))))))))) 245.51/66.63 1(1(0(0(2(1(2(1(1(1(0(2(0(1(2(2(0(0(0(1(0(1(0(2(0(1(1(2(1(1(1(0(0(1( 245.51/66.63 0 245.51/66.63 ( 245.51/66.63 0 245.51/66.63 ( 245.51/66.63 2 245.51/66.63 ( 245.51/66.63 1 245.51/66.63 ( 245.51/66.63 0 245.51/66.63 ( 245.51/66.63 2(1(0(1(2(2(2(0(1(x1)))))))))))))))))))))))))))))))))))))))))))))))) 245.51/66.63 -> 245.51/66.63 0(1(2(1(2(2(2(2(0(0(2(0(2(0(2(1(0(1(0(2(1(2(1(2(0(1(2(1(0(2(1(2(0(2( 245.51/66.63 0 245.51/66.63 ( 245.51/66.63 2 245.51/66.63 ( 245.51/66.63 1 245.51/66.63 ( 245.51/66.63 1 245.51/66.63 ( 245.51/66.63 1 245.51/66.63 ( 245.51/66.63 1 245.51/66.63 ( 245.51/66.63 2 245.51/66.63 ( 245.51/66.63 1(2(0(2(2(2(0(0(0(x1)))))))))))))))))))))))))))))))))))))))))))))))))) 245.51/66.63 2(1(0(2(0(1(2(0(0(0(2(1(1(0(2(1(1(2(2(0(2(0(0(0(1(0(0(0(1(0(2(0(1(1( 245.51/66.63 1 245.51/66.63 ( 245.51/66.63 2 245.51/66.63 ( 245.51/66.63 0 245.51/66.63 ( 245.51/66.63 1 245.51/66.63 ( 245.51/66.63 0 245.51/66.63 ( 245.51/66.63 0 245.51/66.63 ( 245.51/66.63 1(2(2(0(2(0(1(1(2(x1))))))))))))))))))))))))))))))))))))))))))))))))) 245.51/66.63 -> 245.51/66.63 2(1(0(0(1(1(2(0(0(0(2(2(2(0(0(1(0(1(1(0(2(1(0(0(1(0(1(0(1(2(1(0(1(0( 245.51/66.63 0 245.51/66.63 ( 245.51/66.63 2 245.51/66.63 ( 245.51/66.63 2 245.51/66.63 ( 245.51/66.63 1 245.51/66.63 ( 245.51/66.63 0 245.51/66.63 ( 245.51/66.63 0 245.51/66.63 ( 245.51/66.63 2(2(0(2(2(0(1(1(2(x1))))))))))))))))))))))))))))))))))))))))))))))))) 245.51/66.63 1(0(1(2(1(0(2(2(2(1(0(0(0(0(1(0(1(0(0(2(0(1(2(2(2(1(0(1(0(0(2(1(1(2( 245.51/66.63 1 245.51/66.63 ( 245.51/66.63 2 245.51/66.63 ( 245.51/66.63 0 245.51/66.63 ( 245.51/66.63 1 245.51/66.63 ( 245.51/66.63 2 245.51/66.63 ( 245.51/66.63 1 245.51/66.63 ( 245.51/66.63 1 245.51/66.63 ( 245.51/66.63 1(0(2(0(1(0(1(1(1(x1)))))))))))))))))))))))))))))))))))))))))))))))))) 245.51/66.63 -> 245.51/66.63 0(1(0(1(1(0(2(2(2(0(0(0(0(0(2(2(1(1(0(0(0(1(2(1(2(1(2(1(0(0(2(0(2(1( 245.51/66.63 1 245.51/66.63 ( 245.51/66.63 2 245.51/66.63 ( 245.51/66.63 0 245.51/66.63 ( 245.51/66.63 1 245.51/66.63 ( 245.51/66.63 2 245.51/66.63 ( 245.51/66.63 1 245.51/66.63 ( 245.51/66.63 1 245.51/66.63 ( 245.51/66.63 1(0(1(0(1(1(1(2(1(x1)))))))))))))))))))))))))))))))))))))))))))))))))) 245.51/66.63 245.51/66.63 Proof: 245.51/66.63 Open 245.51/66.64 EOF