le
0
y
z
greater
y
z
le
s
x
0
z
false
le
s
x
s
y
0
false
le
s
x
s
y
s
z
le
x
y
z
greater
x
0
first
greater
0
s
y
second
greater
s
x
s
y
greater
x
y
double
0
0
double
s
x
s
s
double
x
triple
x
if
le
x
x
double
x
x
0
0
if
false
x
y
z
true
if
first
x
y
z
if
le
s
x
y
s
z
s
x
y
s
z
if
second
x
y
z
if
le
s
x
s
y
z
s
x
s
y
z
2.2
if
second
x
y
z
le
s
x
s
y
z
greater
s
x
s
y
greater
x
y
triple
x
double
x
le
s
x
s
y
s
z
le
x
y
z
triple
x
if
le
x
x
double
x
x
0
0
le
0
y
z
greater
y
z
if
first
x
y
z
le
s
x
y
s
z
double
s
x
double
x
if
second
x
y
z
if
le
s
x
s
y
z
s
x
s
y
z
triple
x
le
x
x
double
x
if
first
x
y
z
if
le
s
x
y
s
z
s
x
y
s
z
true
triple
x
le
x
x
double
x
false
triple
x
double
x
false
double
s
x
double
x
true
le
3
0
s
1
1
1
le
3
0
triple
1
0
greater
2
0
false
0
0
triple
1
0
second
0
0
true
0
0
0
0
0
if
4
0
double
1
1
0
double
1
0
first
0
0
greater
2
0
if
4
0
triple
x
if
le
x
x
double
x
x
0
0
false
if
first
x
y
z
if
le
s
x
y
s
z
s
x
y
s
z
if
second
x
y
z
if
le
s
x
s
y
z
s
x
s
y
z
true
Failed!
NaTT
certifiable-1.6