U11
tt
V2
U12
isNat
activate
V2
U12
tt
tt
U21
tt
tt
U31
tt
N
activate
N
U41
tt
M
N
U42
isNat
activate
N
activate
M
activate
N
U42
tt
M
N
s
plus
activate
N
activate
M
isNat
n__0
tt
isNat
n__plus
V1
V2
U11
isNat
activate
V1
activate
V2
isNat
n__s
V1
U21
isNat
activate
V1
plus
N
0
U31
isNat
N
N
plus
N
s
M
U41
isNat
M
M
N
0
n__0
plus
X1
X2
n__plus
X1
X2
s
X
n__s
X
activate
n__0
0
activate
n__plus
X1
X2
plus
activate
X1
activate
X2
activate
n__s
X
s
activate
X
activate
X
X
U11
2
tt
0
U12
1
isNat
1
activate
1
U21
1
U31
2
U41
3
U42
3
s
1
plus
2
n__0
0
n__plus
2
n__s
1
0
0
FULL
./TRS/TRCSR/PEANO_nokinds-noand_FR.trs