less
x
0
false
less
0
s
x
true
less
s
x
s
y
less
x
y
minus
0
s
y
0
minus
x
0
x
minus
s
x
s
y
minus
x
y
quotrem
0
s
y
pair
0
0
quotrem
s
x
s
y
pair
0
s
x
less
x
y
true
quotrem
s
x
s
y
pair
s
q
r
less
x
y
false
quotrem
minus
x
y
s
y
pair
q
r
less
2
0
0
false
0
s
1
true
0
minus
2
quotrem
2
pair
2
ORIENTED
FULL
./TRS/Ohl02/quotrem.trs