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
tt
M
N
U12
tt
M
N
s_
_+_
N
_+_
M
_*_
N
M
U21
tt
M
N
U22
tt
M
N
U22
tt
M
N
s_
s_
_+_
N
M
U31
tt
M
N
U32
tt
M
N
U32
tt
M
N
_>_
M
N
U41
tt
M
N
U42
tt
M
N
U42
tt
M
N
_>_
N
M
U51
tt
M
N
U52
tt
M
N
U52
tt
M
N
d
N
M
U61
tt
M'
N'
U62
tt
M'
N'
U62
tt
M'
N'
U63
equal
_>_
N'
M'
true
M'
N'
U63
tt
M'
N'
gcd
d
N'
M'
M'
U71
tt
M'
N
U72
tt
M'
N
U72
tt
M'
N
U73
equal
_>_
M'
N
true
U73
tt
0
U81
tt
M'
N
U82
tt
M'
N
U82
tt
M'
N
U83
equal
_>_
N
M'
true
M'
N
U83
tt
M'
N
s_
quot
d
N
M'
M'
_*_
N
0
0
_*_
s_
N
s_
M
U11
tt
M
N
_+_
N
0
N
_+_
s_
N
s_
M
U21
tt
M
N
_<_
N
M
U31
tt
M
N
_>_
0
M
false
_>_
N'
0
true
_>_
s_
N
s_
M
U41
tt
M
N
d
0
N
N
d
s_
N
s_
M
U51
tt
M
N
equal
X
X
tt
gcd
0
N
0
gcd
N'
M'
U61
tt
M'
N'
gcd
N'
N'
N'
p_
s_
N
N
quot
M'
M'
s_
0
quot
N
M'
U71
tt
M'
N
quot
N
M'
U81
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
_+_
2
C
_*_
2
C
U21
3
U22
3
U31
3
U32
3
_>_
2
U41
3
U42
3
U51
3
U52
3
d
2
C
U61
3
U62
3
U63
3
equal
2
true
0
gcd
2
C
U71
3
U72
3
U73
1
U81
3
U82
3
U83
3
quot
2
_<_
2
false
0
p_
1
FULL
./TRS/CSR_Maude/peano/PEANO-NAT_nosorts-noand.trs