f
true
x
y
z
f
and
gt
x
y
gt
x
z
x
s
y
z
f
true
x
y
z
f
and
gt
x
y
gt
x
z
x
y
s
z
gt
0
v
false
gt
s
u
0
true
gt
s
u
s
v
gt
u
v
and
x
true
x
and
x
false
false
2.2
f
true
x
y
z
and
gt
x
y
gt
x
z
f
true
x
y
z
f
and
gt
x
y
gt
x
z
x
s
y
z
f
true
x
y
z
gt
x
z
f
true
x
y
z
and
gt
x
y
gt
x
z
gt
s
u
s
v
gt
u
v
f
true
x
y
z
gt
x
y
f
true
x
y
z
f
and
gt
x
y
gt
x
z
x
y
s
z
f
true
x
y
z
gt
x
y
f
true
x
y
z
gt
x
z
true
f
true
x
y
z
f
and
gt
x
y
gt
x
z
x
y
s
z
f
true
x
y
z
f
and
gt
x
y
gt
x
z
x
s
y
z
true
Failed!
NaTT
certifiable-1.6