f b a z z b y b a z b f c y y a b f z a f f f c z x a b f x z 2.2 b y b a z f c y y a f f f c z x a f x f f f c z x a b f x z b y b a z b f z a b y b a z b f c y y a b f z a b y b a z f z true b y b a z f z b y b a z b f c y y a b f z a f f f c z x a f x f f f c z x a b f x z true a 0 0 b 2 2 28105 c 3 1 2 1 f 1 1 1 f 1 1 0 b 2 2 2 b y b a z b f c y y a b f z a b y b a z b f c y y a b f z a b y b a z b f c y y a b f z a true 2 1 a 0 1 0 b 2 1 1 0 0 1 0 1 1 1 2 27233 0 c 3 0 1 1 0 1 0 0 1 0 2 36242 0 f 1 0 1 1 1 1 0 1 f 1 0 0 b 2 0 1 0 0 1 1 0 0 0 2 0 0 f b a z z f f f c z x a b f x z b y b a z b f c y y a b f z a b y b a z b f z a false b y b a z f c y y a false NaTT certifiable-1.6