f 0 cons 0 n__f n__s n__0 f s 0 f p s 0 p s 0 0 f X n__f X s X n__s X 0 n__0 activate n__f X f activate X activate n__s X s activate X activate n__0 0 activate X X 2.2 f s 0 p s 0 activate n__s X s activate X activate n__s X activate X activate n__f X activate X activate n__0 0 f s 0 f p s 0 activate n__f X f activate X true activate n__f X activate X activate n__s X activate X true 0 0 0 s 1 0 activate 1 0 activate 1 1 0 p 1 0 f 1 0 n__s 1 1 1 p 1 0 0 0 0 s 1 0 n__f 1 1 1 f 1 0 n__0 0 0 cons 2 0 activate n__0 0 false activate n__f X f activate X false f s 0 f p s 0 true 0 0 0 s 1 1 23676 activate 1 0 activate 1 0 p 1 0 f 1 0 n__s 1 23677 p 1 23676 0 0 1 s 1 0 n__f 1 1 f 1 1 0 n__0 0 0 cons 2 0 p s 0 0 0 n__0 activate n__s X s activate X false f s 0 p s 0 false NaTT certifiable-1.6