ack 0 y s y ack s x 0 ack x s 0 ack s x s y ack x ack s x y f s x y f x s x f x s y f y x f x y ack x y ack s x y f x x 2.2 f x y ack x y ack s x s y ack s x y f s x y f x s x ack s x s y ack x ack s x y ack s x y f x x ack s x 0 ack x s 0 f x s y f y x true f x s y f y x ack s x 0 ack x s 0 ack s x y f x x ack s x s y ack s x y ack s x s y ack x ack s x y f s x y f x s x f x y ack x y true s 1 1 2 ack 2 0 f 2 1 1 0 0 0 14235 f 2 1 8857 2 8856 0 ack 2 1 8857 0 f x y ack x y ack s x s y ack s x y f x y ack x y false ack s x s y ack s x y true s 1 0 1 ack 2 0 1 2 f 2 0 1 2 0 0 0 f 2 0 1 2 ack 2 0 1 2 s 1 1 0 ack 2 1 0 2 0 0 f 2 1 0 2 0 0 0 0 0 f 2 1 0 2 0 0 ack 2 1 0 2 0 0 NaTT certifiable-1.6