b b y z c a a a f c z y z f b b a z c a x y z c y x f z b f b z x z 2.2 c y x f z f b z x b b y z c a a a c z y z c y x f z b z x c y x f z b f b z x z b b y z c a a a f c z y z true c y x f z b f b z x z c y x f z b z x b b y z c a a a c z y z true a 0 0 b 2 1 1 2 1 0 c 3 1 1 2 2 3 2 0 f 1 1 0 f 1 0 c 3 2 28102 3 28102 0 b 2 1 28101 0 b b y z c a a a c z y z c y x f z b f b z x z b b y z c a a a f c z y z c y x f z b f b z x z f b b a z c a x y z b b y z c a a a c z y z c y x f z b f b z x z true f 1 1 b 2 1 a 0 0 b 2 2 c 3 3 f 1 1 c 3 1 a 0 2 b 2 1 7723 2 7723 0 c 3 1 1 2 15446 3 15446 0 f 1 1 0 c 3 1 7723 2 7723 3 7723 0 c y x f z b f b z x z b b y z c a a a f c z y z c y x f z b f b z x z f b b a z c a x y z c y x f z b f b z x z false b b y z c a a a f c z y z false c y x f z f b z x false NaTT certifiable-1.6