f f f a b c x f b f a f c f b x f x f y z f f x y z 2.2 f x f y z f x y f f f a b c x f b x f f f a b c x f c f b x f f f a b c x f b f a f c f b x f x f y z f f x y z f f f a b c x f a f c f b x true f f f a b c x f a f c f b x f x f y z f f x y z f f f a b c x f b f a f c f b x f f f a b c x f b x f f f a b c x f c f b x f x f y z f x y true a 0 20539 b 0 20538 c 0 15922 f 2 1 0 f 2 1 0 f x f y z f x y f x f y z f f x y z f f f a b c x f a f c f b x f f f a b c x f b f a f c f b x f x f y z f f x y z f f f a b c x f a f c f b 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