gt
0
y
false
gt
s
x
0
true
gt
s
x
s
y
gt
x
y
plus
0
y
y
plus
s
x
y
s
plus
x
y
double
0
0
double
s
x
s
s
double
x
average
x
y
aver
plus
x
y
0
aver
sum
z
if
gt
sum
double
z
sum
z
if
true
sum
z
aver
sum
s
z
if
false
sum
z
z
2.2
aver
sum
z
gt
sum
double
z
plus
s
x
y
plus
x
y
average
x
y
plus
x
y
gt
s
x
s
y
gt
x
y
if
true
sum
z
aver
sum
s
z
aver
sum
z
double
z
aver
sum
z
if
gt
sum
double
z
sum
z
average
x
y
aver
plus
x
y
0
double
s
x
double
x
true
average
x
y
aver
plus
x
y
0
false
average
x
y
plus
x
y
false
plus
s
x
y
plus
x
y
true
s
1
1
1
gt
2
0
aver
2
0
average
2
0
plus
2
1
0
false
0
0
aver
2
0
true
0
0
0
0
0
if
3
0
double
1
0
double
1
0
gt
2
0
average
2
0
plus
2
0
if
3
0
aver
sum
z
if
gt
sum
double
z
sum
z
if
true
sum
z
aver
sum
s
z
true
Failed!
NaTT
certifiable-1.6