f 0 cons 0 f s 0 f p s 0 p s 0 0 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 2 p 1 0 f 1 0 p 1 1 0 0 1 f 1 1 0 cons 1 0 p s 0 0 f s 0 p s 0 false NaTT certifiable-1.6