f
X
cons
X
n__f
g
X
g
0
s
0
g
s
X
s
s
g
X
sel
0
cons
X
Y
X
sel
s
X
cons
Y
Z
sel
X
activate
Z
f
X
n__f
X
activate
n__f
X
f
X
activate
X
X
2.2
sel
s
X
cons
Y
Z
sel
X
activate
Z
f
X
g
X
sel
s
X
cons
Y
Z
activate
Z
activate
n__f
X
f
X
g
s
X
g
X
true
sel
s
X
cons
Y
Z
sel
X
activate
Z
true
s
1
1
40652
activate
1
1
activate
1
0
f
1
1
2
0
0
1
sel
2
1
0
sel
2
0
n__f
1
1
3
f
1
0
g
1
0
cons
2
1
3
g
1
1
40651
sel
s
X
cons
Y
Z
activate
Z
false
activate
n__f
X
f
X
false
f
X
g
X
false
g
s
X
g
X
true
s
1
1
41064
activate
1
1
activate
1
0
f
1
1
2
0
0
1
sel
2
0
sel
2
0
n__f
1
1
3
f
1
0
g
1
1
0
cons
2
1
3
g
1
1
41063
NaTT
certifiable-1.6