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