minus
X
0
X
minus
s
Y
s
U
minus
Y
U
minus
minus
V
W
P
minus
V
plus
W
P
quot
0
s
X1
0
quot
s
Y1
s
U1
s
quot
minus
Y1
U1
s
U1
plus
0
V1
V1
plus
s
W1
P1
s
plus
W1
P1
app
nil
X2
X2
app
Y2
nil
Y2
app
cons
W2
V2
U2
cons
W2
app
V2
U2
sum
cons
P2
nil
cons
P2
nil
sum
cons
Y3
cons
U3
X3
sum
cons
plus
Y3
U3
X3
sum
app
W3
cons
P3
cons
X4
V3
sum
app
W3
sum
cons
P3
cons
X4
V3
map
Z4
nil
nil
map
G4
cons
V4
W4
cons
G4
V4
map
G4
W4
filter
J4
nil
nil
filter
F5
cons
Y5
U5
filter2
F5
Y5
F5
Y5
U5
filter2
true
H5
W5
P5
cons
W5
filter
H5
P5
filter2
false
F6
Y6
U6
filter
F6
U6
X
b
Y
b
U
b
V
b
W
b
P
b
X1
b
Y1
b
U1
b
V1
b
W1
b
P1
b
X2
c
Y2
c
U2
c
V2
c
W2
b
P2
b
X3
c
Y3
b
U3
b
V3
c
W3
c
P3
b
X4
b
Z4
b
b
G4
b
b
V4
b
W4
c
J4
b
a
F5
b
a
Y5
b
U5
c
H5
b
a
W5
b
P5
c
F6
b
a
Y6
b
U6
c
0
b
app
c
c
c
cons
b
c
c
false
a
filter
b
a
c
c
filter2
a
b
a
b
c
c
map
b
b
c
c
minus
b
b
b
nil
c
plus
b
b
b
quot
b
b
b
s
b
b
sum
c
c
true
a
FULL
benchmarks/applicative/Applicative_first_order_05__#3.57.atrs