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
2.2
sum
app
l
cons
x
cons
y
k
app
l
sum
cons
x
cons
y
k
app
cons
x
l
k
app
l
k
plus
s
x
y
plus
x
y
sum
cons
x
cons
y
l
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
sum
cons
plus
x
y
l
true
sum
app
l
cons
x
cons
y
k
sum
app
l
sum
cons
x
cons
y
k
true
s
1
1
plus
2
0
sum
1
3
0
0
1
nil
0
1
app
2
0
plus
2
1
1
cons
2
2
2
sum
1
1
0
app
2
1
2
20163
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
plus
2
0
sum
1
17065
0
0
1
nil
0
17064
app
2
0
plus
2
1
1
cons
2
2
1
sum
1
1
0
app
2
1
2
20819
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
s
x
y
plus
x
y
true
s
1
1
1
plus
2
1
0
sum
1
98764
0
0
1
nil
0
58177
app
2
0
plus
2
1
2998
cons
2
2
40587
sum
1
1
0
app
2
1
2
42632
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
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
sum
1
2
0
0
1
nil
0
1
app
2
1
0
plus
2
1
2998
cons
2
2
1
sum
1
1
0
app
2
1
2
1
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
NaTT
certifiable-1.6