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