f
X
if
X
c
n__f
n__true
if
true
X
Y
X
if
false
X
Y
activate
Y
f
X
n__f
X
true
n__true
activate
n__f
X
f
activate
X
activate
n__true
true
activate
X
X
2.2
activate
n__f
X
activate
X
f
X
if
X
c
n__f
n__true
activate
n__true
true
activate
n__f
X
f
activate
X
if
false
X
Y
activate
Y
true
if
false
X
Y
activate
Y
activate
n__f
X
f
activate
X
f
X
if
X
c
n__f
n__true
activate
n__f
X
activate
X
true
activate
1
1
n__true
0
0
activate
1
1
0
false
0
4
c
0
0
true
0
1
f
1
1
if
3
1
3
0
n__f
1
1
1
f
1
1
if
3
3
0
true
0
0
f
X
if
X
c
n__f
n__true
activate
n__f
X
f
activate
X
if
false
X
Y
activate
Y
true
n__true
activate
n__true
true
f
X
if
X
c
n__f
n__true
if
false
X
Y
activate
Y
activate
n__f
X
f
activate
X
true
activate
1
1
1
n__true
0
0
activate
1
1
3
false
0
4
c
0
0
true
0
1
f
1
1
1
if
3
1
2
3
0
n__f
1
1
1
f
1
1
2
if
3
1
3
0
true
0
0
f
X
n__f
X
activate
X
X
f
X
if
X
c
n__f
n__true
if
false
X
Y
activate
Y
true
n__true
activate
n__true
true
activate
n__f
X
f
activate
X
if
true
X
Y
X
activate
n__true
true
false
NaTT
certifiable-1.6