f
true
x
y
f
and
gt
x
y
gt
y
s
s
0
plus
s
0
x
double
y
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
plus
n
0
n
plus
n
s
m
s
plus
n
m
double
0
0
double
s
x
s
s
double
x
2.2
f
true
x
y
f
and
gt
x
y
gt
y
s
s
0
plus
s
0
x
double
y
f
true
x
y
plus
s
0
x
gt
s
u
s
v
gt
u
v
f
true
x
y
double
y
f
true
x
y
gt
y
s
s
0
f
true
x
y
and
gt
x
y
gt
y
s
s
0
double
s
x
double
x
plus
n
s
m
plus
n
m
f
true
x
y
gt
x
y
true
f
true
x
y
f
and
gt
x
y
gt
y
s
s
0
plus
s
0
x
double
y
true
Failed!
NaTT
certifiable-1.6