f
n__f
n__a
f
n__g
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
X
activate
X
X
2.2
activate
n__g
X
g
X
f
n__f
n__a
f
n__a
activate
n__f
X
f
X
activate
n__a
a
f
n__f
n__a
f
n__g
f
n__a
true
activate
n__a
a
false
activate
n__f
X
f
X
false
f
n__f
n__a
f
n__g
f
n__a
false
f
n__f
n__a
f
n__a
false
activate
n__g
X
g
X
false
NaTT
certifiable-1.6