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 0 k 0 s k 0 0 s s 0 k s 0 k s 0 0 s s s s s s s s s 0 k s s 0 k s s 0 s 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 s 0 h f x g x f s x k s s 0 s s s 0 h k x g x k s x h k x g x s x h f x g x s x s s 0 f s 0 k s s 0 s s s s s 0 s s s s s s s s s 0 k s s 0 k s s 0 s s s s s s s 0 s x h 0 x f g x g f x s x h x 0 s 0 k 0 f g x g g f x g s x s g x g x h x x k s s 0 s s s s 0 s s 0 k s 0 g s x g x f g x f x true f g x f x g s x g x h f x g x s x s s 0 k s 0 h k x g x s x k s s 0 s s s s 0 g x h x x g s x s g x f g x g g f x h k x g x k s x k s s 0 s s s 0 h f x g x f s x f g x g f x k s s 0 s s s s s s 0 k s s 0 s s s s s s s 0 s s s s s s s s s 0 k s s 0 k s s 0 s s s s s 0 g s x s s g x s s 0 f s 0 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 54076 0 k 1 54075 0 s 1 54075 0 f 1 1 0 1 1 1 0 0 g 1 54077 27039 g 1 1 27039 27039 k s s 0 s s s s s 0 s s s s s s s s s 0 k s s 0 k s s 0 s s s s s s s 0 k s s 0 s s s s s s 0 k s s 0 s s s 0 k s s 0 s s s s 0 s s 0 k s 0 g s x g x s x h 0 x s 0 k 0 s s 0 f s 0 s x h x 0 f g x g g f x 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 s 0 k s s 0 k s 0 0 s k 0 0 k s s 0 s s s s s s s 0 g s x s s g x g x h x x s s 0 k s 0 s 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 k s s 0 s s s s s s s 0 true 2 1 h 2 0 0 1 0 2 0 1 s 1 0 0 1 0 1 0 1 k 1 0 0 1 0 1 0 1 f 1 0 0 1 1 1 0 0 0 0 1 0 h 2 54076 0 k 1 1 0 0 0 1 54073 0 s 1 0 0 1 0 1 54073 0 f 1 0 0 g 1 54077 27039 g 1 0 0 1 0 1 0 1 k s s 0 s s s 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 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 s 0 k s s 0 s x h 0 x s 0 k 0 s s 0 f s 0 s x h x 0 f g x g g f x 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 s 0 k s s 0 k s 0 0 s k 0 0 k s s 0 s 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 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 k s s 0 s s s s s s s 0 true Failed! NaTT certifiable-1.6