179.38/52.43 MAYBE 179.38/52.43 179.38/52.43 Problem: 179.38/52.43 0(x1) -> 1(x1) 179.38/52.43 0(0(x1)) -> 0(x1) 179.38/52.43 3(4(5(x1))) -> 4(3(5(x1))) 179.38/52.43 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( 179.38/52.43 2 179.38/52.43 ( 179.38/52.43 2 179.38/52.43 ( 179.38/52.43 2 179.38/52.43 ( 179.38/52.43 2 179.38/52.43 ( 179.38/52.43 2 179.38/52.43 ( 179.38/52.43 2 179.38/52.43 ( 179.38/52.43 2 179.38/52.43 ( 179.38/52.43 2 179.38/52.43 ( 179.38/52.43 2 179.38/52.43 ( 179.38/52.43 2 179.38/52.43 ( 179.38/52.43 2 179.38/52.43 ( 179.38/52.43 2 179.38/52.43 ( 179.38/52.43 2 179.38/52.43 ( 179.38/52.43 2 179.38/52.43 ( 179.38/52.43 2 179.38/52.43 ( 179.38/52.43 2 179.38/52.43 ( 179.38/52.43 2 179.38/52.43 ( 179.38/52.43 2 179.38/52.43 ( 179.38/52.43 2 179.38/52.43 ( 179.38/52.43 2 179.38/52.43 ( 179.38/52.43 2 179.38/52.43 ( 179.38/52.43 2 179.38/52.43 ( 179.38/52.43 2 179.38/52.43 ( 179.38/52.43 2 179.38/52.43 ( 179.38/52.43 2 179.38/52.43 ( 179.38/52.43 2 179.38/52.43 ( 179.38/52.43 2 179.38/52.43 ( 179.38/52.43 2 179.38/52.43 ( 179.38/52.43 2 179.38/52.43 ( 179.38/52.43 2 179.38/52.43 ( 179.38/52.43 2 179.38/52.43 ( 179.38/52.43 2 179.38/52.43 ( 179.38/52.43 2 179.38/52.43 ( 179.38/52.43 2 179.38/52.43 ( 179.38/52.43 2 179.38/52.43 ( 179.38/52.43 2 179.38/52.43 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2(2(2(2(2(2(2(2(2(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 179.38/52.44 -> 179.38/52.44 1(0(0(0(1(1(0(0(0(0(1(0(0(0(1(1(0(0(0(1(1(0(0(1(1(1(1(0(0(1(1(1(1(1( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 0(1(0(1(0(1(1(0(1(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 179.38/52.44 1(0(1(1(1(0(0(1(0(0(0(1(0(1(1(0(1(1(1(0(1(0(0(0(0(1(1(1(0(0(1(0(0(1( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 0 179.38/52.44 ( 179.38/52.44 1 179.38/52.44 ( 179.38/52.44 1(1(1(0(1(0(0(0(0(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 179.38/52.44 -> 179.38/52.44 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( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2 179.38/52.44 ( 179.38/52.44 2(2(2(2(2(2(2(2(2(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 179.38/52.44 179.38/52.44 Proof: 179.38/52.44 Open 179.38/52.45 EOF