190.78/63.48 MAYBE 190.78/63.48 190.78/63.48 Problem: 190.78/63.48 0(x1) -> 1(x1) 190.78/63.48 0(0(x1)) -> 0(x1) 190.78/63.48 3(4(5(x1))) -> 4(3(5(x1))) 190.78/63.48 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.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.48 2 190.78/63.48 ( 190.78/63.49 2 190.78/63.49 ( 190.78/63.49 2 190.78/63.49 ( 190.78/63.49 2 190.78/63.49 ( 190.78/63.49 2 190.78/63.49 ( 190.78/63.49 2 190.78/63.49 ( 190.78/63.49 2 190.78/63.49 ( 190.78/63.49 2 190.78/63.49 ( 190.78/63.49 2 190.78/63.49 ( 190.78/63.49 2 190.78/63.49 ( 190.78/63.49 2 190.78/63.49 ( 190.78/63.49 2 190.78/63.49 ( 190.78/63.49 2 190.78/63.49 ( 190.78/63.49 2 190.78/63.49 ( 190.78/63.49 2 190.78/63.49 ( 190.78/63.49 2 190.78/63.49 ( 190.78/63.49 2 190.78/63.49 ( 190.78/63.49 2 190.78/63.49 ( 190.78/63.49 2 190.78/63.49 ( 190.78/63.49 2 190.78/63.49 ( 190.78/63.49 2 190.78/63.49 ( 190.78/63.49 2 190.78/63.49 ( 190.78/63.49 2 190.78/63.49 ( 190.78/63.49 2 190.78/63.49 ( 190.78/63.49 2 190.78/63.49 ( 190.78/63.49 2 190.78/63.49 ( 190.78/63.49 2 190.78/63.49 ( 190.78/63.49 2 190.78/63.49 ( 190.78/63.49 2(2(2(2(2(2(2(2(2(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 190.78/63.49 -> 190.78/63.49 1(0(0(0(1(0(1(1(0(0(1(1(1(0(0(0(0(1(1(1(1(1(1(1(1(1(1(1(1(0(0(1(1(0( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1(0(1(1(0(1(1(0(0(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 190.78/63.49 1(0(1(1(1(1(1(0(0(1(1(0(1(1(0(0(1(0(1(0(1(1(0(1(1(1(0(1(0(1(0(0(1(0( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 1 190.78/63.49 ( 190.78/63.49 0 190.78/63.49 ( 190.78/63.49 1 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 1 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 0 190.78/63.50 ( 190.78/63.50 1(0(1(0(1(0(1(1(0(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 190.78/63.50 -> 190.78/63.50 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.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2 190.78/63.50 ( 190.78/63.50 2(2(2(2(2(2(2(2(2(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 190.78/63.50 190.78/63.50 Proof: 190.78/63.50 Open 190.78/63.51 EOF