205.47/52.50 MAYBE 205.47/52.51 205.47/52.51 Problem: 205.47/52.51 0(x1) -> 1(x1) 205.47/52.51 0(0(x1)) -> 0(x1) 205.47/52.51 3(4(5(x1))) -> 4(3(5(x1))) 205.47/52.51 2(2(2(2(2(2(2(2(2(2(2(2(2(x1))))))))))))) -> 205.47/52.51 0(0(0(1(0(1(1(1(0(1(1(1(1(0(0(0(0(1(0(0(1(1(1(1(0(0(0(0(0(0(0(0(1(0( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 1(1(0(0(1(1(1(1(1(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 205.47/52.51 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 0 205.47/52.51 ( 205.47/52.51 1 205.47/52.51 ( 205.47/52.51 1(0(1(1(0(0(0(1(1(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 205.47/52.51 -> 2(2(2(2(2(2(2(2(2(2(2(2(2(x1))))))))))))) 205.47/52.51 205.47/52.51 Proof: 205.47/52.51 Open 205.47/52.52 EOF