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
plus
plus
2.2
plus
x
plus
y
z
plus
plus
x
y
z
plus
x
y
plus
y
x
plus
x
y
plus
y
x
plus
x
plus
y
z
plus
x
y
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
app
cons
x
l
k
app
l
k
sum
cons
x
cons
y
l
sum
cons
plus
x
y
l
plus
s
x
y
plus
x
y
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
x
cons
y
l
plus
x
y
plus
plus
0
y
_1
plus
y
_1
plus
plus
s
x
y
_1
plus
s
plus
x
y
_1
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
sum
1
3
0
0
1
nil
0
1
app
2
0
plus
2
1
cons
2
2
2
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
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
x
cons
y
l
sum
cons
plus
x
y
l
true
s
1
1
1
plus
2
0
sum
1
10452
0
0
1
nil
0
10451
app
2
0
plus
2
11798
cons
2
2
1
sum
1
1
0
app
2
1
2
40651
sum
cons
x
cons
y
l
sum
cons
plus
x
y
l
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
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
x
plus
y
z
plus
plus
x
y
z
plus
x
y
plus
y
x
plus
x
plus
y
z
plus
x
y
plus
s
x
y
plus
x
y
true
s
1
1
1
plus
2
1
2
0
sum
1
10451
0
0
0
nil
0
1
app
2
0
plus
2
1
2
1143
cons
2
2
1
sum
1
1
0
app
2
1
2
20819
plus
s
x
y
plus
x
y
plus
x
plus
y
z
plus
x
y
sum
cons
x
nil
cons
x
nil
plus
s
x
y
s
plus
x
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
plus
x
y
plus
y
x
plus
0
y
y
plus
x
plus
y
z
plus
plus
x
y
z
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
sum
1
26287
0
0
0
nil
0
1
app
2
1
0
plus
2
1
2
1143
cons
2
2
1
sum
1
1
0
app
2
1
2
24867
app
cons
x
l
k
app
l
k
sum
cons
x
nil
cons
x
nil
plus
s
x
y
s
plus
x
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
plus
x
y
plus
y
x
plus
0
y
y
plus
x
plus
y
z
plus
plus
x
y
z
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
plus
s
x
y
_1
plus
s
plus
x
y
_1
plus
x
plus
y
z
plus
x
y
plus
x
plus
y
z
plus
plus
x
y
z
plus
plus
0
y
_1
plus
y
_1
true
s
1
1
18458
plus
2
1
2
0
sum
1
83598
0
0
0
nil
0
36336
app
2
0
plus
2
1
2
1143
cons
2
2
20977
sum
1
1
0
app
2
1
2
57798
plus
plus
0
y
_1
plus
y
_1
plus
x
plus
y
z
plus
x
y
sum
cons
x
nil
cons
x
nil
plus
s
x
y
s
plus
x
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
plus
x
y
plus
y
x
plus
0
y
y
plus
x
plus
y
z
plus
plus
x
y
z
sum
app
l
cons
x
cons
y
k
sum
app
l
sum
cons
x
cons
y
k
app
l
nil
l
plus
plus
s
x
y
_1
plus
s
plus
x
y
_1
plus
x
y
plus
y
x
plus
x
plus
y
z
plus
plus
x
y
z
true
s
1
19428
plus
2
1
2
0
sum
1
62622
0
0
0
nil
0
36336
app
2
0
plus
2
1
2
1
cons
2
2
1
sum
1
1
0
app
2
1
2
3037
plus
plus
s
x
y
_1
plus
s
plus
x
y
_1
sum
cons
x
nil
cons
x
nil
plus
s
x
y
s
plus
x
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
plus
x
y
plus
y
x
plus
0
y
y
plus
x
plus
y
z
plus
plus
x
y
z
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
NaTT
certifiable-1.6