eq
0
0
true
eq
0
s
x
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
app
nil
y
y
app
add
n
x
y
add
n
app
x
y
min
nil
0
min
add
n
x
minIter
add
n
x
add
n
x
0
minIter
nil
add
n
y
m
minIter
add
n
y
add
n
y
s
m
minIter
add
n
x
y
m
if_min
le
n
m
x
y
m
if_min
true
x
y
m
m
if_min
false
x
y
m
minIter
x
y
m
head
add
n
x
n
tail
add
n
x
x
tail
nil
nil
null
nil
true
null
add
n
x
false
rm
n
nil
nil
rm
n
add
m
x
if_rm
eq
n
m
n
add
m
x
if_rm
true
n
add
m
x
rm
n
x
if_rm
false
n
add
m
x
add
m
rm
n
x
minsort
nil
nil
nil
minsort
add
n
x
y
if_minsort
eq
n
min
add
n
x
add
n
x
y
if_minsort
true
add
n
x
y
add
n
minsort
app
rm
n
x
y
nil
if_minsort
false
add
n
x
y
minsort
x
add
n
y
eq
2
0
0
true
0
s
1
false
0
le
2
app
2
nil
0
add
2
min
1
minIter
3
if_min
4
head
1
tail
1
null
1
rm
2
if_rm
3
minsort
2
if_minsort
3
INNERMOST
./TRS/SchneiderKamp/trs/thiemann30.trs