times
X
0
0
times
Y
s
U
plus
times
Y
U
Y
plus
V
0
V
plus
0
W
W
plus
P
s
X1
s
plus
P
X1
plus
s
Y1
U1
s
plus
Y1
U1
map
H1
nil
nil
map
I1
cons
P1
X2
cons
I1
P1
map
I1
X2
filter
Z2
nil
nil
filter
G2
cons
V2
W2
filter2
G2
V2
G2
V2
W2
filter2
true
J2
X3
Y3
cons
X3
filter
J2
Y3
filter2
false
G3
V3
W3
filter
G3
W3
X
a
Y
a
U
a
V
a
W
a
P
a
X1
a
Y1
a
U1
a
H1
c
c
I1
c
c
P1
c
X2
d
Z2
c
b
G2
c
b
V2
c
W2
d
J2
c
b
X3
c
Y3
d
G3
c
b
V3
c
W3
d
0
a
cons
c
d
d
false
b
filter
c
b
d
d
filter2
b
c
b
c
d
d
map
c
c
d
d
nil
d
plus
a
a
a
s
a
a
times
a
a
a
true
b
FULL
benchmarks/applicative/Applicative_first_order_05__#3.16.atrs