f a a f a b f a b f s a c f s X c f X c f c c f a a 2.2 f s X c f X c f a a f a b f a b f s a c f c c f a a true f c c f a a f a b f s a c f a a f a b f s X c f X c true a 0 40651 s 1 1 0 b 0 1 c 0 40652 f 2 0 f 2 1 0 f s X c f X c f a a f a b f a b f s a c f a a f a b false f a b f s a c false f s X c f X c true a 0 40651 s 1 1 1 b 0 1 c 0 40652 f 2 0 f 2 1 0 NaTT certifiable-1.6