182.81/55.88 MAYBE 182.81/55.88 182.81/55.88 Problem: 182.81/55.88 0(x1) -> 1(x1) 182.81/55.88 0(0(x1)) -> 0(x1) 182.81/55.88 3(4(5(x1))) -> 4(3(5(x1))) 182.81/55.88 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.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2 182.81/55.88 ( 182.81/55.88 2(2(2(2(2(2(2(2(2(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 182.81/55.88 -> 182.81/55.88 0(0(1(0(1(1(0(1(0(0(1(0(1(0(1(1(0(1(1(0(1(0(1(0(1(0(1(1(0(0(0(1(1(1( 182.81/55.88 0 182.81/55.88 ( 182.81/55.88 1 182.81/55.88 ( 182.81/55.88 0 182.81/55.88 ( 182.81/55.88 0 182.81/55.88 ( 182.81/55.88 0 182.81/55.88 ( 182.81/55.88 0 182.81/55.88 ( 182.81/55.88 1 182.81/55.88 ( 182.81/55.88 1 182.81/55.88 ( 182.81/55.88 0 182.81/55.88 ( 182.81/55.88 1 182.81/55.88 ( 182.81/55.88 0 182.81/55.88 ( 182.81/55.88 1 182.81/55.88 ( 182.81/55.88 0 182.81/55.88 ( 182.81/55.88 1 182.81/55.88 ( 182.81/55.88 0 182.81/55.88 ( 182.81/55.88 1 182.81/55.88 ( 182.81/55.88 1 182.81/55.88 ( 182.81/55.88 0 182.81/55.88 ( 182.81/55.88 1 182.81/55.88 ( 182.81/55.88 0 182.81/55.88 ( 182.81/55.88 1 182.81/55.88 ( 182.81/55.88 1 182.81/55.88 ( 182.81/55.88 1 182.81/55.88 ( 182.81/55.88 0 182.81/55.88 ( 182.81/55.88 1 182.81/55.88 ( 182.81/55.88 0 182.81/55.88 ( 182.81/55.88 1 182.81/55.88 ( 182.81/55.88 1 182.81/55.88 ( 182.81/55.88 1 182.81/55.88 ( 182.81/55.88 0 182.81/55.88 ( 182.81/55.88 0 182.81/55.88 ( 182.81/55.88 0 182.81/55.88 ( 182.81/55.88 1 182.81/55.88 ( 182.81/55.88 0 182.81/55.88 ( 182.81/55.88 0 182.81/55.88 ( 182.81/55.88 1 182.81/55.88 ( 182.81/55.88 1 182.81/55.88 ( 182.81/55.88 0 182.81/55.88 ( 182.81/55.88 0 182.81/55.88 ( 182.81/55.88 0 182.81/55.88 ( 182.81/55.88 0 182.81/55.88 ( 182.81/55.88 1 182.81/55.88 ( 182.81/55.88 1 182.81/55.88 ( 182.81/55.88 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1(0(0(0(1(0(1(0(0(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 182.81/55.89 0(1(1(0(1(0(0(0(1(1(1(1(1(1(1(1(1(1(1(0(0(1(1(0(1(1(1(0(1(0(1(1(0(1( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 0 182.81/55.89 ( 182.81/55.89 1 182.81/55.89 ( 182.81/55.89 1(1(1(1(0(0(1(1(0(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 182.81/55.89 -> 182.81/55.89 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.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2 182.81/55.89 ( 182.81/55.89 2(2(2(2(2(2(2(2(2(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 182.81/55.89 182.81/55.89 Proof: 182.81/55.89 Open 182.81/55.90 EOF