app
app
max
0
x
x
app
app
max
x
0
x
app
app
max
app
s
x
app
s
y
app
app
max
x
y
app
app
min
0
x
0
app
app
min
x
0
0
app
app
min
app
s
x
app
s
y
app
app
min
x
y
app
app
app
app
insert
f
g
nil
x
app
app
cons
x
nil
app
app
app
app
insert
f
g
app
app
cons
h
t
x
app
app
cons
app
app
f
x
h
app
app
app
app
insert
f
g
t
app
app
g
x
h
app
app
app
sort
f
g
nil
nil
app
app
app
sort
f
g
app
app
cons
h
t
app
app
app
app
insert
f
g
app
app
app
sort
f
g
t
h
app
ascending_sort
l
app
app
app
sort
min
max
l
app
descending_sort
l
app
app
app
sort
max
min
l
app
2
max
0
0
0
s
0
min
0
insert
0
nil
0
cons
0
sort
0
ascending_sort
0
descending_sort
0
FULL
./TRS/higher-order/Lifantsev/Ex5Sorting.trs