gt
0
Y
false
gt
s
X
0
true
gt
s
X
s
Y
gt
X
Y
p
0
0
p
s
X
X
if
true
X
Y
X
if
false
X
Y
Y
minus
X
Y
if
gt
Y
0
minus
p
X
p
Y
X
div
0
s
Y
0
div
s
X
s
Y
s
div
minus
X
Y
s
Y
gt
2
1
2
0
0
false
0
s
1
1
true
0
p
1
1
if
3
1
minus
2
1
2
div
2
1
2
FULL
./TRS/aprove08-csr/csrdiv.trs