f 0 cons 0 n__f s 0 f s 0 f p s 0 p s X X f X n__f X activate n__f X f X activate X X 2.2 f s 0 p s 0 activate n__f X f X f s 0 f p s 0 true activate n__f X f X false f s 0 f p s 0 true f 1 1 s 1 2 activate 1 0 activate 1 0 p 1 0 f 1 0 p 1 0 0 0 1 n__f 1 0 cons 2 0 1 2 s 1 1 1 activate 1 1 activate 1 1 p 1 1 f 1 1 p 1 1 0 0 0 20653 n__f 1 1 cons 2 1 2 1 p s X X f s 0 p s 0 false NaTT certifiable-1.6