minus
x
0
x
minus
s
x
s
y
minus
x
y
quot
0
s
y
0
quot
s
x
s
y
s
quot
minus
x
y
s
y
app
nil
y
y
app
add
n
x
y
add
n
app
x
y
reverse
nil
nil
reverse
add
n
x
app
reverse
x
add
n
nil
shuffle
nil
nil
shuffle
add
n
x
add
n
shuffle
reverse
x
concat
leaf
y
y
concat
cons
u
v
y
cons
u
concat
v
y
less_leaves
x
leaf
false
less_leaves
leaf
cons
w
z
true
less_leaves
cons
u
v
cons
w
z
less_leaves
concat
u
v
concat
w
z
minus
2
0
0
s
1
quot
2
app
2
nil
0
add
2
reverse
1
shuffle
1
concat
2
leaf
0
cons
2
less_leaves
2
false
0
true
0
INNERMOST
./TRS/AG01/#3.53.trs