f
X
n__g
X
Y
f
activate
Y
activate
Y
activate
Y
g
b
c
b
c
g
X
n__g
X
activate
n__g
X
g
activate
X
activate
X
X
2.2
activate
n__g
X
activate
X
f
X
n__g
X
Y
activate
Y
f
X
n__g
X
Y
activate
Y
f
X
n__g
X
Y
f
activate
Y
activate
Y
activate
Y
activate
n__g
X
g
activate
X
f
X
n__g
X
Y
activate
Y
true
f
X
n__g
X
Y
f
activate
Y
activate
Y
activate
Y
true
Failed!
NaTT
certifiable-1.6