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