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
U101
tt
M
N
d
N
M
U11
tt
0
U111
tt
0
U121
tt
M'
N'
U122
equal
_>_
N'
M'
true
M'
N'
U122
tt
M'
N'
gcd
d
N'
M'
M'
U131
tt
N'
N'
U141
tt
N
N
U151
tt
s_
0
U161
tt
M'
N
U162
equal
_>_
M'
N
true
U162
tt
0
U171
tt
M'
N
U172
equal
_>_
N
M'
true
M'
N
U172
tt
M'
N
s_
quot
d
N
M'
M'
U21
tt
M
N
s_
_+_
N
_+_
M
_*_
N
M
U31
tt
N
N
U41
tt
M
N
s_
s_
_+_
N
M
U51
tt
M
N
_>_
M
N
U61
tt
false
U71
tt
true
U81
tt
M
N
_>_
N
M
U91
tt
N
N
_*_
N
0
U11
isNat
N
_*_
s_
N
s_
M
U21
and
isNat
M
isNat
N
M
N
_+_
N
0
U31
isNat
N
N
_+_
s_
N
s_
M
U41
and
isNat
M
isNat
N
M
N
_<_
N
M
U51
and
isNat
M
isNat
N
M
N
_>_
0
M
U61
isNat
M
_>_
N'
0
U71
isNzNat
N'
_>_
s_
N
s_
M
U81
and
isNat
M
isNat
N
M
N
and
tt
X
X
d
0
N
U91
isNat
N
N
d
s_
N
s_
M
U101
and
isNat
M
isNat
N
M
N
equal
X
X
tt
gcd
0
N
U111
isNat
N
gcd
N'
M'
U121
and
isNzNat
M'
isNzNat
N'
M'
N'
gcd
N'
N'
U131
isNzNat
N'
N'
isBoolean
false
tt
isBoolean
true
tt
isBoolean
_<_
V1
V2
and
isNat
V1
isNat
V2
isBoolean
_>_
V1
V2
and
isNat
V1
isNat
V2
isNat
0
tt
isNat
V
isNzNat
V
isNat
_*_
V1
V2
and
isNat
V1
isNat
V2
isNat
_+_
V1
V2
and
isNat
V1
isNat
V2
isNat
d
V1
V2
and
isNat
V1
isNat
V2
isNat
gcd
V1
V2
and
isNat
V1
isNat
V2
isNat
p_
V1
isNzNat
V1
isNat
quot
V1
V2
and
isNat
V1
isNzNat
V2
isNzNat
1
tt
isNzNat
2
tt
isNzNat
3
tt
isNzNat
4
tt
isNzNat
5
tt
isNzNat
6
tt
isNzNat
7
tt
isNzNat
_*_
V1
V2
and
isNzNat
V1
isNzNat
V2
isNzNat
gcd
V1
V2
and
isNzNat
V1
isNzNat
V2
isNzNat
s_
V1
isNat
V1
p_
s_
N
U141
isNat
N
N
quot
M'
M'
U151
isNzNat
M'
quot
N
M'
U161
and
isNzNat
M'
isNat
N
M'
N
quot
N
M'
U171
and
isNzNat
M'
isNat
N
M'
N
1
0
s_
1
0
0
2
0
3
0
4
0
5
0
6
0
7
0
U101
3
tt
0
d
2
C
U11
1
U111
1
U121
3
U122
3
equal
2
_>_
2
true
0
gcd
2
C
U131
2
U141
2
U151
1
U161
3
U162
1
U171
3
U172
3
quot
2
U21
3
_+_
2
C
_*_
2
C
U31
2
U41
3
U51
3
U61
1
false
0
U71
1
U81
3
U91
2
isNat
1
and
2
_<_
2
isNzNat
1
isBoolean
1
p_
1
FULL
./TRS/CSR_Maude/peano/PEANO-NAT_nokinds.trs