f 0 cons 0 n__f n__s n__0 f s 0 f p s 0 p s X X 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 p 1 1 0 0 0 s 1 1 1 activate 1 0 activate 1 0 f 1 0 n__s 1 1 p 1 1 0 0 0 s 1 0 n__f 1 0 f 1 0 1 n__0 0 0 cons 2 0 0 0 0 s 1 1 7721 activate 1 1 activate 1 1 f 1 1 n__s 1 1 p 1 1 0 0 0 1 s 1 1 n__f 1 1 f 1 1 1 n__0 0 1 cons 2 1 1 p s X X s X n__s X 0 n__0 activate n__s X s activate X false f s 0 p s 0 false NaTT certifiable-1.6