f
n__f
n__a
f
n__g
n__f
n__a
f
X
n__f
X
a
n__a
g
X
n__g
X
activate
n__f
X
f
X
activate
n__a
a
activate
n__g
X
g
activate
X
activate
X
X
2.2
activate
n__g
X
g
activate
X
f
n__f
n__a
f
n__g
n__f
n__a
activate
n__g
X
activate
X
activate
n__a
a
activate
n__f
X
f
X
true
activate
n__g
X
activate
X
true
a
0
0
n__a
0
0
activate
1
0
activate
1
1
0
f
1
0
n__f
1
0
f
1
0
g
1
0
n__g
1
1
1
a
0
0
g
1
0
activate
n__a
a
false
activate
n__f
X
f
X
false
f
n__f
n__a
f
n__g
n__f
n__a
false
activate
n__g
X
g
activate
X
false
NaTT
certifiable-1.6