182.89/55.99 MAYBE 182.89/55.99 182.89/55.99 Problem: 182.89/55.99 0(x1) -> 1(x1) 182.89/55.99 0(0(x1)) -> 0(x1) 182.89/55.99 3(4(5(x1))) -> 4(3(5(x1))) 182.89/55.99 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.89/55.99 2 182.89/55.99 ( 182.89/55.99 2 182.89/55.99 ( 182.89/55.99 2 182.89/55.99 ( 182.89/55.99 2 182.89/55.99 ( 182.89/55.99 2 182.89/55.99 ( 182.89/55.99 2 182.89/55.99 ( 182.89/55.99 2 182.89/55.99 ( 182.89/55.99 2 182.89/55.99 ( 182.89/55.99 2 182.89/55.99 ( 182.89/55.99 2 182.89/55.99 ( 182.89/55.99 2 182.89/55.99 ( 182.89/55.99 2 182.89/55.99 ( 182.89/55.99 2 182.89/55.99 ( 182.89/55.99 2 182.89/55.99 ( 182.89/55.99 2 182.89/55.99 ( 182.89/55.99 2 182.89/55.99 ( 182.89/55.99 2 182.89/55.99 ( 182.89/55.99 2 182.89/55.99 ( 182.89/55.99 2 182.89/55.99 ( 182.89/55.99 2 182.89/55.99 ( 182.89/55.99 2 182.89/55.99 ( 182.89/55.99 2 182.89/55.99 ( 182.89/55.99 2 182.89/55.99 ( 182.89/55.99 2 182.89/55.99 ( 182.89/55.99 2 182.89/55.99 ( 182.89/55.99 2 182.89/55.99 ( 182.89/55.99 2 182.89/55.99 ( 182.89/55.99 2 182.89/55.99 ( 182.89/55.99 2 182.89/55.99 ( 182.89/55.99 2 182.89/55.99 ( 182.89/55.99 2 182.89/55.99 ( 182.89/55.99 2 182.89/55.99 ( 182.89/55.99 2 182.89/55.99 ( 182.89/55.99 2 182.89/55.99 ( 182.89/55.99 2 182.89/55.99 ( 182.89/55.99 2 182.89/55.99 ( 182.89/55.99 2 182.89/55.99 ( 182.89/55.99 2 182.89/55.99 ( 182.89/55.99 2 182.89/55.99 ( 182.89/55.99 2 182.89/55.99 ( 182.89/55.99 2 182.89/55.99 ( 182.89/55.99 2 182.89/55.99 ( 182.89/55.99 2 182.89/55.99 ( 182.89/55.99 2 182.89/55.99 ( 182.89/55.99 2 182.89/55.99 ( 182.89/55.99 2 182.89/55.99 ( 182.89/55.99 2 182.89/55.99 ( 182.89/55.99 2 182.89/55.99 ( 182.89/55.99 2 182.89/55.99 ( 182.89/55.99 2 182.89/55.99 ( 182.89/55.99 2 182.89/55.99 ( 182.89/55.99 2 182.89/55.99 ( 182.89/55.99 2 182.89/55.99 ( 182.89/55.99 2 182.89/55.99 ( 182.89/55.99 2 182.89/55.99 ( 182.89/55.99 2 182.89/55.99 ( 182.89/55.99 2 182.89/55.99 ( 182.89/55.99 2 182.89/55.99 ( 182.89/55.99 2 182.89/55.99 ( 182.89/55.99 2 182.89/55.99 ( 182.89/55.99 2 182.89/55.99 ( 182.89/55.99 2 182.89/55.99 ( 182.89/55.99 2 182.89/55.99 ( 182.89/55.99 2 182.89/55.99 ( 182.89/55.99 2(2(2(2(2(2(2(2(2(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 182.89/55.99 -> 182.89/55.99 1(0(0(1(1(1(0(0(1(0(1(0(0(1(0(1(1(0(0(1(0(1(0(0(0(0(1(1(1(0(1(1(1(1( 182.89/55.99 1 182.89/55.99 ( 182.89/55.99 0 182.89/55.99 ( 182.89/55.99 1 182.89/55.99 ( 182.89/55.99 1 182.89/55.99 ( 182.89/55.99 1 182.89/55.99 ( 182.89/55.99 0 182.89/55.99 ( 182.89/55.99 1 182.89/55.99 ( 182.89/55.99 1 182.89/55.99 ( 182.89/55.99 0 182.89/55.99 ( 182.89/55.99 0 182.89/55.99 ( 182.89/55.99 1 182.89/55.99 ( 182.89/55.99 1 182.89/55.99 ( 182.89/55.99 1 182.89/55.99 ( 182.89/55.99 0 182.89/55.99 ( 182.89/55.99 1 182.89/55.99 ( 182.89/55.99 0 182.89/55.99 ( 182.89/55.99 0 182.89/55.99 ( 182.89/55.99 0 182.89/55.99 ( 182.89/55.99 0 182.89/55.99 ( 182.89/55.99 1 182.89/55.99 ( 182.89/55.99 1 182.89/55.99 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1(1(1(1(1(1(1(1(1(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 182.89/56.00 0(1(1(1(1(0(0(1(0(1(0(0(1(0(0(1(0(1(1(1(1(0(1(0(1(1(0(1(1(1(1(1(0(0( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 1 182.89/56.00 ( 182.89/56.00 0 182.89/56.00 ( 182.89/56.00 1(0(0(0(1(0(1(1(1(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 182.89/56.00 -> 182.89/56.00 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.89/56.00 2 182.89/56.00 ( 182.89/56.00 2 182.89/56.00 ( 182.89/56.00 2 182.89/56.00 ( 182.89/56.00 2 182.89/56.00 ( 182.89/56.00 2 182.89/56.00 ( 182.89/56.00 2 182.89/56.00 ( 182.89/56.00 2 182.89/56.00 ( 182.89/56.00 2 182.89/56.00 ( 182.89/56.00 2 182.89/56.00 ( 182.89/56.00 2 182.89/56.00 ( 182.89/56.00 2 182.89/56.00 ( 182.89/56.00 2 182.89/56.00 ( 182.89/56.00 2 182.89/56.00 ( 182.89/56.00 2 182.89/56.00 ( 182.89/56.00 2 182.89/56.00 ( 182.89/56.00 2 182.89/56.00 ( 182.89/56.00 2 182.89/56.00 ( 182.89/56.00 2 182.89/56.00 ( 182.89/56.00 2 182.89/56.00 ( 182.89/56.00 2 182.89/56.00 ( 182.89/56.00 2 182.89/56.00 ( 182.89/56.00 2 182.89/56.00 ( 182.89/56.00 2 182.89/56.00 ( 182.89/56.00 2 182.89/56.00 ( 182.89/56.00 2 182.89/56.00 ( 182.89/56.00 2 182.89/56.00 ( 182.89/56.00 2 182.89/56.00 ( 182.89/56.00 2 182.89/56.00 ( 182.89/56.00 2 182.89/56.00 ( 182.89/56.00 2 182.89/56.00 ( 182.89/56.00 2 182.89/56.00 ( 182.89/56.00 2 182.89/56.00 ( 182.89/56.00 2 182.89/56.00 ( 182.89/56.00 2 182.89/56.00 ( 182.89/56.00 2 182.89/56.00 ( 182.89/56.00 2 182.89/56.00 ( 182.89/56.00 2 182.89/56.00 ( 182.89/56.00 2 182.89/56.00 ( 182.89/56.00 2 182.89/56.00 ( 182.89/56.00 2 182.89/56.00 ( 182.89/56.00 2 182.89/56.00 ( 182.89/56.00 2 182.89/56.00 ( 182.89/56.00 2 182.89/56.00 ( 182.89/56.00 2 182.89/56.00 ( 182.89/56.00 2 182.89/56.00 ( 182.89/56.00 2 182.89/56.00 ( 182.89/56.00 2 182.89/56.00 ( 182.89/56.00 2 182.89/56.00 ( 182.89/56.00 2 182.89/56.00 ( 182.89/56.00 2 182.89/56.00 ( 182.89/56.00 2 182.89/56.00 ( 182.89/56.00 2 182.89/56.00 ( 182.89/56.00 2 182.89/56.00 ( 182.89/56.00 2 182.89/56.00 ( 182.89/56.00 2 182.89/56.00 ( 182.89/56.00 2 182.89/56.00 ( 182.89/56.00 2 182.89/56.00 ( 182.89/56.00 2 182.89/56.00 ( 182.89/56.00 2 182.89/56.00 ( 182.89/56.00 2 182.89/56.00 ( 182.89/56.00 2 182.89/56.00 ( 182.89/56.00 2 182.89/56.00 ( 182.89/56.00 2 182.89/56.00 ( 182.89/56.00 2 182.89/56.00 ( 182.89/56.00 2(2(2(2(2(2(2(2(2(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 182.89/56.00 182.89/56.00 Proof: 182.89/56.00 Open 182.89/56.01 EOF