active
and
tt
X
mark
X
active
plus
N
0
mark
N
active
plus
N
s
M
mark
s
plus
N
M
mark
and
X1
X2
active
and
mark
X1
X2
mark
tt
active
tt
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
0
active
0
mark
s
X
active
s
mark
X
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
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
s
mark
X
s
X
s
active
X
s
X
2.2
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
plus
mark
X1
X2
plus
X1
X2
mark
tt
active
tt
and
X1
active
X2
and
X1
X2
mark
0
active
0
mark
and
X1
X2
active
and
mark
X1
X2
plus
active
X1
X2
plus
X1
X2
and
X1
mark
X2
and
X1
X2
s
mark
X
s
X
mark
and
X1
X2
and
mark
X1
X2
mark
s
X
active
s
mark
X
and
mark
X1
X2
and
X1
X2
plus
X1
mark
X2
plus
X1
X2
mark
plus
X1
X2
mark
X2
mark
s
X
mark
X
s
active
X
s
X
active
plus
N
s
M
s
plus
N
M
active
and
tt
X
mark
X
mark
and
X1
X2
mark
X1
mark
s
X
s
mark
X
active
plus
N
s
M
mark
s
plus
N
M
mark
plus
X1
X2
plus
mark
X1
mark
X2
active
plus
N
0
mark
N
and
active
X1
X2
and
X1
X2
plus
X1
active
X2
plus
X1
X2
mark
plus
X1
X2
mark
X1
active
plus
N
s
M
plus
N
M
true
mark
plus
X1
X2
mark
X1
active
plus
N
0
mark
N
mark
and
X1
X2
active
and
mark
X1
X2
active
plus
N
s
M
mark
s
plus
N
M
mark
and
X1
X2
mark
X1
active
and
tt
X
mark
X
mark
s
X
mark
X
mark
plus
X1
X2
mark
X2
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
s
X
active
s
mark
X
true
s
1
8366
and
2
17222
plus
2
0
mark
1
17222
0
0
2438
s
1
0
mark
1
1
17223
plus
2
17222
active
1
1
0
active
1
1
0
tt
0
44083
and
2
0
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
plus
X1
X2
mark
X2
mark
s
X
mark
X
active
and
tt
X
mark
X
mark
and
X1
X2
mark
X1
active
plus
N
s
M
mark
s
plus
N
M
mark
and
X1
X2
active
and
mark
X1
X2
active
plus
N
0
mark
N
mark
plus
X1
X2
mark
X1
s
active
X
s
X
plus
active
X1
X2
plus
X1
X2
plus
X1
active
X2
plus
X1
X2
s
mark
X
s
X
and
X1
mark
X2
and
X1
X2
plus
X1
mark
X2
plus
X1
X2
and
X1
active
X2
and
X1
X2
and
active
X1
X2
and
X1
X2
and
mark
X1
X2
and
X1
X2
plus
mark
X1
X2
plus
X1
X2
mark
and
X1
X2
mark
X1
mark
and
X1
X2
active
and
mark
X1
X2
mark
s
X
mark
X
active
and
tt
X
mark
X
active
plus
N
s
M
mark
s
plus
N
M
mark
plus
X1
X2
mark
X2
mark
plus
X1
X2
mark
X1
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
active
plus
N
0
mark
N
true
s
1
1
8366
and
2
1
2
26286
plus
2
0
mark
1
1
0
0
0
35218
s
1
0
mark
1
1
0
plus
2
1
2
15922
active
1
1
0
active
1
1
0
tt
0
11943
and
2
0
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
active
plus
N
s
M
mark
s
plus
N
M
mark
and
X1
X2
active
and
mark
X1
X2
s
active
X
s
X
mark
and
X1
X2
active
and
mark
X1
X2
plus
active
X1
X2
plus
X1
X2
mark
s
X
active
s
mark
X
active
and
tt
X
mark
X
active
plus
N
s
M
mark
s
plus
N
M
plus
X1
active
X2
plus
X1
X2
s
mark
X
s
X
mark
tt
active
tt
and
X1
mark
X2
and
X1
X2
mark
0
active
0
plus
X1
mark
X2
plus
X1
X2
and
X1
active
X2
and
X1
X2
and
active
X1
X2
and
X1
X2
and
mark
X1
X2
and
X1
X2
plus
mark
X1
X2
plus
X1
X2
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
active
plus
N
0
mark
N
mark
and
X1
X2
active
and
mark
X1
X2
active
plus
N
s
M
mark
s
plus
N
M
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
true
s
1
2241
and
2
1
2
3770
plus
2
0
mark
1
1
32279
0
0
1
s
1
0
mark
1
1
0
plus
2
1
2
32280
active
1
1
0
active
1
1
0
tt
0
38607
and
2
0
s
active
X
s
X
mark
and
X1
X2
active
and
mark
X1
X2
plus
active
X1
X2
plus
X1
X2
mark
s
X
active
s
mark
X
active
and
tt
X
mark
X
active
plus
N
s
M
mark
s
plus
N
M
plus
X1
active
X2
plus
X1
X2
s
mark
X
s
X
mark
tt
active
tt
and
X1
mark
X2
and
X1
X2
mark
0
active
0
plus
X1
mark
X2
plus
X1
X2
and
X1
active
X2
and
X1
X2
and
active
X1
X2
and
X1
X2
and
mark
X1
X2
and
X1
X2
plus
mark
X1
X2
plus
X1
X2
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
active
plus
N
0
mark
N
mark
plus
X1
X2
plus
mark
X1
mark
X2
false
mark
0
active
0
false
mark
tt
active
tt
false
mark
s
X
s
mark
X
false
active
plus
N
s
M
s
plus
N
M
false
s
mark
X
s
X
s
active
X
s
X
true
s
1
31598
and
2
1
18755
plus
2
0
mark
1
1
32279
0
0
60645
s
1
1
0
mark
1
1
0
plus
2
2
19091
active
1
1
1
active
1
0
tt
0
48808
and
2
0
s
mark
X
s
X
s
active
X
s
X
s
mark
X
s
X
s
mark
X
s
X
true
s
1
0
and
2
1
18755
plus
2
0
mark
1
1
32279
0
0
60645
s
1
1
0
mark
1
1
1
plus
2
24696
active
1
1
2
active
1
0
tt
0
48808
and
2
0
s
active
X
s
X
s
mark
X
s
X
active
plus
N
s
M
plus
N
M
false
plus
X1
active
X2
plus
X1
X2
plus
active
X1
X2
plus
X1
X2
plus
mark
X1
X2
plus
X1
X2
plus
X1
mark
X2
plus
X1
X2
true
s
1
0
and
2
1
1
plus
2
1
0
mark
1
1
32279
0
0
53793
s
1
0
mark
1
1
1
plus
2
1
active
1
1
2
active
1
0
tt
0
25785
and
2
0
plus
X1
mark
X2
plus
X1
X2
plus
X1
active
X2
plus
X1
X2
s
active
X
s
X
s
mark
X
s
X
plus
X1
active
X2
plus
X1
X2
plus
X1
mark
X2
plus
X1
X2
true
s
1
0
and
2
1
1
plus
2
2
0
mark
1
1
32279
0
0
53793
s
1
0
mark
1
1
1
plus
2
2332
active
1
1
2
active
1
0
tt
0
25785
and
2
0
s
active
X
s
X
s
mark
X
s
X
mark
and
X1
X2
and
mark
X1
X2
false
and
X1
mark
X2
and
X1
X2
and
active
X1
X2
and
X1
X2
and
X1
active
X2
and
X1
X2
and
mark
X1
X2
and
X1
X2
true
s
1
0
and
2
1
1
plus
2
0
mark
1
1
32279
0
0
1
s
1
0
mark
1
1
1
plus
2
1
active
1
1
2
active
1
0
tt
0
25785
and
2
2
0
and
mark
X1
X2
and
X1
X2
and
active
X1
X2
and
X1
X2
s
active
X
s
X
s
mark
X
s
X
and
active
X1
X2
and
X1
X2
and
mark
X1
X2
and
X1
X2
true
s
1
0
and
2
1
1
plus
2
0
mark
1
1
32279
0
0
22502
s
1
0
mark
1
1
24338
plus
2
27857
active
1
1
24339
active
1
0
tt
0
30371
and
2
1
0
s
active
X
s
X
s
mark
X
s
X
NaTT
certifiable-1.6