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 s 0 k s 0 k s 0 s 0 s s 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 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 s s 0 h k x g x k s x k s s 0 s s s s s 0 k s s 0 s s s 0 s x h 0 x s 0 k 0 s s s s s s s s s s s 0 k s s 0 h k x g x s x f g x f x k s s 0 s s s s s s s 0 k s s 0 s s s s 0 k s s 0 s s s s s s s s s 0 s s 0 f s 0 s s s 0 k s 0 f g x g f x s x h x 0 h f x g x s x g s x s g x g x h x x k s s 0 s s s s s s 0 h f x g x f s x g s x g x f g x g g f x true f g x g g f x g s x g x h k x g x s x h f x g x f s x s s s s s s s s s s s 0 k s s 0 k s s 0 s s s s s s 0 g x h x x g s x s g x h f x g x s x k s s 0 s s s 0 k s s 0 s s s s s 0 h k x g x k s x f g x g f x s s s 0 k s 0 k s s 0 s s s s s s s s 0 s s 0 f s 0 k s s 0 s s s s s s s s s 0 k s s 0 s s s s 0 k s s 0 s s s s s s s 0 g s x s s g x f g x f x true 2 1 h 2 1 0 0 s 1 1 0 0 k 1 0 0 f 1 1 1 1 1 1 0 0 0 0 0 0 h 2 0 0 1 0 1 24128 3 k 1 24127 3 s 1 24127 3 f 1 1 0 1 0 1 0 3 g 1 0 0 1 0 1 24129 3 g 1 1 24130 24130 k s s 0 s s s s s s s 0 k s s 0 s s s s 0 k s s 0 s s s s s s s s s 0 k s s 0 s s s s s s s s 0 s s s 0 k s 0 k s s 0 s s s s s 0 k s s 0 s s s 0 k s s 0 s s s s s s 0 s s s s s s s s s s s 0 k s 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 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 s s 0 k s s 0 k s 0 s 0 s k 0 0 k s s 0 s s s 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 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 k s s 0 s s s s s s s s 0 k s s 0 s s s s s s s s s 0 true 2 1 h 2 0 1 0 0 2 2 0 s 1 0 1 0 0 1 2 1 k 1 0 1 0 0 1 2 1 f 1 1 1 0 0 1 0 1 0 0 1 1 h 2 24128 3 k 1 1 0 1 1 1 24122 0 s 1 24127 3 f 1 0 3 g 1 24129 3 g 1 0 1 0 0 1 3 1 k s s 0 s s s s s s s s s 0 k s s 0 s s s s s s 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 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 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 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 s s 0 k s s 0 k s 0 s 0 s k 0 0 k s s 0 s s 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 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 k s s 0 s s s s s s s s 0 k s s 0 s s s s s s s s s 0 true Failed! NaTT certifiable-1.6