U31
tt
N
U41
tt
s
plus
N
M
and
tt
X
U11
tt
U12
isNat
U12
tt
U13
isNat
U13
tt
tt
U21
tt
U22
isNat
U22
tt
tt
isNat
tt
isNat
U11
and
isNatKind
isNat
U21
isNatKind
isNatKind
tt
isNatKind
and
isNatKind
isNatKind
isNatKind
plus
N
0
U31
and
isNat
plus
N
s
M
U41
and
and
isNat
U31
1
tt
0
U41
1
s
1
plus
2
and
1
U11
1
U12
1
isNat
0
U13
1
U21
1
U22
1
isNatKind
0
0
0
INNERMOST
./TRS/TRCSR/PEANO_complete_L.trs