f
X
cons
X
n__f
n__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
g
X
n__g
X
activate
n__f
X
f
activate
X
activate
n__g
X
g
activate
X
activate
X
X
2.2
activate
n__g
X
activate
X
activate
n__f
X
f
activate
X
activate
n__f
X
activate
X
g
s
X
g
X
sel
s
X
cons
Y
Z
sel
X
activate
Z
activate
n__g
X
g
activate
X
sel
s
X
cons
Y
Z
activate
Z
true
sel
s
X
cons
Y
Z
sel
X
activate
Z
true
s
1
1
1
activate
1
1
activate
1
0
f
1
2
0
0
11798
sel
2
1
0
sel
2
0
n__f
1
1
3
f
1
0
g
1
0
n__g
1
1
8366
cons
2
3
g
1
0
sel
s
X
cons
Y
Z
activate
Z
false
activate
n__f
X
activate
X
activate
n__g
X
activate
X
true
s
1
1
1
activate
1
1
activate
1
1
0
f
1
2
0
0
11798
sel
2
0
sel
2
0
n__f
1
1
3
f
1
0
g
1
0
n__g
1
1
8366
cons
2
3
g
1
0
activate
n__g
X
g
activate
X
false
g
s
X
g
X
true
s
1
1
1
activate
1
1
activate
1
0
f
1
2
0
0
11798
sel
2
0
sel
2
0
n__f
1
1
3
f
1
0
g
1
1
0
n__g
1
1
1
cons
2
3
g
1
0
activate
n__f
X
f
activate
X
false
NaTT
certifiable-1.6