eq
0
0
true
eq
0
s
X
false
eq
s
Y
0
false
eq
s
U
s
V
eq
U
V
le
0
W
true
le
s
P
0
false
le
s
X1
s
Y1
le
X1
Y1
app
nil
U1
U1
app
add
V1
W1
P1
add
V1
app
W1
P1
min
add
X2
nil
X2
min
add
U2
add
Y2
V2
if!6220min
le
U2
Y2
add
U2
add
Y2
V2
if!6220min
true
add
P2
add
W2
X3
min
add
P2
X3
if!6220min
false
add
U3
add
Y3
V3
min
add
Y3
V3
rm
W3
nil
nil
rm
X4
add
P3
Y4
if!6220rm
eq
X4
P3
X4
add
P3
Y4
if!6220rm
true
V4
add
U4
W4
rm
V4
W4
if!6220rm
false
X5
add
P4
Y5
add
P4
rm
X5
Y5
minsort
nil
nil
nil
minsort
add
U5
V5
W5
if!6220minsort
eq
U5
min
add
U5
V5
add
U5
V5
W5
if!6220minsort
true
add
P5
X6
Y6
add
P5
minsort
app
rm
P5
X6
Y6
nil
if!6220minsort
false
add
U6
V6
W6
minsort
V6
add
U6
W6
map
J6
nil
nil
map
F7
add
Y7
U7
add
F7
Y7
map
F7
U7
filter
H7
nil
nil
filter
I7
add
P7
X8
filter2
I7
P7
I7
P7
X8
filter2
true
Z8
U8
V8
add
U8
filter
Z8
V8
filter2
false
I8
P8
X9
filter
I8
X9
X
b
Y
b
U
b
V
b
W
b
P
b
X1
b
Y1
b
U1
c
V1
b
W1
c
P1
c
X2
b
Y2
b
U2
b
V2
c
W2
b
P2
b
X3
c
Y3
b
U3
b
V3
c
W3
b
P3
b
X4
b
Y4
c
U4
b
V4
b
W4
c
P4
b
X5
b
Y5
c
U5
b
V5
c
W5
c
P5
b
X6
c
Y6
c
U6
b
V6
c
W6
c
J6
b
b
F7
b
b
Y7
b
U7
c
H7
b
a
I7
b
a
P7
b
X8
c
Z8
b
a
U8
b
V8
c
I8
b
a
P8
b
X9
c
0
b
add
b
c
c
app
c
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!6220minsort
a
c
c
c
if!6220rm
a
b
c
c
le
b
b
a
map
b
b
c
c
min
c
b
minsort
c
c
c
nil
c
rm
b
c
c
s
b
b
true
a
FULL
benchmarks/applicative/Applicative_first_order_05__#3.10.atrs