190.86/63.62 MAYBE 190.86/63.62 190.86/63.62 Problem: 190.86/63.62 0(x1) -> 1(x1) 190.86/63.62 0(0(x1)) -> 0(x1) 190.86/63.62 3(4(5(x1))) -> 4(3(5(x1))) 190.86/63.62 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( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2 190.86/63.62 ( 190.86/63.62 2(2(2(2(2(2(2(2(2(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 190.86/63.62 -> 190.86/63.62 0(0(1(1(1(1(0(0(1(0(0(1(0(1(1(1(0(0(1(0(1(1(0(0(0(0(1(1(1(1(0(0(0(1( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.62 1 190.86/63.62 ( 190.86/63.62 0 190.86/63.62 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1(1(1(1(0(0(1(1(1(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 190.86/63.63 1(1(1(1(1(0(1(0(1(1(1(1(1(0(1(1(0(1(1(1(0(0(0(0(0(0(0(0(1(1(0(1(0(0( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0 190.86/63.63 ( 190.86/63.63 1 190.86/63.63 ( 190.86/63.63 0(0(1(1(1(0(1(0(1(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 190.86/63.63 -> 190.86/63.63 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( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.63 ( 190.86/63.63 2 190.86/63.64 ( 190.86/63.64 2 190.86/63.64 ( 190.86/63.64 2 190.86/63.64 ( 190.86/63.64 2 190.86/63.64 ( 190.86/63.64 2 190.86/63.64 ( 190.86/63.64 2 190.86/63.64 ( 190.86/63.64 2 190.86/63.64 ( 190.86/63.64 2 190.86/63.64 ( 190.86/63.64 2 190.86/63.64 ( 190.86/63.64 2 190.86/63.64 ( 190.86/63.64 2 190.86/63.64 ( 190.86/63.64 2 190.86/63.64 ( 190.86/63.64 2 190.86/63.64 ( 190.86/63.64 2 190.86/63.64 ( 190.86/63.64 2 190.86/63.64 ( 190.86/63.64 2 190.86/63.64 ( 190.86/63.64 2 190.86/63.64 ( 190.86/63.64 2 190.86/63.64 ( 190.86/63.64 2 190.86/63.64 ( 190.86/63.64 2 190.86/63.64 ( 190.86/63.64 2(2(2(2(2(2(2(2(2(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 190.86/63.64 190.86/63.64 Proof: 190.86/63.64 Open 190.86/63.64 EOF