f
X
g
X
f
1
g
X
g
1
g
0
map
Z
nil
nil
map
G
cons
V
W
cons
G
V
map
G
W
filter
J
nil
nil
filter
F1
cons
Y1
U1
filter2
F1
Y1
F1
Y1
U1
filter2
true
H1
W1
P1
cons
W1
filter
H1
P1
filter2
false
F2
Y2
U2
filter
F2
U2
X
b
Z
e
e
G
e
e
V
e
W
f
J
e
d
F1
e
d
Y1
e
U1
f
H1
e
d
W1
e
P1
f
F2
e
d
Y2
e
U2
f
0
b
1
b
cons
e
f
f
f
b
c
a
false
d
filter
e
d
f
f
filter2
d
e
d
e
f
f
g
b
c
map
e
e
f
f
nil
f
true
d
FULL
benchmarks/applicative/Applicative_AG01_innermost__#4.10.atrs