eq
0
0
true
eq
0
s
Y
false
eq
s
X
0
false
eq
s
X
s
Y
eq
X
Y
le
0
Y
true
le
s
X
0
false
le
s
X
s
Y
le
X
Y
min
cons
0
nil
0
min
cons
s
N
nil
s
N
min
cons
N
cons
M
L
ifmin
le
N
M
cons
N
cons
M
L
ifmin
true
cons
N
cons
M
L
min
cons
N
L
ifmin
false
cons
N
cons
M
L
min
cons
M
L
replace
N
M
nil
nil
replace
N
M
cons
K
L
ifrepl
eq
N
K
N
M
cons
K
L
ifrepl
true
N
M
cons
K
L
cons
M
L
ifrepl
false
N
M
cons
K
L
cons
K
replace
N
M
L
selsort
nil
nil
selsort
cons
N
L
ifselsort
eq
N
min
cons
N
L
cons
N
L
ifselsort
true
cons
N
L
cons
N
selsort
L
ifselsort
false
cons
N
L
cons
min
cons
N
L
selsort
replace
min
cons
N
L
N
L
eq
2
0
0
true
0
s
1
false
0
le
2
min
1
cons
2
nil
0
ifmin
2
replace
3
ifrepl
4
selsort
1
ifselsort
2
FULL
./TRS/Rubio/selsort.trs