app
app
map
f
nil
nil
app
app
map
f
app
app
cons
x
xs
app
app
cons
app
f
x
app
app
map
f
xs
app
flatten
app
app
node
x
xs
app
app
cons
x
app
concat
app
app
map
flatten
xs
app
concat
nil
nil
app
concat
app
app
cons
x
xs
app
app
append
x
app
concat
xs
app
app
append
nil
xs
xs
app
app
append
app
app
cons
x
xs
ys
app
app
cons
x
app
app
append
xs
ys
2.2
app
app
map
f
app
app
cons
x
xs
app
cons
app
f
x
app
app
append
app
app
cons
x
xs
ys
app
app
append
xs
ys
app
flatten
app
app
node
x
xs
app
concat
app
app
map
flatten
xs
app
concat
app
app
cons
x
xs
app
append
x
app
flatten
app
app
node
x
xs
app
app
cons
x
app
concat
app
app
map
flatten
xs
app
flatten
app
app
node
x
xs
app
cons
x
app
flatten
app
app
node
x
xs
app
app
map
flatten
xs
app
app
append
app
app
cons
x
xs
ys
app
append
xs
app
concat
app
app
cons
x
xs
app
concat
xs
app
app
append
app
app
cons
x
xs
ys
app
app
cons
x
app
app
append
xs
ys
app
app
map
f
app
app
cons
x
xs
app
f
x
app
app
map
f
app
app
cons
x
xs
app
app
cons
app
f
x
app
app
map
f
xs
app
concat
app
app
cons
x
xs
app
app
append
x
app
concat
xs
app
flatten
app
app
node
x
xs
app
map
flatten
app
app
map
f
app
app
cons
x
xs
app
app
map
f
xs
true
app
app
map
f
app
app
cons
x
xs
app
app
map
f
xs
app
flatten
app
app
node
x
xs
app
app
map
flatten
xs
app
app
map
f
app
app
cons
x
xs
app
f
x
true
flatten
0
1
concat
0
32139
append
0
21259
nil
0
37046
app
2
2
0
map
0
4140
cons
0
21258
node
0
14681
app
2
1
2
15922
app
flatten
app
app
node
x
xs
app
cons
x
false
app
app
map
f
app
app
cons
x
xs
app
app
cons
app
f
x
app
app
map
f
xs
false
app
flatten
app
app
node
x
xs
app
map
flatten
false
app
flatten
app
app
node
x
xs
app
app
cons
x
app
concat
app
app
map
flatten
xs
false
app
flatten
app
app
node
x
xs
app
concat
app
app
map
flatten
xs
false
app
concat
app
app
cons
x
xs
app
concat
xs
true
flatten
0
1
concat
0
1
append
0
2
nil
0
1
app
2
2
0
map
0
4140
cons
0
1
node
0
2241
app
2
1
2
1
app
concat
app
app
cons
x
xs
app
app
append
x
app
concat
xs
false
app
app
append
app
app
cons
x
xs
ys
app
app
append
xs
ys
true
Failed!
NaTT
certifiable-1.6