active
U11
tt
V1
V2
mark
U12
isNat
V1
V2
active
U12
tt
V2
mark
U13
isNat
V2
active
U13
tt
mark
tt
active
U21
tt
V1
mark
U22
isNat
V1
active
U22
tt
mark
tt
active
U31
tt
N
mark
N
active
U41
tt
M
N
mark
s
plus
N
M
active
and
tt
X
mark
X
active
isNat
0
mark
tt
active
isNat
plus
V1
V2
mark
U11
and
isNatKind
V1
isNatKind
V2
V1
V2
active
isNat
s
V1
mark
U21
isNatKind
V1
V1
active
isNatKind
0
mark
tt
active
isNatKind
plus
V1
V2
mark
and
isNatKind
V1
isNatKind
V2
active
isNatKind
s
V1
mark
isNatKind
V1
active
plus
N
0
mark
U31
and
isNat
N
isNatKind
N
N
active
plus
N
s
M
mark
U41
and
and
isNat
M
isNatKind
M
and
isNat
N
isNatKind
N
M
N
mark
U11
X1
X2
X3
active
U11
mark
X1
X2
X3
mark
tt
active
tt
mark
U12
X1
X2
active
U12
mark
X1
X2
mark
isNat
X
active
isNat
X
mark
U13
X
active
U13
mark
X
mark
U21
X1
X2
active
U21
mark
X1
X2
mark
U22
X
active
U22
mark
X
mark
U31
X1
X2
active
U31
mark
X1
X2
mark
U41
X1
X2
X3
active
U41
mark
X1
X2
X3
mark
s
X
active
s
mark
X
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
and
X1
X2
active
and
mark
X1
X2
mark
0
active
0
mark
isNatKind
X
active
isNatKind
X
U11
mark
X1
X2
X3
U11
X1
X2
X3
U11
X1
mark
X2
X3
U11
X1
X2
X3
U11
X1
X2
mark
X3
U11
X1
X2
X3
U11
active
X1
X2
X3
U11
X1
X2
X3
U11
X1
active
X2
X3
U11
X1
X2
X3
U11
X1
X2
active
X3
U11
X1
X2
X3
U12
mark
X1
X2
U12
X1
X2
U12
X1
mark
X2
U12
X1
X2
U12
active
X1
X2
U12
X1
X2
U12
X1
active
X2
U12
X1
X2
isNat
mark
X
isNat
X
isNat
active
X
isNat
X
U13
mark
X
U13
X
U13
active
X
U13
X
U21
mark
X1
X2
U21
X1
X2
U21
X1
mark
X2
U21
X1
X2
U21
active
X1
X2
U21
X1
X2
U21
X1
active
X2
U21
X1
X2
U22
mark
X
U22
X
U22
active
X
U22
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
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
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
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
isNatKind
mark
X
isNatKind
X
isNatKind
active
X
isNatKind
X
2.2
active
U12
tt
V2
U13
isNat
V2
U11
X1
mark
X2
X3
U11
X1
X2
X3
active
isNatKind
0
mark
tt
active
isNat
0
mark
tt
mark
U31
X1
X2
U31
mark
X1
X2
mark
U11
X1
X2
X3
active
U11
mark
X1
X2
X3
U11
X1
X2
mark
X3
U11
X1
X2
X3
active
isNatKind
s
V1
mark
isNatKind
V1
and
active
X1
X2
and
X1
X2
active
plus
N
0
U31
and
isNat
N
isNatKind
N
N
U11
X1
X2
active
X3
U11
X1
X2
X3
U21
mark
X1
X2
U21
X1
X2
and
X1
active
X2
and
X1
X2
active
plus
N
0
mark
U31
and
isNat
N
isNatKind
N
N
active
plus
N
s
M
mark
U41
and
and
isNat
M
isNatKind
M
and
isNat
N
isNatKind
N
M
N
mark
U13
X
U13
mark
X
mark
s
X
active
s
mark
X
mark
and
X1
X2
mark
X1
active
isNatKind
s
V1
isNatKind
V1
mark
U41
X1
X2
X3
U41
mark
X1
X2
X3
mark
and
X1
X2
active
and
mark
X1
X2
s
active
X
s
X
mark
tt
active
tt
mark
U21
X1
X2
U21
mark
X1
X2
U31
X1
active
X2
U31
X1
X2
mark
U21
X1
X2
active
U21
mark
X1
X2
active
U41
tt
M
N
plus
N
M
active
and
tt
X
mark
X
active
isNat
plus
V1
V2
U11
and
isNatKind
V1
isNatKind
V2
V1
V2
mark
U22
X
active
U22
mark
X
active
plus
N
0
and
isNat
N
isNatKind
N
U11
X1
active
X2
X3
U11
X1
X2
X3
U12
active
X1
X2
U12
X1
X2
active
U11
tt
V1
V2
U12
isNat
V1
V2
mark
isNat
X
active
isNat
X
isNatKind
active
X
isNatKind
X
mark
U22
X
mark
X
plus
mark
X1
X2
plus
X1
X2
active
plus
N
s
M
isNatKind
N
U22
mark
X
U22
X
U31
active
X1
X2
U31
X1
X2
isNat
active
X
isNat
X
U12
mark
X1
X2
U12
X1
X2
mark
U13
X
mark
X
active
U41
tt
M
N
s
plus
N
M
mark
U21
X1
X2
mark
X1
active
U11
tt
V1
V2
mark
U12
isNat
V1
V2
and
X1
mark
X2
and
X1
X2
U31
mark
X1
X2
U31
X1
X2
plus
active
X1
X2
plus
X1
X2
U12
X1
active
X2
U12
X1
X2
mark
plus
X1
X2
mark
X2
active
plus
N
0
isNatKind
N
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
U41
X1
mark
X2
X3
U41
X1
X2
X3
mark
U13
X
active
U13
mark
X
U13
active
X
U13
X
active
plus
N
s
M
and
and
isNat
M
isNatKind
M
and
isNat
N
isNatKind
N
U21
active
X1
X2
U21
X1
X2
active
isNat
s
V1
U21
isNatKind
V1
V1
mark
plus
X1
X2
plus
mark
X1
mark
X2
active
U41
tt
M
N
mark
s
plus
N
M
mark
U12
X1
X2
mark
X1
U41
X1
X2
active
X3
U41
X1
X2
X3
active
U11
tt
V1
V2
isNat
V1
isNatKind
mark
X
isNatKind
X
active
plus
N
s
M
isNat
N
active
isNat
plus
V1
V2
and
isNatKind
V1
isNatKind
V2
active
isNat
s
V1
mark
U21
isNatKind
V1
V1
mark
U41
X1
X2
X3
active
U41
mark
X1
X2
X3
mark
isNatKind
X
active
isNatKind
X
active
isNatKind
plus
V1
V2
mark
and
isNatKind
V1
isNatKind
V2
active
U13
tt
mark
tt
U41
X1
active
X2
X3
U41
X1
X2
X3
mark
U12
X1
X2
U12
mark
X1
X2
plus
X1
active
X2
plus
X1
X2
mark
U22
X
U22
mark
X
isNat
mark
X
isNat
X
mark
s
X
s
mark
X
active
U21
tt
V1
mark
U22
isNat
V1
mark
s
X
mark
X
active
isNat
plus
V1
V2
isNatKind
V2
U41
X1
X2
mark
X3
U41
X1
X2
X3
mark
and
X1
X2
and
mark
X1
X2
active
U21
tt
V1
U22
isNat
V1
mark
0
active
0
U11
mark
X1
X2
X3
U11
X1
X2
X3
plus
X1
mark
X2
plus
X1
X2
active
isNatKind
plus
V1
V2
isNatKind
V2
and
mark
X1
X2
and
X1
X2
mark
U31
X1
X2
active
U31
mark
X1
X2
mark
U11
X1
X2
X3
U11
mark
X1
X2
X3
mark
U12
X1
X2
active
U12
mark
X1
X2
active
isNatKind
plus
V1
V2
isNatKind
V1
active
isNat
plus
V1
V2
mark
U11
and
isNatKind
V1
isNatKind
V2
V1
V2
active
plus
N
0
isNat
N
s
mark
X
s
X
active
isNat
s
V1
isNatKind
V1
active
U31
tt
N
mark
N
active
isNat
plus
V1
V2
isNatKind
V1
active
plus
N
s
M
and
isNat
N
isNatKind
N
active
isNatKind
plus
V1
V2
and
isNatKind
V1
isNatKind
V2
active
plus
N
s
M
U41
and
and
isNat
M
isNatKind
M
and
isNat
N
isNatKind
N
M
N
mark
U11
X1
X2
X3
mark
X1
U22
active
X
U22
X
active
U22
tt
mark
tt
mark
U31
X1
X2
mark
X1
U41
mark
X1
X2
X3
U41
X1
X2
X3
U41
active
X1
X2
X3
U41
X1
X2
X3
active
U12
tt
V2
isNat
V2
U11
active
X1
X2
X3
U11
X1
X2
X3
active
U12
tt
V2
mark
U13
isNat
V2
mark
U41
X1
X2
X3
mark
X1
U21
X1
mark
X2
U21
X1
X2
active
U21
tt
V1
isNat
V1
U21
X1
active
X2
U21
X1
X2
active
plus
N
s
M
and
isNat
M
isNatKind
M
active
plus
N
s
M
isNat
M
U13
mark
X
U13
X
active
plus
N
s
M
isNatKind
M
mark
plus
X1
X2
mark
X1
U31
X1
mark
X2
U31
X1
X2
U12
X1
mark
X2
U12
X1
X2
true
mark
plus
X1
X2
mark
X1
active
isNatKind
plus
V1
V2
mark
and
isNatKind
V1
isNatKind
V2
mark
U41
X1
X2
X3
active
U41
mark
X1
X2
X3
mark
isNatKind
X
active
isNatKind
X
active
isNat
s
V1
mark
U21
isNatKind
V1
V1
mark
U12
X1
X2
mark
X1
active
U41
tt
M
N
mark
s
plus
N
M
mark
U13
X
active
U13
mark
X
mark
U41
X1
X2
X3
mark
X1
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
plus
X1
X2
mark
X2
active
U12
tt
V2
mark
U13
isNat
V2
active
U11
tt
V1
V2
mark
U12
isNat
V1
V2
mark
U21
X1
X2
mark
X1
mark
U31
X1
X2
mark
X1
mark
U11
X1
X2
X3
mark
X1
mark
U13
X
mark
X
active
U31
tt
N
mark
N
mark
U22
X
mark
X
mark
isNat
X
active
isNat
X
active
isNat
plus
V1
V2
mark
U11
and
isNatKind
V1
isNatKind
V2
V1
V2
mark
U22
X
active
U22
mark
X
mark
U12
X1
X2
active
U12
mark
X1
X2
active
and
tt
X
mark
X
mark
U21
X1
X2
active
U21
mark
X1
X2
mark
U31
X1
X2
active
U31
mark
X1
X2
mark
and
X1
X2
active
and
mark
X1
X2
mark
and
X1
X2
mark
X1
mark
s
X
active
s
mark
X
active
plus
N
0
mark
U31
and
isNat
N
isNatKind
N
N
active
plus
N
s
M
mark
U41
and
and
isNat
M
isNatKind
M
and
isNat
N
isNatKind
N
M
N
active
U21
tt
V1
mark
U22
isNat
V1
mark
s
X
mark
X
active
isNatKind
s
V1
mark
isNatKind
V1
mark
U11
X1
X2
X3
active
U11
mark
X1
X2
X3
true
isNatKind
1
2
U21
2
2
U11
3
2
s
1
1
isNat
1
0
and
2
2
plus
2
0
U13
1
0
U12
2
2
U12
2
0
mark
1
2
0
0
4
s
1
0
mark
1
3
isNat
1
2
plus
2
2
U11
3
0
active
1
1
0
U31
2
2
U41
3
0
active
1
1
0
U21
2
0
U22
1
0
tt
0
7
U13
1
1
U22
1
1
isNatKind
1
0
U41
3
2
U31
2
0
and
2
0
mark
U11
X1
X2
X3
active
U11
mark
X1
X2
X3
active
isNatKind
s
V1
mark
isNatKind
V1
mark
s
X
mark
X
active
U21
tt
V1
mark
U22
isNat
V1
active
plus
N
s
M
mark
U41
and
and
isNat
M
isNatKind
M
and
isNat
N
isNatKind
N
M
N
active
plus
N
0
mark
U31
and
isNat
N
isNatKind
N
N
mark
and
X1
X2
mark
X1
mark
and
X1
X2
active
and
mark
X1
X2
mark
U31
X1
X2
active
U31
mark
X1
X2
mark
U21
X1
X2
active
U21
mark
X1
X2
active
and
tt
X
mark
X
mark
U12
X1
X2
active
U12
mark
X1
X2
active
isNat
plus
V1
V2
mark
U11
and
isNatKind
V1
isNatKind
V2
V1
V2
mark
isNat
X
active
isNat
X
mark
U22
X
mark
X
active
U31
tt
N
mark
N
mark
U13
X
mark
X
mark
U11
X1
X2
X3
mark
X1
mark
U31
X1
X2
mark
X1
mark
U21
X1
X2
mark
X1
active
U11
tt
V1
V2
mark
U12
isNat
V1
V2
active
U12
tt
V2
mark
U13
isNat
V2
mark
plus
X1
X2
mark
X2
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
U41
X1
X2
X3
mark
X1
active
U41
tt
M
N
mark
s
plus
N
M
mark
U12
X1
X2
mark
X1
active
isNat
s
V1
mark
U21
isNatKind
V1
V1
mark
isNatKind
X
active
isNatKind
X
mark
U41
X1
X2
X3
active
U41
mark
X1
X2
X3
active
isNatKind
plus
V1
V2
mark
and
isNatKind
V1
isNatKind
V2
mark
plus
X1
X2
mark
X1
U22
active
X
U22
X
U31
X1
active
X2
U31
X1
X2
U11
X1
X2
active
X3
U11
X1
X2
X3
and
X1
mark
X2
and
X1
X2
plus
mark
X1
X2
plus
X1
X2
U11
X1
mark
X2
X3
U11
X1
X2
X3
U41
X1
X2
active
X3
U41
X1
X2
X3
U11
active
X1
X2
X3
U11
X1
X2
X3
plus
active
X1
X2
plus
X1
X2
U13
active
X
U13
X
isNatKind
active
X
isNatKind
X
U11
X1
X2
mark
X3
U11
X1
X2
X3
plus
X1
mark
X2
plus
X1
X2
U12
active
X1
X2
U12
X1
X2
U22
mark
X
U22
X
U31
X1
mark
X2
U31
X1
X2
s
active
X
s
X
U41
X1
mark
X2
X3
U41
X1
X2
X3
U11
mark
X1
X2
X3
U11
X1
X2
X3
and
active
X1
X2
and
X1
X2
U21
mark
X1
X2
U21
X1
X2
and
X1
active
X2
and
X1
X2
U41
X1
X2
mark
X3
U41
X1
X2
X3
U31
mark
X1
X2
U31
X1
X2
U12
X1
active
X2
U12
X1
X2
and
mark
X1
X2
and
X1
X2
U41
mark
X1
X2
X3
U41
X1
X2
X3
U41
X1
active
X2
X3
U41
X1
X2
X3
U12
X1
mark
X2
U12
X1
X2
s
mark
X
s
X
U41
active
X1
X2
X3
U41
X1
X2
X3
U21
X1
active
X2
U21
X1
X2
isNatKind
mark
X
isNatKind
X
U31
active
X1
X2
U31
X1
X2
U21
active
X1
X2
U21
X1
X2
U12
mark
X1
X2
U12
X1
X2
isNat
mark
X
isNat
X
isNat
active
X
isNat
X
U21
X1
mark
X2
U21
X1
X2
plus
X1
active
X2
plus
X1
X2
U11
X1
active
X2
X3
U11
X1
X2
X3
U13
mark
X
U13
X
active
U21
tt
V1
mark
U22
isNat
V1
active
plus
N
0
mark
U31
and
isNat
N
isNatKind
N
N
active
and
tt
X
mark
X
active
U11
tt
V1
V2
mark
U12
isNat
V1
V2
active
plus
N
s
M
mark
U41
and
and
isNat
M
isNatKind
M
and
isNat
N
isNatKind
N
M
N
mark
U13
X
mark
X
mark
s
X
mark
X
mark
U12
X1
X2
mark
X1
mark
U12
X1
X2
active
U12
mark
X1
X2
mark
U11
X1
X2
X3
mark
X1
mark
U11
X1
X2
X3
active
U11
mark
X1
X2
X3
mark
plus
X1
X2
mark
X2
mark
plus
X1
X2
mark
X1
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
U21
X1
X2
mark
X1
mark
U21
X1
X2
active
U21
mark
X1
X2
mark
and
X1
X2
mark
X1
mark
and
X1
X2
active
and
mark
X1
X2
active
isNat
plus
V1
V2
mark
U11
and
isNatKind
V1
isNatKind
V2
V1
V2
active
U41
tt
M
N
mark
s
plus
N
M
mark
isNat
X
active
isNat
X
mark
U41
X1
X2
X3
mark
X1
mark
U41
X1
X2
X3
active
U41
mark
X1
X2
X3
mark
isNatKind
X
active
isNatKind
X
active
isNatKind
s
V1
mark
isNatKind
V1
mark
U22
X
mark
X
mark
U31
X1
X2
mark
X1
mark
U31
X1
X2
active
U31
mark
X1
X2
active
isNat
s
V1
mark
U21
isNatKind
V1
V1
active
isNatKind
plus
V1
V2
mark
and
isNatKind
V1
isNatKind
V2
active
U31
tt
N
mark
N
active
U12
tt
V2
mark
U13
isNat
V2
true
isNatKind
1
0
U21
2
1
0
U11
3
1
0
s
1
1
1
isNat
1
0
and
2
1
2
0
plus
2
0
U13
1
0
U12
2
1
0
U12
2
0
mark
1
1
0
0
0
1
s
1
0
mark
1
1
0
isNat
1
0
plus
2
1
2
1
U11
3
0
active
1
1
0
U31
2
1
2
1
U41
3
0
active
1
1
0
U21
2
0
U22
1
0
tt
0
0
U13
1
1
0
U22
1
1
0
isNatKind
1
0
U41
3
1
2
3
2
U31
2
0
and
2
0
active
U12
tt
V2
mark
U13
isNat
V2
active
isNatKind
plus
V1
V2
mark
and
isNatKind
V1
isNatKind
V2
active
isNat
s
V1
mark
U21
isNatKind
V1
V1
mark
U31
X1
X2
active
U31
mark
X1
X2
mark
U22
X
mark
X
active
isNatKind
s
V1
mark
isNatKind
V1
mark
isNatKind
X
active
isNatKind
X
mark
U41
X1
X2
X3
active
U41
mark
X1
X2
X3
mark
isNat
X
active
isNat
X
active
U41
tt
M
N
mark
s
plus
N
M
active
isNat
plus
V1
V2
mark
U11
and
isNatKind
V1
isNatKind
V2
V1
V2
mark
and
X1
X2
active
and
mark
X1
X2
mark
and
X1
X2
mark
X1
mark
U21
X1
X2
active
U21
mark
X1
X2
mark
U21
X1
X2
mark
X1
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
U11
X1
X2
X3
active
U11
mark
X1
X2
X3
mark
U11
X1
X2
X3
mark
X1
mark
U12
X1
X2
active
U12
mark
X1
X2
mark
U12
X1
X2
mark
X1
mark
U13
X
mark
X
active
plus
N
s
M
mark
U41
and
and
isNat
M
isNatKind
M
and
isNat
N
isNatKind
N
M
N
active
U11
tt
V1
V2
mark
U12
isNat
V1
V2
active
and
tt
X
mark
X
active
U21
tt
V1
mark
U22
isNat
V1
mark
tt
active
tt
U22
active
X
U22
X
active
U21
tt
V1
mark
U22
isNat
V1
active
plus
N
0
mark
U31
and
isNat
N
isNatKind
N
N
active
and
tt
X
mark
X
U31
X1
active
X2
U31
X1
X2
active
U11
tt
V1
V2
mark
U12
isNat
V1
V2
active
U13
tt
mark
tt
active
plus
N
s
M
mark
U41
and
and
isNat
M
isNatKind
M
and
isNat
N
isNatKind
N
M
N
mark
U13
X
active
U13
mark
X
U11
X1
X2
active
X3
U11
X1
X2
X3
and
X1
mark
X2
and
X1
X2
mark
s
X
active
s
mark
X
plus
mark
X1
X2
plus
X1
X2
mark
U12
X1
X2
active
U12
mark
X1
X2
U11
X1
mark
X2
X3
U11
X1
X2
X3
mark
U11
X1
X2
X3
active
U11
mark
X1
X2
X3
U41
X1
X2
active
X3
U41
X1
X2
X3
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
U11
active
X1
X2
X3
U11
X1
X2
X3
mark
U21
X1
X2
active
U21
mark
X1
X2
mark
and
X1
X2
active
and
mark
X1
X2
plus
active
X1
X2
plus
X1
X2
U13
active
X
U13
X
active
U22
tt
mark
tt
isNatKind
active
X
isNatKind
X
U11
X1
X2
mark
X3
U11
X1
X2
X3
plus
X1
mark
X2
plus
X1
X2
active
isNat
plus
V1
V2
mark
U11
and
isNatKind
V1
isNatKind
V2
V1
V2
U12
active
X1
X2
U12
X1
X2
active
U41
tt
M
N
mark
s
plus
N
M
mark
isNat
X
active
isNat
X
mark
U41
X1
X2
X3
active
U41
mark
X1
X2
X3
U22
mark
X
U22
X
U31
X1
mark
X2
U31
X1
X2
mark
isNatKind
X
active
isNatKind
X
s
active
X
s
X
active
isNatKind
s
V1
mark
isNatKind
V1
U41
X1
mark
X2
X3
U41
X1
X2
X3
U11
mark
X1
X2
X3
U11
X1
X2
X3
active
isNatKind
0
mark
tt
and
active
X1
X2
and
X1
X2
U21
mark
X1
X2
U21
X1
X2
mark
U22
X
active
U22
mark
X
and
X1
active
X2
and
X1
X2
mark
U31
X1
X2
active
U31
mark
X1
X2
U41
X1
X2
mark
X3
U41
X1
X2
X3
active
isNat
s
V1
mark
U21
isNatKind
V1
V1
active
isNat
0
mark
tt
active
isNatKind
plus
V1
V2
mark
and
isNatKind
V1
isNatKind
V2
U31
mark
X1
X2
U31
X1
X2
U12
X1
active
X2
U12
X1
X2
and
mark
X1
X2
and
X1
X2
U41
mark
X1
X2
X3
U41
X1
X2
X3
U41
X1
active
X2
X3
U41
X1
X2
X3
active
U31
tt
N
mark
N
U12
X1
mark
X2
U12
X1
X2
s
mark
X
s
X
U41
active
X1
X2
X3
U41
X1
X2
X3
U21
X1
active
X2
U21
X1
X2
isNatKind
mark
X
isNatKind
X
U31
active
X1
X2
U31
X1
X2
U21
active
X1
X2
U21
X1
X2
U12
mark
X1
X2
U12
X1
X2
isNat
mark
X
isNat
X
isNat
active
X
isNat
X
U21
X1
mark
X2
U21
X1
X2
plus
X1
active
X2
plus
X1
X2
U11
X1
active
X2
X3
U11
X1
X2
X3
mark
0
active
0
U13
mark
X
U13
X
active
U12
tt
V2
mark
U13
isNat
V2
active
U21
tt
V1
mark
U22
isNat
V1
active
and
tt
X
mark
X
active
U11
tt
V1
V2
mark
U12
isNat
V1
V2
active
plus
N
s
M
mark
U41
and
and
isNat
M
isNatKind
M
and
isNat
N
isNatKind
N
M
N
mark
U13
X
mark
X
mark
U12
X1
X2
mark
X1
mark
U12
X1
X2
active
U12
mark
X1
X2
mark
U11
X1
X2
X3
mark
X1
mark
U11
X1
X2
X3
active
U11
mark
X1
X2
X3
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
U21
X1
X2
mark
X1
mark
U21
X1
X2
active
U21
mark
X1
X2
mark
and
X1
X2
mark
X1
mark
and
X1
X2
active
and
mark
X1
X2
active
isNat
plus
V1
V2
mark
U11
and
isNatKind
V1
isNatKind
V2
V1
V2
active
U41
tt
M
N
mark
s
plus
N
M
mark
isNat
X
active
isNat
X
mark
U41
X1
X2
X3
active
U41
mark
X1
X2
X3
mark
isNatKind
X
active
isNatKind
X
active
isNatKind
s
V1
mark
isNatKind
V1
mark
U22
X
mark
X
mark
U31
X1
X2
active
U31
mark
X1
X2
active
isNat
s
V1
mark
U21
isNatKind
V1
V1
active
isNatKind
plus
V1
V2
mark
and
isNatKind
V1
isNatKind
V2
active
U12
tt
V2
mark
U13
isNat
V2
true
isNatKind
1
0
U21
2
1
0
U11
3
1
0
s
1
4187
isNat
1
0
and
2
1
2
0
plus
2
0
U13
1
0
U12
2
1
0
U12
2
0
mark
1
1
0
0
0
52442
s
1
0
mark
1
1
0
isNat
1
0
plus
2
1
2
3044
U11
3
0
active
1
1
0
U31
2
1
2
1
U41
3
0
active
1
1
0
U21
2
0
U22
1
0
tt
0
0
U13
1
1
0
U22
1
1
0
isNatKind
1
0
U41
3
3
4187
U31
2
0
and
2
0
active
U12
tt
V2
mark
U13
isNat
V2
active
isNatKind
plus
V1
V2
mark
and
isNatKind
V1
isNatKind
V2
active
isNat
s
V1
mark
U21
isNatKind
V1
V1
mark
U31
X1
X2
active
U31
mark
X1
X2
mark
U22
X
mark
X
active
isNatKind
s
V1
mark
isNatKind
V1
mark
isNatKind
X
active
isNatKind
X
mark
U41
X1
X2
X3
active
U41
mark
X1
X2
X3
mark
isNat
X
active
isNat
X
active
U41
tt
M
N
mark
s
plus
N
M
active
isNat
plus
V1
V2
mark
U11
and
isNatKind
V1
isNatKind
V2
V1
V2
mark
and
X1
X2
active
and
mark
X1
X2
mark
and
X1
X2
mark
X1
mark
U21
X1
X2
active
U21
mark
X1
X2
mark
U21
X1
X2
mark
X1
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
U11
X1
X2
X3
active
U11
mark
X1
X2
X3
mark
U11
X1
X2
X3
mark
X1
mark
U12
X1
X2
active
U12
mark
X1
X2
mark
U12
X1
X2
mark
X1
mark
U13
X
mark
X
active
U11
tt
V1
V2
mark
U12
isNat
V1
V2
active
and
tt
X
mark
X
active
U21
tt
V1
mark
U22
isNat
V1
mark
tt
active
tt
U22
active
X
U22
X
active
U21
tt
V1
mark
U22
isNat
V1
active
plus
N
0
mark
U31
and
isNat
N
isNatKind
N
N
active
and
tt
X
mark
X
U31
X1
active
X2
U31
X1
X2
active
U11
tt
V1
V2
mark
U12
isNat
V1
V2
active
U13
tt
mark
tt
active
plus
N
s
M
mark
U41
and
and
isNat
M
isNatKind
M
and
isNat
N
isNatKind
N
M
N
mark
U13
X
active
U13
mark
X
U11
X1
X2
active
X3
U11
X1
X2
X3
and
X1
mark
X2
and
X1
X2
mark
s
X
active
s
mark
X
plus
mark
X1
X2
plus
X1
X2
mark
U12
X1
X2
active
U12
mark
X1
X2
U11
X1
mark
X2
X3
U11
X1
X2
X3
mark
U11
X1
X2
X3
active
U11
mark
X1
X2
X3
U41
X1
X2
active
X3
U41
X1
X2
X3
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
U11
active
X1
X2
X3
U11
X1
X2
X3
mark
U21
X1
X2
active
U21
mark
X1
X2
mark
and
X1
X2
active
and
mark
X1
X2
plus
active
X1
X2
plus
X1
X2
U13
active
X
U13
X
active
U22
tt
mark
tt
isNatKind
active
X
isNatKind
X
U11
X1
X2
mark
X3
U11
X1
X2
X3
plus
X1
mark
X2
plus
X1
X2
active
isNat
plus
V1
V2
mark
U11
and
isNatKind
V1
isNatKind
V2
V1
V2
U12
active
X1
X2
U12
X1
X2
active
U41
tt
M
N
mark
s
plus
N
M
mark
isNat
X
active
isNat
X
mark
U41
X1
X2
X3
active
U41
mark
X1
X2
X3
U22
mark
X
U22
X
U31
X1
mark
X2
U31
X1
X2
mark
isNatKind
X
active
isNatKind
X
s
active
X
s
X
active
isNatKind
s
V1
mark
isNatKind
V1
U41
X1
mark
X2
X3
U41
X1
X2
X3
U11
mark
X1
X2
X3
U11
X1
X2
X3
active
isNatKind
0
mark
tt
and
active
X1
X2
and
X1
X2
U21
mark
X1
X2
U21
X1
X2
mark
U22
X
active
U22
mark
X
and
X1
active
X2
and
X1
X2
mark
U31
X1
X2
active
U31
mark
X1
X2
U41
X1
X2
mark
X3
U41
X1
X2
X3
active
isNat
s
V1
mark
U21
isNatKind
V1
V1
active
isNat
0
mark
tt
active
isNatKind
plus
V1
V2
mark
and
isNatKind
V1
isNatKind
V2
U31
mark
X1
X2
U31
X1
X2
U12
X1
active
X2
U12
X1
X2
and
mark
X1
X2
and
X1
X2
U41
mark
X1
X2
X3
U41
X1
X2
X3
U41
X1
active
X2
X3
U41
X1
X2
X3
active
U31
tt
N
mark
N
U12
X1
mark
X2
U12
X1
X2
s
mark
X
s
X
U41
active
X1
X2
X3
U41
X1
X2
X3
U21
X1
active
X2
U21
X1
X2
isNatKind
mark
X
isNatKind
X
U31
active
X1
X2
U31
X1
X2
U21
active
X1
X2
U21
X1
X2
U12
mark
X1
X2
U12
X1
X2
isNat
mark
X
isNat
X
isNat
active
X
isNat
X
U21
X1
mark
X2
U21
X1
X2
plus
X1
active
X2
plus
X1
X2
U11
X1
active
X2
X3
U11
X1
X2
X3
mark
0
active
0
U13
mark
X
U13
X
active
U12
tt
V2
mark
U13
isNat
V2
active
U21
tt
V1
mark
U22
isNat
V1
active
and
tt
X
mark
X
active
U11
tt
V1
V2
mark
U12
isNat
V1
V2
mark
U13
X
mark
X
mark
U12
X1
X2
mark
X1
mark
U12
X1
X2
active
U12
mark
X1
X2
mark
U11
X1
X2
X3
mark
X1
mark
U11
X1
X2
X3
active
U11
mark
X1
X2
X3
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
U21
X1
X2
mark
X1
mark
U21
X1
X2
active
U21
mark
X1
X2
mark
and
X1
X2
mark
X1
mark
and
X1
X2
active
and
mark
X1
X2
active
isNat
plus
V1
V2
mark
U11
and
isNatKind
V1
isNatKind
V2
V1
V2
active
U41
tt
M
N
mark
s
plus
N
M
mark
isNat
X
active
isNat
X
mark
U41
X1
X2
X3
active
U41
mark
X1
X2
X3
mark
isNatKind
X
active
isNatKind
X
active
isNatKind
s
V1
mark
isNatKind
V1
mark
U22
X
mark
X
mark
U31
X1
X2
active
U31
mark
X1
X2
active
isNat
s
V1
mark
U21
isNatKind
V1
V1
active
isNatKind
plus
V1
V2
mark
and
isNatKind
V1
isNatKind
V2
active
U12
tt
V2
mark
U13
isNat
V2
true
isNatKind
1
0
U21
2
1
0
U11
3
1
0
s
1
1
isNat
1
0
and
2
1
2
0
plus
2
0
U13
1
0
U12
2
1
0
U12
2
0
mark
1
1
0
0
0
1
s
1
0
mark
1
1
0
isNat
1
0
plus
2
1
2
1
U11
3
0
active
1
1
0
U31
2
1
2
1
U41
3
0
active
1
1
0
U21
2
0
U22
1
0
tt
0
0
U13
1
1
0
U22
1
1
0
isNatKind
1
0
U41
3
3
2
U31
2
0
and
2
0
active
U12
tt
V2
mark
U13
isNat
V2
active
isNatKind
plus
V1
V2
mark
and
isNatKind
V1
isNatKind
V2
active
isNat
s
V1
mark
U21
isNatKind
V1
V1
mark
U31
X1
X2
active
U31
mark
X1
X2
mark
U22
X
mark
X
active
isNatKind
s
V1
mark
isNatKind
V1
mark
isNatKind
X
active
isNatKind
X
mark
U41
X1
X2
X3
active
U41
mark
X1
X2
X3
mark
isNat
X
active
isNat
X
active
isNat
plus
V1
V2
mark
U11
and
isNatKind
V1
isNatKind
V2
V1
V2
mark
and
X1
X2
active
and
mark
X1
X2
mark
and
X1
X2
mark
X1
mark
U21
X1
X2
active
U21
mark
X1
X2
mark
U21
X1
X2
mark
X1
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
U11
X1
X2
X3
active
U11
mark
X1
X2
X3
mark
U11
X1
X2
X3
mark
X1
mark
U12
X1
X2
active
U12
mark
X1
X2
mark
U12
X1
X2
mark
X1
mark
U13
X
mark
X
active
U11
tt
V1
V2
mark
U12
isNat
V1
V2
active
and
tt
X
mark
X
active
U21
tt
V1
mark
U22
isNat
V1
mark
tt
active
tt
U22
active
X
U22
X
active
U21
tt
V1
mark
U22
isNat
V1
active
plus
N
0
mark
U31
and
isNat
N
isNatKind
N
N
active
and
tt
X
mark
X
U31
X1
active
X2
U31
X1
X2
active
U11
tt
V1
V2
mark
U12
isNat
V1
V2
active
U13
tt
mark
tt
active
plus
N
s
M
mark
U41
and
and
isNat
M
isNatKind
M
and
isNat
N
isNatKind
N
M
N
mark
U13
X
active
U13
mark
X
U11
X1
X2
active
X3
U11
X1
X2
X3
and
X1
mark
X2
and
X1
X2
mark
s
X
active
s
mark
X
plus
mark
X1
X2
plus
X1
X2
mark
U12
X1
X2
active
U12
mark
X1
X2
U11
X1
mark
X2
X3
U11
X1
X2
X3
mark
U11
X1
X2
X3
active
U11
mark
X1
X2
X3
U41
X1
X2
active
X3
U41
X1
X2
X3
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
U11
active
X1
X2
X3
U11
X1
X2
X3
mark
U21
X1
X2
active
U21
mark
X1
X2
mark
and
X1
X2
active
and
mark
X1
X2
plus
active
X1
X2
plus
X1
X2
U13
active
X
U13
X
active
U22
tt
mark
tt
isNatKind
active
X
isNatKind
X
U11
X1
X2
mark
X3
U11
X1
X2
X3
plus
X1
mark
X2
plus
X1
X2
active
isNat
plus
V1
V2
mark
U11
and
isNatKind
V1
isNatKind
V2
V1
V2
U12
active
X1
X2
U12
X1
X2
active
U41
tt
M
N
mark
s
plus
N
M
mark
isNat
X
active
isNat
X
mark
U41
X1
X2
X3
active
U41
mark
X1
X2
X3
U22
mark
X
U22
X
U31
X1
mark
X2
U31
X1
X2
mark
isNatKind
X
active
isNatKind
X
s
active
X
s
X
active
isNatKind
s
V1
mark
isNatKind
V1
U41
X1
mark
X2
X3
U41
X1
X2
X3
U11
mark
X1
X2
X3
U11
X1
X2
X3
active
isNatKind
0
mark
tt
and
active
X1
X2
and
X1
X2
U21
mark
X1
X2
U21
X1
X2
mark
U22
X
active
U22
mark
X
and
X1
active
X2
and
X1
X2
mark
U31
X1
X2
active
U31
mark
X1
X2
U41
X1
X2
mark
X3
U41
X1
X2
X3
active
isNat
s
V1
mark
U21
isNatKind
V1
V1
active
isNat
0
mark
tt
active
isNatKind
plus
V1
V2
mark
and
isNatKind
V1
isNatKind
V2
U31
mark
X1
X2
U31
X1
X2
U12
X1
active
X2
U12
X1
X2
and
mark
X1
X2
and
X1
X2
U41
mark
X1
X2
X3
U41
X1
X2
X3
U41
X1
active
X2
X3
U41
X1
X2
X3
active
U31
tt
N
mark
N
U12
X1
mark
X2
U12
X1
X2
s
mark
X
s
X
U41
active
X1
X2
X3
U41
X1
X2
X3
U21
X1
active
X2
U21
X1
X2
isNatKind
mark
X
isNatKind
X
U31
active
X1
X2
U31
X1
X2
U21
active
X1
X2
U21
X1
X2
U12
mark
X1
X2
U12
X1
X2
isNat
mark
X
isNat
X
isNat
active
X
isNat
X
U21
X1
mark
X2
U21
X1
X2
plus
X1
active
X2
plus
X1
X2
U11
X1
active
X2
X3
U11
X1
X2
X3
mark
0
active
0
U13
mark
X
U13
X
active
U12
tt
V2
mark
U13
isNat
V2
active
U21
tt
V1
mark
U22
isNat
V1
active
and
tt
X
mark
X
active
U11
tt
V1
V2
mark
U12
isNat
V1
V2
mark
U13
X
mark
X
mark
U12
X1
X2
mark
X1
mark
U12
X1
X2
active
U12
mark
X1
X2
mark
U11
X1
X2
X3
mark
X1
mark
U11
X1
X2
X3
active
U11
mark
X1
X2
X3
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
U21
X1
X2
mark
X1
mark
U21
X1
X2
active
U21
mark
X1
X2
mark
and
X1
X2
mark
X1
mark
and
X1
X2
active
and
mark
X1
X2
active
isNat
plus
V1
V2
mark
U11
and
isNatKind
V1
isNatKind
V2
V1
V2
mark
isNat
X
active
isNat
X
mark
U41
X1
X2
X3
active
U41
mark
X1
X2
X3
mark
isNatKind
X
active
isNatKind
X
active
isNatKind
s
V1
mark
isNatKind
V1
mark
U22
X
mark
X
mark
U31
X1
X2
active
U31
mark
X1
X2
active
isNat
s
V1
mark
U21
isNatKind
V1
V1
active
isNatKind
plus
V1
V2
mark
and
isNatKind
V1
isNatKind
V2
active
U12
tt
V2
mark
U13
isNat
V2
true
isNatKind
1
21096
U21
2
21096
U11
3
21096
s
1
1
isNat
1
0
and
2
21096
plus
2
0
U13
1
0
U12
2
21096
U12
2
0
mark
1
21096
0
0
1
s
1
0
mark
1
1
isNat
1
21096
plus
2
21095
U11
3
0
active
1
1
U31
2
13825
U41
3
0
active
1
1
0
U21
2
0
U22
1
0
tt
0
1
U13
1
1
U22
1
1
isNatKind
1
0
U41
3
14022
U31
2
0
and
2
0
active
U12
tt
V2
mark
U13
isNat
V2
active
isNatKind
plus
V1
V2
mark
and
isNatKind
V1
isNatKind
V2
active
isNat
s
V1
mark
U21
isNatKind
V1
V1
mark
U22
X
mark
X
active
isNatKind
s
V1
mark
isNatKind
V1
mark
isNatKind
X
active
isNatKind
X
mark
isNat
X
active
isNat
X
active
isNat
plus
V1
V2
mark
U11
and
isNatKind
V1
isNatKind
V2
V1
V2
mark
and
X1
X2
active
and
mark
X1
X2
mark
and
X1
X2
mark
X1
mark
U21
X1
X2
active
U21
mark
X1
X2
mark
U21
X1
X2
mark
X1
mark
U11
X1
X2
X3
active
U11
mark
X1
X2
X3
mark
U11
X1
X2
X3
mark
X1
mark
U12
X1
X2
active
U12
mark
X1
X2
mark
U12
X1
X2
mark
X1
mark
U13
X
mark
X
active
U11
tt
V1
V2
mark
U12
isNat
V1
V2
active
and
tt
X
mark
X
active
U21
tt
V1
mark
U22
isNat
V1
mark
tt
active
tt
U22
active
X
U22
X
active
U21
tt
V1
mark
U22
isNat
V1
active
plus
N
0
mark
U31
and
isNat
N
isNatKind
N
N
active
and
tt
X
mark
X
U31
X1
active
X2
U31
X1
X2
active
U11
tt
V1
V2
mark
U12
isNat
V1
V2
active
U13
tt
mark
tt
active
plus
N
s
M
mark
U41
and
and
isNat
M
isNatKind
M
and
isNat
N
isNatKind
N
M
N
mark
U13
X
active
U13
mark
X
U11
X1
X2
active
X3
U11
X1
X2
X3
and
X1
mark
X2
and
X1
X2
mark
s
X
active
s
mark
X
plus
mark
X1
X2
plus
X1
X2
mark
U12
X1
X2
active
U12
mark
X1
X2
U11
X1
mark
X2
X3
U11
X1
X2
X3
mark
U11
X1
X2
X3
active
U11
mark
X1
X2
X3
U41
X1
X2
active
X3
U41
X1
X2
X3
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
U11
active
X1
X2
X3
U11
X1
X2
X3
mark
U21
X1
X2
active
U21
mark
X1
X2
mark
and
X1
X2
active
and
mark
X1
X2
plus
active
X1
X2
plus
X1
X2
U13
active
X
U13
X
active
U22
tt
mark
tt
isNatKind
active
X
isNatKind
X
U11
X1
X2
mark
X3
U11
X1
X2
X3
plus
X1
mark
X2
plus
X1
X2
active
isNat
plus
V1
V2
mark
U11
and
isNatKind
V1
isNatKind
V2
V1
V2
U12
active
X1
X2
U12
X1
X2
active
U41
tt
M
N
mark
s
plus
N
M
mark
isNat
X
active
isNat
X
mark
U41
X1
X2
X3
active
U41
mark
X1
X2
X3
U22
mark
X
U22
X
U31
X1
mark
X2
U31
X1
X2
mark
isNatKind
X
active
isNatKind
X
s
active
X
s
X
active
isNatKind
s
V1
mark
isNatKind
V1
U41
X1
mark
X2
X3
U41
X1
X2
X3
U11
mark
X1
X2
X3
U11
X1
X2
X3
active
isNatKind
0
mark
tt
and
active
X1
X2
and
X1
X2
U21
mark
X1
X2
U21
X1
X2
mark
U22
X
active
U22
mark
X
and
X1
active
X2
and
X1
X2
mark
U31
X1
X2
active
U31
mark
X1
X2
U41
X1
X2
mark
X3
U41
X1
X2
X3
active
isNat
s
V1
mark
U21
isNatKind
V1
V1
active
isNat
0
mark
tt
active
isNatKind
plus
V1
V2
mark
and
isNatKind
V1
isNatKind
V2
U31
mark
X1
X2
U31
X1
X2
U12
X1
active
X2
U12
X1
X2
and
mark
X1
X2
and
X1
X2
U41
mark
X1
X2
X3
U41
X1
X2
X3
U41
X1
active
X2
X3
U41
X1
X2
X3
active
U31
tt
N
mark
N
U12
X1
mark
X2
U12
X1
X2
s
mark
X
s
X
U41
active
X1
X2
X3
U41
X1
X2
X3
U21
X1
active
X2
U21
X1
X2
isNatKind
mark
X
isNatKind
X
U31
active
X1
X2
U31
X1
X2
U21
active
X1
X2
U21
X1
X2
U12
mark
X1
X2
U12
X1
X2
isNat
mark
X
isNat
X
isNat
active
X
isNat
X
U21
X1
mark
X2
U21
X1
X2
plus
X1
active
X2
plus
X1
X2
U11
X1
active
X2
X3
U11
X1
X2
X3
mark
0
active
0
U13
mark
X
U13
X
active
U12
tt
V2
mark
U13
isNat
V2
active
U21
tt
V1
mark
U22
isNat
V1
active
and
tt
X
mark
X
active
U11
tt
V1
V2
mark
U12
isNat
V1
V2
mark
U13
X
mark
X
mark
U12
X1
X2
mark
X1
mark
U12
X1
X2
active
U12
mark
X1
X2
mark
U11
X1
X2
X3
mark
X1
mark
U11
X1
X2
X3
active
U11
mark
X1
X2
X3
mark
U21
X1
X2
mark
X1
mark
U21
X1
X2
active
U21
mark
X1
X2
mark
and
X1
X2
mark
X1
mark
and
X1
X2
active
and
mark
X1
X2
active
isNat
plus
V1
V2
mark
U11
and
isNatKind
V1
isNatKind
V2
V1
V2
mark
isNat
X
active
isNat
X
mark
isNatKind
X
active
isNatKind
X
active
isNatKind
s
V1
mark
isNatKind
V1
mark
U22
X
mark
X
active
isNat
s
V1
mark
U21
isNatKind
V1
V1
active
isNatKind
plus
V1
V2
mark
and
isNatKind
V1
isNatKind
V2
active
U12
tt
V2
mark
U13
isNat
V2
true
isNatKind
1
0
U21
2
1
2
94958
U11
3
1
2
3
101744
s
1
1
54225
isNat
1
0
and
2
1
2
0
plus
2
0
U13
1
0
U12
2
1
2
61009
U12
2
0
mark
1
1
0
0
0
1
s
1
0
mark
1
1
0
isNat
1
1
40734
plus
2
1
2
61011
U11
3
0
active
1
1
0
U31
2
2
32157
U41
3
0
active
1
1
0
U21
2
0
U22
1
0
tt
0
0
U13
1
1
11453
U22
1
1
30249
isNatKind
1
0
U41
3
2
3
115236
U31
2
0
and
2
0
active
isNatKind
plus
V1
V2
mark
and
isNatKind
V1
isNatKind
V2
active
isNatKind
s
V1
mark
isNatKind
V1
mark
isNatKind
X
active
isNatKind
X
mark
isNat
X
active
isNat
X
mark
and
X1
X2
active
and
mark
X1
X2
mark
and
X1
X2
mark
X1
mark
U21
X1
X2
active
U21
mark
X1
X2
mark
U11
X1
X2
X3
active
U11
mark
X1
X2
X3
mark
U12
X1
X2
active
U12
mark
X1
X2
active
and
tt
X
mark
X
mark
tt
active
tt
U22
active
X
U22
X
active
U21
tt
V1
mark
U22
isNat
V1
active
plus
N
0
mark
U31
and
isNat
N
isNatKind
N
N
active
and
tt
X
mark
X
U31
X1
active
X2
U31
X1
X2
active
U11
tt
V1
V2
mark
U12
isNat
V1
V2
active
U13
tt
mark
tt
active
plus
N
s
M
mark
U41
and
and
isNat
M
isNatKind
M
and
isNat
N
isNatKind
N
M
N
mark
U13
X
active
U13
mark
X
U11
X1
X2
active
X3
U11
X1
X2
X3
and
X1
mark
X2
and
X1
X2
mark
s
X
active
s
mark
X
plus
mark
X1
X2
plus
X1
X2
mark
U12
X1
X2
active
U12
mark
X1
X2
U11
X1
mark
X2
X3
U11
X1
X2
X3
mark
U11
X1
X2
X3
active
U11
mark
X1
X2
X3
U41
X1
X2
active
X3
U41
X1
X2
X3
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
U11
active
X1
X2
X3
U11
X1
X2
X3
mark
U21
X1
X2
active
U21
mark
X1
X2
mark
and
X1
X2
active
and
mark
X1
X2
plus
active
X1
X2
plus
X1
X2
U13
active
X
U13
X
active
U22
tt
mark
tt
isNatKind
active
X
isNatKind
X
U11
X1
X2
mark
X3
U11
X1
X2
X3
plus
X1
mark
X2
plus
X1
X2
active
isNat
plus
V1
V2
mark
U11
and
isNatKind
V1
isNatKind
V2
V1
V2
U12
active
X1
X2
U12
X1
X2
active
U41
tt
M
N
mark
s
plus
N
M
mark
isNat
X
active
isNat
X
mark
U41
X1
X2
X3
active
U41
mark
X1
X2
X3
U22
mark
X
U22
X
U31
X1
mark
X2
U31
X1
X2
mark
isNatKind
X
active
isNatKind
X
s
active
X
s
X
active
isNatKind
s
V1
mark
isNatKind
V1
U41
X1
mark
X2
X3
U41
X1
X2
X3
U11
mark
X1
X2
X3
U11
X1
X2
X3
active
isNatKind
0
mark
tt
and
active
X1
X2
and
X1
X2
U21
mark
X1
X2
U21
X1
X2
mark
U22
X
active
U22
mark
X
and
X1
active
X2
and
X1
X2
mark
U31
X1
X2
active
U31
mark
X1
X2
U41
X1
X2
mark
X3
U41
X1
X2
X3
active
isNat
s
V1
mark
U21
isNatKind
V1
V1
active
isNat
0
mark
tt
active
isNatKind
plus
V1
V2
mark
and
isNatKind
V1
isNatKind
V2
U31
mark
X1
X2
U31
X1
X2
U12
X1
active
X2
U12
X1
X2
and
mark
X1
X2
and
X1
X2
U41
mark
X1
X2
X3
U41
X1
X2
X3
U41
X1
active
X2
X3
U41
X1
X2
X3
active
U31
tt
N
mark
N
U12
X1
mark
X2
U12
X1
X2
s
mark
X
s
X
U41
active
X1
X2
X3
U41
X1
X2
X3
U21
X1
active
X2
U21
X1
X2
isNatKind
mark
X
isNatKind
X
U31
active
X1
X2
U31
X1
X2
U21
active
X1
X2
U21
X1
X2
U12
mark
X1
X2
U12
X1
X2
isNat
mark
X
isNat
X
isNat
active
X
isNat
X
U21
X1
mark
X2
U21
X1
X2
plus
X1
active
X2
plus
X1
X2
U11
X1
active
X2
X3
U11
X1
X2
X3
mark
0
active
0
U13
mark
X
U13
X
active
U12
tt
V2
mark
U13
isNat
V2
active
and
tt
X
mark
X
mark
U12
X1
X2
active
U12
mark
X1
X2
mark
U11
X1
X2
X3
active
U11
mark
X1
X2
X3
mark
U21
X1
X2
active
U21
mark
X1
X2
mark
and
X1
X2
mark
X1
mark
and
X1
X2
active
and
mark
X1
X2
mark
isNat
X
active
isNat
X
mark
isNatKind
X
active
isNatKind
X
active
isNatKind
s
V1
mark
isNatKind
V1
active
isNatKind
plus
V1
V2
mark
and
isNatKind
V1
isNatKind
V2
true
isNatKind
1
86817
U21
2
28891
U11
3
31545
s
1
39365
isNat
1
0
and
2
86817
plus
2
0
U13
1
0
U12
2
86816
U12
2
0
mark
1
86817
0
0
1
s
1
0
mark
1
1
1
isNat
1
28889
plus
2
39361
U11
3
0
active
1
1
2
U31
2
2
39363
U41
3
0
active
1
1
0
U21
2
0
U22
1
0
tt
0
86820
U13
1
86818
U22
1
28893
isNatKind
1
0
U41
3
2
3
39363
U31
2
0
and
2
0
active
isNatKind
plus
V1
V2
mark
and
isNatKind
V1
isNatKind
V2
active
isNatKind
s
V1
mark
isNatKind
V1
mark
isNatKind
X
active
isNatKind
X
mark
and
X1
X2
active
and
mark
X1
X2
mark
and
X1
X2
mark
X1
active
and
tt
X
mark
X
U22
active
X
U22
X
U31
X1
active
X2
U31
X1
X2
U11
X1
X2
active
X3
U11
X1
X2
X3
and
X1
mark
X2
and
X1
X2
plus
mark
X1
X2
plus
X1
X2
U11
X1
mark
X2
X3
U11
X1
X2
X3
U41
X1
X2
active
X3
U41
X1
X2
X3
U11
active
X1
X2
X3
U11
X1
X2
X3
plus
active
X1
X2
plus
X1
X2
U13
active
X
U13
X
isNatKind
active
X
isNatKind
X
U11
X1
X2
mark
X3
U11
X1
X2
X3
plus
X1
mark
X2
plus
X1
X2
U12
active
X1
X2
U12
X1
X2
U22
mark
X
U22
X
U31
X1
mark
X2
U31
X1
X2
s
active
X
s
X
U41
X1
mark
X2
X3
U41
X1
X2
X3
U11
mark
X1
X2
X3
U11
X1
X2
X3
and
active
X1
X2
and
X1
X2
U21
mark
X1
X2
U21
X1
X2
and
X1
active
X2
and
X1
X2
U41
X1
X2
mark
X3
U41
X1
X2
X3
U31
mark
X1
X2
U31
X1
X2
U12
X1
active
X2
U12
X1
X2
and
mark
X1
X2
and
X1
X2
U41
mark
X1
X2
X3
U41
X1
X2
X3
U41
X1
active
X2
X3
U41
X1
X2
X3
U12
X1
mark
X2
U12
X1
X2
s
mark
X
s
X
U41
active
X1
X2
X3
U41
X1
X2
X3
U21
X1
active
X2
U21
X1
X2
isNatKind
mark
X
isNatKind
X
U31
active
X1
X2
U31
X1
X2
U21
active
X1
X2
U21
X1
X2
U12
mark
X1
X2
U12
X1
X2
isNat
mark
X
isNat
X
isNat
active
X
isNat
X
U21
X1
mark
X2
U21
X1
X2
plus
X1
active
X2
plus
X1
X2
U11
X1
active
X2
X3
U11
X1
X2
X3
U13
mark
X
U13
X
active
and
tt
X
mark
X
mark
and
X1
X2
mark
X1
mark
and
X1
X2
active
and
mark
X1
X2
mark
isNatKind
X
active
isNatKind
X
active
isNatKind
s
V1
mark
isNatKind
V1
active
isNatKind
plus
V1
V2
mark
and
isNatKind
V1
isNatKind
V2
true
isNatKind
1
1
13259
U21
2
2
3
U11
3
2
3
16844
s
1
1
2
isNat
1
0
and
2
1
2
28312
plus
2
0
U13
1
0
U12
2
1
2
16840
U12
2
0
mark
1
1
1
0
0
1
s
1
0
mark
1
1
0
isNat
1
1
1
plus
2
1
2
41573
U11
3
0
active
1
1
0
U31
2
2
3699
U41
3
0
active
1
1
0
U21
2
0
U22
1
0
tt
0
1
U13
1
1
3137
U22
1
1
2
isNatKind
1
0
U41
3
2
3
41575
U31
2
0
and
2
0
mark
tt
active
tt
U22
active
X
U22
X
active
U21
tt
V1
mark
U22
isNat
V1
active
plus
N
0
mark
U31
and
isNat
N
isNatKind
N
N
active
and
tt
X
mark
X
U31
X1
active
X2
U31
X1
X2
active
U11
tt
V1
V2
mark
U12
isNat
V1
V2
active
U13
tt
mark
tt
active
plus
N
s
M
mark
U41
and
and
isNat
M
isNatKind
M
and
isNat
N
isNatKind
N
M
N
mark
U13
X
active
U13
mark
X
U11
X1
X2
active
X3
U11
X1
X2
X3
and
X1
mark
X2
and
X1
X2
mark
s
X
active
s
mark
X
plus
mark
X1
X2
plus
X1
X2
mark
U12
X1
X2
active
U12
mark
X1
X2
U11
X1
mark
X2
X3
U11
X1
X2
X3
mark
U11
X1
X2
X3
active
U11
mark
X1
X2
X3
U41
X1
X2
active
X3
U41
X1
X2
X3
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
U11
active
X1
X2
X3
U11
X1
X2
X3
mark
U21
X1
X2
active
U21
mark
X1
X2
mark
and
X1
X2
active
and
mark
X1
X2
plus
active
X1
X2
plus
X1
X2
U13
active
X
U13
X
active
U22
tt
mark
tt
isNatKind
active
X
isNatKind
X
U11
X1
X2
mark
X3
U11
X1
X2
X3
plus
X1
mark
X2
plus
X1
X2
active
isNat
plus
V1
V2
mark
U11
and
isNatKind
V1
isNatKind
V2
V1
V2
U12
active
X1
X2
U12
X1
X2
active
U41
tt
M
N
mark
s
plus
N
M
mark
isNat
X
active
isNat
X
mark
U41
X1
X2
X3
active
U41
mark
X1
X2
X3
U22
mark
X
U22
X
U31
X1
mark
X2
U31
X1
X2
mark
isNatKind
X
active
isNatKind
X
s
active
X
s
X
active
isNatKind
s
V1
mark
isNatKind
V1
U41
X1
mark
X2
X3
U41
X1
X2
X3
U11
mark
X1
X2
X3
U11
X1
X2
X3
active
isNatKind
0
mark
tt
and
active
X1
X2
and
X1
X2
U21
mark
X1
X2
U21
X1
X2
mark
U22
X
active
U22
mark
X
and
X1
active
X2
and
X1
X2
mark
U31
X1
X2
active
U31
mark
X1
X2
U41
X1
X2
mark
X3
U41
X1
X2
X3
active
isNat
s
V1
mark
U21
isNatKind
V1
V1
active
isNat
0
mark
tt
active
isNatKind
plus
V1
V2
mark
and
isNatKind
V1
isNatKind
V2
U31
mark
X1
X2
U31
X1
X2
U12
X1
active
X2
U12
X1
X2
and
mark
X1
X2
and
X1
X2
U41
mark
X1
X2
X3
U41
X1
X2
X3
U41
X1
active
X2
X3
U41
X1
X2
X3
active
U31
tt
N
mark
N
U12
X1
mark
X2
U12
X1
X2
s
mark
X
s
X
U41
active
X1
X2
X3
U41
X1
X2
X3
U21
X1
active
X2
U21
X1
X2
isNatKind
mark
X
isNatKind
X
U31
active
X1
X2
U31
X1
X2
U21
active
X1
X2
U21
X1
X2
U12
mark
X1
X2
U12
X1
X2
isNat
mark
X
isNat
X
isNat
active
X
isNat
X
U21
X1
mark
X2
U21
X1
X2
plus
X1
active
X2
plus
X1
X2
U11
X1
active
X2
X3
U11
X1
X2
X3
mark
0
active
0
U13
mark
X
U13
X
active
U12
tt
V2
mark
U13
isNat
V2
mark
0
active
0
false
active
U12
tt
V2
isNat
V2
false
active
isNatKind
plus
V1
V2
and
isNatKind
V1
isNatKind
V2
false
active
isNatKind
plus
V1
V2
isNatKind
V1
false
active
isNatKind
plus
V1
V2
isNatKind
V2
false
active
isNat
s
V1
U21
isNatKind
V1
V1
false
active
isNat
s
V1
isNatKind
V1
false
mark
U41
X1
X2
X3
U41
mark
X1
X2
X3
false
active
isNatKind
s
V1
isNatKind
V1
false
active
U41
tt
M
N
s
plus
N
M
false
active
U41
tt
M
N
plus
N
M
false
mark
and
X1
X2
and
mark
X1
X2
false
active
isNat
plus
V1
V2
U11
and
isNatKind
V1
isNatKind
V2
V1
V2
false
active
isNat
plus
V1
V2
and
isNatKind
V1
isNatKind
V2
false
active
isNat
plus
V1
V2
isNatKind
V1
false
active
isNat
plus
V1
V2
isNatKind
V2
false
active
U22
tt
mark
tt
false
mark
U21
X1
X2
U21
mark
X1
X2
false
U21
X1
active
X2
U21
X1
X2
U21
active
X1
X2
U21
X1
X2
U21
X1
mark
X2
U21
X1
X2
U21
mark
X1
X2
U21
X1
X2
true
isNatKind
1
40
U21
2
43720
U11
3
1
2
3
1
s
1
29098
isNat
1
0
and
2
1
2
plus
2
0
U13
1
0
U12
2
3079
U12
2
0
mark
1
1
0
0
1
s
1
0
mark
1
1
1
isNat
1
1
1
plus
2
1
1
U11
3
0
active
1
1
2
U31
2
1
2
32023
U41
3
0
active
1
0
U21
2
1
2
0
U22
1
0
tt
0
50
U13
1
1
3137
U22
1
1
43721
isNatKind
1
0
U41
3
2
3
29096
U31
2
0
and
2
0
active
plus
N
s
M
U41
and
and
isNat
M
isNatKind
M
and
isNat
N
isNatKind
N
M
N
false
active
plus
N
s
M
and
and
isNat
M
isNatKind
M
and
isNat
N
isNatKind
N
false
active
plus
N
s
M
and
isNat
M
isNatKind
M
false
active
plus
N
s
M
isNat
M
false
active
plus
N
s
M
isNatKind
M
false
active
plus
N
s
M
and
isNat
N
isNatKind
N
false
active
plus
N
s
M
isNat
N
false
active
plus
N
s
M
isNatKind
N
false
active
U13
tt
mark
tt
false
mark
plus
X1
X2
plus
mark
X1
mark
X2
false
mark
U11
X1
X2
X3
U11
mark
X1
X2
X3
false
active
U11
tt
V1
V2
U12
isNat
V1
V2
false
active
U11
tt
V1
V2
isNat
V1
false
mark
s
X
s
mark
X
false
s
mark
X
s
X
s
active
X
s
X
true
isNatKind
1
9999
U21
2
72906
U11
3
1
2
3
23720
s
1
30877
isNat
1
0
and
2
1
39183
plus
2
0
U13
1
0
U12
2
97687
U12
2
0
mark
1
1
0
0
31936
s
1
1
0
mark
1
1
1
isNat
1
1
42027
plus
2
1
30873
U11
3
0
active
1
1
2
U31
2
1
2
51342
U41
3
0
active
1
0
U21
2
0
U22
1
0
tt
0
73965
U13
1
1
55662
U22
1
1
30881
isNatKind
1
0
U41
3
2
3
30875
U31
2
0
and
2
0
active
plus
N
0
U31
and
isNat
N
isNatKind
N
N
false
active
plus
N
0
and
isNat
N
isNatKind
N
false
and
X1
mark
X2
and
X1
X2
and
mark
X1
X2
and
X1
X2
and
X1
active
X2
and
X1
X2
and
active
X1
X2
and
X1
X2
true
isNatKind
1
1
U21
2
15703
U11
3
1
2
3
1
s
1
5
isNat
1
0
and
2
1
2
plus
2
0
U13
1
0
U12
2
7
U12
2
0
mark
1
1
0
0
1
s
1
0
mark
1
1
1
isNat
1
1
1
plus
2
1
1
U11
3
0
active
1
1
2
U31
2
1
2
1
U41
3
0
active
1
0
U21
2
0
U22
1
0
tt
0
4
U13
1
1
8
U22
1
1
15704
isNatKind
1
0
U41
3
2
3
3
U31
2
0
and
2
1
0
and
X1
active
X2
and
X1
X2
and
X1
mark
X2
and
X1
X2
and
X1
mark
X2
and
X1
X2
and
X1
active
X2
and
X1
X2
true
isNatKind
1
1
U21
2
9
U11
3
1
2
3
1
s
1
6
isNat
1
0
and
2
1
3
plus
2
0
U13
1
0
U12
2
11458
U12
2
0
mark
1
1
0
0
1
s
1
0
mark
1
1
1
isNat
1
1
1
plus
2
1
2
U11
3
0
active
1
1
2
U31
2
1
2
19274
U41
3
0
active
1
0
U21
2
0
U22
1
0
tt
0
4
U13
1
1
20210
U22
1
1
10
isNatKind
1
0
U41
3
2
3
4
U31
2
0
and
2
2
0
active
plus
N
0
isNat
N
false
active
plus
N
0
isNatKind
N
false
isNatKind
mark
X
isNatKind
X
isNatKind
active
X
isNatKind
X
true
isNatKind
1
1
U21
2
12767
U11
3
1
2
3
52235
s
1
12764
isNat
1
0
and
2
1
4380
plus
2
0
U13
1
0
U12
2
52241
U12
2
0
mark
1
1
0
0
1
s
1
0
mark
1
1
1
isNat
1
1
1
plus
2
1
12760
U11
3
0
active
1
1
2
U31
2
1
2
19274
U41
3
0
active
1
0
U21
2
0
U22
1
0
tt
0
4
U13
1
1
52242
U22
1
1
12768
isNatKind
1
1
0
U41
3
2
3
12762
U31
2
0
and
2
0
mark
U13
X
U13
mark
X
false
active
U21
tt
V1
U22
isNat
V1
false
active
U21
tt
V1
isNat
V1
false
isNat
active
X
isNat
X
isNat
mark
X
isNat
X
true
isNatKind
1
1
U21
2
13869
U11
3
1
2
3
29798
s
1
13866
isNat
1
1
0
and
2
1
16074
plus
2
0
U13
1
0
U12
2
29804
U12
2
0
mark
1
1
0
0
1
s
1
0
mark
1
1
1
isNat
1
1
1
plus
2
1
13862
U11
3
0
active
1
1
2
U31
2
1
2
17747
U41
3
0
active
1
0
U21
2
0
U22
1
0
tt
0
4
U13
1
1
29805
U22
1
1
13870
isNatKind
1
0
U41
3
2
3
13864
U31
2
0
and
2
0
mark
U22
X
U22
mark
X
false
U22
active
X
U22
X
U22
mark
X
U22
X
true
isNatKind
1
13020
U21
2
8
U11
3
1
2
3
50843
s
1
5
isNat
1
0
and
2
1
2
plus
2
0
U13
1
0
U12
2
104972
U12
2
0
mark
1
1
0
0
54124
s
1
0
mark
1
1
1
isNat
1
1
1
plus
2
1
1
U11
3
0
active
1
1
2
U31
2
1
2
12072
U41
3
0
active
1
0
U21
2
0
U22
1
1
0
tt
0
54127
U13
1
1
104973
U22
1
1
9
isNatKind
1
0
U41
3
2
3
3
U31
2
0
and
2
0
mark
U12
X1
X2
U12
mark
X1
X2
false
U12
X1
mark
X2
U12
X1
X2
U12
X1
active
X2
U12
X1
X2
U12
mark
X1
X2
U12
X1
X2
U12
active
X1
X2
U12
X1
X2
true
isNatKind
1
1
U21
2
27133
U11
3
1
2
3
7325
s
1
27130
isNat
1
0
and
2
1
23724
plus
2
0
U13
1
0
U12
2
7331
U12
2
1
2
0
mark
1
1
0
0
1
s
1
0
mark
1
1
1
isNat
1
1
1
plus
2
1
1
U11
3
0
active
1
1
2
U31
2
1
2
25567
U41
3
0
active
1
0
U21
2
0
U22
1
0
tt
0
4
U13
1
1
7332
U22
1
1
27134
isNatKind
1
0
U41
3
2
3
27128
U31
2
0
and
2
0
plus
active
X1
X2
plus
X1
X2
plus
mark
X1
X2
plus
X1
X2
plus
X1
mark
X2
plus
X1
X2
plus
X1
active
X2
plus
X1
X2
true
isNatKind
1
1
U21
2
54766
U11
3
1
2
3
1
s
1
22169
isNat
1
0
and
2
1
2
plus
2
1
2
0
U13
1
0
U12
2
7
U12
2
0
mark
1
1
0
0
1
s
1
0
mark
1
1
1
isNat
1
1
1
plus
2
1
1
U11
3
0
active
1
1
2
U31
2
1
2
32621
U41
3
0
active
1
0
U21
2
0
U22
1
0
tt
0
4
U13
1
1
7335
U22
1
1
54767
isNatKind
1
0
U41
3
2
3
22167
U31
2
0
and
2
0
mark
U31
X1
X2
U31
mark
X1
X2
false
U31
X1
mark
X2
U31
X1
X2
U31
mark
X1
X2
U31
X1
X2
U31
active
X1
X2
U31
X1
X2
U31
X1
active
X2
U31
X1
X2
true
isNatKind
1
1
U21
2
28595
U11
3
1
2
3
1
s
1
15811
isNat
1
0
and
2
1
24632
plus
2
0
U13
1
0
U12
2
7
U12
2
0
mark
1
1
0
0
1
s
1
0
mark
1
1
1
isNat
1
1
1
plus
2
1
1
U11
3
0
active
1
1
2
U31
2
1
2
32621
U41
3
0
active
1
0
U21
2
0
U22
1
0
tt
0
4
U13
1
1
8
U22
1
1
28596
isNatKind
1
0
U41
3
2
3
15809
U31
2
2
0
and
2
0
U31
active
X1
X2
U31
X1
X2
U31
mark
X1
X2
U31
X1
X2
U31
mark
X1
X2
U31
X1
X2
U31
active
X1
X2
U31
X1
X2
true
isNatKind
1
1
U21
2
7883
U11
3
1
2
3
1
s
1
7526
isNat
1
0
and
2
1
2
plus
2
0
U13
1
0
U12
2
33009
U12
2
0
mark
1
1
0
0
33003
s
1
0
mark
1
1
1
isNat
1
1
1
plus
2
1
1
U11
3
0
active
1
1
2
U31
2
1
2
32621
U41
3
0
active
1
0
U21
2
0
U22
1
0
tt
0
33006
U13
1
1
33010
U22
1
1
7884
isNatKind
1
0
U41
3
2
3
7524
U31
2
1
0
and
2
0
active
isNat
0
mark
tt
false
U11
active
X1
X2
X3
U11
X1
X2
X3
U11
X1
active
X2
X3
U11
X1
X2
X3
U11
mark
X1
X2
X3
U11
X1
X2
X3
U11
X1
X2
active
X3
U11
X1
X2
X3
U11
X1
X2
mark
X3
U11
X1
X2
X3
U11
X1
mark
X2
X3
U11
X1
X2
X3
true
isNatKind
1
1
U21
2
8
U11
3
1
2
3
16516
s
1
5
isNat
1
0
and
2
1
31609
plus
2
0
U13
1
0
U12
2
22122
U12
2
0
mark
1
1
0
0
1
s
1
0
mark
1
1
1
isNat
1
1
1
plus
2
1
1
U11
3
1
2
3
0
active
1
1
2
U31
2
1
2
1
U41
3
0
active
1
0
U21
2
0
U22
1
0
tt
0
4
U13
1
1
41193
U22
1
1
9
isNatKind
1
0
U41
3
2
3
3
U31
2
0
and
2
0
active
isNatKind
0
mark
tt
false
mark
tt
active
tt
false
active
U12
tt
V2
U13
isNat
V2
false
U13
mark
X
U13
X
U13
active
X
U13
X
true
isNatKind
1
2
U21
2
31639
U11
3
1
2
3
5436
s
1
31636
isNat
1
0
and
2
1
22740
plus
2
0
U13
1
1
0
U12
2
5442
U12
2
0
mark
1
1
0
0
1
s
1
0
mark
1
1
1
isNat
1
1
1
plus
2
1
1
U11
3
0
active
1
1
2
U31
2
1
2
29716
U41
3
0
active
1
0
U21
2
0
U22
1
0
tt
0
4
U13
1
1
5443
U22
1
1
31640
isNatKind
1
0
U41
3
2
3
31634
U31
2
0
and
2
0
U41
X1
X2
active
X3
U41
X1
X2
X3
U41
X1
mark
X2
X3
U41
X1
X2
X3
U41
active
X1
X2
X3
U41
X1
X2
X3
U41
mark
X1
X2
X3
U41
X1
X2
X3
U41
X1
X2
mark
X3
U41
X1
X2
X3
U41
X1
active
X2
X3
U41
X1
X2
X3
true
isNatKind
1
2
U21
2
8
U11
3
1
2
3
5874
s
1
5
isNat
1
0
and
2
1
2
plus
2
0
U13
1
0
U12
2
33606
U12
2
0
mark
1
1
0
0
1
s
1
0
mark
1
1
1
isNat
1
1
1
plus
2
1
1
U11
3
0
active
1
1
2
U31
2
1
2
1
U41
3
1
2
3
0
active
1
0
U21
2
0
U22
1
0
tt
0
4
U13
1
1
33607
U22
1
1
17241
isNatKind
1
0
U41
3
2
3
3
U31
2
0
and
2
0
NaTT
certifiable-1.6