MAYBE 428.20/116.51 MAYBE 428.20/116.51 428.20/116.51 Problem: 428.20/116.51 0(x1) -> 1(x1) 428.20/116.51 0(0(x1)) -> 0(x1) 428.20/116.51 3(4(5(x1))) -> 4(3(5(x1))) 428.20/116.51 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( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2 428.20/116.51 ( 428.20/116.51 2(2(2(2(2(2(2(2(2(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 428.20/116.51 -> 428.20/116.51 1(1(0(1(0(0(0(1(0(1(0(1(1(0(0(0(1(1(1(0(0(1(1(0(0(1(1(0(1(1(0(1(0(1( 428.20/116.51 1 428.20/116.51 ( 428.20/116.51 1 428.20/116.51 ( 428.20/116.51 1 428.20/116.51 ( 428.20/116.51 1 428.20/116.51 ( 428.20/116.51 1 428.20/116.51 ( 428.20/116.51 1 428.20/116.51 ( 428.20/116.51 1 428.20/116.51 ( 428.20/116.51 1 428.20/116.51 ( 428.20/116.51 1 428.20/116.51 ( 428.20/116.51 0 428.20/116.51 ( 428.20/116.51 0 428.20/116.51 ( 428.20/116.51 1 428.20/116.51 ( 428.20/116.51 0 428.20/116.51 ( 428.20/116.51 0 428.20/116.51 ( 428.20/116.51 1 428.20/116.51 ( 428.20/116.51 1 428.20/116.51 ( 428.20/116.51 1 428.20/116.51 ( 428.20/116.51 1 428.20/116.51 ( 428.20/116.51 0 428.20/116.51 ( 428.20/116.51 1 428.20/116.51 ( 428.20/116.51 1 428.20/116.51 ( 428.20/116.51 0 428.20/116.51 ( 428.20/116.51 1 428.20/116.51 ( 428.20/116.51 1 428.20/116.51 ( 428.20/116.51 1 428.20/116.51 ( 428.20/116.51 0 428.20/116.51 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1(0(1(1(0(1(0(1(0(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 428.20/116.52 1(0(1(0(1(1(1(1(0(1(0(0(1(0(1(0(0(0(0(1(1(0(1(1(0(0(0(1(1(1(1(1(1(0( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 1 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0 428.20/116.52 ( 428.20/116.52 0(1(0(0(1(0(1(1(0(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 428.20/116.52 -> 428.20/116.52 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( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.52 2 428.20/116.52 ( 428.20/116.53 2 428.20/116.53 ( 428.20/116.53 2 428.20/116.53 ( 428.20/116.53 2 428.20/116.53 ( 428.20/116.53 2 428.20/116.53 ( 428.20/116.53 2 428.20/116.53 ( 428.20/116.53 2 428.20/116.53 ( 428.20/116.53 2 428.20/116.53 ( 428.20/116.53 2 428.20/116.53 ( 428.20/116.53 2 428.20/116.53 ( 428.20/116.53 2 428.20/116.53 ( 428.20/116.53 2 428.20/116.53 ( 428.20/116.53 2 428.20/116.53 ( 428.20/116.53 2 428.20/116.53 ( 428.20/116.53 2 428.20/116.53 ( 428.20/116.53 2 428.20/116.53 ( 428.20/116.53 2 428.20/116.53 ( 428.20/116.53 2 428.20/116.53 ( 428.20/116.53 2 428.20/116.53 ( 428.20/116.53 2 428.20/116.53 ( 428.20/116.53 2 428.20/116.53 ( 428.20/116.53 2 428.20/116.53 ( 428.20/116.53 2 428.20/116.53 ( 428.20/116.53 2 428.20/116.53 ( 428.20/116.53 2(2(2(2(2(2(2(2(2(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 428.20/116.53 428.20/116.53 Proof: 428.20/116.53 Open 428.20/116.53 EOF