U101
tt
M
N
U102
isNatKind
M
M
N
U102
tt
M
N
U103
isNat
N
M
N
U103
tt
M
N
U104
isNatKind
N
M
N
U104
tt
M
N
plus
x
N
M
N
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
V1
V2
U32
isNatKind
V1
V1
V2
U32
tt
V1
V2
U33
isNatKind
V2
V1
V2
U33
tt
V1
V2
U34
isNatKind
V2
V1
V2
U34
tt
V1
V2
U35
isNat
V1
V2
U35
tt
V2
U36
isNat
V2
U36
tt
tt
U41
tt
V2
U42
isNatKind
V2
U42
tt
tt
U51
tt
tt
U61
tt
V2
U62
isNatKind
V2
U62
tt
tt
U71
tt
N
U72
isNatKind
N
N
U72
tt
N
N
U81
tt
M
N
U82
isNatKind
M
M
N
U82
tt
M
N
U83
isNat
N
M
N
U83
tt
M
N
U84
isNatKind
N
M
N
U84
tt
M
N
s
plus
N
M
U91
tt
N
U92
isNatKind
N
U92
tt
0
isNat
0
tt
isNat
plus
V1
V2
U11
isNatKind
V1
V1
V2
isNat
s
V1
U21
isNatKind
V1
V1
isNat
x
V1
V2
U31
isNatKind
V1
V1
V2
isNatKind
0
tt
isNatKind
plus
V1
V2
U41
isNatKind
V1
V2
isNatKind
s
V1
U51
isNatKind
V1
isNatKind
x
V1
V2
U61
isNatKind
V1
V2
plus
N
0
U71
isNat
N
N
plus
N
s
M
U81
isNat
M
M
N
x
N
0
U91
isNat
N
N
x
N
s
M
U101
isNat
M
M
N
U101
3
1
tt
0
U102
3
1
isNatKind
1
U103
3
1
isNat
1
U104
3
1
plus
2
1
2
x
2
1
2
U11
3
1
U12
3
1
U13
3
1
U14
3
1
U15
2
1
U16
1
1
U21
2
1
U22
2
1
U23
1
1
U31
3
1
U32
3
1
U33
3
1
U34
3
1
U35
2
1
U36
1
1
U41
2
1
U42
1
1
U51
1
1
U61
2
1
U62
1
1
U71
2
1
U72
2
1
U81
3
1
U82
3
1
U83
3
1
U84
3
1
s
1
1
U91
2
1
U92
1
1
0
0
FULL
./TRS/CSR_Maude/my-nat/MYNAT_complete-noand.trs