app
app
app
compose
f
g
x
app
g
app
f
x
app
reverse
l
app
app
reverse2
l
nil
app
app
reverse2
nil
l
l
app
app
reverse2
app
app
cons
x
xs
l
app
app
reverse2
xs
app
app
cons
x
l
app
hd
app
app
cons
x
xs
x
app
tl
app
app
cons
x
xs
xs
last
app
app
compose
hd
reverse
init
app
app
compose
reverse
app
app
compose
tl
reverse
2.2
app
reverse
l
app
reverse2
l
app
app
app
compose
f
g
x
app
f
x
app
app
reverse2
app
app
cons
x
xs
l
app
app
cons
x
l
init
app
app
compose
tl
reverse
app
app
reverse2
app
app
cons
x
xs
l
app
app
reverse2
xs
app
app
cons
x
l
app
app
reverse2
app
app
cons
x
xs
l
app
reverse2
xs
init
app
app
compose
reverse
app
app
compose
tl
reverse
init
app
compose
tl
app
app
app
compose
f
g
x
app
g
app
f
x
last
app
app
compose
hd
reverse
app
reverse
l
app
app
reverse2
l
nil
init
app
compose
reverse
last
app
compose
hd
true
last
app
compose
hd
false
init
app
compose
reverse
false
last
app
app
compose
hd
reverse
false
init
app
app
compose
tl
reverse
false
app
app
app
compose
f
g
x
app
f
x
app
app
app
compose
f
g
x
app
g
app
f
x
true
hd
0
1
init
0
0
init
0
0
reverse2
0
18170
reverse
0
20538
compose
0
30538
last
0
0
tl
0
9137
last
0
0
nil
0
12940
app
2
1
0
cons
0
38978
app
2
1
2
38139
app
reverse
l
app
app
reverse2
l
nil
false
app
app
reverse2
app
app
cons
x
xs
l
app
app
reverse2
xs
app
app
cons
x
l
true
hd
0
1
init
0
0
init
0
0
reverse2
0
40587
reverse
0
76506
compose
0
49858
last
0
0
tl
0
9137
last
0
0
nil
0
12940
app
2
1
0
cons
0
50349
app
2
1
2
22979
app
app
reverse2
app
app
cons
x
xs
l
app
app
reverse2
xs
app
app
cons
x
l
app
app
app
compose
f
g
x
app
g
app
f
x
app
app
reverse2
nil
l
l
app
hd
app
app
cons
x
xs
x
app
tl
app
app
cons
x
xs
xs
app
reverse
l
app
app
reverse2
l
nil
app
app
reverse2
app
app
cons
x
xs
l
app
reverse2
xs
false
app
app
reverse2
app
app
cons
x
xs
l
app
app
cons
x
l
false
init
app
compose
tl
false
init
app
app
compose
reverse
app
app
compose
tl
reverse
false
app
reverse
l
app
reverse2
l
false
NaTT
certifiable-1.6