f
a
f
b
g
b
g
a
map
F
nil
nil
map
Z
cons
U
V
cons
Z
U
map
Z
V
filter
I
nil
nil
filter
J
cons
X1
Y1
filter2
J
X1
J
X1
Y1
filter2
true
G1
V1
W1
cons
V1
filter
G1
W1
filter2
false
J1
X2
Y2
filter
J1
Y2
F
e
e
Z
e
e
U
e
V
f
I
e
d
J
e
d
X1
e
Y1
f
G1
e
d
V1
e
W1
f
J1
e
d
X2
e
Y2
f
a
a
b
a
cons
e
f
f
f
a
b
false
d
filter
e
d
f
f
filter2
d
e
d
e
f
f
g
a
c
map
e
e
f
f
nil
f
true
d
FULL
benchmarks/applicative/Applicative_first_order_05__#3.32.atrs