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
plus
x
y
l
sum
app
l
cons
x
cons
y
k
sum
app
l
sum
cons
x
cons
y
k
sum
cons
0
cons
plus
x
y
l
pred
sum
cons
s
x
cons
y
l
plus
0
y
y
plus
s
x
y
s
plus
x
y
pred
cons
s
x
nil
cons
x
nil
plus
plus
2.2
plus
x
plus
y
z
plus
plus
x
y
z
plus
x
y
plus
y
x
plus
x
plus
y
z
plus
x
y
plus
x
y
plus
y
x
plus
x
plus
y
z
plus
plus
x
y
z
sum
app
l
cons
x
cons
y
k
app
l
sum
cons
x
cons
y
k
sum
cons
0
cons
plus
x
y
l
sum
cons
s
x
cons
y
l
sum
cons
x
cons
y
l
plus
x
y
app
cons
x
l
k
app
l
k
sum
cons
x
cons
y
l
sum
cons
plus
x
y
l
sum
app
l
cons
x
cons
y
k
sum
cons
x
cons
y
k
sum
app
l
cons
x
cons
y
k
sum
app
l
sum
cons
x
cons
y
k
sum
cons
0
cons
plus
x
y
l
pred
sum
cons
s
x
cons
y
l
plus
s
x
y
plus
x
y
plus
plus
s
x
y
_1
plus
s
plus
x
y
_1
plus
plus
0
y
_1
plus
y
_1
sum
app
l
cons
x
cons
y
k
sum
app
l
sum
cons
x
cons
y
k
true
s
1
2
plus
2
0
pred
1
1
0
sum
1
8858
0
0
1
nil
0
1
app
2
0
plus
2
1
pred
1
0
cons
2
2
8857
sum
1
1
0
app
2
1
2
23676
sum
app
l
cons
x
cons
y
k
sum
app
l
sum
cons
x
cons
y
k
sum
cons
x
nil
cons
x
nil
app
nil
k
k
app
cons
x
l
k
cons
x
app
l
k
sum
cons
x
cons
y
l
sum
cons
plus
x
y
l
pred
cons
s
x
nil
cons
x
nil
sum
cons
0
cons
plus
x
y
l
pred
sum
cons
s
x
cons
y
l
sum
app
l
cons
x
cons
y
k
sum
app
l
sum
cons
x
cons
y
k
app
l
nil
l
sum
app
l
cons
x
cons
y
k
sum
cons
x
cons
y
k
false
sum
cons
0
cons
plus
x
y
l
sum
cons
s
x
cons
y
l
sum
cons
x
cons
y
l
sum
cons
plus
x
y
l
true
s
1
1
1
plus
2
0
pred
1
1
0
sum
1
1
0
0
0
6996
nil
0
48638
app
2
0
plus
2
1
2
1
pred
1
0
cons
2
1
2
283
sum
1
1
0
app
2
1
2
1
sum
cons
x
cons
y
l
sum
cons
plus
x
y
l
sum
cons
0
cons
plus
x
y
l
sum
cons
s
x
cons
y
l
sum
cons
x
nil
cons
x
nil
plus
0
y
y
app
nil
k
k
app
cons
x
l
k
cons
x
app
l
k
sum
cons
x
cons
y
l
sum
cons
plus
x
y
l
pred
cons
s
x
nil
cons
x
nil
sum
cons
0
cons
plus
x
y
l
pred
sum
cons
s
x
cons
y
l
plus
x
y
plus
y
x
plus
x
plus
y
z
plus
plus
x
y
z
plus
s
x
y
s
plus
x
y
sum
app
l
cons
x
cons
y
k
sum
app
l
sum
cons
x
cons
y
k
app
l
nil
l
sum
cons
0
cons
plus
x
y
l
pred
sum
cons
s
x
cons
y
l
false
sum
cons
x
cons
y
l
plus
x
y
false
plus
s
x
y
plus
x
y
plus
x
plus
y
z
plus
x
y
plus
x
plus
y
z
plus
plus
x
y
z
plus
x
y
plus
y
x
true
s
1
1
1
plus
2
1
2
0
pred
1
1
0
sum
1
1
0
0
0
6996
nil
0
1
app
2
0
plus
2
1
2
1
pred
1
0
cons
2
1
2
1
sum
1
1
0
app
2
1
2
1
plus
x
plus
y
z
plus
x
y
plus
s
x
y
plus
x
y
sum
cons
x
nil
cons
x
nil
plus
0
y
y
app
nil
k
k
app
cons
x
l
k
cons
x
app
l
k
sum
cons
x
cons
y
l
sum
cons
plus
x
y
l
pred
cons
s
x
nil
cons
x
nil
sum
cons
0
cons
plus
x
y
l
pred
sum
cons
s
x
cons
y
l
plus
x
y
plus
y
x
plus
x
plus
y
z
plus
plus
x
y
z
plus
s
x
y
s
plus
x
y
sum
app
l
cons
x
cons
y
k
sum
app
l
sum
cons
x
cons
y
k
app
l
nil
l
plus
x
y
plus
y
x
plus
x
plus
y
z
plus
plus
x
y
z
true
sum
app
l
cons
x
cons
y
k
app
l
sum
cons
x
cons
y
k
false
app
cons
x
l
k
app
l
k
true
s
1
1
1
plus
2
1
2
0
pred
1
1
0
sum
1
1
0
0
0
1
nil
0
1
app
2
1
0
plus
2
1
2
1
pred
1
0
cons
2
1
2
1
sum
1
1
0
app
2
1
2
47562
app
cons
x
l
k
app
l
k
sum
cons
x
nil
cons
x
nil
plus
0
y
y
app
nil
k
k
app
cons
x
l
k
cons
x
app
l
k
sum
cons
x
cons
y
l
sum
cons
plus
x
y
l
pred
cons
s
x
nil
cons
x
nil
sum
cons
0
cons
plus
x
y
l
pred
sum
cons
s
x
cons
y
l
plus
x
y
plus
y
x
plus
x
plus
y
z
plus
plus
x
y
z
plus
s
x
y
s
plus
x
y
sum
app
l
cons
x
cons
y
k
sum
app
l
sum
cons
x
cons
y
k
app
l
nil
l
plus
x
plus
y
z
plus
plus
x
y
z
plus
x
plus
y
z
plus
x
y
plus
x
y
plus
y
x
plus
plus
s
x
y
_1
plus
s
plus
x
y
_1
plus
plus
0
y
_1
plus
y
_1
true
s
1
1
1
plus
2
1
2
0
pred
1
1
0
sum
1
1
0
0
0
1
nil
0
1
app
2
0
plus
2
1
2
1
pred
1
0
cons
2
1
2
1
sum
1
1
0
app
2
1
2
31122
plus
plus
0
y
_1
plus
y
_1
plus
x
plus
y
z
plus
x
y
sum
cons
x
nil
cons
x
nil
plus
0
y
y
app
nil
k
k
app
cons
x
l
k
cons
x
app
l
k
sum
cons
x
cons
y
l
sum
cons
plus
x
y
l
pred
cons
s
x
nil
cons
x
nil
sum
cons
0
cons
plus
x
y
l
pred
sum
cons
s
x
cons
y
l
plus
x
y
plus
y
x
plus
x
plus
y
z
plus
plus
x
y
z
plus
s
x
y
s
plus
x
y
sum
app
l
cons
x
cons
y
k
sum
app
l
sum
cons
x
cons
y
k
app
l
nil
l
plus
x
y
plus
y
x
plus
x
plus
y
z
plus
plus
x
y
z
plus
plus
s
x
y
_1
plus
s
plus
x
y
_1
true
s
1
1
plus
2
1
2
0
pred
1
0
sum
1
2
0
0
1
nil
0
1
app
2
0
plus
2
1
2
1
pred
1
0
cons
2
1
2
1
sum
1
0
app
2
1
1
plus
plus
s
x
y
_1
plus
s
plus
x
y
_1
plus
0
y
y
plus
x
y
plus
y
x
plus
x
plus
y
z
plus
plus
x
y
z
plus
s
x
y
s
plus
x
y
plus
x
y
plus
y
x
plus
x
plus
y
z
plus
plus
x
y
z
true
NaTT
certifiable-1.6