f f a b x f a f a x f f b a x f b f b x f x f y z f f x y z 2.2 f f b a x f b x f f a b x f a x f f a b x f a f a x f x f y z f f x y z f f b a x f b f b x f x f y z f x y true f x f y z f x y f f b a x f b f b x f x f y z f f x y z f f a b x f a x f f a b x f a f a x f f b a x f b x true a 0 2438 b 0 2438 f 2 1 2 20653 f 2 1 2 0 f f a b x f a f a x f x f y z f f x y z f f b a x f b f b x f f a b x f a f a x f x f y z f f x y z f f b a x f b f b x f f a b x f a f a x f x f y z f f x y z f f b a x f b f b x true Failed! NaTT certifiable-1.6