U31
tt
N
U42
tt
s
plus
N
M
U11
tt
U12
isNat
U12
tt
tt
U21
tt
tt
U41
tt
U42
isNat
isNat
tt
isNat
U11
isNat
isNat
U21
isNat
plus
N
0
U31
isNat
plus
N
s
M
U41
isNat
U31
1
tt
0
U42
1
s
1
plus
2
U11
1
U12
1
isNat
0
U21
1
U41
1
0
0
FULL
./TRS/TRCSR/PEANO_nokinds-noand_L.trs