MAYBE 395.16/107.09 MAYBE 395.16/107.09 395.16/107.09 Problem: 395.16/107.09 0(x1) -> 1(x1) 395.16/107.09 0(0(x1)) -> 0(x1) 395.16/107.09 3(4(5(x1))) -> 4(3(5(x1))) 395.16/107.09 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( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2 395.16/107.09 ( 395.16/107.09 2(2(2(2(2(2(2(2(2(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 395.16/107.09 -> 395.16/107.09 0(1(1(0(1(1(1(1(0(0(0(0(0(0(1(1(1(1(0(0(0(0(1(0(0(0(0(1(1(1(0(1(1(1( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 0 395.16/107.09 ( 395.16/107.09 1 395.16/107.09 ( 395.16/107.09 0(1(0(0(1(1(1(1(0(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 395.16/107.10 0(1(0(1(0(1(0(0(0(0(1(0(0(1(1(0(1(1(0(0(1(0(0(0(1(0(1(1(1(1(1(1(1(1( 395.16/107.10 0 395.16/107.10 ( 395.16/107.10 0 395.16/107.10 ( 395.16/107.10 0 395.16/107.10 ( 395.16/107.10 1 395.16/107.10 ( 395.16/107.10 1 395.16/107.10 ( 395.16/107.10 1 395.16/107.10 ( 395.16/107.10 0 395.16/107.10 ( 395.16/107.10 0 395.16/107.10 ( 395.16/107.10 1 395.16/107.10 ( 395.16/107.10 0 395.16/107.10 ( 395.16/107.10 0 395.16/107.10 ( 395.16/107.10 1 395.16/107.10 ( 395.16/107.10 0 395.16/107.10 ( 395.16/107.10 0 395.16/107.10 ( 395.16/107.10 0 395.16/107.10 ( 395.16/107.10 1 395.16/107.10 ( 395.16/107.10 1 395.16/107.10 ( 395.16/107.10 0 395.16/107.10 ( 395.16/107.10 0 395.16/107.10 ( 395.16/107.10 0 395.16/107.10 ( 395.16/107.10 0 395.16/107.10 ( 395.16/107.10 1 395.16/107.10 ( 395.16/107.10 0 395.16/107.10 ( 395.16/107.10 0 395.16/107.10 ( 395.16/107.10 1 395.16/107.10 ( 395.16/107.10 1 395.16/107.10 ( 395.16/107.10 0 395.16/107.10 ( 395.16/107.10 1 395.16/107.10 ( 395.16/107.10 0 395.16/107.10 ( 395.16/107.10 1 395.16/107.10 ( 395.16/107.10 1 395.16/107.10 ( 395.16/107.10 1 395.16/107.10 ( 395.16/107.10 1 395.16/107.10 ( 395.16/107.10 1 395.16/107.10 ( 395.16/107.10 1 395.16/107.10 ( 395.16/107.10 1 395.16/107.10 ( 395.16/107.10 1 395.16/107.10 ( 395.16/107.10 1 395.16/107.10 ( 395.16/107.10 0 395.16/107.10 ( 395.16/107.10 1 395.16/107.10 ( 395.16/107.10 1 395.16/107.10 ( 395.16/107.10 0 395.16/107.10 ( 395.16/107.10 1 395.16/107.10 ( 395.16/107.10 0 395.16/107.10 ( 395.16/107.10 0 395.16/107.10 ( 395.16/107.10 0 395.16/107.10 ( 395.16/107.10 1 395.16/107.10 ( 395.16/107.10 0 395.16/107.10 ( 395.16/107.10 0 395.16/107.10 ( 395.16/107.10 1 395.16/107.10 ( 395.16/107.10 0 395.16/107.10 ( 395.16/107.10 1 395.16/107.10 ( 395.16/107.10 1 395.16/107.10 ( 395.16/107.10 1 395.16/107.10 ( 395.16/107.10 1 395.16/107.10 ( 395.16/107.10 1 395.16/107.10 ( 395.16/107.10 1 395.16/107.10 ( 395.16/107.10 1 395.16/107.10 ( 395.16/107.10 0 395.16/107.10 ( 395.16/107.10 0 395.16/107.10 ( 395.16/107.10 0 395.16/107.10 ( 395.16/107.10 0 395.16/107.10 ( 395.16/107.10 1 395.16/107.10 ( 395.16/107.10 1 395.16/107.10 ( 395.16/107.10 0 395.16/107.10 ( 395.16/107.10 1 395.16/107.10 ( 395.16/107.10 1 395.16/107.10 ( 395.16/107.10 0 395.16/107.10 ( 395.16/107.10 0 395.16/107.10 ( 395.16/107.10 1 395.16/107.10 ( 395.16/107.10 0 395.16/107.10 ( 395.16/107.10 0 395.16/107.10 ( 395.16/107.10 1 395.16/107.10 ( 395.16/107.10 0 395.16/107.10 ( 395.16/107.10 1 395.16/107.10 ( 395.16/107.10 0 395.16/107.10 ( 395.16/107.10 1 395.16/107.10 ( 395.16/107.10 1 395.16/107.10 ( 395.16/107.10 0 395.16/107.10 ( 395.16/107.10 0 395.16/107.10 ( 395.16/107.10 0 395.16/107.10 ( 395.16/107.10 1 395.16/107.10 ( 395.16/107.10 1 395.16/107.10 ( 395.16/107.10 0 395.16/107.10 ( 395.16/107.10 1 395.16/107.10 ( 395.16/107.10 1 395.16/107.10 ( 395.16/107.10 1 395.16/107.10 ( 395.16/107.10 1 395.16/107.10 ( 395.16/107.10 0 395.16/107.10 ( 395.16/107.10 0 395.16/107.10 ( 395.16/107.10 1 395.16/107.10 ( 395.16/107.10 0 395.16/107.10 ( 395.16/107.10 0 395.16/107.10 ( 395.16/107.10 1 395.16/107.10 ( 395.16/107.10 1 395.16/107.10 ( 395.16/107.10 0 395.16/107.10 ( 395.16/107.10 0 395.16/107.10 ( 395.16/107.10 0 395.16/107.10 ( 395.16/107.10 0 395.16/107.10 ( 395.16/107.10 0 395.16/107.10 ( 395.16/107.10 1 395.16/107.10 ( 395.16/107.10 0 395.16/107.10 ( 395.16/107.10 0 395.16/107.10 ( 395.16/107.10 1 395.16/107.10 ( 395.16/107.10 1 395.16/107.10 ( 395.16/107.10 1 395.16/107.10 ( 395.16/107.10 0 395.16/107.10 ( 395.16/107.10 1 395.16/107.10 ( 395.16/107.10 1 395.16/107.10 ( 395.16/107.10 0 395.16/107.10 ( 395.16/107.10 0 395.16/107.10 ( 395.16/107.10 1 395.16/107.10 ( 395.16/107.10 0 395.16/107.10 ( 395.16/107.10 0 395.16/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 0 395.63/107.10 ( 395.63/107.10 1 395.63/107.10 ( 395.63/107.10 0(0(0(1(0(0(0(1(0(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 395.63/107.10 -> 395.63/107.10 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( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2 395.63/107.10 ( 395.63/107.10 2(2(2(2(2(2(2(2(2(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 395.63/107.10 395.63/107.10 Proof: 395.63/107.10 Open 395.63/107.11 EOF