max
0
X
X
max
Y
0
Y
max
s
U
s
V
max
U
V
min
0
W
0
min
P
0
0
min
s
X1
s
Y1
min
X1
Y1
insert
G1
H1
nil
W1
cons
W1
nil
insert
J1
F2
cons
Y2
U2
V2
cons
J1
V2
Y2
insert
J1
F2
U2
F2
V2
Y2
sort
I2
J2
nil
nil
sort
F3
Z3
cons
U3
V3
insert
F3
Z3
sort
F3
Z3
V3
U3
ascending!6220sort
W3
sort
min
max
W3
descending!6220sort
P3
sort
max
min
P3
X
a
Y
a
U
a
V
a
W
a
P
a
X1
a
Y1
a
G1
a
a
a
H1
a
a
a
W1
a
J1
a
a
a
F2
a
a
a
Y2
a
U2
b
V2
a
I2
a
a
a
J2
a
a
a
F3
a
a
a
Z3
a
a
a
U3
a
V3
b
W3
b
P3
b
0
a
ascending!6220sort
b
b
cons
a
b
b
descending!6220sort
b
b
insert
a
a
a
a
a
a
b
a
b
max
a
a
a
min
a
a
a
nil
b
s
a
a
sort
a
a
a
a
a
a
b
b
FULL
benchmarks/applicative/Applicative_05__Ex5Sorting.atrs