app
app
app
sort
f
g
nil
nil
app
app
app
sort
f
g
app
app
cons
x
y
app
app
app
app
insert
f
g
app
app
app
sort
f
g
y
x
app
app
app
app
insert
f
g
nil
y
app
app
cons
y
nil
app
app
app
app
insert
f
g
app
app
cons
x
z
y
app
app
cons
app
app
f
x
y
app
app
app
app
insert
f
g
z
app
app
g
x
y
app
app
max
0
y
y
app
app
max
x
0
x
app
app
max
app
s
x
app
s
y
app
app
max
x
y
app
app
min
0
y
0
app
app
min
x
0
0
app
app
min
app
s
x
app
s
y
app
app
min
x
y
app
asort
z
app
app
app
sort
min
max
z
app
dsort
z
app
app
app
sort
max
min
z
app
2
sort
0
nil
0
cons
0
insert
0
max
0
0
0
s
0
min
0
asort
0
dsort
0
FULL
./TRS/higher-order/ToyamaRTA04/Ex7Sorting.trs