f 0 cons 0 f s 0 f p s 0 p s X X 2.2 f s 0 p s 0 f s 0 f p s 0 true f s 0 f p s 0 true s 1 1 1 p 1 0 f 1 0 p 1 1 0 0 0 f 1 0 1 cons 1 0 s 1 1 1 p 1 1 f 1 1 p 1 1 0 0 0 11293 f 1 1 1 cons 1 1 p s X X f s 0 p s 0 false NaTT certifiable-1.6