182.48/55.55 MAYBE 182.48/55.55 182.48/55.55 Problem: 182.48/55.55 0(x1) -> 1(x1) 182.48/55.55 0(0(x1)) -> 0(x1) 182.48/55.55 3(4(5(x1))) -> 4(3(5(x1))) 182.48/55.55 2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.55 ( 182.48/55.55 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2(2(2(2(2(2(2(2(2(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 182.48/55.56 -> 182.48/55.56 1(1(1(0(1(1(0(0(0(0(0(1(1(0(1(1(1(0(0(1(0(1(1(0(1(1(1(1(0(0(0(1(1(1( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0(0(1(1(0(1(0(0(0(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 182.48/55.56 0(0(1(1(1(1(0(0(0(0(0(0(0(0(1(1(0(0(1(1(0(1(1(0(1(0(0(0(1(0(0(0(1(1( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 1 182.48/55.56 ( 182.48/55.56 0 182.48/55.56 ( 182.48/55.56 0(1(0(0(1(0(0(1(0(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 182.48/55.56 -> 182.48/55.56 2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.56 ( 182.48/55.56 2 182.48/55.57 ( 182.48/55.57 2 182.48/55.57 ( 182.48/55.57 2 182.48/55.57 ( 182.48/55.57 2 182.48/55.57 ( 182.48/55.57 2 182.48/55.57 ( 182.48/55.57 2 182.48/55.57 ( 182.48/55.57 2 182.48/55.57 ( 182.48/55.57 2 182.48/55.57 ( 182.48/55.57 2 182.48/55.57 ( 182.48/55.57 2 182.48/55.57 ( 182.48/55.57 2 182.48/55.57 ( 182.48/55.57 2 182.48/55.57 ( 182.48/55.57 2 182.48/55.57 ( 182.48/55.57 2 182.48/55.57 ( 182.48/55.57 2 182.48/55.57 ( 182.48/55.57 2 182.48/55.57 ( 182.48/55.57 2 182.48/55.57 ( 182.48/55.57 2 182.48/55.57 ( 182.48/55.57 2 182.48/55.57 ( 182.48/55.57 2 182.48/55.57 ( 182.48/55.57 2 182.48/55.57 ( 182.48/55.57 2 182.48/55.57 ( 182.48/55.57 2 182.48/55.57 ( 182.48/55.57 2 182.48/55.57 ( 182.48/55.57 2 182.48/55.57 ( 182.48/55.57 2 182.48/55.57 ( 182.48/55.57 2 182.48/55.57 ( 182.48/55.57 2 182.48/55.57 ( 182.48/55.57 2 182.48/55.57 ( 182.48/55.57 2 182.48/55.57 ( 182.48/55.57 2 182.48/55.57 ( 182.48/55.57 2 182.48/55.57 ( 182.48/55.57 2 182.48/55.57 ( 182.48/55.57 2 182.48/55.57 ( 182.48/55.57 2 182.48/55.57 ( 182.48/55.57 2 182.48/55.57 ( 182.48/55.57 2 182.48/55.57 ( 182.48/55.57 2 182.48/55.57 ( 182.48/55.57 2 182.48/55.57 ( 182.48/55.57 2 182.48/55.57 ( 182.48/55.57 2 182.48/55.57 ( 182.48/55.57 2 182.48/55.57 ( 182.48/55.57 2 182.48/55.57 ( 182.48/55.57 2 182.48/55.57 ( 182.48/55.57 2 182.48/55.57 ( 182.48/55.57 2 182.48/55.57 ( 182.48/55.57 2 182.48/55.57 ( 182.48/55.57 2 182.48/55.57 ( 182.48/55.57 2 182.48/55.57 ( 182.48/55.57 2 182.48/55.57 ( 182.48/55.57 2 182.48/55.57 ( 182.48/55.57 2 182.48/55.57 ( 182.48/55.57 2 182.48/55.57 ( 182.48/55.57 2 182.48/55.57 ( 182.48/55.57 2 182.48/55.57 ( 182.48/55.57 2 182.48/55.57 ( 182.48/55.57 2 182.48/55.57 ( 182.48/55.57 2 182.48/55.57 ( 182.48/55.57 2 182.48/55.57 ( 182.48/55.57 2 182.48/55.57 ( 182.48/55.57 2 182.48/55.57 ( 182.48/55.57 2 182.48/55.57 ( 182.48/55.57 2 182.48/55.57 ( 182.48/55.57 2 182.48/55.57 ( 182.48/55.57 2 182.48/55.57 ( 182.48/55.57 2 182.48/55.57 ( 182.48/55.57 2 182.48/55.57 ( 182.48/55.57 2 182.48/55.57 ( 182.48/55.57 2 182.48/55.57 ( 182.48/55.57 2 182.48/55.57 ( 182.48/55.57 2 182.48/55.57 ( 182.48/55.57 2 182.48/55.57 ( 182.48/55.57 2(2(2(2(2(2(2(2(2(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 182.48/55.57 182.48/55.57 Proof: 182.48/55.57 Open 182.48/55.57 EOF