app
nil
k
k
app
l
nil
l
app
cons
x
l
k
cons
x
app
l
k
sum
cons
x
nil
cons
x
nil
sum
cons
x
cons
y
l
sum
cons
a
x
y
h
l
a
h
h
x
s
x
a
x
s
y
h
a
x
y
s
h
a
x
s
y
s
z
a
x
y
a
x
s
y
z
a
s
x
h
z
a
x
z
z
2.2
a
x
s
y
h
a
x
y
s
h
a
x
s
y
s
z
a
x
y
a
x
s
y
z
a
x
s
y
s
z
a
x
s
y
z
app
cons
x
l
k
app
l
k
sum
cons
x
cons
y
l
sum
cons
a
x
y
h
l
a
s
x
h
z
a
x
z
z
sum
cons
x
cons
y
l
a
x
y
h
true
sum
cons
x
cons
y
l
sum
cons
a
x
y
h
l
true
a
3
1
h
0
1
s
1
1
sum
1
0
nil
0
0
app
2
0
cons
2
1
2
2
a
3
0
sum
1
1
0
app
2
0
a
x
s
y
s
z
a
x
y
a
x
s
y
z
a
x
s
y
h
a
x
y
s
h
a
s
x
h
z
a
x
z
z
a
h
h
x
s
x
sum
cons
x
cons
y
l
a
x
y
h
false
app
cons
x
l
k
app
l
k
true
a
3
1
h
0
1
s
1
1
sum
1
0
nil
0
0
app
2
1
0
cons
2
1
2
2
a
3
0
sum
1
1
0
app
2
0
a
x
s
y
s
z
a
x
y
a
x
s
y
z
a
x
s
y
h
a
x
y
s
h
a
s
x
h
z
a
x
z
z
a
h
h
x
s
x
a
s
x
h
z
a
x
z
z
a
x
s
y
s
z
a
x
y
a
x
s
y
z
a
x
s
y
s
z
a
x
s
y
z
a
x
s
y
h
a
x
y
s
h
true
a
3
1
h
0
1
s
1
1
2
sum
1
0
nil
0
0
app
2
0
cons
2
2
a
3
1
0
sum
1
1
0
app
2
0
a
x
s
y
h
a
x
y
s
h
a
x
s
y
s
z
a
x
s
y
z
a
x
s
y
s
z
a
x
y
a
x
s
y
z
a
x
s
y
s
z
a
x
s
y
z
a
x
s
y
s
z
a
x
y
a
x
s
y
z
a
x
s
y
h
a
x
y
s
h
true
a
3
1
h
0
1
s
1
1
2
sum
1
0
nil
0
0
app
2
0
cons
2
2
a
3
2
0
sum
1
1
0
app
2
0
a
x
s
y
s
z
a
x
s
y
z
a
x
s
y
s
z
a
x
s
y
z
true
a
3
0
h
0
0
s
1
1
1
sum
1
0
nil
0
0
app
2
0
cons
2
0
a
3
3
1
0
sum
1
0
app
2
0
NaTT
certifiable-1.6