U41
tt
N
U51
tt
s
plus
N
M
U71
tt
plus
x
N
M
N
and
tt
X
U11
tt
U12
isNat
U12
tt
U13
isNat
U13
tt
tt
U21
tt
U22
isNat
U22
tt
tt
U31
tt
U32
isNat
U32
tt
U33
isNat
U33
tt
tt
U61
tt
0
isNat
tt
isNat
U11
and
isNatKind
isNat
U21
isNatKind
isNat
U31
and
isNatKind
isNatKind
tt
isNatKind
and
isNatKind
isNatKind
isNatKind
plus
N
0
U41
and
isNat
plus
N
s
M
U51
and
and
isNat
x
N
0
U61
and
isNat
x
N
s
M
U71
and
and
isNat
U41
1
tt
0
U51
1
s
1
plus
2
U71
1
x
2
and
1
U11
1
U12
1
isNat
0
U13
1
U21
1
U22
1
U31
1
U32
1
U33
1
U61
1
0
0
isNatKind
0
OUTERMOST
./TRS/outermost/TRCSR/MYNAT_complete_L.trs