eq
0
0
true
eq
0
s
X
false
eq
s
Y
0
false
eq
s
V
s
U
eq
V
U
le
0
W
true
le
s
P
0
false
le
s
Y1
s
X1
le
Y1
X1
min
cons
0
nil
0
min
cons
s
U1
nil
s
U1
min
cons
W1
cons
V1
P1
if!6220min
le
W1
V1
cons
W1
cons
V1
P1
if!6220min
true
cons
Y2
cons
X2
U2
min
cons
Y2
U2
if!6220min
false
cons
W2
cons
V2
P2
min
cons
V2
P2
replace
Y3
X3
nil
nil
replace
W3
V3
cons
U3
P3
if!6220replace
eq
W3
U3
W3
V3
cons
U3
P3
if!6220replace
true
U4
Y4
cons
X4
V4
cons
Y4
V4
if!6220replace
false
X5
P4
cons
W4
Y5
cons
W4
replace
X5
P4
Y5
sort
nil
nil
sort
cons
U5
V5
cons
min
cons
U5
V5
sort
replace
min
cons
U5
V5
U5
V5
map
I5
nil
nil
map
J5
cons
X6
Y6
cons
J5
X6
map
J5
Y6
filter
G6
nil
nil
filter
H6
cons
W6
P6
filter2
H6
W6
H6
W6
P6
filter2
true
F7
Y7
U7
cons
Y7
filter
F7
U7
filter2
false
H7
W7
P7
filter
H7
P7
X
b
Y
b
U
b
V
b
W
b
P
b
X1
b
Y1
b
U1
b
V1
b
W1
b
P1
c
X2
b
Y2
b
U2
c
V2
b
W2
b
P2
c
X3
b
Y3
b
U3
b
V3
b
W3
b
P3
c
X4
b
Y4
b
U4
b
V4
c
W4
b
P4
b
X5
b
Y5
c
U5
b
V5
c
I5
b
b
J5
b
b
X6
b
Y6
c
G6
b
a
H6
b
a
W6
b
P6
c
F7
b
a
Y7
b
U7
c
H7
b
a
W7
b
P7
c
0
b
cons
b
c
c
eq
b
b
a
false
a
filter
b
a
c
c
filter2
a
b
a
b
c
c
if!6220min
a
c
b
if!6220replace
a
b
b
c
c
le
b
b
a
map
b
b
c
c
min
c
b
nil
c
replace
b
b
c
c
s
b
b
sort
c
c
true
a
FULL
benchmarks/applicative/Applicative_AG01_innermost__#4.36.atrs