185.96/58.89 MAYBE 185.96/58.90 185.96/58.90 Problem: 185.96/58.90 0(x1) -> 1(x1) 185.96/58.90 0(0(x1)) -> 0(x1) 185.96/58.90 3(4(5(x1))) -> 4(3(5(x1))) 185.96/58.90 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.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2 185.96/58.90 ( 185.96/58.90 2(2(2(2(2(2(2(2(2(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 185.96/58.90 -> 185.96/58.90 0(1(0(1(0(1(1(1(1(1(1(1(1(1(0(1(0(0(0(1(1(0(0(1(0(0(0(0(0(0(1(0(0(1( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0(1(0(1(0(0(0(0(0(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 185.96/58.90 0(0(0(1(0(1(0(1(0(1(1(0(0(1(0(1(0(0(0(1(1(0(1(1(1(1(0(1(1(0(0(0(1(0( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.90 1 185.96/58.90 ( 185.96/58.90 0 185.96/58.90 ( 185.96/58.91 0 185.96/58.91 ( 185.96/58.91 1 185.96/58.91 ( 185.96/58.91 0 185.96/58.91 ( 185.96/58.91 0 185.96/58.91 ( 185.96/58.91 1 185.96/58.91 ( 185.96/58.91 1 185.96/58.91 ( 185.96/58.91 0 185.96/58.91 ( 185.96/58.91 0 185.96/58.91 ( 185.96/58.91 1 185.96/58.91 ( 185.96/58.91 0 185.96/58.91 ( 185.96/58.91 0 185.96/58.91 ( 185.96/58.91 1 185.96/58.91 ( 185.96/58.91 0 185.96/58.91 ( 185.96/58.91 0 185.96/58.91 ( 185.96/58.91 0 185.96/58.91 ( 185.96/58.91 0 185.96/58.91 ( 185.96/58.91 1 185.96/58.91 ( 185.96/58.91 1 185.96/58.91 ( 185.96/58.91 0 185.96/58.91 ( 185.96/58.91 1 185.96/58.91 ( 185.96/58.91 1 185.96/58.91 ( 185.96/58.91 0 185.96/58.91 ( 185.96/58.91 0 185.96/58.91 ( 185.96/58.91 0 185.96/58.91 ( 185.96/58.91 1 185.96/58.91 ( 185.96/58.91 1 185.96/58.91 ( 185.96/58.91 1 185.96/58.91 ( 185.96/58.91 1 185.96/58.91 ( 185.96/58.91 0 185.96/58.91 ( 185.96/58.91 1 185.96/58.91 ( 185.96/58.91 0 185.96/58.91 ( 185.96/58.91 0 185.96/58.91 ( 185.96/58.91 0 185.96/58.91 ( 185.96/58.91 0 185.96/58.91 ( 185.96/58.91 0 185.96/58.91 ( 185.96/58.91 0 185.96/58.91 ( 185.96/58.91 0 185.96/58.91 ( 185.96/58.91 1 185.96/58.91 ( 185.96/58.91 0 185.96/58.91 ( 185.96/58.91 1 185.96/58.91 ( 185.96/58.91 1 185.96/58.91 ( 185.96/58.91 0 185.96/58.91 ( 185.96/58.91 1 185.96/58.91 ( 185.96/58.91 1 185.96/58.91 ( 185.96/58.91 0 185.96/58.91 ( 185.96/58.91 1 185.96/58.91 ( 185.96/58.91 1 185.96/58.91 ( 185.96/58.91 0 185.96/58.91 ( 185.96/58.91 1 185.96/58.91 ( 185.96/58.91 1 185.96/58.91 ( 185.96/58.91 1 185.96/58.91 ( 185.96/58.91 0 185.96/58.91 ( 185.96/58.91 0 185.96/58.91 ( 185.96/58.91 0 185.96/58.91 ( 185.96/58.91 1 185.96/58.91 ( 185.96/58.91 1 185.96/58.91 ( 185.96/58.91 1 185.96/58.91 ( 185.96/58.91 1 185.96/58.91 ( 185.96/58.91 0 185.96/58.91 ( 185.96/58.91 0 185.96/58.91 ( 185.96/58.91 1 185.96/58.91 ( 185.96/58.91 1 185.96/58.91 ( 185.96/58.91 1 185.96/58.91 ( 185.96/58.91 0 185.96/58.91 ( 185.96/58.91 0 185.96/58.91 ( 185.96/58.91 1 185.96/58.91 ( 185.96/58.91 0 185.96/58.91 ( 185.96/58.91 0 185.96/58.91 ( 185.96/58.91 1 185.96/58.91 ( 185.96/58.91 1 185.96/58.91 ( 185.96/58.91 0 185.96/58.91 ( 185.96/58.91 0 185.96/58.91 ( 185.96/58.91 0 185.96/58.91 ( 185.96/58.91 0 185.96/58.91 ( 185.96/58.91 1 185.96/58.91 ( 185.96/58.91 1 185.96/58.91 ( 185.96/58.91 0 185.96/58.91 ( 185.96/58.91 0 185.96/58.91 ( 185.96/58.91 0 185.96/58.91 ( 185.96/58.91 0 185.96/58.91 ( 185.96/58.91 0 185.96/58.91 ( 185.96/58.91 1 185.96/58.91 ( 185.96/58.91 1 185.96/58.91 ( 185.96/58.91 0 185.96/58.91 ( 185.96/58.91 1 185.96/58.91 ( 185.96/58.91 0 185.96/58.91 ( 185.96/58.91 0 185.96/58.91 ( 185.96/58.91 1 185.96/58.91 ( 185.96/58.91 0 185.96/58.91 ( 185.96/58.91 1 185.96/58.91 ( 185.96/58.91 0 185.96/58.91 ( 185.96/58.91 1 185.96/58.91 ( 185.96/58.91 0 185.96/58.91 ( 185.96/58.91 0(1(1(1(1(1(0(1(1(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 185.96/58.91 -> 185.96/58.91 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.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2 185.96/58.91 ( 185.96/58.91 2(2(2(2(2(2(2(2(2(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 185.96/58.91 185.96/58.91 Proof: 185.96/58.91 Open 185.96/58.92 EOF