f
true
x
y
f
gt
x
y
double
x
s
y
gt
s
x
0
true
gt
0
y
false
gt
s
x
s
y
gt
x
y
double
0
0
double
s
x
s
s
double
x
2.2
f
true
x
y
f
gt
x
y
double
x
s
y
gt
s
x
s
y
gt
x
y
f
true
x
y
gt
x
y
double
s
x
double
x
f
true
x
y
double
x
true
f
true
x
y
f
gt
x
y
double
x
s
y
true
Failed!
NaTT
certifiable-1.6