f c c a y a b x z a b y f c f a z z f b b x f y z c z x f b b f a y y c b a a b y z x b a b z z 2.2 f b b x f y z f b b f a y y f c c a y a b x z a f a f c c a y a b x z a c f a z z f b b x f y z f a f b b x f y z c z x f b b f a y y f c c a y a b x z a f c f a z z true f c c a y a b x z a f c f a z z false f c c a y a b x z a f a false f c c a y a b x z a c f a z z false f b b x f y z f b b f a y y true a 0 1 b 2 1 2443 2 4885 0 c 3 1 4886 2 7326 0 f 1 1 2440 f 1 1 0 c 3 0 f c c a y a b x z a b y f c f a z z c b a a b y z x b a b z z f b b x f y z c z x f b b f a y y f b b x f y z c z x f b b f a y y false f b b x f y z f a false NaTT certifiable-1.6