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