f f a b x f b f a f c f b f a x f x f y z f f x y z 2.2 f x f y z f x y f f a b x f b f a x f f a b x f a x f f a b x f c f b f a x f f a b x f b f a f c f b f a x f x f y z f f x y z f f a b x f a f c f b f a x true f f a b x f a f c f b f a x f x f y z f f x y z f f a b x f b f a f c f b f a x f f a b x f b f a x f f a b x f c f b f a x f f a b x f a x f x f y z f x y true a 0 28102 b 0 1 c 0 1143 f 2 1 0 f 2 1 0 f x f y z f x y f f a b x f a x f x f y z f f x y z f f a b x f a f c f b f a x f f a b x f b f a f c f b f a 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 c f b f a x f x f y z f x y f x f y z f f x y z true Failed! NaTT certifiable-1.6