182.20/55.49 MAYBE 182.35/55.50 182.35/55.50 Problem: 182.35/55.50 0(1(x1)) -> 2(2(1(x1))) 182.35/55.50 1(1(0(x1))) -> 1(2(2(1(x1)))) 182.35/55.50 0(2(2(0(0(1(1(x1))))))) -> 1(0(2(2(2(2(2(1(2(1(1(x1))))))))))) 182.35/55.50 1(0(0(2(1(0(1(x1))))))) -> 0(2(2(2(1(0(2(2(x1)))))))) 182.35/55.50 0(1(1(0(0(2(0(2(0(1(2(0(x1)))))))))))) -> 2(2(2(1(0(0(0(2(1(2(2(2(1(x1))))))))))))) 182.35/55.50 1(2(1(0(1(2(2(0(1(1(1(1(x1)))))))))))) -> 1(2(1(2(1(0(2(0(2(2(1(2(0(x1))))))))))))) 182.35/55.50 0(0(1(2(1(2(1(1(2(2(1(1(2(1(2(0(2(x1))))))))))))))))) -> 182.35/55.50 2(1(2(1(0(0(1(0(2(1(2(0(2(2(2(2(1(0(2(x1))))))))))))))))))) 182.35/55.50 1(0(0(2(0(1(1(1(1(1(2(2(0(0(2(1(1(x1))))))))))))))))) -> 182.35/55.50 2(1(2(2(2(2(1(1(2(0(2(2(1(1(1(2(0(1(x1)))))))))))))))))) 182.35/55.50 1(1(1(1(1(2(1(0(2(1(1(1(1(2(0(0(2(2(2(2(x1)))))))))))))))))))) -> 182.35/55.50 2(2(1(1(1(2(0(2(2(2(0(2(2(2(1(2(2(1(1(0(2(1(2(x1))))))))))))))))))))))) 182.35/55.50 0(1(0(0(2(0(1(1(0(0(2(0(0(1(2(0(1(0(0(1(0(x1))))))))))))))))))))) -> 182.35/55.50 1(2(1(1(2(2(2(1(2(0(1(0(1(2(1(2(0(2(0(1(1(2(2(1(2(x1))))))))))))))))))))))))) 182.35/55.50 0(2(1(0(2(1(2(0(0(1(2(0(1(1(0(0(1(1(0(1(1(x1))))))))))))))))))))) -> 182.35/55.50 2(0(0(2(2(1(2(2(1(2(2(2(2(2(0(2(2(1(2(0(1(2(1(x1))))))))))))))))))))))) 182.35/55.50 2(0(0(2(2(1(0(2(1(2(1(0(1(0(2(2(2(0(1(0(1(x1))))))))))))))))))))) -> 182.35/55.50 0(0(2(0(0(2(2(2(2(2(0(2(0(2(2(0(2(2(2(2(1(1(2(0(x1)))))))))))))))))))))))) 182.35/55.50 2(2(1(0(0(1(0(1(2(1(0(2(0(1(1(0(1(2(0(0(1(x1))))))))))))))))))))) -> 182.35/55.50 2(2(0(0(0(0(2(1(0(0(2(2(1(2(2(1(1(0(1(2(0(2(x1)))))))))))))))))))))) 182.35/55.50 1(1(0(2(0(1(0(1(1(0(1(2(2(1(0(1(1(2(0(1(2(1(2(x1))))))))))))))))))))))) -> 182.35/55.50 2(2(2(2(0(2(0(0(0(2(1(2(0(1(1(1(0(0(1(2(2(0(0(2(1(2(0(2(1(x1))))))))))))))))))))))))))))) 182.35/55.50 0(2(0(2(0(1(0(2(0(2(0(0(1(1(1(1(2(0(1(0(0(2(0(1(1(x1))))))))))))))))))))))))) -> 182.35/55.50 0(2(2(0(1(1(1(1(0(0(1(1(2(1(1(0(0(2(2(0(2(2(1(2(1(2(x1)))))))))))))))))))))))))) 182.35/55.50 1(2(1(2(2(0(1(1(0(1(0(2(1(0(1(0(0(1(1(1(2(0(1(0(1(x1))))))))))))))))))))))))) -> 182.35/55.50 0(2(0(2(1(0(1(0(1(2(1(2(1(2(0(2(0(2(1(0(1(0(0(0(2(1(0(2(x1)))))))))))))))))))))))))))) 182.35/55.50 1(2(0(1(1(0(0(2(1(0(2(2(1(2(0(0(2(2(0(2(2(0(0(0(1(1(x1)))))))))))))))))))))))))) -> 182.35/55.50 2(0(0(0(2(2(2(0(0(2(1(0(2(2(0(0(2(1(2(2(1(1(0(0(2(0(0(1(0(0(x1)))))))))))))))))))))))))))))) 182.35/55.50 1(2(2(0(1(0(2(1(1(0(0(0(0(0(0(0(1(0(0(0(1(2(2(1(2(2(2(x1))))))))))))))))))))))))))) -> 182.35/55.50 2(2(2(2(2(1(0(0(2(2(0(0(0(0(2(1(0(0(0(1(0(2(2(2(0(0(0(2(1(x1))))))))))))))))))))))))))))) 182.35/55.50 1(2(2(0(1(1(2(1(0(1(0(2(1(1(2(2(2(1(1(1(2(0(2(0(0(1(1(x1))))))))))))))))))))))))))) -> 182.35/55.50 2(2(1(0(0(2(2(1(2(1(2(2(2(2(1(2(2(2(1(0(2(1(2(0(0(0(0(1(2(1(0(x1))))))))))))))))))))))))))))))) 182.35/55.50 1(1(0(1(1(0(1(2(0(0(0(1(0(1(0(0(2(2(0(1(1(1(0(2(1(0(1(0(x1)))))))))))))))))))))))))))) -> 182.35/55.50 1(2(1(1(2(2(1(1(0(2(0(0(1(2(0(0(0(1(2(1(1(0(2(0(0(2(1(0(1(1(x1)))))))))))))))))))))))))))))) 182.35/55.50 0(0(2(0(0(0(0(2(1(2(0(0(1(1(1(1(2(2(2(2(2(1(0(1(0(1(0(1(0(x1))))))))))))))))))))))))))))) -> 182.35/55.50 2(1(2(2(1(0(2(1(1(1(1(1(2(1(0(1(2(2(1(1(1(2(2(0(2(2(2(1(0(2(x1)))))))))))))))))))))))))))))) 182.35/55.50 2(2(0(2(2(2(2(2(0(2(0(0(1(2(0(0(1(0(2(2(2(1(2(2(2(1(0(0(1(x1))))))))))))))))))))))))))))) -> 182.35/55.50 2(1(2(2(1(2(2(0(2(2(2(0(1(2(1(1(2(2(2(2(1(2(1(0(1(0(0(2(1(2(x1)))))))))))))))))))))))))))))) 182.35/55.50 0(1(0(1(2(2(2(1(2(2(0(0(0(1(1(0(0(2(2(0(2(1(1(1(0(1(0(2(2(1(x1)))))))))))))))))))))))))))))) -> 182.35/55.50 1(0(2(1(1(2(0(1(0(2(0(0(2(1(1(1(1(2(0(0(2(1(0(0(0(2(2(2(2(1(x1)))))))))))))))))))))))))))))) 182.35/55.50 0(1(1(0(2(1(2(2(2(0(1(0(2(0(1(1(0(1(1(1(2(0(0(0(2(0(1(2(2(1(x1)))))))))))))))))))))))))))))) -> 182.35/55.50 0(1(1(1(1(1(1(1(2(2(1(0(2(0(1(0(1(0(2(0(2(2(1(0(2(2(0(2(0(0(x1)))))))))))))))))))))))))))))) 182.35/55.50 2(0(0(0(1(0(1(1(0(2(0(2(0(0(1(0(1(2(0(0(0(2(2(0(1(0(1(0(0(1(0(x1))))))))))))))))))))))))))))))) -> 182.35/55.50 2(0(0(0(0(0(1(1(0(2(2(2(1(0(0(0(0(1(0(1(0(2(0(1(1(0(0(0(1(0(2(x1))))))))))))))))))))))))))))))) 182.35/55.50 2(0(2(1(1(2(0(2(2(0(1(1(1(0(0(1(0(0(0(1(1(0(0(0(0(0(2(0(1(1(1(x1))))))))))))))))))))))))))))))) -> 182.35/55.50 2(2(0(0(2(1(2(2(2(2(2(2(2(0(2(0(2(2(2(2(0(2(1(2(2(2(1(2(1(1(2(0(2(2(2(1(1(2(1(2(1(x1))))))))))))))))))))))))))))))))))))))))) 182.35/55.50 2(1(2(2(0(0(1(0(1(0(2(1(0(0(1(1(2(1(0(1(1(0(0(0(0(2(1(1(0(1(1(x1))))))))))))))))))))))))))))))) -> 182.35/55.50 2(1(0(2(2(2(0(2(1(1(2(0(1(0(1(0(0(1(2(2(2(1(2(0(0(1(1(1(0(2(0(0(x1)))))))))))))))))))))))))))))))) 182.35/55.50 0(1(0(2(1(2(1(0(1(1(0(2(1(0(0(1(1(1(2(2(2(1(1(1(2(2(2(2(2(0(1(2(x1)))))))))))))))))))))))))))))))) 182.35/55.50 -> 182.35/55.50 1(2(1(0(1(1(1(1(2(0(2(1(2(0(2(2(1(1(0(0(1(0(2(0(2(0(0(0(2(1(0(2(1(2(x1)))))))))))))))))))))))))))))))))) 182.35/55.52 2(1(0(1(2(1(0(1(1(1(2(2(2(1(0(0(0(0(2(1(1(2(0(1(0(0(0(2(0(1(1(0(x1)))))))))))))))))))))))))))))))) 182.35/55.52 -> 182.35/55.52 2(1(0(2(2(1(1(2(2(1(0(1(0(0(1(2(2(2(2(2(1(0(0(0(0(0(1(2(1(1(2(2(2(x1))))))))))))))))))))))))))))))))) 182.35/55.52 0(2(1(0(1(1(2(0(1(2(1(2(2(0(2(1(1(1(0(1(1(0(2(0(1(1(2(2(1(2(0(2(2(x1))))))))))))))))))))))))))))))))) 182.35/55.52 -> 182.35/55.52 2(1(2(2(2(2(2(0(2(1(1(1(1(2(0(0(0(2(0(0(2(2(1(1(0(0(1(1(2(1(0(2(1(0(2(x1))))))))))))))))))))))))))))))))))) 182.35/55.52 1(0(1(2(0(0(1(1(0(0(0(2(0(0(2(0(2(1(0(2(1(0(1(2(2(0(1(2(0(0(1(0(1(x1))))))))))))))))))))))))))))))))) 182.35/55.52 -> 182.35/55.52 0(0(0(2(1(0(2(1(0(2(1(0(2(1(1(2(2(2(1(2(0(0(2(0(0(2(1(1(1(0(2(2(1(0(1(x1))))))))))))))))))))))))))))))))))) 182.35/55.52 0(2(0(1(0(1(0(2(0(0(2(0(2(1(0(0(0(0(0(1(0(2(2(2(0(0(2(0(2(1(1(0(2(2(x1)))))))))))))))))))))))))))))))))) 182.35/55.52 -> 182.35/55.52 2(2(1(2(0(1(2(0(1(2(2(2(1(1(2(2(2(1(1(2(1(2(2(0(2(2(0(2(1(0(2(0(2(2(0(x1))))))))))))))))))))))))))))))))))) 182.35/55.52 0(2(2(2(0(0(1(2(0(2(0(0(1(1(2(1(1(0(1(2(0(1(0(1(2(0(2(1(0(0(1(1(2(0(x1)))))))))))))))))))))))))))))))))) 182.35/55.52 -> 182.35/55.52 2(2(2(2(2(0(2(1(0(0(2(1(2(2(2(1(0(1(0(0(0(0(2(0(1(1(0(2(0(0(1(0(1(0(0(x1))))))))))))))))))))))))))))))))))) 182.35/55.52 0(0(0(1(0(2(2(2(0(1(0(0(2(2(2(1(1(0(1(0(2(1(0(0(0(0(1(0(1(2(0(0(2(1(0(x1))))))))))))))))))))))))))))))))))) 182.35/55.52 -> 182.35/55.52 1(2(2(0(1(2(1(1(2(2(0(2(0(0(2(1(0(0(0(2(1(2(0(2(1(1(2(2(2(2(2(2(2(2(2(1(x1)))))))))))))))))))))))))))))))))))) 182.35/55.52 0(0(2(2(2(1(1(2(2(2(1(2(1(0(1(0(0(2(2(1(2(1(1(1(1(1(0(2(2(0(1(1(2(1(2(x1))))))))))))))))))))))))))))))))))) 182.35/55.52 -> 182.35/55.52 0(2(2(2(1(0(0(2(2(0(0(0(0(2(2(2(1(0(2(2(1(0(2(1(2(1(0(2(2(1(2(2(2(0(2(1(1(1(x1)))))))))))))))))))))))))))))))))))))) 182.35/55.52 0(1(2(1(0(2(1(0(2(0(0(1(1(1(1(1(0(0(0(0(2(1(0(2(1(0(1(2(1(1(2(2(0(1(1(x1))))))))))))))))))))))))))))))))))) 182.35/55.52 -> 182.35/55.52 2(0(1(1(0(1(2(1(1(1(2(1(2(2(0(2(1(0(1(1(1(1(1(2(1(2(0(2(1(1(1(1(0(0(1(2(x1)))))))))))))))))))))))))))))))))))) 182.35/55.52 1(1(0(1(1(1(1(2(0(0(0(0(0(0(2(1(0(0(1(2(0(1(1(0(2(0(0(0(2(1(2(1(2(1(0(x1))))))))))))))))))))))))))))))))))) 182.35/55.52 -> 182.35/55.52 1(0(0(0(0(1(0(2(0(1(1(2(0(2(0(2(0(2(0(0(0(0(2(1(2(2(2(2(2(1(0(0(1(0(0(2(0(x1))))))))))))))))))))))))))))))))))))) 182.35/55.52 0(1(2(2(0(1(1(2(1(2(0(1(1(0(0(1(1(0(0(0(1(1(0(1(1(1(1(2(1(1(1(1(1(2(0(1(x1)))))))))))))))))))))))))))))))))))) 182.35/55.52 -> 182.35/55.52 1(2(0(1(2(0(2(2(2(0(2(1(2(0(2(2(2(1(2(1(2(2(1(2(1(2(2(0(2(0(1(0(1(0( 182.35/55.52 0 182.35/55.52 ( 182.35/55.52 0(2(1(0(2(1(2(0(1(x1)))))))))))))))))))))))))))))))))))))))))))) 182.35/55.52 1(1(2(0(1(0(1(0(1(1(0(2(0(2(2(1(0(2(0(0(2(0(1(2(2(0(2(0(0(0(0(1(2(2(0(1(x1)))))))))))))))))))))))))))))))))))) 182.35/55.52 -> 182.35/55.52 2(1(1(2(0(0(1(2(2(2(1(0(1(2(0(2(1(1(1(0(1(1(1(1(1(2(2(2(2(1(2(0(2(0(2(1(1(2(2(2(2(0(x1)))))))))))))))))))))))))))))))))))))))))) 182.35/55.52 2(1(0(1(0(2(1(0(2(1(0(2(0(2(2(2(2(0(0(1(0(1(1(2(1(2(0(2(0(0(2(0(0(0(2(0(x1)))))))))))))))))))))))))))))))))))) 182.35/55.52 -> 182.35/55.52 2(2(2(1(1(2(0(0(1(2(0(1(0(2(0(2(2(2(1(2(2(0(2(1(2(0(0(1(1(0(0(0(0(2(2(0(0(0(x1)))))))))))))))))))))))))))))))))))))) 182.35/55.52 0(0(0(1(1(1(2(0(1(2(2(2(0(2(0(2(0(0(2(2(0(0(0(0(2(0(0(0(0(2(2(0(1(1(1(0(1(x1))))))))))))))))))))))))))))))))))))) 182.35/55.52 -> 182.35/55.52 1(2(1(1(1(1(2(2(0(0(2(1(1(1(2(0(2(2(0(0(1(2(0(1(2(0(1(1(0(1(2(2(0(2(1(1(0(0(1(x1))))))))))))))))))))))))))))))))))))))) 182.35/55.52 0(0(0(2(0(0(1(0(0(1(1(1(2(0(0(1(2(0(0(0(0(1(1(0(1(0(2(1(1(1(0(0(0(2(1(0(0(x1))))))))))))))))))))))))))))))))))))) 182.35/55.52 -> 182.35/55.52 2(2(1(2(2(0(2(0(0(2(1(2(2(1(2(2(2(0(2(2(0(2(0(0(2(1(2(2(2(0(2(1(2(0(2(0(2(1(0(1(1(x1))))))))))))))))))))))))))))))))))))))))) 182.35/55.52 0(0(1(1(2(2(1(0(0(1(0(1(1(0(0(2(1(1(2(1(1(2(2(2(2(0(0(1(0(1(0(0(1(1(2(2(1(x1))))))))))))))))))))))))))))))))))))) 182.35/55.52 -> 182.35/55.52 1(2(0(0(2(2(1(1(2(2(1(0(1(2(0(2(1(1(1(2(2(0(0(1(0(2(2(2(0(2(2(2(2(1(2(1(2(2(0(0(x1)))))))))))))))))))))))))))))))))))))))) 182.35/55.52 1(2(1(0(0(1(1(2(2(0(0(1(0(1(2(1(1(1(0(1(2(0(2(1(1(1(1(1(0(1(2(2(2(0(2(0(2(x1))))))))))))))))))))))))))))))))))))) 182.35/55.52 -> 182.35/55.52 2(2(2(0(2(0(0(2(2(0(2(2(1(2(2(2(1(0(0(1(1(0(0(2(0(2(0(2(1(1(1(1(1(2(1(0(1(2(1(0(1(x1))))))))))))))))))))))))))))))))))))))))) 182.35/55.52 1(2(2(1(2(1(0(0(1(2(2(1(0(0(1(2(1(0(0(1(0(0(2(1(0(1(0(2(0(2(1(0(0(0(2(0(1(x1))))))))))))))))))))))))))))))))))))) 182.35/55.52 -> 182.35/55.52 2(0(0(2(1(1(2(1(2(1(1(1(1(0(1(0(2(0(1(2(1(2(2(1(2(2(1(2(2(1(2(1(2(2(0(2(0(0(x1)))))))))))))))))))))))))))))))))))))) 182.35/55.53 0(0(1(0(1(0(1(2(0(0(0(0(0(2(2(1(0(0(2(1(0(0(2(2(0(2(0(0(1(2(0(0(1(2(0(0(0(0(x1)))))))))))))))))))))))))))))))))))))) 182.35/55.53 -> 182.35/55.53 2(2(1(0(2(0(1(1(1(0(0(1(2(0(2(2(2(1(1(0(2(0(1(1(1(2(2(1(1(0(1(2(1(1(2(1(2(2(1(0(1(x1))))))))))))))))))))))))))))))))))))))))) 182.35/55.53 0(1(0(2(1(0(2(2(0(1(1(1(1(0(0(2(0(2(1(0(0(2(1(0(1(1(0(2(2(0(2(1(2(0(0(2(0(0(x1)))))))))))))))))))))))))))))))))))))) 182.35/55.53 -> 182.35/55.53 0(0(1(1(2(0(1(1(2(2(0(2(1(1(2(2(2(0(1(0(2(2(1(2(2(0(0(2(1(2(1(2(2(2( 182.35/55.53 2 182.35/55.53 ( 182.35/55.53 0(2(2(1(0(2(0(2(2(x1)))))))))))))))))))))))))))))))))))))))))))) 182.35/55.53 1(0(2(0(1(1(2(1(1(0(1(2(1(0(1(0(1(1(0(2(1(0(1(0(2(1(0(1(1(0(1(1(0(2(1(0(1(2(x1)))))))))))))))))))))))))))))))))))))) 182.35/55.53 -> 182.35/55.53 1(2(1(1(2(0(1(2(1(0(2(0(0(0(2(2(0(2(2(2(1(2(0(1(0(2(0(1(2(1(2(1(2(1(1(1(2(2(0(0(0(2(2(x1))))))))))))))))))))))))))))))))))))))))))) 182.35/55.53 1(1(0(0(2(0(0(0(0(0(0(2(1(2(1(1(1(1(2(2(1(0(0(0(0(1(1(1(1(1(1(2(1(2(0(2(1(0(1(x1))))))))))))))))))))))))))))))))))))))) 182.35/55.53 -> 182.35/55.53 1(1(2(1(2(2(0(0(2(1(0(1(1(0(2(1(2(1(0(2(1(0(0(1(0(1(0(2(0(2(1(1(2(2(0(0(2(2(1(2(x1)))))))))))))))))))))))))))))))))))))))) 182.35/55.53 1(1(2(2(2(0(1(1(2(0(2(2(0(0(2(1(1(0(0(1(0(0(1(0(0(0(1(2(2(0(1(0(1(0(0(0(2(2(1(x1))))))))))))))))))))))))))))))))))))))) 182.35/55.53 -> 182.35/55.53 2(2(1(1(0(1(1(2(1(2(2(1(1(2(2(0(0(0(1(1(1(2(1(2(2(2(0(0(1(2(2(2(1(2( 182.35/55.53 2 182.35/55.53 ( 182.35/55.53 2 182.35/55.53 ( 182.35/55.53 0 182.35/55.53 ( 182.35/55.53 2(2(2(1(2(1(2(2(1(x1)))))))))))))))))))))))))))))))))))))))))))))) 182.35/55.53 0(0(1(2(1(2(1(0(0(1(1(0(1(0(1(2(0(1(1(1(1(1(1(0(0(1(1(1(0(2(1(2(2(0(0(2(0(1(2(0(x1)))))))))))))))))))))))))))))))))))))))) 182.35/55.53 -> 182.35/55.53 0(0(2(2(0(0(0(1(1(2(2(1(0(0(1(2(0(2(1(1(2(1(0(0(0(2(1(2(2(2(1(0(0(2( 182.35/55.53 2 182.35/55.53 ( 182.35/55.53 0(0(1(1(0(2(2(2(0(x1)))))))))))))))))))))))))))))))))))))))))))) 182.35/55.53 0(2(2(1(0(1(2(0(1(1(2(2(1(1(0(2(2(0(1(1(0(0(0(0(1(0(0(1(2(0(2(1(1(0(0(0(1(2(2(1(x1)))))))))))))))))))))))))))))))))))))))) 182.35/55.53 -> 182.35/55.53 2(1(0(2(2(1(0(0(1(0(1(2(1(2(1(2(0(2(0(2(0(0(2(2(0(2(1(0(0(2(2(2(1(2( 182.35/55.53 0 182.35/55.53 ( 182.35/55.53 1(1(1(0(0(1(0(0(2(x1)))))))))))))))))))))))))))))))))))))))))))) 182.35/55.53 1(2(1(2(1(2(1(0(1(0(2(1(0(2(1(0(2(0(1(2(0(1(2(0(2(2(2(1(2(1(0(2(1(1(1(1(2(2(0(1(x1)))))))))))))))))))))))))))))))))))))))) 182.35/55.53 -> 182.35/55.53 1(1(0(2(0(2(2(2(0(1(2(2(2(2(0(2(1(0(1(1(2(2(2(2(1(0(1(1(1(2(1(2(1(0(0(2(1(1(0(0(0(x1))))))))))))))))))))))))))))))))))))))))) 182.35/55.53 0(2(2(0(1(2(1(2(2(0(0(0(1(2(0(1(0(1(1(0(0(0(0(2(1(0(2(1(0(0(1(2(0(0(2(2(1(0(1(1(0(x1))))))))))))))))))))))))))))))))))))))))) 182.35/55.53 -> 182.35/55.53 1(1(1(2(1(2(2(1(2(1(0(2(1(0(1(1(1(2(2(2(1(2(1(0(1(1(2(1(0(1(2(2(2(0(0(0(1(0(0(1(2(1(2(x1))))))))))))))))))))))))))))))))))))))))))) 182.35/55.53 2(0(0(1(0(0(0(2(2(0(1(2(1(0(1(2(1(2(2(1(1(2(0(0(1(0(2(2(2(2(1(0(2(2(0(0(0(1(2(0(1(x1))))))))))))))))))))))))))))))))))))))))) 182.35/55.53 -> 182.35/55.53 2(2(2(2(2(1(0(2(1(2(2(1(1(1(2(1(1(1(1(0(1(2(2(2(1(2(0(0(2(2(0(2(1(2( 182.35/55.53 2 182.35/55.53 ( 182.35/55.53 1 182.35/55.53 ( 182.35/55.53 2 182.35/55.53 ( 182.35/55.53 2 182.35/55.53 ( 182.35/55.53 0(1(0(0(1(2(1(1(2(x1))))))))))))))))))))))))))))))))))))))))))))))) 182.35/55.53 2(0(2(0(1(0(0(0(0(0(2(0(2(0(1(0(0(1(1(1(2(0(1(1(0(0(0(0(1(0(0(0(0(2(0(0(0(0(0(1(0(x1))))))))))))))))))))))))))))))))))))))))) 182.35/55.53 -> 182.35/55.53 2(1(1(2(2(0(2(1(2(0(0(0(1(2(1(2(2(1(2(2(0(0(1(2(2(0(2(0(2(2(1(0(0(1( 182.35/55.53 2 182.35/55.53 ( 182.35/55.53 0 182.35/55.53 ( 182.35/55.53 0 182.35/55.53 ( 182.35/55.53 0 182.35/55.53 ( 182.35/55.53 1 182.35/55.53 ( 182.35/55.53 2 182.35/55.53 ( 182.35/55.53 2(1(2(1(0(1(2(2(1(x1))))))))))))))))))))))))))))))))))))))))))))))))) 182.35/55.53 2(2(1(1(0(1(2(2(0(1(0(2(0(2(2(0(1(0(1(0(1(0(1(0(1(2(2(2(0(1(1(2(0(2(1(2(0(2(1(2(1(x1))))))))))))))))))))))))))))))))))))))))) 182.35/55.53 -> 182.35/55.53 0(0(2(2(0(2(2(2(0(0(0(0(2(2(0(2(0(2(1(1(1(1(2(0(0(2(2(1(0(0(0(0(1(2( 182.35/55.53 0 182.35/55.53 ( 182.35/55.53 0(1(0(1(0(1(0(2(1(x1)))))))))))))))))))))))))))))))))))))))))))) 182.35/55.53 0(1(0(0(2(2(0(1(1(1(2(0(2(2(0(1(0(2(0(2(0(0(1(0(2(2(2(2(1(1(1(1(2(2(0(0(2(0(1(1(1(1(x1)))))))))))))))))))))))))))))))))))))))))) 182.35/55.53 -> 182.35/55.53 2(0(2(2(0(2(2(2(0(2(1(2(2(1(1(0(2(2(2(1(0(2(0(2(2(2(0(0(2(1(0(2(0(0( 182.35/55.53 0 182.35/55.53 ( 182.35/55.53 0 182.35/55.53 ( 182.35/55.53 1 182.35/55.53 ( 182.35/55.53 2 182.35/55.53 ( 182.35/55.53 2 182.35/55.53 ( 182.35/55.53 2 182.35/55.53 ( 182.35/55.53 1(2(2(0(2(0(2(0(2(x1))))))))))))))))))))))))))))))))))))))))))))))))) 182.35/55.53 0(1(1(1(1(1(2(1(0(2(1(1(2(2(0(2(0(0(1(2(0(0(0(0(1(1(2(2(1(1(2(0(2(1(2(1(1(1(0(0(1(0(x1)))))))))))))))))))))))))))))))))))))))))) 182.35/55.53 -> 182.35/55.53 1(2(2(1(1(0(0(1(2(1(2(0(1(0(0(0(1(1(1(2(2(2(2(1(2(2(1(2(0(0(1(2(0(1( 182.35/55.53 0 182.35/55.53 ( 182.35/55.53 1 182.35/55.53 ( 182.35/55.53 1 182.35/55.53 ( 182.35/55.53 2 182.35/55.53 ( 182.35/55.53 2(2(2(0(2(1(0(1(2(x1))))))))))))))))))))))))))))))))))))))))))))))) 182.35/55.53 1(2(0(0(2(0(2(1(1(2(0(0(0(2(0(1(2(2(2(0(0(1(1(2(1(1(1(1(1(1(1(0(1(2(1(1(0(0(0(0(1(0(x1)))))))))))))))))))))))))))))))))))))))))) 182.35/55.54 -> 182.35/55.54 0(2(2(1(2(2(2(0(0(1(2(0(0(2(2(1(1(2(2(2(1(1(1(0(2(2(2(1(2(1(2(2(0(2( 182.35/55.54 1 182.35/55.54 ( 182.35/55.54 1 182.35/55.54 ( 182.35/55.54 2(0(1(2(0(0(0(2(0(x1))))))))))))))))))))))))))))))))))))))))))))) 182.35/55.54 1(2(0(2(2(2(0(1(2(2(1(0(2(1(1(0(0(0(0(1(0(1(2(0(2(1(2(1(0(0(0(0(2(0(2(0(0(2(2(1(1(0(x1)))))))))))))))))))))))))))))))))))))))))) 182.35/55.54 -> 182.35/55.54 2(0(0(0(2(1(1(0(1(2(1(1(2(1(1(0(2(2(2(0(0(2(0(2(2(0(2(1(1(2(2(1(1(0( 182.35/55.54 2 182.35/55.54 ( 182.35/55.54 0 182.35/55.54 ( 182.35/55.54 2 182.35/55.54 ( 182.35/55.54 2 182.35/55.54 ( 182.35/55.54 0 182.35/55.54 ( 182.35/55.54 2 182.35/55.54 ( 182.35/55.54 2(1(0(1(2(1(0(2(1(x1))))))))))))))))))))))))))))))))))))))))))))))))) 182.35/55.54 0(1(2(1(1(1(0(2(2(0(2(0(1(0(0(1(1(0(1(0(2(0(2(0(2(2(0(1(0(1(2(1(1(2(1(1(0(1(1(2(1(1(2(x1))))))))))))))))))))))))))))))))))))))))))) 182.35/55.54 -> 182.35/55.54 2(1(0(0(1(0(1(1(2(2(2(1(1(2(1(0(1(0(0(1(0(0(1(1(1(2(0(1(2(2(1(1(1(2( 182.35/55.54 2 182.35/55.54 ( 182.35/55.54 2 182.35/55.54 ( 182.35/55.54 0(1(1(2(0(0(0(0(1(x1))))))))))))))))))))))))))))))))))))))))))))) 182.35/55.54 1(0(0(0(0(2(0(1(2(0(1(1(0(1(1(1(0(2(0(1(1(0(2(1(2(2(0(1(1(2(1(1(0(1(1(1(2(1(2(2(2(2(2(x1))))))))))))))))))))))))))))))))))))))))))) 182.35/55.54 -> 182.35/55.54 1(0(0(1(0(2(1(2(0(0(1(2(2(0(2(2(1(2(0(1(2(0(1(2(0(0(2(1(1(0(2(0(2(2( 182.35/55.54 2 182.35/55.54 ( 182.35/55.54 2(1(0(1(0(0(1(2(0(x1)))))))))))))))))))))))))))))))))))))))))))) 182.35/55.54 1(0(1(2(0(0(1(1(1(2(1(2(2(0(0(2(0(2(0(1(1(1(2(1(2(1(2(1(1(0(0(1(1(1(2(1(1(0(0(2(2(1(1(x1))))))))))))))))))))))))))))))))))))))))))) 182.35/55.54 -> 182.35/55.54 1(1(2(1(0(1(1(2(2(1(2(0(2(2(0(2(0(0(2(2(0(2(0(1(2(2(2(2(0(2(0(0(1(2( 182.35/55.54 2 182.35/55.54 ( 182.35/55.54 0(2(0(0(2(2(1(1(2(x1)))))))))))))))))))))))))))))))))))))))))))) 182.35/55.54 2(1(1(0(2(0(0(0(0(2(0(0(2(0(0(1(1(2(1(1(1(2(1(2(2(1(1(2(2(2(0(0(1(0(0(0(1(0(2(1(2(2(1(x1))))))))))))))))))))))))))))))))))))))))))) 182.35/55.54 -> 182.35/55.54 2(1(1(1(1(1(2(0(2(1(1(1(2(0(1(1(0(2(1(1(1(2(2(1(1(2(0(2(2(2(2(2(2(0( 182.35/55.54 0 182.35/55.54 ( 182.35/55.54 0(0(2(2(2(0(2(1(1(x1)))))))))))))))))))))))))))))))))))))))))))) 182.35/55.54 0(1(0(1(1(1(0(0(1(1(1(1(0(2(2(2(2(2(2(0(2(0(2(2(2(0(1(2(1(0(0(0(2(1( 182.35/55.54 1 182.35/55.54 ( 182.35/55.54 0(2(0(0(2(2(0(1(0(x1)))))))))))))))))))))))))))))))))))))))))))) 182.35/55.54 -> 182.35/55.54 2(0(2(1(1(0(2(1(2(1(1(0(2(2(2(1(1(2(1(1(1(2(1(2(2(0(1(1(0(0(1(2(1(0( 182.35/55.54 2 182.35/55.54 ( 182.35/55.54 2 182.35/55.54 ( 182.35/55.54 1 182.35/55.54 ( 182.35/55.54 2 182.35/55.54 ( 182.35/55.54 2(1(0(1(0(1(0(2(1(x1))))))))))))))))))))))))))))))))))))))))))))))) 182.35/55.54 1(1(1(0(2(0(2(0(0(0(0(0(0(1(1(2(1(1(2(0(0(0(1(2(0(2(2(1(1(2(0(0(1(2( 182.35/55.54 0 182.35/55.54 ( 182.35/55.54 1(1(0(1(1(0(1(2(2(x1)))))))))))))))))))))))))))))))))))))))))))) 182.35/55.54 -> 182.35/55.54 2(1(1(1(0(2(0(1(2(0(1(2(2(2(0(2(2(2(2(1(2(1(1(2(2(2(1(0(1(1(1(0(2(1( 182.35/55.54 1 182.35/55.54 ( 182.35/55.54 1 182.35/55.54 ( 182.35/55.54 0 182.35/55.54 ( 182.35/55.54 1 182.35/55.54 ( 182.35/55.54 1 182.35/55.54 ( 182.35/55.54 0 182.35/55.54 ( 182.35/55.54 2(1(1(2(1(0(0(2(1(x1))))))))))))))))))))))))))))))))))))))))))))))))) 182.35/55.54 2(2(0(0(0(2(0(1(2(2(1(2(1(1(2(1(1(2(0(2(1(0(1(2(1(1(2(1(2(1(1(1(2(1( 182.35/55.54 1 182.35/55.54 ( 182.35/55.54 1(1(1(0(0(0(2(2(0(x1)))))))))))))))))))))))))))))))))))))))))))) 182.35/55.54 -> 182.35/55.54 2(2(1(0(2(0(2(2(0(0(2(0(2(1(2(1(0(2(0(1(1(1(2(2(2(0(1(2(0(2(0(2(2(1( 182.35/55.54 0 182.35/55.54 ( 182.35/55.54 2 182.35/55.54 ( 182.35/55.54 1 182.35/55.54 ( 182.35/55.54 1 182.35/55.54 ( 182.35/55.54 1 182.35/55.54 ( 182.35/55.54 2(0(2(2(1(1(2(0(2(x1)))))))))))))))))))))))))))))))))))))))))))))))) 182.35/55.54 0(1(2(2(1(0(1(0(0(2(0(2(2(0(0(2(0(1(0(0(1(2(0(0(0(0(0(0(1(0(2(0(1(0( 182.35/55.54 2 182.35/55.54 ( 182.35/55.54 0 182.35/55.54 ( 182.35/55.54 2 182.35/55.54 ( 182.35/55.54 2(2(2(1(0(2(1(0(0(x1)))))))))))))))))))))))))))))))))))))))))))))) 182.35/55.54 -> 182.35/55.54 1(2(1(0(0(0(0(2(1(1(1(0(0(2(1(1(1(0(1(1(1(0(0(0(2(0(2(1(0(0(2(1(2(0( 182.35/55.54 2 182.35/55.54 ( 182.35/55.54 1 182.35/55.54 ( 182.35/55.54 1 182.35/55.54 ( 182.35/55.54 2 182.35/55.54 ( 182.35/55.54 2 182.35/55.54 ( 182.35/55.54 2(0(0(2(1(2(1(2(0(x1)))))))))))))))))))))))))))))))))))))))))))))))) 182.35/55.54 2(2(2(1(2(2(1(1(2(2(1(1(0(2(2(2(0(0(0(1(2(0(2(0(1(0(2(1(1(0(2(1(2(0( 182.35/55.54 0 182.35/55.54 ( 182.35/55.54 0 182.35/55.54 ( 182.35/55.54 0 182.35/55.54 ( 182.35/55.54 1(1(2(0(0(0(0(1(0(x1)))))))))))))))))))))))))))))))))))))))))))))) 182.35/55.54 -> 182.35/55.54 0(2(0(2(1(1(2(1(1(0(2(0(2(0(0(0(2(2(1(0(1(2(2(2(1(0(0(1(1(0(1(1(0(1( 182.35/55.54 2 182.35/55.54 ( 182.35/55.54 2 182.35/55.54 ( 182.35/55.54 0 182.35/55.54 ( 182.35/55.54 0 182.35/55.54 ( 182.35/55.54 2 182.35/55.54 ( 182.35/55.54 0 182.35/55.54 ( 182.35/55.54 2(1(1(2(1(1(2(1(2(x1))))))))))))))))))))))))))))))))))))))))))))))))) 182.35/55.54 0(1(1(1(2(0(0(1(0(0(2(1(2(1(1(0(2(1(1(0(0(2(0(1(1(1(0(0(0(0(0(1(0(0( 182.35/55.54 2 182.35/55.54 ( 182.35/55.54 1 182.35/55.54 ( 182.35/55.54 1 182.35/55.54 ( 182.35/55.54 1 182.35/55.54 ( 182.35/55.54 0(1(0(1(1(2(0(0(1(x1))))))))))))))))))))))))))))))))))))))))))))))) 182.35/55.54 -> 182.35/55.54 0(2(0(0(2(2(1(2(2(2(0(2(1(2(1(1(0(2(1(1(1(2(2(0(1(1(1(0(0(1(1(1(0(1( 182.35/55.54 1 182.35/55.54 ( 182.35/55.54 2 182.35/55.54 ( 182.35/55.54 1 182.35/55.54 ( 182.35/55.54 0 182.35/55.54 ( 182.35/55.54 2 182.35/55.54 ( 182.35/55.54 0 182.35/55.54 ( 182.35/55.54 2(1(2(2(1(0(1(2(0(x1))))))))))))))))))))))))))))))))))))))))))))))))) 182.35/55.54 0(1(2(2(0(2(2(0(2(1(1(1(2(2(0(0(2(2(2(0(0(1(1(0(0(2(0(0(2(2(0(0(0(2( 182.35/55.54 2 182.35/55.54 ( 182.35/55.54 0 182.35/55.54 ( 182.35/55.54 1 182.35/55.54 ( 182.35/55.54 1 182.35/55.54 ( 182.35/55.54 1 182.35/55.54 ( 182.35/55.54 0(2(0(1(2(1(0(0(0(x1)))))))))))))))))))))))))))))))))))))))))))))))) 182.35/55.54 -> 182.35/55.54 0(0(2(0(0(2(2(0(0(1(0(2(2(0(0(2(2(0(2(1(0(2(2(0(2(2(1(0(2(2(2(2(0(1( 182.35/55.54 1 182.35/55.54 ( 182.35/55.54 2 182.35/55.54 ( 182.35/55.54 0 182.35/55.54 ( 182.35/55.54 2 182.35/55.54 ( 182.35/55.54 2 182.35/55.54 ( 182.35/55.54 1 182.35/55.54 ( 182.35/55.54 0 182.35/55.54 ( 182.35/55.54 0(0(2(0(2(0(0(0(1(x1)))))))))))))))))))))))))))))))))))))))))))))))))) 182.35/55.54 1(0(1(0(0(1(2(0(1(0(1(2(0(2(1(0(2(2(2(0(0(0(0(1(0(0(0(2(0(1(2(1(2(0( 182.35/55.54 1 182.35/55.54 ( 182.35/55.54 2 182.35/55.54 ( 182.35/55.54 2 182.35/55.54 ( 182.35/55.54 2 182.35/55.54 ( 182.35/55.54 0 182.35/55.54 ( 182.35/55.54 0 182.35/55.54 ( 182.35/55.54 0(0(1(1(2(2(2(2(1(x1))))))))))))))))))))))))))))))))))))))))))))))))) 182.35/55.54 -> 182.35/55.54 0(0(2(1(0(2(2(2(0(0(0(0(2(1(0(1(2(1(2(1(2(0(1(2(0(0(0(2(2(2(1(2(0(2( 182.35/55.54 1 182.35/55.54 ( 182.35/55.54 0 182.35/55.54 ( 182.35/55.54 0 182.35/55.54 ( 182.35/55.54 2 182.35/55.54 ( 182.35/55.54 0 182.40/55.55 ( 182.40/55.55 0 182.40/55.55 ( 182.40/55.55 1 182.40/55.55 ( 182.40/55.55 0(2(2(2(2(2(0(2(2(x1)))))))))))))))))))))))))))))))))))))))))))))))))) 182.40/55.55 0(1(1(1(2(1(1(1(0(0(2(0(1(2(0(2(0(0(2(0(2(2(0(1(0(1(1(2(0(1(1(2(0(0( 182.40/55.55 2 182.40/55.55 ( 182.40/55.55 1 182.40/55.55 ( 182.40/55.55 0 182.40/55.55 ( 182.40/55.55 0 182.40/55.55 ( 182.40/55.55 1 182.40/55.55 ( 182.40/55.55 2 182.40/55.55 ( 182.40/55.55 2 182.40/55.55 ( 182.40/55.55 1(2(0(2(0(1(1(1(2(x1)))))))))))))))))))))))))))))))))))))))))))))))))) 182.40/55.55 -> 182.40/55.55 0(2(1(1(1(0(0(0(0(0(2(2(2(1(2(2(0(2(2(0(0(2(1(1(0(1(2(2(0(1(0(1(1(0( 182.40/55.55 2 182.40/55.55 ( 182.40/55.55 1 182.40/55.55 ( 182.40/55.55 1 182.40/55.55 ( 182.40/55.55 0 182.40/55.55 ( 182.40/55.55 1 182.40/55.55 ( 182.40/55.55 2 182.40/55.55 ( 182.40/55.55 1 182.40/55.55 ( 182.40/55.55 2(0(0(2(0(1(1(1(1(x1)))))))))))))))))))))))))))))))))))))))))))))))))) 182.40/55.55 2(2(2(0(1(1(1(1(2(1(0(1(2(1(1(0(0(2(1(0(1(0(2(1(2(1(0(0(0(0(0(0(0(1( 182.40/55.55 0 182.40/55.55 ( 182.40/55.55 2 182.40/55.55 ( 182.40/55.55 1 182.40/55.55 ( 182.40/55.55 0 182.40/55.55 ( 182.40/55.55 0 182.40/55.55 ( 182.40/55.55 0 182.40/55.55 ( 182.40/55.55 1 182.40/55.55 ( 182.40/55.55 1(0(2(1(0(0(0(1(1(x1)))))))))))))))))))))))))))))))))))))))))))))))))) 182.40/55.55 -> 182.40/55.55 2(1(2(0(1(2(1(0(1(0(0(1(2(1(0(0(1(1(2(0(1(2(1(1(1(1(0(1(0(1(0(0(1(1( 182.40/55.55 0 182.40/55.55 ( 182.40/55.55 2 182.40/55.55 ( 182.40/55.55 1 182.40/55.55 ( 182.40/55.55 0 182.40/55.55 ( 182.40/55.55 0 182.40/55.55 ( 182.40/55.55 0 182.40/55.55 ( 182.40/55.55 2 182.40/55.55 ( 182.40/55.55 2(0(2(1(0(0(0(0(0(x1)))))))))))))))))))))))))))))))))))))))))))))))))) 182.40/55.55 182.40/55.55 Proof: 182.40/55.55 Open 182.40/55.56 EOF