s a a s s x x s f x y f s y s x s g x y g s x s y f x a x f a y y f g x y g u v g f x u f y v g a a a 2.2 f g x y g u v f x u s f x y s x s g x y s y s g x y g s x s y s f x y s y f g x y g u v f y v f g x y g u v g f x u f y v s g x y s x s f x y f s y s x true s g x y s x s g x y s y s f x y s x s f x y s y true a 0 0 s 1 0 f 2 1 2 1 s 1 1 0 f 2 0 g 2 0 g 2 1 2 1 s f x y f s y s x false s g x y g s x s y false f g x y g u v f y v f g x y g u v f x u true a 0 0 s 1 0 f 2 1 s 1 0 f 2 2 0 g 2 0 g 2 1 2 1 f g x y g u v g f x u f y v false NaTT certifiable-1.6