active
U11
tt
V2
mark
U12
isNat
V2
active
U12
tt
mark
tt
active
U21
tt
mark
tt
active
U31
tt
V2
mark
U32
isNat
V2
active
U32
tt
mark
tt
active
U41
tt
N
mark
N
active
U51
tt
M
N
mark
U52
isNat
N
M
N
active
U52
tt
M
N
mark
s
plus
N
M
active
U61
tt
mark
0
active
U71
tt
M
N
mark
U72
isNat
N
M
N
active
U72
tt
M
N
mark
plus
x
N
M
N
active
isNat
0
mark
tt
active
isNat
plus
V1
V2
mark
U11
isNat
V1
V2
active
isNat
s
V1
mark
U21
isNat
V1
active
isNat
x
V1
V2
mark
U31
isNat
V1
V2
active
plus
N
0
mark
U41
isNat
N
N
active
plus
N
s
M
mark
U51
isNat
M
M
N
active
x
N
0
mark
U61
isNat
N
active
x
N
s
M
mark
U71
isNat
M
M
N
mark
U11
X1
X2
active
U11
mark
X1
X2
mark
tt
active
tt
mark
U12
X
active
U12
mark
X
mark
isNat
X
active
isNat
X
mark
U21
X
active
U21
mark
X
mark
U31
X1
X2
active
U31
mark
X1
X2
mark
U32
X
active
U32
mark
X
mark
U41
X1
X2
active
U41
mark
X1
X2
mark
U51
X1
X2
X3
active
U51
mark
X1
X2
X3
mark
U52
X1
X2
X3
active
U52
mark
X1
X2
X3
mark
s
X
active
s
mark
X
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
U61
X
active
U61
mark
X
mark
0
active
0
mark
U71
X1
X2
X3
active
U71
mark
X1
X2
X3
mark
U72
X1
X2
X3
active
U72
mark
X1
X2
X3
mark
x
X1
X2
active
x
mark
X1
mark
X2
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
U12
mark
X
U12
X
U12
active
X
U12
X
isNat
mark
X
isNat
X
isNat
active
X
isNat
X
U21
mark
X
U21
X
U21
active
X
U21
X
U31
mark
X1
X2
U31
X1
X2
U31
X1
mark
X2
U31
X1
X2
U31
active
X1
X2
U31
X1
X2
U31
X1
active
X2
U31
X1
X2
U32
mark
X
U32
X
U32
active
X
U32
X
U41
mark
X1
X2
U41
X1
X2
U41
X1
mark
X2
U41
X1
X2
U41
active
X1
X2
U41
X1
X2
U41
X1
active
X2
U41
X1
X2
U51
mark
X1
X2
X3
U51
X1
X2
X3
U51
X1
mark
X2
X3
U51
X1
X2
X3
U51
X1
X2
mark
X3
U51
X1
X2
X3
U51
active
X1
X2
X3
U51
X1
X2
X3
U51
X1
active
X2
X3
U51
X1
X2
X3
U51
X1
X2
active
X3
U51
X1
X2
X3
U52
mark
X1
X2
X3
U52
X1
X2
X3
U52
X1
mark
X2
X3
U52
X1
X2
X3
U52
X1
X2
mark
X3
U52
X1
X2
X3
U52
active
X1
X2
X3
U52
X1
X2
X3
U52
X1
active
X2
X3
U52
X1
X2
X3
U52
X1
X2
active
X3
U52
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
U61
mark
X
U61
X
U61
active
X
U61
X
U71
mark
X1
X2
X3
U71
X1
X2
X3
U71
X1
mark
X2
X3
U71
X1
X2
X3
U71
X1
X2
mark
X3
U71
X1
X2
X3
U71
active
X1
X2
X3
U71
X1
X2
X3
U71
X1
active
X2
X3
U71
X1
X2
X3
U71
X1
X2
active
X3
U71
X1
X2
X3
U72
mark
X1
X2
X3
U72
X1
X2
X3
U72
X1
mark
X2
X3
U72
X1
X2
X3
U72
X1
X2
mark
X3
U72
X1
X2
X3
U72
active
X1
X2
X3
U72
X1
X2
X3
U72
X1
active
X2
X3
U72
X1
X2
X3
U72
X1
X2
active
X3
U72
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
active
1
U11
2
tt
0
mark
1
U12
1
isNat
1
U21
1
U31
2
U32
1
U41
2
U51
3
U52
3
s
1
plus
2
U61
1
0
0
U71
3
U72
3
x
2
FULL
./TRS/TRCSR/MYNAT_nokinds_noand_iGM.trs