g c x s y g c s x y f c s x y f c x s y f f x f d f x f x x 2.2 f f x f d f x g c x s y g c s x y f c s x y f c x s y true f c s x y f c x s y true d 1 0 s 1 1 1 c 2 1 28958 f 1 0 f 1 1 0 g 1 0 g 1 0 g c x s y g c s x y true d 1 0 s 1 1 1 c 2 2 40651 f 1 0 f 1 0 g 1 1 0 g 1 0 f f x f d f x false NaTT certifiable-1.6