app
x
y
helpa
0
plus
length
x
length
y
x
y
plus
x
0
x
plus
x
s
y
s
plus
x
y
length
nil
0
length
cons
x
y
s
length
y
helpa
c
l
ys
zs
if
ge
c
l
c
l
ys
zs
ge
x
0
true
ge
0
s
x
false
ge
s
x
s
y
ge
x
y
if
true
c
l
ys
zs
nil
if
false
c
l
ys
zs
helpb
c
l
greater
ys
zs
smaller
ys
zs
greater
ys
zs
helpc
ge
length
ys
length
zs
ys
zs
smaller
ys
zs
helpc
ge
length
ys
length
zs
zs
ys
helpc
true
ys
zs
ys
helpc
false
ys
zs
zs
helpb
c
l
cons
y
ys
zs
cons
y
helpa
s
c
l
ys
zs
2.2
helpa
c
l
ys
zs
ge
c
l
smaller
ys
zs
length
zs
greater
ys
zs
length
ys
if
false
c
l
ys
zs
greater
ys
zs
greater
ys
zs
helpc
ge
length
ys
length
zs
ys
zs
greater
ys
zs
ge
length
ys
length
zs
greater
ys
zs
length
zs
app
x
y
length
x
ge
s
x
s
y
ge
x
y
if
false
c
l
ys
zs
smaller
ys
zs
smaller
ys
zs
length
ys
plus
x
s
y
plus
x
y
app
x
y
plus
length
x
length
y
app
x
y
length
y
helpb
c
l
cons
y
ys
zs
helpa
s
c
l
ys
zs
smaller
ys
zs
helpc
ge
length
ys
length
zs
zs
ys
helpa
c
l
ys
zs
if
ge
c
l
c
l
ys
zs
if
false
c
l
ys
zs
helpb
c
l
greater
ys
zs
smaller
ys
zs
length
cons
x
y
length
y
smaller
ys
zs
ge
length
ys
length
zs
app
x
y
helpa
0
plus
length
x
length
y
x
y
true
app
x
y
helpa
0
plus
length
x
length
y
x
y
false
if
false
c
l
ys
zs
helpb
c
l
greater
ys
zs
smaller
ys
zs
helpa
c
l
ys
zs
if
ge
c
l
c
l
ys
zs
helpb
c
l
cons
y
ys
zs
helpa
s
c
l
ys
zs
true
Failed!
NaTT
certifiable-1.6