app
app
apply
f_1
x
app
f_1
x
app
id
x
x
app
app
app
uncurry
f_2
x
y
app
app
f_2
x
y
app
app
app
swap
f_2
y
x
app
app
f_2
x
y
app
app
app
compose
g_1
f_1
x
app
g_1
app
f_1
x
app
app
const
x
y
x
app
listify
x
app
app
cons
x
nil
app
app
app
app
fold
f_3
g_2
x
nil
x
app
app
app
app
fold
f_3
g_2
x
app
app
cons
z
t
app
app
f_3
app
g_2
z
app
app
app
app
fold
f_3
g_2
x
t
app
sum
l
app
app
app
app
fold
add
id
0
l
app
app
uncurry
app
app
fold
cons
id
nil
id
append
app
app
compose
app
app
swap
fold
cons
id
reverse
app
app
uncurry
app
app
fold
app
swap
append
listify
nil
length
app
app
uncurry
app
app
fold
add
app
cons
1
0
2.2
reverse
app
uncurry
app
app
fold
app
swap
append
listify
app
app
app
uncurry
f_2
x
y
app
f_2
x
reverse
append
append
app
app
swap
fold
cons
app
app
app
app
fold
f_3
g_2
x
app
app
cons
z
t
app
g_2
z
append
app
app
compose
app
app
swap
fold
cons
id
app
sum
l
app
app
fold
add
id
app
sum
l
app
app
app
fold
add
id
0
append
app
compose
app
app
swap
fold
cons
app
app
app
swap
f_2
y
x
app
app
f_2
x
y
append
app
swap
fold
app
app
apply
f_1
x
app
f_1
x
app
sum
l
app
fold
add
app
listify
x
app
app
cons
x
nil
app
app
app
app
fold
f_3
g_2
x
app
app
cons
z
t
app
app
f_3
app
g_2
z
app
app
app
app
fold
f_3
g_2
x
t
app
app
app
app
fold
f_3
g_2
x
app
app
cons
z
t
app
app
app
app
fold
f_3
g_2
x
t
reverse
app
swap
append
app
app
app
uncurry
f_2
x
y
app
app
f_2
x
y
app
sum
l
app
app
app
app
fold
add
id
0
l
app
app
app
compose
g_1
f_1
x
app
f_1
x
length
app
app
fold
add
app
cons
1
app
app
app
swap
f_2
y
x
app
f_2
x
length
app
cons
1
app
app
app
compose
g_1
f_1
x
app
g_1
app
f_1
x
app
listify
x
app
cons
x
length
app
uncurry
app
app
fold
add
app
cons
1
reverse
app
app
fold
app
swap
append
listify
reverse
app
app
uncurry
app
app
fold
app
swap
append
listify
nil
app
app
app
app
fold
f_3
g_2
x
app
app
cons
z
t
app
f_3
app
g_2
z
length
app
app
uncurry
app
app
fold
add
app
cons
1
0
reverse
app
fold
app
swap
append
length
app
fold
add
true
length
app
fold
add
false
reverse
app
fold
app
swap
append
false
length
app
app
uncurry
app
app
fold
add
app
cons
1
0
false
reverse
app
app
uncurry
app
app
fold
app
swap
append
listify
nil
false
reverse
app
app
fold
app
swap
append
listify
false
length
app
uncurry
app
app
fold
add
app
cons
1
false
length
app
cons
1
false
length
app
app
fold
add
app
cons
1
false
reverse
append
false
append
app
app
compose
app
app
swap
fold
cons
id
false
append
app
compose
app
app
swap
fold
cons
false
append
app
app
swap
fold
cons
false
append
app
swap
fold
false
reverse
app
swap
append
false
app
app
apply
f_1
x
app
f_1
x
app
app
app
swap
f_2
y
x
app
app
f_2
x
y
app
app
app
app
fold
f_3
g_2
x
app
app
cons
z
t
app
f_3
app
g_2
z
app
app
app
compose
g_1
f_1
x
app
g_1
app
f_1
x
app
app
app
app
fold
f_3
g_2
x
app
app
cons
z
t
app
g_2
z
app
app
app
swap
f_2
y
x
app
f_2
x
app
app
app
compose
g_1
f_1
x
app
f_1
x
app
sum
l
app
app
app
app
fold
add
id
0
l
app
app
app
uncurry
f_2
x
y
app
app
f_2
x
y
app
app
app
app
fold
f_3
g_2
x
app
app
cons
z
t
app
app
app
app
fold
f_3
g_2
x
t
app
app
app
app
fold
f_3
g_2
x
app
app
cons
z
t
app
app
f_3
app
g_2
z
app
app
app
app
fold
f_3
g_2
x
t
app
app
app
uncurry
f_2
x
y
app
f_2
x
true
Failed!
NaTT
certifiable-1.6