active
U11
tt
N
mark
N
active
U21
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
and
isNat
V1
isNat
V2
active
isNat
s
V1
mark
isNat
V1
active
plus
N
0
mark
U11
isNat
N
N
active
plus
N
s
M
mark
U21
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
and
X1
X2
active
and
mark
X1
X2
mark
isNat
X
active
isNat
X
mark
0
active
0
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
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
2.2
active
U21
tt
M
N
s
plus
N
M
and
X1
mark
X2
and
X1
X2
plus
X1
mark
X2
plus
X1
X2
mark
tt
active
tt
plus
X1
active
X2
plus
X1
X2
U21
X1
mark
X2
X3
U21
X1
X2
X3
s
active
X
s
X
active
isNat
plus
V1
V2
mark
and
isNat
V1
isNat
V2
U11
active
X1
X2
U11
X1
X2
active
U11
tt
N
mark
N
U21
X1
X2
active
X3
U21
X1
X2
X3
active
plus
N
s
M
isNat
N
U11
X1
mark
X2
U11
X1
X2
active
isNat
plus
V1
V2
and
isNat
V1
isNat
V2
isNat
mark
X
isNat
X
mark
isNat
X
active
isNat
X
active
plus
N
s
M
U21
and
isNat
M
isNat
N
M
N
active
isNat
plus
V1
V2
isNat
V2
mark
0
active
0
mark
plus
X1
X2
mark
X2
active
isNat
s
V1
isNat
V1
mark
plus
X1
X2
plus
mark
X1
mark
X2
active
plus
N
s
M
isNat
M
mark
s
X
mark
X
mark
s
X
s
mark
X
U11
mark
X1
X2
U11
X1
X2
mark
plus
X1
X2
mark
X1
U11
X1
active
X2
U11
X1
X2
active
plus
N
s
M
and
isNat
M
isNat
N
mark
U11
X1
X2
active
U11
mark
X1
X2
U21
X1
active
X2
X3
U21
X1
X2
X3
active
and
tt
X
mark
X
and
X1
active
X2
and
X1
X2
plus
active
X1
X2
plus
X1
X2
U21
active
X1
X2
X3
U21
X1
X2
X3
isNat
active
X
isNat
X
active
isNat
plus
V1
V2
isNat
V1
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
active
plus
N
0
U11
isNat
N
N
and
active
X1
X2
and
X1
X2
s
mark
X
s
X
mark
and
X1
X2
mark
X1
mark
s
X
active
s
mark
X
active
plus
N
0
isNat
N
mark
and
X1
X2
and
mark
X1
X2
active
isNat
0
mark
tt
mark
U21
X1
X2
X3
active
U21
mark
X1
X2
X3
active
plus
N
0
mark
U11
isNat
N
N
mark
U21
X1
X2
X3
mark
X1
mark
and
X1
X2
active
and
mark
X1
X2
and
mark
X1
X2
and
X1
X2
U21
X1
X2
mark
X3
U21
X1
X2
X3
mark
U11
X1
X2
mark
X1
active
U21
tt
M
N
plus
N
M
active
U21
tt
M
N
mark
s
plus
N
M
active
plus
N
s
M
mark
U21
and
isNat
M
isNat
N
M
N
active
isNat
s
V1
mark
isNat
V1
mark
U11
X1
X2
U11
mark
X1
X2
plus
mark
X1
X2
plus
X1
X2
U21
mark
X1
X2
X3
U21
X1
X2
X3
mark
U21
X1
X2
X3
U21
mark
X1
X2
X3
true
active
and
tt
X
mark
X
mark
U11
X1
X2
active
U11
mark
X1
X2
mark
plus
X1
X2
mark
X1
active
isNat
s
V1
mark
isNat
V1
active
plus
N
s
M
mark
U21
and
isNat
M
isNat
N
M
N
active
U21
tt
M
N
mark
s
plus
N
M
mark
s
X
mark
X
mark
U11
X1
X2
mark
X1
mark
and
X1
X2
active
and
mark
X1
X2
mark
plus
X1
X2
mark
X2
active
plus
N
0
mark
U11
isNat
N
N
mark
U21
X1
X2
X3
mark
X1
mark
U21
X1
X2
X3
active
U21
mark
X1
X2
X3
mark
isNat
X
active
isNat
X
mark
s
X
active
s
mark
X
active
U11
tt
N
mark
N
mark
and
X1
X2
mark
X1
active
isNat
plus
V1
V2
mark
and
isNat
V1
isNat
V2
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
true
U21
3
5855
U11
2
5855
s
1
1
isNat
1
0
and
2
5855
plus
2
0
mark
1
5855
0
0
1
s
1
0
mark
1
1
isNat
1
5855
plus
2
5855
U11
2
0
active
1
0
active
1
1
0
U21
3
0
tt
0
1
and
2
0
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
active
isNat
plus
V1
V2
mark
and
isNat
V1
isNat
V2
mark
and
X1
X2
mark
X1
active
U11
tt
N
mark
N
mark
isNat
X
active
isNat
X
mark
U21
X1
X2
X3
active
U21
mark
X1
X2
X3
mark
U21
X1
X2
X3
mark
X1
active
plus
N
0
mark
U11
isNat
N
N
mark
plus
X1
X2
mark
X2
mark
and
X1
X2
active
and
mark
X1
X2
mark
U11
X1
X2
mark
X1
mark
s
X
mark
X
active
U21
tt
M
N
mark
s
plus
N
M
active
plus
N
s
M
mark
U21
and
isNat
M
isNat
N
M
N
active
isNat
s
V1
mark
isNat
V1
mark
plus
X1
X2
mark
X1
mark
U11
X1
X2
active
U11
mark
X1
X2
active
and
tt
X
mark
X
U11
X1
mark
X2
U11
X1
X2
U21
mark
X1
X2
X3
U21
X1
X2
X3
and
X1
active
X2
and
X1
X2
U21
X1
X2
active
X3
U21
X1
X2
X3
U11
active
X1
X2
U11
X1
X2
plus
X1
active
X2
plus
X1
X2
U11
mark
X1
X2
U11
X1
X2
s
mark
X
s
X
and
X1
mark
X2
and
X1
X2
U21
X1
mark
X2
X3
U21
X1
X2
X3
s
active
X
s
X
and
mark
X1
X2
and
X1
X2
U11
X1
active
X2
U11
X1
X2
U21
X1
active
X2
X3
U21
X1
X2
X3
plus
X1
mark
X2
plus
X1
X2
plus
active
X1
X2
plus
X1
X2
U21
X1
X2
mark
X3
U21
X1
X2
X3
U21
active
X1
X2
X3
U21
X1
X2
X3
isNat
active
X
isNat
X
isNat
mark
X
isNat
X
and
active
X1
X2
and
X1
X2
plus
mark
X1
X2
plus
X1
X2
mark
isNat
X
active
isNat
X
active
plus
N
s
M
mark
U21
and
isNat
M
isNat
N
M
N
active
U11
tt
N
mark
N
active
and
tt
X
mark
X
active
isNat
plus
V1
V2
mark
and
isNat
V1
isNat
V2
active
plus
N
0
mark
U11
isNat
N
N
mark
and
X1
X2
mark
X1
mark
and
X1
X2
active
and
mark
X1
X2
mark
s
X
mark
X
mark
U21
X1
X2
X3
mark
X1
mark
U21
X1
X2
X3
active
U21
mark
X1
X2
X3
mark
U11
X1
X2
mark
X1
mark
U11
X1
X2
active
U11
mark
X1
X2
mark
plus
X1
X2
mark
X2
mark
plus
X1
X2
mark
X1
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
active
isNat
s
V1
mark
isNat
V1
active
U21
tt
M
N
mark
s
plus
N
M
true
U21
3
1
2
3
677
U11
2
1
2
841
s
1
1
591
isNat
1
0
and
2
1
2
0
plus
2
0
mark
1
1
0
0
0
756
s
1
0
mark
1
1
0
isNat
1
0
plus
2
1
2
86
U11
2
0
active
1
1
0
active
1
1
0
U21
3
0
tt
0
0
and
2
0
active
U21
tt
M
N
mark
s
plus
N
M
active
isNat
s
V1
mark
isNat
V1
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
U11
X1
X2
active
U11
mark
X1
X2
mark
U21
X1
X2
X3
active
U21
mark
X1
X2
X3
mark
and
X1
X2
active
and
mark
X1
X2
mark
and
X1
X2
mark
X1
active
isNat
plus
V1
V2
mark
and
isNat
V1
isNat
V2
active
and
tt
X
mark
X
active
plus
N
s
M
mark
U21
and
isNat
M
isNat
N
M
N
mark
isNat
X
active
isNat
X
U11
X1
mark
X2
U11
X1
X2
active
isNat
0
mark
tt
mark
isNat
X
active
isNat
X
active
plus
N
s
M
mark
U21
and
isNat
M
isNat
N
M
N
active
U11
tt
N
mark
N
active
and
tt
X
mark
X
mark
0
active
0
U21
mark
X1
X2
X3
U21
X1
X2
X3
and
X1
active
X2
and
X1
X2
U21
X1
X2
active
X3
U21
X1
X2
X3
U11
active
X1
X2
U11
X1
X2
plus
X1
active
X2
plus
X1
X2
U11
mark
X1
X2
U11
X1
X2
s
mark
X
s
X
and
X1
mark
X2
and
X1
X2
U21
X1
mark
X2
X3
U21
X1
X2
X3
s
active
X
s
X
active
isNat
plus
V1
V2
mark
and
isNat
V1
isNat
V2
and
mark
X1
X2
and
X1
X2
mark
tt
active
tt
active
plus
N
0
mark
U11
isNat
N
N
U11
X1
active
X2
U11
X1
X2
U21
X1
active
X2
X3
U21
X1
X2
X3
plus
X1
mark
X2
plus
X1
X2
mark
and
X1
X2
active
and
mark
X1
X2
plus
active
X1
X2
plus
X1
X2
mark
s
X
active
s
mark
X
U21
X1
X2
mark
X3
U21
X1
X2
X3
U21
active
X1
X2
X3
U21
X1
X2
X3
mark
U21
X1
X2
X3
active
U21
mark
X1
X2
X3
mark
U11
X1
X2
active
U11
mark
X1
X2
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
active
isNat
s
V1
mark
isNat
V1
isNat
active
X
isNat
X
isNat
mark
X
isNat
X
and
active
X1
X2
and
X1
X2
plus
mark
X1
X2
plus
X1
X2
active
U21
tt
M
N
mark
s
plus
N
M
mark
isNat
X
active
isNat
X
active
plus
N
s
M
mark
U21
and
isNat
M
isNat
N
M
N
active
and
tt
X
mark
X
active
isNat
plus
V1
V2
mark
and
isNat
V1
isNat
V2
mark
and
X1
X2
mark
X1
mark
and
X1
X2
active
and
mark
X1
X2
mark
U21
X1
X2
X3
active
U21
mark
X1
X2
X3
mark
U11
X1
X2
active
U11
mark
X1
X2
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
active
isNat
s
V1
mark
isNat
V1
active
U21
tt
M
N
mark
s
plus
N
M
true
U21
3
1
3
1
U11
2
1
2
1
s
1
1
isNat
1
0
and
2
1
2
0
plus
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
2
0
active
1
1
0
active
1
1
0
U21
3
0
tt
0
0
and
2
0
active
U21
tt
M
N
mark
s
plus
N
M
active
isNat
s
V1
mark
isNat
V1
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
U11
X1
X2
active
U11
mark
X1
X2
mark
U21
X1
X2
X3
active
U21
mark
X1
X2
X3
mark
and
X1
X2
active
and
mark
X1
X2
mark
and
X1
X2
mark
X1
active
isNat
plus
V1
V2
mark
and
isNat
V1
isNat
V2
active
and
tt
X
mark
X
mark
isNat
X
active
isNat
X
U11
X1
mark
X2
U11
X1
X2
active
isNat
0
mark
tt
mark
isNat
X
active
isNat
X
active
plus
N
s
M
mark
U21
and
isNat
M
isNat
N
M
N
active
U11
tt
N
mark
N
active
and
tt
X
mark
X
mark
0
active
0
U21
mark
X1
X2
X3
U21
X1
X2
X3
and
X1
active
X2
and
X1
X2
U21
X1
X2
active
X3
U21
X1
X2
X3
U11
active
X1
X2
U11
X1
X2
plus
X1
active
X2
plus
X1
X2
U11
mark
X1
X2
U11
X1
X2
s
mark
X
s
X
and
X1
mark
X2
and
X1
X2
U21
X1
mark
X2
X3
U21
X1
X2
X3
s
active
X
s
X
active
isNat
plus
V1
V2
mark
and
isNat
V1
isNat
V2
and
mark
X1
X2
and
X1
X2
mark
tt
active
tt
active
plus
N
0
mark
U11
isNat
N
N
U11
X1
active
X2
U11
X1
X2
U21
X1
active
X2
X3
U21
X1
X2
X3
plus
X1
mark
X2
plus
X1
X2
mark
and
X1
X2
active
and
mark
X1
X2
plus
active
X1
X2
plus
X1
X2
mark
s
X
active
s
mark
X
U21
X1
X2
mark
X3
U21
X1
X2
X3
U21
active
X1
X2
X3
U21
X1
X2
X3
mark
U21
X1
X2
X3
active
U21
mark
X1
X2
X3
mark
U11
X1
X2
active
U11
mark
X1
X2
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
active
isNat
s
V1
mark
isNat
V1
isNat
active
X
isNat
X
isNat
mark
X
isNat
X
and
active
X1
X2
and
X1
X2
plus
mark
X1
X2
plus
X1
X2
active
U21
tt
M
N
mark
s
plus
N
M
mark
isNat
X
active
isNat
X
active
and
tt
X
mark
X
active
isNat
plus
V1
V2
mark
and
isNat
V1
isNat
V2
mark
and
X1
X2
mark
X1
mark
and
X1
X2
active
and
mark
X1
X2
mark
U21
X1
X2
X3
active
U21
mark
X1
X2
X3
mark
U11
X1
X2
active
U11
mark
X1
X2
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
active
isNat
s
V1
mark
isNat
V1
active
U21
tt
M
N
mark
s
plus
N
M
true
U21
3
1
3
2
U11
2
1
2
1
s
1
1
isNat
1
0
and
2
1
2
0
plus
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
2
0
active
1
1
0
active
1
1
0
U21
3
0
tt
0
0
and
2
0
active
isNat
s
V1
mark
isNat
V1
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
U11
X1
X2
active
U11
mark
X1
X2
mark
U21
X1
X2
X3
active
U21
mark
X1
X2
X3
mark
and
X1
X2
active
and
mark
X1
X2
mark
and
X1
X2
mark
X1
active
isNat
plus
V1
V2
mark
and
isNat
V1
isNat
V2
active
and
tt
X
mark
X
mark
isNat
X
active
isNat
X
U11
X1
mark
X2
U11
X1
X2
active
isNat
0
mark
tt
mark
isNat
X
active
isNat
X
active
plus
N
s
M
mark
U21
and
isNat
M
isNat
N
M
N
active
U11
tt
N
mark
N
active
and
tt
X
mark
X
mark
0
active
0
U21
mark
X1
X2
X3
U21
X1
X2
X3
and
X1
active
X2
and
X1
X2
U21
X1
X2
active
X3
U21
X1
X2
X3
U11
active
X1
X2
U11
X1
X2
plus
X1
active
X2
plus
X1
X2
U11
mark
X1
X2
U11
X1
X2
s
mark
X
s
X
and
X1
mark
X2
and
X1
X2
U21
X1
mark
X2
X3
U21
X1
X2
X3
s
active
X
s
X
active
isNat
plus
V1
V2
mark
and
isNat
V1
isNat
V2
and
mark
X1
X2
and
X1
X2
mark
tt
active
tt
active
plus
N
0
mark
U11
isNat
N
N
U11
X1
active
X2
U11
X1
X2
U21
X1
active
X2
X3
U21
X1
X2
X3
plus
X1
mark
X2
plus
X1
X2
mark
and
X1
X2
active
and
mark
X1
X2
plus
active
X1
X2
plus
X1
X2
mark
s
X
active
s
mark
X
U21
X1
X2
mark
X3
U21
X1
X2
X3
U21
active
X1
X2
X3
U21
X1
X2
X3
mark
U21
X1
X2
X3
active
U21
mark
X1
X2
X3
mark
U11
X1
X2
active
U11
mark
X1
X2
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
active
isNat
s
V1
mark
isNat
V1
isNat
active
X
isNat
X
isNat
mark
X
isNat
X
and
active
X1
X2
and
X1
X2
plus
mark
X1
X2
plus
X1
X2
active
U21
tt
M
N
mark
s
plus
N
M
mark
isNat
X
active
isNat
X
active
and
tt
X
mark
X
active
isNat
plus
V1
V2
mark
and
isNat
V1
isNat
V2
mark
and
X1
X2
mark
X1
mark
and
X1
X2
active
and
mark
X1
X2
mark
U21
X1
X2
X3
active
U21
mark
X1
X2
X3
mark
U11
X1
X2
active
U11
mark
X1
X2
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
active
isNat
s
V1
mark
isNat
V1
true
U21
3
2
3
77330
U11
2
2
5599
s
1
1
27858
isNat
1
0
and
2
1
2
14137
plus
2
0
mark
1
1
1
0
0
1
s
1
0
mark
1
1
0
isNat
1
1
35333
plus
2
1
2
49472
U11
2
0
active
1
1
0
active
1
1
0
U21
3
0
tt
0
21653
and
2
0
U11
X1
mark
X2
U11
X1
X2
active
isNat
0
mark
tt
mark
isNat
X
active
isNat
X
active
plus
N
s
M
mark
U21
and
isNat
M
isNat
N
M
N
active
U11
tt
N
mark
N
active
and
tt
X
mark
X
mark
0
active
0
U21
mark
X1
X2
X3
U21
X1
X2
X3
and
X1
active
X2
and
X1
X2
U21
X1
X2
active
X3
U21
X1
X2
X3
U11
active
X1
X2
U11
X1
X2
plus
X1
active
X2
plus
X1
X2
U11
mark
X1
X2
U11
X1
X2
s
mark
X
s
X
and
X1
mark
X2
and
X1
X2
U21
X1
mark
X2
X3
U21
X1
X2
X3
s
active
X
s
X
active
isNat
plus
V1
V2
mark
and
isNat
V1
isNat
V2
and
mark
X1
X2
and
X1
X2
mark
tt
active
tt
active
plus
N
0
mark
U11
isNat
N
N
U11
X1
active
X2
U11
X1
X2
U21
X1
active
X2
X3
U21
X1
X2
X3
plus
X1
mark
X2
plus
X1
X2
mark
and
X1
X2
active
and
mark
X1
X2
plus
active
X1
X2
plus
X1
X2
mark
s
X
active
s
mark
X
U21
X1
X2
mark
X3
U21
X1
X2
X3
U21
active
X1
X2
X3
U21
X1
X2
X3
mark
U21
X1
X2
X3
active
U21
mark
X1
X2
X3
mark
U11
X1
X2
active
U11
mark
X1
X2
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
active
isNat
s
V1
mark
isNat
V1
isNat
active
X
isNat
X
isNat
mark
X
isNat
X
and
active
X1
X2
and
X1
X2
plus
mark
X1
X2
plus
X1
X2
active
U21
tt
M
N
mark
s
plus
N
M
active
U21
tt
M
N
plus
N
M
false
mark
plus
X1
X2
plus
mark
X1
mark
X2
false
active
isNat
s
V1
isNat
V1
false
mark
U11
X1
X2
U11
mark
X1
X2
false
active
plus
N
0
U11
isNat
N
N
false
U11
X1
active
X2
U11
X1
X2
U11
mark
X1
X2
U11
X1
X2
U11
X1
mark
X2
U11
X1
X2
U11
active
X1
X2
U11
X1
X2
true
U21
3
3
2987
U11
2
2
1521
s
1
2987
isNat
1
0
and
2
2
405
plus
2
0
mark
1
1
1
0
0
28872
s
1
0
mark
1
1
1
isNat
1
1
1
plus
2
2987
U11
2
1
2
0
active
1
1
1
active
1
0
U21
3
0
tt
0
11820
and
2
0
U11
X1
mark
X2
U11
X1
X2
U21
mark
X1
X2
X3
U21
X1
X2
X3
and
X1
active
X2
and
X1
X2
U21
X1
X2
active
X3
U21
X1
X2
X3
U11
active
X1
X2
U11
X1
X2
U11
mark
X1
X2
U11
X1
X2
s
mark
X
s
X
and
X1
mark
X2
and
X1
X2
U21
X1
mark
X2
X3
U21
X1
X2
X3
s
active
X
s
X
and
mark
X1
X2
and
X1
X2
U11
X1
active
X2
U11
X1
X2
U21
X1
active
X2
X3
U21
X1
X2
X3
U21
X1
X2
mark
X3
U21
X1
X2
X3
U21
active
X1
X2
X3
U21
X1
X2
X3
isNat
active
X
isNat
X
isNat
mark
X
isNat
X
and
active
X1
X2
and
X1
X2
active
plus
N
0
isNat
N
false
mark
U21
X1
X2
X3
U21
mark
X1
X2
X3
false
active
isNat
plus
V1
V2
and
isNat
V1
isNat
V2
false
active
isNat
plus
V1
V2
isNat
V2
false
mark
s
X
s
mark
X
false
mark
and
X1
X2
and
mark
X1
X2
false
mark
0
active
0
false
active
plus
N
s
M
U21
and
isNat
M
isNat
N
M
N
false
active
plus
N
s
M
and
isNat
M
isNat
N
false
active
plus
N
s
M
isNat
M
false
active
plus
N
s
M
isNat
N
false
active
isNat
0
mark
tt
false
active
isNat
plus
V1
V2
isNat
V1
false
isNat
mark
X
isNat
X
isNat
active
X
isNat
X
true
U21
3
3
1
U11
2
2
1
s
1
1
isNat
1
1
0
and
2
2
1
plus
2
0
mark
1
1
1
0
0
28872
s
1
0
mark
1
1
1
isNat
1
1
1
plus
2
1
U11
2
0
active
1
1
1
active
1
0
U21
3
0
tt
0
25984
and
2
0
U11
X1
mark
X2
U11
X1
X2
U21
mark
X1
X2
X3
U21
X1
X2
X3
and
X1
active
X2
and
X1
X2
U21
X1
X2
active
X3
U21
X1
X2
X3
U11
active
X1
X2
U11
X1
X2
U11
mark
X1
X2
U11
X1
X2
s
mark
X
s
X
and
X1
mark
X2
and
X1
X2
U21
X1
mark
X2
X3
U21
X1
X2
X3
s
active
X
s
X
and
mark
X1
X2
and
X1
X2
U11
X1
active
X2
U11
X1
X2
U21
X1
active
X2
X3
U21
X1
X2
X3
U21
X1
X2
mark
X3
U21
X1
X2
X3
U21
active
X1
X2
X3
U21
X1
X2
X3
isNat
active
X
isNat
X
isNat
mark
X
isNat
X
and
active
X1
X2
and
X1
X2
mark
tt
active
tt
false
plus
active
X1
X2
plus
X1
X2
plus
mark
X1
X2
plus
X1
X2
plus
X1
active
X2
plus
X1
X2
plus
X1
mark
X2
plus
X1
X2
true
U21
3
3
15360
U11
2
2
12063
s
1
6812
isNat
1
0
and
2
2
12701
plus
2
1
0
mark
1
1
1
0
0
37154
s
1
0
mark
1
1
1
isNat
1
1
1
plus
2
39090
U11
2
0
active
1
1
1
active
1
0
U21
3
0
tt
0
5586
and
2
0
plus
X1
mark
X2
plus
X1
X2
plus
X1
active
X2
plus
X1
X2
U11
X1
mark
X2
U11
X1
X2
U21
mark
X1
X2
X3
U21
X1
X2
X3
and
X1
active
X2
and
X1
X2
U21
X1
X2
active
X3
U21
X1
X2
X3
U11
active
X1
X2
U11
X1
X2
U11
mark
X1
X2
U11
X1
X2
s
mark
X
s
X
and
X1
mark
X2
and
X1
X2
U21
X1
mark
X2
X3
U21
X1
X2
X3
s
active
X
s
X
and
mark
X1
X2
and
X1
X2
U11
X1
active
X2
U11
X1
X2
U21
X1
active
X2
X3
U21
X1
X2
X3
U21
X1
X2
mark
X3
U21
X1
X2
X3
U21
active
X1
X2
X3
U21
X1
X2
X3
isNat
active
X
isNat
X
isNat
mark
X
isNat
X
and
active
X1
X2
and
X1
X2
plus
X1
active
X2
plus
X1
X2
plus
X1
mark
X2
plus
X1
X2
true
U21
3
3
1
U11
2
2
1
s
1
1
isNat
1
0
and
2
2
1
plus
2
2
0
mark
1
1
1
0
0
18748
s
1
0
mark
1
1
1
isNat
1
1
42385
plus
2
1
U11
2
0
active
1
1
1
active
1
0
U21
3
0
tt
0
5969
and
2
0
U11
X1
mark
X2
U11
X1
X2
U21
mark
X1
X2
X3
U21
X1
X2
X3
and
X1
active
X2
and
X1
X2
U21
X1
X2
active
X3
U21
X1
X2
X3
U11
active
X1
X2
U11
X1
X2
U11
mark
X1
X2
U11
X1
X2
s
mark
X
s
X
and
X1
mark
X2
and
X1
X2
U21
X1
mark
X2
X3
U21
X1
X2
X3
s
active
X
s
X
and
mark
X1
X2
and
X1
X2
U11
X1
active
X2
U11
X1
X2
U21
X1
active
X2
X3
U21
X1
X2
X3
U21
X1
X2
mark
X3
U21
X1
X2
X3
U21
active
X1
X2
X3
U21
X1
X2
X3
isNat
active
X
isNat
X
isNat
mark
X
isNat
X
and
active
X1
X2
and
X1
X2
and
X1
active
X2
and
X1
X2
and
mark
X1
X2
and
X1
X2
and
active
X1
X2
and
X1
X2
and
X1
mark
X2
and
X1
X2
true
U21
3
3
31985
U11
2
2
30808
s
1
3801
isNat
1
0
and
2
2
21095
plus
2
0
mark
1
1
1
0
0
2204
s
1
0
mark
1
1
1
isNat
1
1
21310
plus
2
38405
U11
2
0
active
1
1
1
active
1
0
U21
3
0
tt
0
2607
and
2
2
0
and
active
X1
X2
and
X1
X2
and
mark
X1
X2
and
X1
X2
U11
X1
mark
X2
U11
X1
X2
U21
mark
X1
X2
X3
U21
X1
X2
X3
and
X1
active
X2
and
X1
X2
U21
X1
X2
active
X3
U21
X1
X2
X3
U11
active
X1
X2
U11
X1
X2
U11
mark
X1
X2
U11
X1
X2
s
mark
X
s
X
and
X1
mark
X2
and
X1
X2
U21
X1
mark
X2
X3
U21
X1
X2
X3
s
active
X
s
X
and
mark
X1
X2
and
X1
X2
U11
X1
active
X2
U11
X1
X2
U21
X1
active
X2
X3
U21
X1
X2
X3
U21
X1
X2
mark
X3
U21
X1
X2
X3
U21
active
X1
X2
X3
U21
X1
X2
X3
isNat
active
X
isNat
X
isNat
mark
X
isNat
X
and
active
X1
X2
and
X1
X2
and
mark
X1
X2
and
X1
X2
and
active
X1
X2
and
X1
X2
true
U21
3
3
16760
U11
2
2
7362
s
1
1
isNat
1
0
and
2
2
11495
plus
2
0
mark
1
1
1
0
0
1
s
1
0
mark
1
1
1
isNat
1
1
16264
plus
2
27507
U11
2
0
active
1
1
1
active
1
0
U21
3
0
tt
0
10114
and
2
1
0
U11
X1
mark
X2
U11
X1
X2
U21
mark
X1
X2
X3
U21
X1
X2
X3
and
X1
active
X2
and
X1
X2
U21
X1
X2
active
X3
U21
X1
X2
X3
U11
active
X1
X2
U11
X1
X2
U11
mark
X1
X2
U11
X1
X2
s
mark
X
s
X
and
X1
mark
X2
and
X1
X2
U21
X1
mark
X2
X3
U21
X1
X2
X3
s
active
X
s
X
and
mark
X1
X2
and
X1
X2
U11
X1
active
X2
U11
X1
X2
U21
X1
active
X2
X3
U21
X1
X2
X3
U21
X1
X2
mark
X3
U21
X1
X2
X3
U21
active
X1
X2
X3
U21
X1
X2
X3
isNat
active
X
isNat
X
isNat
mark
X
isNat
X
and
active
X1
X2
and
X1
X2
active
U21
tt
M
N
s
plus
N
M
false
s
mark
X
s
X
s
active
X
s
X
true
U21
3
3
34866
U11
2
2
6133
s
1
28733
isNat
1
0
and
2
2
7343
plus
2
0
mark
1
1
1
0
0
1
s
1
1
0
mark
1
1
6134
isNat
1
1
13363
plus
2
40999
U11
2
0
active
1
1
1
active
1
0
U21
3
0
tt
0
1
and
2
0
U11
X1
mark
X2
U11
X1
X2
U21
mark
X1
X2
X3
U21
X1
X2
X3
and
X1
active
X2
and
X1
X2
U21
X1
X2
active
X3
U21
X1
X2
X3
U11
active
X1
X2
U11
X1
X2
U11
mark
X1
X2
U11
X1
X2
s
mark
X
s
X
and
X1
mark
X2
and
X1
X2
U21
X1
mark
X2
X3
U21
X1
X2
X3
s
active
X
s
X
and
mark
X1
X2
and
X1
X2
U11
X1
active
X2
U11
X1
X2
U21
X1
active
X2
X3
U21
X1
X2
X3
U21
X1
X2
mark
X3
U21
X1
X2
X3
U21
active
X1
X2
X3
U21
X1
X2
X3
isNat
active
X
isNat
X
isNat
mark
X
isNat
X
and
active
X1
X2
and
X1
X2
U21
mark
X1
X2
X3
U21
X1
X2
X3
U21
X1
active
X2
X3
U21
X1
X2
X3
U21
X1
X2
mark
X3
U21
X1
X2
X3
U21
X1
X2
active
X3
U21
X1
X2
X3
U21
X1
mark
X2
X3
U21
X1
X2
X3
U21
active
X1
X2
X3
U21
X1
X2
X3
true
U21
3
3
970
U11
2
2
2421
s
1
970
isNat
1
0
and
2
2
2720
plus
2
0
mark
1
1
1
0
0
15243
s
1
0
mark
1
1
1
isNat
1
1
37749
plus
2
3448
U11
2
0
active
1
1
1
active
1
0
U21
3
1
2
3
0
tt
0
24817
and
2
0
U11
X1
mark
X2
U11
X1
X2
U21
mark
X1
X2
X3
U21
X1
X2
X3
and
X1
active
X2
and
X1
X2
U21
X1
X2
active
X3
U21
X1
X2
X3
U11
active
X1
X2
U11
X1
X2
U11
mark
X1
X2
U11
X1
X2
s
mark
X
s
X
and
X1
mark
X2
and
X1
X2
U21
X1
mark
X2
X3
U21
X1
X2
X3
s
active
X
s
X
and
mark
X1
X2
and
X1
X2
U11
X1
active
X2
U11
X1
X2
U21
X1
active
X2
X3
U21
X1
X2
X3
U21
X1
X2
mark
X3
U21
X1
X2
X3
U21
active
X1
X2
X3
U21
X1
X2
X3
isNat
active
X
isNat
X
isNat
mark
X
isNat
X
and
active
X1
X2
and
X1
X2
NaTT
certifiable-1.6