active
U11
tt
N
mark
N
active
U21
tt
M
N
mark
s
plus
N
M
active
U31
tt
mark
0
active
U41
tt
M
N
mark
plus
x
N
M
N
active
and
tt
X
mark
X
active
isNat
0
mark
tt
active
isNat
plus
V1
V2
mark
and
isNat
V1
isNat
V2
active
isNat
s
V1
mark
isNat
V1
active
isNat
x
V1
V2
mark
and
isNat
V1
isNat
V2
active
plus
N
0
mark
U11
isNat
N
N
active
plus
N
s
M
mark
U21
and
isNat
M
isNat
N
M
N
active
x
N
0
mark
U31
isNat
N
active
x
N
s
M
mark
U41
and
isNat
M
isNat
N
M
N
mark
U11
X1
X2
active
U11
mark
X1
X2
mark
tt
active
tt
mark
U21
X1
X2
X3
active
U21
mark
X1
X2
X3
mark
s
X
active
s
mark
X
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
U31
X
active
U31
mark
X
mark
0
active
0
mark
U41
X1
X2
X3
active
U41
mark
X1
X2
X3
mark
x
X1
X2
active
x
mark
X1
mark
X2
mark
and
X1
X2
active
and
mark
X1
X2
mark
isNat
X
active
isNat
X
U11
mark
X1
X2
U11
X1
X2
U11
X1
mark
X2
U11
X1
X2
U11
active
X1
X2
U11
X1
X2
U11
X1
active
X2
U11
X1
X2
U21
mark
X1
X2
X3
U21
X1
X2
X3
U21
X1
mark
X2
X3
U21
X1
X2
X3
U21
X1
X2
mark
X3
U21
X1
X2
X3
U21
active
X1
X2
X3
U21
X1
X2
X3
U21
X1
active
X2
X3
U21
X1
X2
X3
U21
X1
X2
active
X3
U21
X1
X2
X3
s
mark
X
s
X
s
active
X
s
X
plus
mark
X1
X2
plus
X1
X2
plus
X1
mark
X2
plus
X1
X2
plus
active
X1
X2
plus
X1
X2
plus
X1
active
X2
plus
X1
X2
U31
mark
X
U31
X
U31
active
X
U31
X
U41
mark
X1
X2
X3
U41
X1
X2
X3
U41
X1
mark
X2
X3
U41
X1
X2
X3
U41
X1
X2
mark
X3
U41
X1
X2
X3
U41
active
X1
X2
X3
U41
X1
X2
X3
U41
X1
active
X2
X3
U41
X1
X2
X3
U41
X1
X2
active
X3
U41
X1
X2
X3
x
mark
X1
X2
x
X1
X2
x
X1
mark
X2
x
X1
X2
x
active
X1
X2
x
X1
X2
x
X1
active
X2
x
X1
X2
and
mark
X1
X2
and
X1
X2
and
X1
mark
X2
and
X1
X2
and
active
X1
X2
and
X1
X2
and
X1
active
X2
and
X1
X2
isNat
mark
X
isNat
X
isNat
active
X
isNat
X
active
1
U11
2
tt
0
mark
1
U21
3
s
1
plus
2
U31
1
0
0
U41
3
x
2
and
2
isNat
1
FULL
./TRS/TRCSR/MYNAT_nokinds_iGM.trs