U11
tt
V1
V2
U12
isNatKind
V1
V1
V2
U12
tt
V1
V2
U13
isNatKind
V2
V1
V2
U13
tt
V1
V2
U14
isNatKind
V2
V1
V2
U14
tt
V1
V2
U15
isNat
V1
V2
U15
tt
V2
U16
isNat
V2
U16
tt
tt
U21
tt
V1
U22
isNatKind
V1
V1
U22
tt
V1
U23
isNat
V1
U23
tt
tt
U31
tt
V2
U32
isNatKind
V2
U32
tt
tt
U41
tt
tt
U51
tt
N
U52
isNatKind
N
N
U52
tt
N
N
U61
tt
M
N
U62
isNatKind
M
M
N
U62
tt
M
N
U63
isNat
N
M
N
U63
tt
M
N
U64
isNatKind
N
M
N
U64
tt
M
N
s
plus
N
M
isNat
0
tt
isNat
plus
V1
V2
U11
isNatKind
V1
V1
V2
isNat
s
V1
U21
isNatKind
V1
V1
isNatKind
0
tt
isNatKind
plus
V1
V2
U31
isNatKind
V1
V2
isNatKind
s
V1
U41
isNatKind
V1
plus
N
0
U51
isNat
N
N
plus
N
s
M
U61
isNat
M
M
N
U11
3
1
tt
0
U12
3
1
isNatKind
1
U13
3
1
U14
3
1
U15
2
1
isNat
1
U16
1
1
U21
2
1
U22
2
1
U23
1
1
U31
2
1
U32
1
1
U41
1
1
U51
2
1
U52
2
1
U61
3
1
U62
3
1
U63
3
1
U64
3
1
s
1
1
plus
2
1
2
0
0
FULL
./TRS/CSR_Maude/peanoSimple/MYNAT_complete-noand.trs