MAYBE 256.55/77.99 MAYBE 256.55/77.99 256.55/77.99 Problem: 256.55/77.99 0(x1) -> 1(x1) 256.55/77.99 0(0(x1)) -> 0(x1) 256.55/77.99 3(4(5(x1))) -> 4(3(5(x1))) 256.55/77.99 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.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2 256.55/77.99 ( 256.55/77.99 2(2(2(2(2(2(2(2(2(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 256.55/77.99 -> 256.55/77.99 0(0(1(0(1(0(0(0(0(1(0(0(0(1(0(1(1(1(1(1(1(1(1(1(1(1(0(1(1(0(0(0(0(0( 256.55/77.99 1 256.55/77.99 ( 256.55/77.99 0 256.55/77.99 ( 256.55/77.99 1 256.55/77.99 ( 256.55/77.99 0 256.55/77.99 ( 256.55/77.99 0 256.55/77.99 ( 256.55/77.99 1 256.55/77.99 ( 256.55/77.99 0 256.55/77.99 ( 256.55/77.99 0 256.55/77.99 ( 256.55/77.99 0 256.55/77.99 ( 256.55/77.99 1 256.55/77.99 ( 256.55/77.99 0 256.55/77.99 ( 256.55/77.99 1 256.55/77.99 ( 256.55/77.99 0 256.55/77.99 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1(0(1(0(1(1(0(0(1(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 256.55/78.00 0(1(1(1(0(1(0(1(0(0(1(1(1(1(0(0(0(1(1(1(0(1(0(1(1(0(1(0(1(1(1(0(1(1( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 1 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 256.55/78.00 0 256.55/78.00 ( 257.03/78.00 0 257.03/78.00 ( 257.03/78.00 0 257.03/78.00 ( 257.03/78.00 0 257.03/78.00 ( 257.03/78.00 0 257.03/78.00 ( 257.03/78.00 1 257.03/78.00 ( 257.03/78.00 0 257.03/78.00 ( 257.03/78.00 1 257.03/78.00 ( 257.03/78.00 0 257.03/78.00 ( 257.03/78.00 0 257.03/78.00 ( 257.03/78.00 0 257.03/78.00 ( 257.03/78.00 0 257.03/78.00 ( 257.03/78.00 0 257.03/78.00 ( 257.03/78.00 1 257.03/78.00 ( 257.03/78.00 1 257.03/78.00 ( 257.03/78.00 0 257.03/78.00 ( 257.03/78.00 0 257.03/78.00 ( 257.03/78.00 0 257.03/78.00 ( 257.03/78.00 1 257.03/78.00 ( 257.03/78.00 0 257.03/78.00 ( 257.03/78.00 0 257.03/78.00 ( 257.03/78.00 0 257.03/78.00 ( 257.03/78.00 1 257.03/78.00 ( 257.03/78.00 1 257.03/78.00 ( 257.03/78.00 0 257.03/78.00 ( 257.03/78.00 0 257.03/78.00 ( 257.03/78.00 0 257.03/78.00 ( 257.03/78.00 0 257.03/78.00 ( 257.03/78.00 0 257.03/78.00 ( 257.03/78.00 1 257.03/78.00 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 1 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 0 257.03/78.01 ( 257.03/78.01 1(0(0(1(0(0(0(1(0(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 257.03/78.01 -> 257.03/78.01 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( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2 257.03/78.01 ( 257.03/78.01 2(2(2(2(2(2(2(2(2(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 257.03/78.01 257.03/78.01 Proof: 257.03/78.01 Open 257.03/78.02 EOF