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
plus
0
y
y
plus
s
x
y
s
plus
x
y
sum
plus
cons
0
x
cons
y
l
pred
sum
cons
s
x
cons
y
l
pred
cons
s
x
nil
cons
x
nil
2.2
sum
app
l
cons
x
cons
y
k
app
l
sum
cons
x
cons
y
k
sum
cons
x
cons
y
l
sum
cons
plus
x
y
l
plus
s
x
y
plus
x
y
sum
cons
x
cons
y
l
plus
x
y
sum
plus
cons
0
x
cons
y
l
sum
cons
s
x
cons
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
app
cons
x
l
k
app
l
k
sum
plus
cons
0
x
cons
y
l
pred
sum
cons
s
x
cons
y
l
true
sum
app
l
cons
x
cons
y
k
sum
app
l
sum
cons
x
cons
y
k
true
s
1
1
1
plus
2
0
pred
1
1
0
sum
1
3
0
0
1
nil
0
1
app
2
0
plus
2
1
2
14235
pred
1
0
cons
2
2
2
sum
1
1
0
app
2
1
2
17221
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
plus
cons
0
x
cons
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
plus
cons
0
x
cons
y
l
pred
sum
cons
s
x
cons
y
l
false
sum
app
l
cons
x
cons
y
k
sum
cons
x
cons
y
k
false
sum
plus
cons
0
x
cons
y
l
sum
cons
s
x
cons
y
l
false
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
2
0
0
38551
nil
0
1
app
2
0
plus
2
1
2
1
pred
1
0
cons
2
2
1
sum
1
1
0
app
2
1
2
36466
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
plus
cons
0
x
cons
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
cons
x
cons
y
l
plus
x
y
false
plus
s
x
y
plus
x
y
true
s
1
1
1
plus
2
1
0
pred
1
1
0
sum
1
16204
0
0
1
nil
0
16203
app
2
0
plus
2
1
2
1
pred
1
0
cons
2
2
1
sum
1
1
0
app
2
1
2
29483
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
plus
cons
0
x
cons
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
app
l
sum
cons
x
cons
y
k
false
app
cons
x
l
k
app
l
k
true
s
1
1
1
plus
2
0
pred
1
1
0
sum
1
23975
0
0
1
nil
0
23974
app
2
1
0
plus
2
1
2
1
pred
1
0
cons
2
2
1
sum
1
1
0
app
2
1
2
46572
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
plus
cons
0
x
cons
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
NaTT
certifiable-1.6