f
0
true
f
1
false
f
s
x
f
x
if
true
x
y
x
if
false
x
y
y
g
s
x
s
y
if
f
x
s
x
s
y
g
x
c
y
g
x
g
s
c
y
y
2.2
g
s
x
s
y
f
x
f
s
x
f
x
g
x
c
y
g
x
g
s
c
y
y
g
s
x
s
y
if
f
x
s
x
s
y
g
x
c
y
g
s
c
y
y
true
g
x
c
y
g
s
c
y
y
g
x
c
y
g
x
g
s
c
y
y
true
1
0
1
s
1
1
false
0
41063
c
1
1
41065
true
0
41063
f
1
41063
0
0
1
if
3
1
2
3
0
f
1
0
g
2
2
0
if
3
0
g
2
1
2
41063
if
true
x
y
x
f
0
true
f
s
x
f
x
if
false
x
y
y
g
x
c
y
g
x
g
s
c
y
y
g
s
x
s
y
if
f
x
s
x
s
y
f
1
false
g
s
x
s
y
if
f
x
s
x
s
y
false
g
s
x
s
y
f
x
false
f
s
x
f
x
true
1
0
0
s
1
1
1
false
0
2
c
1
1
0
true
0
1
f
1
1
2
0
0
0
if
3
1
2
0
f
1
1
0
g
2
0
if
3
0
g
2
1
2
0
f
0
true
f
s
x
f
x
f
1
false
NaTT
certifiable-1.6