f
g
X
Y
f
X
n__f
n__g
X
activate
Y
f
X1
X2
n__f
X1
X2
g
X
n__g
X
activate
n__f
X1
X2
f
activate
X1
X2
activate
n__g
X
g
activate
X
activate
X
X
2.2
activate
n__g
X
activate
X
activate
n__f
X1
X2
activate
X1
activate
n__f
X1
X2
f
activate
X1
X2
f
g
X
Y
f
X
n__f
n__g
X
activate
Y
activate
n__g
X
g
activate
X
f
g
X
Y
activate
Y
true
f
g
X
Y
activate
Y
f
g
X
Y
f
X
n__f
n__g
X
activate
Y
activate
n__f
X1
X2
activate
X1
activate
n__f
X1
X2
f
activate
X1
X2
activate
n__g
X
activate
X
true
activate
1
1
0
activate
1
1
14235
f
2
1
21239
2
0
0
n__f
2
1
21239
2
0
0
f
2
1
35474
2
14235
0
g
1
0
n__g
1
1
8856
g
1
1
8856
activate
n__f
X1
X2
f
activate
X1
X2
f
g
X
Y
f
X
n__f
n__g
X
activate
Y
f
g
X
Y
activate
Y
activate
n__f
X1
X2
f
activate
X1
X2
f
g
X
Y
f
X
n__f
n__g
X
activate
Y
g
X
n__g
X
activate
n__g
X
g
activate
X
activate
X
X
f
X1
X2
n__f
X1
X2
activate
n__f
X1
X2
f
activate
X1
X2
f
g
X
Y
activate
Y
f
g
X
Y
f
X
n__f
n__g
X
activate
Y
true
Failed!
NaTT
certifiable-1.6