186.49/58.97 MAYBE 186.49/58.97 186.49/58.97 Problem: 186.49/58.97 0(x1) -> 1(x1) 186.49/58.97 0(0(x1)) -> 0(x1) 186.49/58.97 3(4(5(x1))) -> 4(3(5(x1))) 186.49/58.97 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( 186.49/58.97 2 186.49/58.97 ( 186.49/58.97 2 186.49/58.97 ( 186.49/58.97 2 186.49/58.97 ( 186.49/58.97 2 186.49/58.97 ( 186.49/58.97 2 186.49/58.97 ( 186.49/58.97 2 186.49/58.97 ( 186.49/58.97 2 186.49/58.97 ( 186.49/58.97 2 186.49/58.97 ( 186.49/58.97 2 186.49/58.97 ( 186.49/58.97 2 186.49/58.97 ( 186.49/58.97 2 186.49/58.97 ( 186.49/58.97 2 186.49/58.97 ( 186.49/58.97 2 186.49/58.97 ( 186.49/58.97 2 186.49/58.97 ( 186.49/58.97 2 186.49/58.97 ( 186.49/58.97 2 186.49/58.97 ( 186.49/58.97 2 186.49/58.97 ( 186.49/58.97 2 186.49/58.97 ( 186.49/58.97 2 186.49/58.97 ( 186.49/58.97 2 186.49/58.97 ( 186.49/58.97 2 186.49/58.97 ( 186.49/58.97 2 186.49/58.97 ( 186.49/58.97 2 186.49/58.97 ( 186.49/58.97 2 186.49/58.97 ( 186.49/58.97 2(2(2(2(2(2(2(2(2(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 186.49/58.97 -> 186.49/58.97 0(0(1(0(0(0(1(1(1(0(1(1(1(1(1(0(0(1(0(0(1(0(1(1(0(1(0(0(1(1(0(0(0(1( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 0 186.49/58.97 ( 186.49/58.97 1 186.49/58.97 ( 186.49/58.97 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0(1(1(0(0(0(1(1(0(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 186.49/58.98 0(1(0(0(1(1(1(1(1(1(0(1(1(0(1(1(0(1(0(0(0(1(0(0(0(1(1(1(1(0(1(0(1(0( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 0 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1 186.49/58.98 ( 186.49/58.98 1(0(0(0(1(0(0(0(0(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 186.49/58.98 -> 186.49/58.98 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( 186.49/58.98 2 186.49/58.98 ( 186.49/58.98 2 186.49/58.98 ( 186.49/58.98 2 186.49/58.98 ( 186.49/58.98 2 186.49/58.98 ( 186.49/58.98 2 186.49/58.98 ( 186.49/58.98 2 186.49/58.98 ( 186.49/58.98 2 186.49/58.98 ( 186.49/58.98 2 186.49/58.98 ( 186.49/58.98 2 186.49/58.98 ( 186.49/58.98 2 186.49/58.98 ( 186.49/58.98 2 186.49/58.98 ( 186.49/58.98 2 186.49/58.98 ( 186.49/58.98 2 186.49/58.98 ( 186.49/58.98 2 186.49/58.98 ( 186.49/58.98 2 186.49/58.98 ( 186.49/58.98 2 186.49/58.98 ( 186.49/58.98 2 186.49/58.98 ( 186.49/58.98 2 186.49/58.98 ( 186.49/58.98 2 186.49/58.98 ( 186.49/58.98 2 186.49/58.98 ( 186.49/58.98 2 186.49/58.98 ( 186.49/58.98 2 186.49/58.98 ( 186.49/58.98 2 186.49/58.98 ( 186.49/58.98 2 186.49/58.98 ( 186.49/58.98 2(2(2(2(2(2(2(2(2(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 186.49/58.98 186.49/58.98 Proof: 186.49/58.98 Open 186.49/58.99 EOF