187.97/60.74 MAYBE 187.97/60.74 187.97/60.74 Problem: 187.97/60.74 0(x1) -> 1(x1) 187.97/60.74 0(0(x1)) -> 0(x1) 187.97/60.74 3(4(5(x1))) -> 4(3(5(x1))) 187.97/60.74 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( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2 187.97/60.74 ( 187.97/60.74 2(2(2(2(2(2(2(2(2(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 187.97/60.74 -> 187.97/60.74 1(1(0(1(0(0(0(1(0(1(0(1(1(0(0(0(1(1(1(0(0(1(1(0(0(1(1(0(1(1(0(1(0(1( 187.97/60.74 1 187.97/60.74 ( 187.97/60.74 1 187.97/60.74 ( 187.97/60.74 1 187.97/60.74 ( 187.97/60.74 1 187.97/60.74 ( 187.97/60.74 1 187.97/60.74 ( 187.97/60.74 1 187.97/60.74 ( 187.97/60.74 1 187.97/60.74 ( 187.97/60.74 1 187.97/60.74 ( 187.97/60.74 1 187.97/60.74 ( 187.97/60.74 0 187.97/60.74 ( 187.97/60.74 0 187.97/60.74 ( 187.97/60.74 1 187.97/60.74 ( 187.97/60.74 0 187.97/60.74 ( 187.97/60.74 0 187.97/60.74 ( 187.97/60.74 1 187.97/60.74 ( 187.97/60.74 1 187.97/60.74 ( 187.97/60.74 1 187.97/60.74 ( 187.97/60.74 1 187.97/60.74 ( 187.97/60.74 0 187.97/60.74 ( 187.97/60.74 1 187.97/60.74 ( 187.97/60.74 1 187.97/60.74 ( 187.97/60.74 0 187.97/60.74 ( 187.97/60.74 1 187.97/60.74 ( 187.97/60.74 1 187.97/60.74 ( 187.97/60.74 1 187.97/60.74 ( 187.97/60.74 0 187.97/60.74 ( 187.97/60.74 0 187.97/60.74 ( 187.97/60.74 0 187.97/60.74 ( 187.97/60.74 1 187.97/60.74 ( 187.97/60.74 0 187.97/60.74 ( 187.97/60.74 1 187.97/60.74 ( 187.97/60.74 0 187.97/60.74 ( 187.97/60.74 0 187.97/60.74 ( 187.97/60.74 0 187.97/60.74 ( 187.97/60.74 1 187.97/60.74 ( 187.97/60.74 0 187.97/60.74 ( 187.97/60.74 0 187.97/60.74 ( 187.97/60.74 0 187.97/60.74 ( 187.97/60.74 0 187.97/60.74 ( 187.97/60.74 0 187.97/60.74 ( 187.97/60.74 0 187.97/60.74 ( 187.97/60.74 1 187.97/60.74 ( 187.97/60.74 1 187.97/60.74 ( 187.97/60.74 1 187.97/60.74 ( 187.97/60.74 1 187.97/60.74 ( 187.97/60.74 1 187.97/60.74 ( 187.97/60.74 1 187.97/60.74 ( 187.97/60.74 0 187.97/60.74 ( 187.97/60.74 0 187.97/60.74 ( 187.97/60.74 0 187.97/60.74 ( 187.97/60.74 1 187.97/60.74 ( 187.97/60.74 0 187.97/60.74 ( 187.97/60.74 0 187.97/60.74 ( 187.97/60.74 1 187.97/60.74 ( 187.97/60.74 1 187.97/60.74 ( 187.97/60.74 1 187.97/60.74 ( 187.97/60.74 1 187.97/60.74 ( 187.97/60.74 1 187.97/60.74 ( 187.97/60.74 1 187.97/60.74 ( 187.97/60.74 1 187.97/60.74 ( 187.97/60.74 0 187.97/60.74 ( 187.97/60.74 0 187.97/60.74 ( 187.97/60.74 1 187.97/60.74 ( 187.97/60.74 0 187.97/60.74 ( 187.97/60.74 1 187.97/60.74 ( 187.97/60.74 1 187.97/60.74 ( 187.97/60.74 0 187.97/60.74 ( 187.97/60.74 0 187.97/60.74 ( 187.97/60.74 1 187.97/60.74 ( 187.97/60.74 0 187.97/60.74 ( 187.97/60.74 1 187.97/60.74 ( 187.97/60.74 1 187.97/60.74 ( 187.97/60.74 1 187.97/60.74 ( 187.97/60.74 0 187.97/60.74 ( 187.97/60.74 1 187.97/60.74 ( 187.97/60.74 0 187.97/60.74 ( 187.97/60.74 0 187.97/60.74 ( 187.97/60.74 0 187.97/60.74 ( 187.97/60.74 0 187.97/60.74 ( 187.97/60.74 0 187.97/60.74 ( 187.97/60.74 0 187.97/60.74 ( 187.97/60.74 0 187.97/60.74 ( 187.97/60.74 1 187.97/60.74 ( 187.97/60.74 0 187.97/60.74 ( 187.97/60.74 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1(0(1(1(0(1(0(1(0(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 187.97/60.75 1(0(1(0(1(1(1(1(0(1(0(0(1(0(1(0(0(0(0(1(1(0(1(1(0(0(0(1(1(1(1(1(1(0( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 1 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0 187.97/60.75 ( 187.97/60.75 0(1(0(0(1(0(1(1(0(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 187.97/60.75 -> 187.97/60.75 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( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2 187.97/60.75 ( 187.97/60.75 2(2(2(2(2(2(2(2(2(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 187.97/60.75 187.97/60.75 Proof: 187.97/60.75 Open 187.97/60.76 EOF