eq
0
0
true
eq
0
s
m
false
eq
s
n
0
false
eq
s
n
s
m
eq
n
m
le
0
m
true
le
s
n
0
false
le
s
n
s
m
le
n
m
min
cons
x
nil
x
min
cons
n
cons
m
x
if_min
le
n
m
cons
n
cons
m
x
if_min
true
cons
n
cons
m
x
min
cons
n
x
if_min
false
cons
n
cons
m
x
min
cons
m
x
replace
n
m
nil
nil
replace
n
m
cons
k
x
if_replace
eq
n
k
n
m
cons
k
x
if_replace
true
n
m
cons
k
x
cons
m
x
if_replace
false
n
m
cons
k
x
cons
k
replace
n
m
x
empty
nil
true
empty
cons
n
x
false
head
cons
n
x
n
tail
nil
nil
tail
cons
n
x
x
sort
x
sortIter
x
nil
sortIter
x
y
if
empty
x
x
y
append
y
cons
min
x
nil
if
true
x
y
z
y
if
false
x
y
z
sortIter
replace
min
x
head
x
tail
x
z
eq
2
0
0
true
0
s
1
false
0
le
2
min
1
cons
2
nil
0
if_min
2
replace
3
if_replace
4
empty
1
head
1
tail
1
sort
1
sortIter
2
if
4
append
2
INNERMOST
./TRS/SchneiderKamp/trs/thiemann18.trs