f s x y f x s x f x s y f y x f c x y f x s x 2.2 f c x y f x s x f s x y f x s x f x s y f y x true f x s y f y x f s x y f x s x f c x y f x s x true s 1 1 1 c 1 1 2 f 2 0 f 2 1 28958 2 28958 0 f s x y f x s x f x s y f y x f s x y f x s x f x s y f y x true s 1 1 2 c 1 2 f 2 0 f 2 1 2 2 1 0 NaTT certifiable-1.6