s s 0 f 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 s s 0 k 0 k 0 0 s s s 0 k s 0 k s 0 s 0 s s s s s s s s 0 k s s 0 k s s 0 s s s s s s 0 h k x g x k s x 2.2 g s x s s g x k s s 0 s s s s s 0 h f x g x s x s s s s s s s s 0 k s s 0 h k x g x s x h f x g x f s x s s s 0 k s 0 s s 0 k 0 k s s 0 s s s s 0 h k x g x k s x k s s 0 s s s s s s 0 f g x f x s s 0 f s 0 s x h 0 x f g x g f x g s x s g x g x h x x k s s 0 s s s 0 f g x g g f x g s x g x s x h x 0 true g s x g x s s s 0 k s 0 f g x g g f x h f x g x f s x k s s 0 s s s 0 g x h x x g s x s g x f g x g f x h k x g x s x s s s s s s s s 0 k s s 0 h f x g x s x s s 0 f s 0 f g x f x k s s 0 s s s s s 0 k s s 0 s s s s s s 0 h k x g x k s x k s s 0 s s s s 0 g s x s s g x true 2 1 h 2 0 0 s 1 0 0 k 1 0 0 f 1 1 1 1 1 1 0 0 0 0 0 0 h 2 2 0 k 1 1 0 s 1 1 0 f 1 0 1 1 0 1 0 0 g 1 15712 0 g 1 1 15713 15713 k s s 0 s s s s 0 k s s 0 s s s s s s 0 k s s 0 s s s s s 0 s s s s s s s s 0 k s s 0 k s s 0 s s s 0 s s s 0 k s 0 g s x g x s x h 0 x s s 0 k 0 s s 0 f s 0 s x h x 0 f g x g g f x s s s 0 k s 0 h f x g x f s x h k x g x k s x s s s s s s s s 0 k s s 0 k s 0 s 0 k 0 0 k s s 0 s s s s s s 0 g s x s s g x g x h x x s s s 0 k s 0 s s s s s s s s 0 k s s 0 k s s 0 s s s 0 k s s 0 s s s s 0 k s s 0 s s s s s 0 k s s 0 s s s s s s 0 true 2 1 h 2 0 1 0 0 2 1 1 s 1 0 1 0 0 1 1 1 k 1 1 2 f 1 0 1 0 0 1 1 1 0 0 0 1 h 2 2 0 k 1 0 0 1 1 1 0 0 s 1 2 2 f 1 0 0 g 1 15712 0 g 1 0 1 0 0 1 1 1 k s s 0 s s s s s s 0 k s s 0 s s s s s 0 k s s 0 s s s s 0 k s s 0 s s s 0 s s s s s s s s 0 k s s 0 s x h 0 x s s 0 k 0 s s 0 f s 0 s x h x 0 f g x g g f x s s s 0 k s 0 h f x g x f s x h k x g x k s x s s s s s s s s 0 k s s 0 k s 0 s 0 k 0 0 k s s 0 s s s s s s 0 g s x s s g x g x h x x s s s s s s s s 0 k s s 0 k s s 0 s s s 0 k s s 0 s s s s 0 k s s 0 s s s s s 0 k s s 0 s s s s s s 0 true Failed! NaTT certifiable-1.6