f
n__a
X
X
f
activate
X
b
n__b
b
a
a
n__a
b
n__b
activate
n__a
a
activate
n__b
b
activate
X
X
2.2
activate
n__b
b
f
n__a
X
X
b
f
n__a
X
X
activate
X
activate
n__a
a
b
a
f
n__a
X
X
f
activate
X
b
n__b
true
f
n__a
X
X
f
activate
X
b
n__b
true
Failed!
NaTT
certifiable-1.6