s s 0 f 0 f 0 0 s s s 0 f s 0 f s 0 s 0 s s s s s s s s 0 f s s 0 f s s 0 s s s s s s 0 g x h x x s x h x 0 s x h 0 x f g x g g f x g s x s s g x h f x g x f s x 2.2 f s s 0 s s s s s 0 g s x s s g x f g x g f x h f x g x f s x g x h x x f g x g g f x f g x f x g s x s g x h f x g x s x s x h 0 x s s 0 f 0 s s s 0 f s 0 f s s 0 s s s s 0 f s s 0 s s s s s s 0 g s x g x s s s s s s s s 0 f s s 0 f s s 0 s s s 0 s x h x 0 true f s s 0 s s s 0 f g x f x s s s s s s s s 0 f s s 0 f g x g g f x g s x g x f s s 0 s s s s s s 0 f s s 0 s s s s 0 s s s 0 f s 0 g x h x x h f x g x f s x f g x g f x g s x s s g x h f x g x s x g s x s g x f s s 0 s s s s s 0 true 2 1 h 2 0 0 s 1 0 0 f 1 1 1 1 1 1 0 0 0 0 0 0 h 2 0 0 s 1 0 0 f 1 1 0 0 0 1 0 0 g 1 0 0 g 1 1 1 1 f s s 0 s s s s s 0 g s x s g x h f x g x s x g s x s s g x h f x g x f s x g x h x x s s s 0 f s 0 f s s 0 s s s s 0 f s s 0 s s s s s s 0 g s x g x s s s s s s s s 0 f s s 0 f s s 0 s s s 0 f s 0 s 0 s x h x 0 s s 0 f 0 s s s 0 f s 0 s s s s s s s s 0 f s s 0 f g x g g f x g x h x x h f x g x f s x g s x s s g x s x h 0 x f s s 0 s s s s s s 0 f 0 0 g s x g x true Failed! NaTT certifiable-1.6