185.89/58.66 MAYBE 185.89/58.66 185.89/58.66 Problem: 185.89/58.66 0(x1) -> 1(x1) 185.89/58.66 0(0(x1)) -> 0(x1) 185.89/58.66 3(4(5(x1))) -> 4(3(5(x1))) 185.89/58.66 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( 185.89/58.66 2 185.89/58.66 ( 185.89/58.66 2 185.89/58.66 ( 185.89/58.66 2 185.89/58.66 ( 185.89/58.66 2 185.89/58.66 ( 185.89/58.66 2 185.89/58.66 ( 185.89/58.66 2 185.89/58.66 ( 185.89/58.66 2 185.89/58.66 ( 185.89/58.66 2 185.89/58.66 ( 185.89/58.66 2 185.89/58.66 ( 185.89/58.66 2 185.89/58.66 ( 185.89/58.66 2 185.89/58.66 ( 185.89/58.66 2 185.89/58.66 ( 185.89/58.66 2 185.89/58.66 ( 185.89/58.66 2 185.89/58.66 ( 185.89/58.66 2 185.89/58.66 ( 185.89/58.66 2 185.89/58.66 ( 185.89/58.66 2 185.89/58.66 ( 185.89/58.66 2 185.89/58.66 ( 185.89/58.66 2 185.89/58.66 ( 185.89/58.66 2 185.89/58.66 ( 185.89/58.66 2 185.89/58.66 ( 185.89/58.66 2 185.89/58.66 ( 185.89/58.66 2 185.89/58.66 ( 185.89/58.66 2 185.89/58.66 ( 185.89/58.66 2 185.89/58.66 ( 185.89/58.66 2 185.89/58.66 ( 185.89/58.66 2 185.89/58.66 ( 185.89/58.66 2 185.89/58.66 ( 185.89/58.66 2 185.89/58.66 ( 185.89/58.66 2 185.89/58.66 ( 185.89/58.66 2(2(2(2(2(2(2(2(2(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 185.89/58.66 -> 185.89/58.66 1(0(1(0(0(1(1(1(1(0(0(0(1(1(1(0(0(0(1(1(0(0(1(1(1(0(1(1(0(1(1(1(1(0( 185.89/58.66 0 185.89/58.66 ( 185.89/58.66 0 185.89/58.66 ( 185.89/58.66 0 185.89/58.66 ( 185.89/58.66 0 185.89/58.66 ( 185.89/58.66 1 185.89/58.66 ( 185.89/58.66 1 185.89/58.66 ( 185.89/58.66 0 185.89/58.66 ( 185.89/58.66 0 185.89/58.66 ( 185.89/58.66 0 185.89/58.66 ( 185.89/58.66 1 185.89/58.66 ( 185.89/58.66 1 185.89/58.66 ( 185.89/58.66 0 185.89/58.66 ( 185.89/58.66 1 185.89/58.66 ( 185.89/58.66 0 185.89/58.66 ( 185.89/58.66 1 185.89/58.66 ( 185.89/58.66 1 185.89/58.66 ( 185.89/58.66 1 185.89/58.66 ( 185.89/58.66 0 185.89/58.66 ( 185.89/58.66 1 185.89/58.66 ( 185.89/58.66 0 185.89/58.66 ( 185.89/58.66 0 185.89/58.66 ( 185.89/58.66 1 185.89/58.66 ( 185.89/58.66 1 185.89/58.66 ( 185.89/58.66 1 185.89/58.66 ( 185.89/58.66 0 185.89/58.66 ( 185.89/58.66 1 185.89/58.66 ( 185.89/58.66 0 185.89/58.66 ( 185.89/58.66 1 185.89/58.66 ( 185.89/58.66 0 185.89/58.66 ( 185.89/58.66 1 185.89/58.66 ( 185.89/58.66 1 185.89/58.66 ( 185.89/58.66 0 185.89/58.66 ( 185.89/58.66 0 185.89/58.66 ( 185.89/58.66 0 185.89/58.66 ( 185.89/58.66 1 185.89/58.66 ( 185.89/58.66 0 185.89/58.66 ( 185.89/58.66 1 185.89/58.66 ( 185.89/58.66 0 185.89/58.66 ( 185.89/58.66 1 185.89/58.66 ( 185.89/58.66 1 185.89/58.66 ( 185.89/58.66 1 185.89/58.66 ( 185.89/58.66 1 185.89/58.66 ( 185.89/58.66 1 185.89/58.66 ( 185.89/58.66 1 185.89/58.66 ( 185.89/58.66 1 185.89/58.66 ( 185.89/58.66 0 185.89/58.66 ( 185.89/58.66 0 185.89/58.66 ( 185.89/58.66 1 185.89/58.66 ( 185.89/58.66 1 185.89/58.66 ( 185.89/58.66 0 185.89/58.66 ( 185.89/58.66 1 185.89/58.66 ( 185.89/58.66 0 185.89/58.66 ( 185.89/58.66 0 185.89/58.66 ( 185.89/58.66 1 185.89/58.66 ( 185.89/58.66 1 185.89/58.66 ( 185.89/58.66 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1(1(0(1(0(0(1(1(1(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 185.89/58.67 1(1(1(1(1(0(0(0(0(0(0(1(1(0(0(0(0(0(0(1(0(1(1(0(0(0(1(0(1(0(1(0(1(0( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 1 185.89/58.67 ( 185.89/58.67 0 185.89/58.67 ( 185.89/58.67 0 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 1 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 0 185.97/58.67 ( 185.97/58.67 0 185.97/58.68 ( 185.97/58.68 1 185.97/58.68 ( 185.97/58.68 1 185.97/58.68 ( 185.97/58.68 0 185.97/58.68 ( 185.97/58.68 0 185.97/58.68 ( 185.97/58.68 1 185.97/58.68 ( 185.97/58.68 0 185.97/58.68 ( 185.97/58.68 0 185.97/58.68 ( 185.97/58.68 0 185.97/58.68 ( 185.97/58.68 1 185.97/58.68 ( 185.97/58.68 1 185.97/58.68 ( 185.97/58.68 1 185.97/58.68 ( 185.97/58.68 0(1(1(1(1(0(1(1(1(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 185.97/58.68 -> 185.97/58.68 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( 185.97/58.68 2 185.97/58.68 ( 185.97/58.68 2 185.97/58.68 ( 185.97/58.68 2 185.97/58.68 ( 185.97/58.68 2 185.97/58.68 ( 185.97/58.68 2 185.97/58.68 ( 185.97/58.68 2 185.97/58.68 ( 185.97/58.68 2 185.97/58.68 ( 185.97/58.68 2 185.97/58.68 ( 185.97/58.68 2 185.97/58.68 ( 185.97/58.68 2 185.97/58.68 ( 185.97/58.68 2 185.97/58.68 ( 185.97/58.68 2 185.97/58.68 ( 185.97/58.68 2 185.97/58.68 ( 185.97/58.68 2 185.97/58.68 ( 185.97/58.68 2 185.97/58.68 ( 185.97/58.68 2 185.97/58.68 ( 185.97/58.68 2 185.97/58.68 ( 185.97/58.68 2 185.97/58.68 ( 185.97/58.68 2 185.97/58.68 ( 185.97/58.68 2 185.97/58.68 ( 185.97/58.68 2 185.97/58.68 ( 185.97/58.68 2 185.97/58.68 ( 185.97/58.68 2 185.97/58.68 ( 185.97/58.68 2 185.97/58.68 ( 185.97/58.68 2 185.97/58.68 ( 185.97/58.68 2 185.97/58.68 ( 185.97/58.68 2 185.97/58.68 ( 185.97/58.68 2 185.97/58.68 ( 185.97/58.68 2 185.97/58.68 ( 185.97/58.68 2 185.97/58.68 ( 185.97/58.68 2(2(2(2(2(2(2(2(2(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 185.97/58.68 185.97/58.68 Proof: 185.97/58.68 Open 185.97/58.69 EOF