MAYBE 256.38/77.84 MAYBE 256.38/77.84 256.38/77.84 Problem: 256.38/77.84 0(x1) -> 1(x1) 256.38/77.84 0(0(x1)) -> 0(x1) 256.38/77.84 3(4(5(x1))) -> 4(3(5(x1))) 256.38/77.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( 256.38/77.84 2 256.38/77.84 ( 256.38/77.84 2 256.38/77.84 ( 256.38/77.84 2 256.38/77.84 ( 256.38/77.84 2 256.38/77.84 ( 256.38/77.84 2 256.38/77.84 ( 256.38/77.84 2 256.38/77.84 ( 256.38/77.84 2 256.38/77.84 ( 256.38/77.84 2 256.38/77.84 ( 256.38/77.84 2 256.38/77.84 ( 256.38/77.84 2 256.38/77.84 ( 256.38/77.84 2 256.38/77.84 ( 256.38/77.84 2 256.38/77.84 ( 256.38/77.84 2 256.38/77.84 ( 256.38/77.84 2 256.38/77.84 ( 256.38/77.84 2 256.38/77.84 ( 256.38/77.84 2 256.38/77.84 ( 256.38/77.84 2 256.38/77.84 ( 256.38/77.84 2 256.38/77.84 ( 256.38/77.84 2 256.38/77.84 ( 256.38/77.84 2 256.38/77.84 ( 256.38/77.84 2 256.38/77.84 ( 256.38/77.84 2 256.38/77.84 ( 256.38/77.84 2 256.38/77.84 ( 256.38/77.84 2 256.38/77.84 ( 256.38/77.84 2 256.38/77.84 ( 256.38/77.84 2 256.38/77.84 ( 256.38/77.84 2 256.38/77.84 ( 256.38/77.84 2 256.38/77.84 ( 256.38/77.84 2 256.38/77.84 ( 256.38/77.84 2 256.38/77.84 ( 256.38/77.84 2 256.38/77.84 ( 256.38/77.84 2 256.38/77.84 ( 256.38/77.84 2 256.38/77.84 ( 256.38/77.84 2 256.38/77.84 ( 256.38/77.84 2 256.38/77.84 ( 256.38/77.84 2 256.38/77.84 ( 256.38/77.84 2 256.38/77.84 ( 256.38/77.84 2 256.38/77.84 ( 256.38/77.84 2 256.38/77.84 ( 256.38/77.84 2 256.38/77.84 ( 256.38/77.84 2 256.38/77.84 ( 256.38/77.84 2 256.38/77.84 ( 256.38/77.84 2 256.38/77.84 ( 256.38/77.84 2 256.38/77.84 ( 256.38/77.84 2 256.38/77.84 ( 256.38/77.84 2 256.38/77.84 ( 256.38/77.84 2 256.38/77.84 ( 256.38/77.84 2 256.38/77.84 ( 256.38/77.84 2 256.38/77.84 ( 256.38/77.84 2 256.38/77.84 ( 256.38/77.84 2 256.38/77.84 ( 256.38/77.84 2 256.38/77.84 ( 256.38/77.84 2 256.38/77.84 ( 256.38/77.84 2 256.38/77.84 ( 256.38/77.84 2 256.38/77.84 ( 256.38/77.84 2 256.38/77.84 ( 256.38/77.84 2 256.38/77.84 ( 256.38/77.84 2 256.38/77.84 ( 256.38/77.84 2 256.38/77.84 ( 256.38/77.84 2 256.38/77.84 ( 256.38/77.84 2(2(2(2(2(2(2(2(2(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 256.38/77.84 -> 256.38/77.84 1(0(0(1(0(0(1(0(1(0(1(1(0(1(1(0(1(1(1(1(0(0(1(1(0(1(1(1(1(0(1(1(0(0( 256.38/77.84 0 256.38/77.84 ( 256.38/77.84 0 256.38/77.84 ( 256.38/77.84 0 256.38/77.84 ( 256.38/77.84 0 256.38/77.84 ( 256.38/77.84 1 256.38/77.84 ( 256.38/77.84 0 256.38/77.84 ( 256.38/77.84 0 256.38/77.84 ( 256.38/77.84 1 256.38/77.84 ( 256.38/77.84 1 256.38/77.84 ( 256.38/77.84 0 256.38/77.84 ( 256.38/77.84 0 256.38/77.84 ( 256.38/77.84 0 256.38/77.84 ( 256.38/77.84 0 256.38/77.84 ( 256.38/77.84 0 256.38/77.84 ( 256.38/77.84 1 256.38/77.84 ( 256.38/77.84 0 256.38/77.84 ( 256.38/77.84 1 256.38/77.84 ( 256.38/77.84 1 256.38/77.84 ( 256.38/77.84 1 256.38/77.84 ( 256.38/77.84 0 256.38/77.84 ( 256.38/77.84 0 256.38/77.84 ( 256.38/77.84 0 256.38/77.84 ( 256.38/77.84 0 256.38/77.84 ( 256.38/77.84 0 256.38/77.84 ( 256.38/77.84 1 256.38/77.84 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1(1(1(1(1(1(1(1(1(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 256.38/77.85 1(0(0(0(1(1(0(1(1(1(0(0(1(1(1(0(0(0(0(0(1(1(0(1(1(1(0(1(1(0(1(1(1(0( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 1 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.85 0 256.38/77.85 ( 256.38/77.86 1 256.38/77.86 ( 256.38/77.86 0 256.38/77.86 ( 256.38/77.86 0 256.38/77.86 ( 256.38/77.86 1 256.38/77.86 ( 256.38/77.86 0 256.38/77.86 ( 256.38/77.86 1 256.38/77.86 ( 256.38/77.86 1 256.38/77.86 ( 256.38/77.86 0 256.38/77.86 ( 256.38/77.86 1 256.38/77.86 ( 256.38/77.86 0 256.38/77.86 ( 256.38/77.86 0 256.38/77.86 ( 256.38/77.86 0 256.38/77.86 ( 256.38/77.86 0 256.38/77.86 ( 256.38/77.86 1 256.38/77.86 ( 256.38/77.86 0 256.38/77.86 ( 256.38/77.86 0 256.38/77.86 ( 256.38/77.86 1 256.38/77.86 ( 256.38/77.86 1 256.38/77.86 ( 256.38/77.86 0 256.38/77.86 ( 256.38/77.86 0 256.38/77.86 ( 256.38/77.86 0 256.38/77.86 ( 256.38/77.86 0 256.38/77.86 ( 256.38/77.86 1 256.38/77.86 ( 256.38/77.86 1 256.38/77.86 ( 256.38/77.86 0 256.38/77.86 ( 256.38/77.86 1 256.38/77.86 ( 256.38/77.86 0 256.38/77.86 ( 256.38/77.86 0 256.38/77.86 ( 256.38/77.86 0 256.38/77.86 ( 256.38/77.86 1 256.38/77.86 ( 256.38/77.86 0 256.38/77.86 ( 256.38/77.86 0 256.38/77.86 ( 256.38/77.86 1 256.38/77.86 ( 256.38/77.86 1 256.38/77.86 ( 256.38/77.86 0 256.38/77.86 ( 256.38/77.86 0 256.38/77.86 ( 256.38/77.86 1 256.38/77.86 ( 256.38/77.86 1 256.38/77.86 ( 256.38/77.86 0 256.38/77.86 ( 256.38/77.86 1 256.38/77.86 ( 256.38/77.86 0 256.38/77.86 ( 256.38/77.86 1 256.38/77.86 ( 256.38/77.86 0 256.38/77.86 ( 256.38/77.86 0 256.38/77.86 ( 256.38/77.86 1 256.38/77.86 ( 256.38/77.86 1 256.38/77.86 ( 256.38/77.86 0 256.38/77.86 ( 256.38/77.86 1 256.38/77.86 ( 256.38/77.86 0 256.38/77.86 ( 256.38/77.86 1 256.38/77.86 ( 256.38/77.86 0 256.38/77.86 ( 256.38/77.86 0 256.38/77.86 ( 256.38/77.86 1 256.38/77.86 ( 256.38/77.86 1 256.38/77.86 ( 256.38/77.86 1 256.38/77.86 ( 256.38/77.86 1 256.38/77.86 ( 256.38/77.86 0 256.38/77.86 ( 256.38/77.86 0 256.38/77.86 ( 256.38/77.86 0 256.38/77.86 ( 256.38/77.86 1 256.38/77.86 ( 256.38/77.86 1 256.38/77.86 ( 256.38/77.86 0 256.38/77.86 ( 256.38/77.86 0 256.38/77.86 ( 256.38/77.86 0 256.38/77.86 ( 256.38/77.86 1 256.38/77.86 ( 256.38/77.86 0 256.38/77.86 ( 256.38/77.86 1 256.38/77.86 ( 256.38/77.86 1 256.38/77.86 ( 256.38/77.86 1 256.38/77.86 ( 256.38/77.86 0 256.38/77.86 ( 256.38/77.86 1 256.38/77.86 ( 256.38/77.86 1 256.38/77.86 ( 256.38/77.86 1 256.38/77.86 ( 256.38/77.86 0 256.38/77.86 ( 256.38/77.86 1 256.38/77.86 ( 256.38/77.86 1 256.38/77.86 ( 256.38/77.86 1 256.38/77.86 ( 256.38/77.86 0 256.38/77.86 ( 256.38/77.86 0 256.38/77.86 ( 256.38/77.86 0 256.38/77.86 ( 256.38/77.86 1 256.38/77.86 ( 256.38/77.86 1 256.38/77.86 ( 256.38/77.86 0 256.38/77.86 ( 256.38/77.86 1 256.38/77.86 ( 256.38/77.86 1 256.38/77.86 ( 256.38/77.86 1 256.38/77.86 ( 256.38/77.86 0 256.38/77.86 ( 256.38/77.86 0 256.38/77.86 ( 256.38/77.86 0 256.38/77.86 ( 256.38/77.86 1 256.38/77.86 ( 256.38/77.86 1 256.38/77.86 ( 256.38/77.86 0 256.38/77.86 ( 256.38/77.86 1 256.38/77.86 ( 256.38/77.86 0 256.38/77.86 ( 256.38/77.86 1(1(0(1(1(1(0(1(0(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 256.38/77.86 -> 256.38/77.86 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( 256.38/77.86 2 256.38/77.86 ( 256.38/77.86 2 256.38/77.86 ( 256.38/77.86 2 256.38/77.86 ( 256.38/77.86 2 256.38/77.86 ( 256.38/77.86 2 256.38/77.86 ( 256.38/77.86 2 256.38/77.86 ( 256.38/77.86 2 256.38/77.86 ( 256.38/77.86 2 256.38/77.86 ( 256.38/77.86 2 256.38/77.86 ( 256.38/77.86 2 256.38/77.86 ( 256.38/77.86 2 256.38/77.86 ( 256.38/77.86 2 256.38/77.86 ( 256.38/77.86 2 256.38/77.86 ( 256.38/77.86 2 256.38/77.86 ( 256.38/77.86 2 256.38/77.86 ( 256.38/77.86 2 256.38/77.86 ( 256.38/77.86 2 256.38/77.86 ( 256.38/77.86 2 256.38/77.86 ( 256.38/77.86 2 256.38/77.86 ( 256.38/77.86 2 256.38/77.86 ( 256.38/77.86 2 256.38/77.86 ( 256.38/77.86 2 256.38/77.86 ( 256.38/77.86 2 256.38/77.86 ( 256.38/77.86 2 256.38/77.86 ( 256.38/77.86 2 256.38/77.86 ( 256.38/77.86 2 256.38/77.86 ( 256.38/77.86 2 256.38/77.86 ( 256.38/77.86 2 256.38/77.86 ( 256.38/77.86 2 256.38/77.86 ( 256.38/77.86 2 256.38/77.86 ( 256.38/77.86 2 256.38/77.86 ( 256.38/77.86 2 256.38/77.86 ( 256.38/77.86 2 256.38/77.86 ( 256.38/77.86 2 256.38/77.86 ( 256.38/77.86 2 256.38/77.86 ( 256.38/77.86 2 256.38/77.86 ( 256.38/77.86 2 256.38/77.86 ( 256.38/77.86 2 256.38/77.86 ( 256.38/77.86 2 256.38/77.86 ( 256.38/77.86 2 256.38/77.86 ( 256.38/77.86 2 256.38/77.86 ( 256.38/77.86 2 256.38/77.86 ( 256.38/77.86 2 256.38/77.86 ( 256.38/77.86 2 256.38/77.86 ( 256.38/77.86 2 256.38/77.86 ( 256.38/77.86 2 256.38/77.86 ( 256.38/77.86 2 256.38/77.86 ( 256.38/77.86 2 256.38/77.86 ( 256.38/77.86 2 256.38/77.86 ( 256.38/77.86 2 256.38/77.86 ( 256.38/77.86 2 256.38/77.86 ( 256.38/77.86 2 256.38/77.86 ( 256.38/77.86 2 256.38/77.86 ( 256.38/77.86 2 256.38/77.86 ( 256.38/77.86 2 256.38/77.86 ( 256.38/77.86 2 256.38/77.86 ( 256.38/77.86 2 256.38/77.86 ( 256.38/77.86 2 256.38/77.86 ( 256.38/77.86 2 256.38/77.86 ( 256.38/77.86 2 256.38/77.86 ( 256.38/77.86 2(2(2(2(2(2(2(2(2(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 256.38/77.86 256.38/77.86 Proof: 256.38/77.86 Open 256.38/77.86 EOF