1
s_
0
2
s_
s_
0
3
s_
s_
s_
0
4
s_
s_
s_
s_
0
5
s_
s_
s_
s_
s_
0
6
s_
s_
s_
s_
s_
s_
0
7
s_
s_
s_
s_
s_
s_
s_
0
U11
tt
M'
N'
U12
equal
_>_
N'
M'
true
M'
N'
U12
tt
M'
N'
gcd
d
N'
M'
M'
U21
tt
M'
N
U22
equal
_>_
M'
N
true
U22
tt
0
U31
tt
M'
N
U32
equal
_>_
N
M'
true
M'
N
U32
tt
M'
N
s_
quot
d
N
M'
M'
_*_
N
0
0
_*_
s_
N
s_
M
s_
_+_
N
_+_
M
_*_
N
M
_+_
N
0
N
_+_
s_
N
s_
M
s_
s_
_+_
N
M
_<_
N
M
_>_
M
N
_>_
0
M
false
_>_
N'
0
true
_>_
s_
N
s_
M
_>_
N
M
and
tt
X
X
d
0
N
N
d
s_
N
s_
M
d
N
M
equal
X
X
tt
gcd
0
N
0
gcd
N'
M'
U11
tt
M'
N'
gcd
N'
N'
N'
p_
s_
N
N
quot
M'
M'
s_
0
quot
N
M'
U21
tt
M'
N
quot
N
M'
U31
tt
M'
N
1
0
s_
1
0
0
2
0
3
0
4
0
5
0
6
0
7
0
U11
3
tt
0
U12
3
equal
2
_>_
2
true
0
gcd
2
C
d
2
C
U21
3
U22
1
U31
3
U32
3
quot
2
_*_
2
C
_+_
2
C
_<_
2
false
0
and
2
p_
1
FULL
./TRS/CSR_Maude/peano/PEANO-NAT_nosorts.trs