MAYBE 353.48/94.48 MAYBE 353.48/94.49 353.48/94.49 Problem: 353.48/94.49 0(x1) -> 1(x1) 353.48/94.49 0(0(x1)) -> 0(x1) 353.48/94.49 3(4(5(x1))) -> 4(3(5(x1))) 353.48/94.49 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( 353.48/94.49 2 353.48/94.49 ( 353.48/94.49 2 353.48/94.49 ( 353.48/94.49 2 353.48/94.49 ( 353.48/94.49 2 353.48/94.49 ( 353.48/94.49 2 353.48/94.49 ( 353.48/94.49 2 353.48/94.49 ( 353.48/94.49 2 353.48/94.49 ( 353.48/94.49 2 353.48/94.49 ( 353.48/94.49 2 353.48/94.49 ( 353.48/94.49 2 353.48/94.49 ( 353.48/94.49 2 353.48/94.49 ( 353.48/94.49 2 353.48/94.49 ( 353.48/94.49 2 353.48/94.49 ( 353.48/94.49 2 353.48/94.49 ( 353.48/94.49 2 353.48/94.49 ( 353.48/94.49 2 353.48/94.49 ( 353.48/94.49 2 353.48/94.49 ( 353.48/94.49 2 353.48/94.49 ( 353.48/94.49 2 353.48/94.49 ( 353.48/94.49 2 353.48/94.49 ( 353.48/94.49 2 353.48/94.49 ( 353.48/94.49 2 353.48/94.49 ( 353.48/94.49 2 353.48/94.49 ( 353.48/94.49 2 353.48/94.49 ( 353.48/94.49 2 353.48/94.49 ( 353.48/94.49 2 353.48/94.49 ( 353.48/94.49 2 353.48/94.49 ( 353.48/94.49 2 353.48/94.49 ( 353.48/94.49 2 353.48/94.49 ( 353.48/94.49 2 353.48/94.49 ( 353.48/94.49 2(2(2(2(2(2(2(2(2(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 353.48/94.49 -> 353.48/94.49 1(1(0(1(1(0(0(1(1(1(1(0(0(1(0(0(1(1(1(1(1(1(1(1(1(1(1(0(1(0(0(1(1(0( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1(1(1(1(0(0(0(1(1(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 353.48/94.49 0(0(1(1(0(0(1(0(0(1(0(1(1(1(0(1(0(1(1(0(1(1(0(0(1(0(0(1(1(0(0(1(0(1( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 1 353.48/94.49 ( 353.48/94.49 0 353.48/94.49 ( 353.48/94.49 0(1(0(1(1(1(1(1(1(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 353.48/94.49 -> 353.48/94.49 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( 353.48/94.49 2 353.48/94.49 ( 353.48/94.49 2 353.48/94.49 ( 353.48/94.49 2 353.48/94.49 ( 353.48/94.49 2 353.48/94.49 ( 353.48/94.49 2 353.48/94.49 ( 353.48/94.49 2 353.48/94.49 ( 353.48/94.49 2 353.48/94.49 ( 353.48/94.49 2 353.48/94.49 ( 353.48/94.49 2 353.48/94.49 ( 353.48/94.49 2 353.48/94.49 ( 353.48/94.49 2 353.48/94.49 ( 353.48/94.49 2 353.48/94.49 ( 353.48/94.49 2 353.48/94.49 ( 353.48/94.49 2 353.48/94.49 ( 353.48/94.49 2 353.48/94.49 ( 353.48/94.49 2 353.48/94.49 ( 353.48/94.49 2 353.48/94.49 ( 353.48/94.49 2 353.48/94.49 ( 353.48/94.49 2 353.48/94.49 ( 353.48/94.49 2 353.48/94.49 ( 353.48/94.49 2 353.48/94.49 ( 353.48/94.49 2 353.48/94.49 ( 353.48/94.49 2 353.48/94.49 ( 353.48/94.49 2 353.48/94.49 ( 353.48/94.49 2 353.48/94.49 ( 353.48/94.49 2 353.48/94.49 ( 353.48/94.49 2 353.48/94.49 ( 353.48/94.49 2 353.48/94.49 ( 353.48/94.49 2 353.48/94.49 ( 353.48/94.49 2 353.48/94.49 ( 353.48/94.49 2(2(2(2(2(2(2(2(2(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 353.48/94.49 353.48/94.49 Proof: 353.48/94.49 Open 353.48/94.50 EOF