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