186.11/58.83 MAYBE 186.11/58.83 186.11/58.83 Problem: 186.11/58.83 0(x1) -> 1(x1) 186.11/58.83 0(0(x1)) -> 0(x1) 186.11/58.83 3(4(5(x1))) -> 4(3(5(x1))) 186.11/58.83 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.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2 186.11/58.83 ( 186.11/58.83 2(2(2(2(2(2(2(2(2(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 186.11/58.83 -> 186.11/58.83 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( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 1 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 0 186.11/58.83 ( 186.11/58.83 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0(1(0(0(1(1(1(1(0(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 186.11/58.84 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( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0 186.11/58.84 ( 186.11/58.84 1 186.11/58.84 ( 186.11/58.84 0(0(0(1(0(0(0(1(0(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 186.11/58.84 -> 186.11/58.84 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.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2 186.11/58.84 ( 186.11/58.84 2(2(2(2(2(2(2(2(2(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 186.11/58.84 186.11/58.84 Proof: 186.11/58.84 Open 186.11/58.85 EOF