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