f
X
if
X
c
n__f
true
if
true
X
Y
X
if
false
X
Y
activate
Y
f
X
n__f
X
activate
n__f
X
f
X
activate
X
X
2.2
if
false
X
Y
activate
Y
f
X
if
X
c
n__f
true
activate
n__f
X
f
X
true
activate
n__f
X
f
X
f
X
if
X
c
n__f
true
if
false
X
Y
activate
Y
true
activate
1
0
activate
1
1
30097
false
0
30098
c
0
1
true
0
30094
f
1
0
if
3
0
n__f
1
1
14235
f
1
1
44331
if
3
1
2
3
0
NaTT
certifiable-1.6