U104
tt
plus
x
N
M
N
U72
tt
N
U84
tt
s
plus
N
M
U101
tt
U102
isNatKind
U102
tt
U103
isNat
U103
tt
U104
isNatKind
U11
tt
U12
isNatKind
U12
tt
U13
isNatKind
U13
tt
U14
isNatKind
U14
tt
U15
isNat
U15
tt
U16
isNat
U16
tt
tt
U21
tt
U22
isNatKind
U22
tt
U23
isNat
U23
tt
tt
U31
tt
U32
isNatKind
U32
tt
U33
isNatKind
U33
tt
U34
isNatKind
U34
tt
U35
isNat
U35
tt
U36
isNat
U36
tt
tt
U41
tt
U42
isNatKind
U42
tt
tt
U51
tt
tt
U61
tt
U62
isNatKind
U62
tt
tt
U71
tt
U72
isNatKind
U81
tt
U82
isNatKind
U82
tt
U83
isNat
U83
tt
U84
isNatKind
U91
tt
U92
isNatKind
U92
tt
0
isNat
tt
isNat
U11
isNatKind
isNat
U21
isNatKind
isNat
U31
isNatKind
isNatKind
tt
isNatKind
U41
isNatKind
isNatKind
U51
isNatKind
isNatKind
U61
isNatKind
plus
N
0
U71
isNat
plus
N
s
M
U81
isNat
x
N
0
U91
isNat
x
N
s
M
U101
isNat
U104
1
tt
0
plus
2
x
2
U72
1
U84
1
s
1
U101
1
U102
1
isNatKind
0
U103
1
isNat
0
U11
1
U12
1
U13
1
U14
1
U15
1
U16
1
U21
1
U22
1
U23
1
U31
1
U32
1
U33
1
U34
1
U35
1
U36
1
U41
1
U42
1
U51
1
U61
1
U62
1
U71
1
U81
1
U82
1
U83
1
U91
1
U92
1
0
0
FULL
./TRS/TRCSR/MYNAT_complete-noand_L.trs