active
and
tt
X
mark
X
active
plus
N
0
mark
N
active
plus
N
s
M
mark
s
plus
N
M
active
x
N
0
mark
0
active
x
N
s
M
mark
plus
x
N
M
N
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
mark
x
X1
X2
active
x
mark
X1
mark
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
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
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
2.2
mark
and
X1
X2
active
and
mark
X1
X2
active
plus
N
s
M
mark
s
plus
N
M
mark
plus
X1
X2
mark
X1
and
X1
active
X2
and
X1
X2
active
x
N
0
mark
0
mark
0
active
0
and
mark
X1
X2
and
X1
X2
mark
x
X1
X2
mark
X1
x
active
X1
X2
x
X1
X2
x
mark
X1
X2
x
X1
X2
active
x
N
s
M
x
N
M
x
X1
mark
X2
x
X1
X2
active
plus
N
s
M
plus
N
M
and
active
X1
X2
and
X1
X2
active
plus
N
s
M
s
plus
N
M
plus
X1
mark
X2
plus
X1
X2
mark
s
X
mark
X
mark
x
X1
X2
active
x
mark
X1
mark
X2
plus
active
X1
X2
plus
X1
X2
mark
x
X1
X2
mark
X2
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
and
X1
mark
X2
and
X1
X2
plus
mark
X1
X2
plus
X1
X2
active
x
N
s
M
plus
x
N
M
N
mark
plus
X1
X2
plus
mark
X1
mark
X2
s
active
X
s
X
mark
tt
active
tt
active
and
tt
X
mark
X
mark
s
X
s
mark
X
plus
X1
active
X2
plus
X1
X2
mark
plus
X1
X2
mark
X2
active
x
N
s
M
mark
plus
x
N
M
N
s
mark
X
s
X
mark
and
X1
X2
and
mark
X1
X2
active
plus
N
0
mark
N
mark
x
X1
X2
x
mark
X1
mark
X2
x
X1
active
X2
x
X1
X2
mark
and
X1
X2
mark
X1
mark
s
X
active
s
mark
X
true
mark
s
X
active
s
mark
X
mark
and
X1
X2
mark
X1
active
plus
N
0
mark
N
active
x
N
s
M
mark
plus
x
N
M
N
mark
plus
X1
X2
mark
X2
mark
x
X1
X2
mark
X1
active
and
tt
X
mark
X
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
x
X1
X2
mark
X2
mark
x
X1
X2
active
x
mark
X1
mark
X2
mark
plus
X1
X2
mark
X1
active
plus
N
s
M
mark
s
plus
N
M
mark
and
X1
X2
active
and
mark
X1
X2
mark
s
X
mark
X
true
s
1
39
and
2
40
plus
2
0
x
2
40
mark
1
40
0
0
1
x
2
0
s
1
0
mark
1
1
plus
2
40
active
1
1
active
1
1
0
tt
0
1
and
2
0
mark
s
X
mark
X
mark
and
X1
X2
active
and
mark
X1
X2
active
plus
N
s
M
mark
s
plus
N
M
mark
plus
X1
X2
mark
X1
mark
x
X1
X2
active
x
mark
X1
mark
X2
mark
x
X1
X2
mark
X2
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
active
and
tt
X
mark
X
mark
x
X1
X2
mark
X1
mark
plus
X1
X2
mark
X2
active
x
N
s
M
mark
plus
x
N
M
N
active
plus
N
0
mark
N
mark
and
X1
X2
mark
X1
plus
active
X1
X2
plus
X1
X2
active
x
N
0
mark
0
and
X1
active
X2
and
X1
X2
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
active
and
tt
X
mark
X
active
plus
N
s
M
mark
s
plus
N
M
plus
mark
X1
X2
plus
X1
X2
s
active
X
s
X
plus
X1
active
X2
plus
X1
X2
plus
X1
mark
X2
plus
X1
X2
x
mark
X1
X2
x
X1
X2
active
x
N
s
M
mark
plus
x
N
M
N
mark
s
X
active
s
mark
X
mark
tt
active
tt
s
mark
X
s
X
x
X1
active
X2
x
X1
X2
and
active
X1
X2
and
X1
X2
and
mark
X1
X2
and
X1
X2
x
X1
mark
X2
x
X1
X2
x
active
X1
X2
x
X1
X2
mark
x
X1
X2
active
x
mark
X1
mark
X2
mark
0
active
0
and
X1
mark
X2
and
X1
X2
mark
and
X1
X2
active
and
mark
X1
X2
active
plus
N
0
mark
N
mark
plus
X1
X2
mark
X2
mark
plus
X1
X2
mark
X1
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
active
and
tt
X
mark
X
active
plus
N
s
M
mark
s
plus
N
M
active
x
N
s
M
mark
plus
x
N
M
N
mark
s
X
mark
X
mark
x
X1
X2
mark
X2
mark
x
X1
X2
mark
X1
mark
x
X1
X2
active
x
mark
X1
mark
X2
mark
and
X1
X2
mark
X1
mark
and
X1
X2
active
and
mark
X1
X2
active
plus
N
0
mark
N
true
s
1
1
0
and
2
1
14681
2
40967
0
plus
2
0
x
2
1
36460
2
36459
0
mark
1
1
0
0
0
36461
x
2
0
s
1
0
mark
1
1
0
plus
2
1
0
2
36460
0
active
1
1
0
active
1
1
0
tt
0
11943
and
2
0
active
plus
N
0
mark
N
mark
and
X1
X2
active
and
mark
X1
X2
mark
x
X1
X2
active
x
mark
X1
mark
X2
mark
s
X
mark
X
active
x
N
s
M
mark
plus
x
N
M
N
active
plus
N
s
M
mark
s
plus
N
M
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
plus
X1
X2
mark
X1
plus
active
X1
X2
plus
X1
X2
active
x
N
0
mark
0
and
X1
active
X2
and
X1
X2
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
active
and
tt
X
mark
X
active
plus
N
s
M
mark
s
plus
N
M
plus
mark
X1
X2
plus
X1
X2
s
active
X
s
X
plus
X1
active
X2
plus
X1
X2
plus
X1
mark
X2
plus
X1
X2
x
mark
X1
X2
x
X1
X2
active
x
N
s
M
mark
plus
x
N
M
N
mark
s
X
active
s
mark
X
mark
tt
active
tt
s
mark
X
s
X
x
X1
active
X2
x
X1
X2
and
active
X1
X2
and
X1
X2
and
mark
X1
X2
and
X1
X2
x
X1
mark
X2
x
X1
X2
x
active
X1
X2
x
X1
X2
mark
x
X1
X2
active
x
mark
X1
mark
X2
mark
0
active
0
and
X1
mark
X2
and
X1
X2
mark
and
X1
X2
active
and
mark
X1
X2
active
plus
N
0
mark
N
mark
plus
X1
X2
mark
X1
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
active
plus
N
s
M
mark
s
plus
N
M
active
x
N
s
M
mark
plus
x
N
M
N
mark
s
X
mark
X
mark
x
X1
X2
active
x
mark
X1
mark
X2
mark
and
X1
X2
active
and
mark
X1
X2
active
plus
N
0
mark
N
true
s
1
14682
and
2
14682
plus
2
0
x
2
17680
mark
1
17680
0
0
0
x
2
0
s
1
0
mark
1
14681
plus
2
17680
active
1
1
0
active
1
1
0
tt
0
0
and
2
0
active
plus
N
0
mark
N
mark
x
X1
X2
active
x
mark
X1
mark
X2
mark
s
X
mark
X
active
x
N
s
M
mark
plus
x
N
M
N
active
plus
N
s
M
mark
s
plus
N
M
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
plus
X1
X2
mark
X1
plus
active
X1
X2
plus
X1
X2
and
X1
active
X2
and
X1
X2
plus
mark
X1
X2
plus
X1
X2
s
active
X
s
X
plus
X1
active
X2
plus
X1
X2
plus
X1
mark
X2
plus
X1
X2
x
mark
X1
X2
x
X1
X2
s
mark
X
s
X
x
X1
active
X2
x
X1
X2
and
active
X1
X2
and
X1
X2
and
mark
X1
X2
and
X1
X2
x
X1
mark
X2
x
X1
X2
x
active
X1
X2
x
X1
X2
and
X1
mark
X2
and
X1
X2
mark
plus
X1
X2
mark
X1
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
active
plus
N
s
M
mark
s
plus
N
M
active
x
N
s
M
mark
plus
x
N
M
N
mark
s
X
mark
X
mark
x
X1
X2
active
x
mark
X1
mark
X2
active
plus
N
0
mark
N
true
and
2
2
mark
1
1
active
1
1
and
2
2
s
1
0
1
plus
2
0
x
2
4
2
1
mark
1
2
1
0
0
1
x
2
0
s
1
0
plus
2
3
2
1
active
1
1
1
tt
0
5
s
1
1
0
plus
2
0
x
2
1
0
2
0
0
mark
1
1
0
0
0
0
x
2
0
s
1
0
plus
2
1
0
2
0
0
active
1
1
0
tt
0
0
plus
active
X1
X2
plus
X1
X2
active
x
N
0
mark
0
and
X1
active
X2
and
X1
X2
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
active
and
tt
X
mark
X
active
plus
N
s
M
mark
s
plus
N
M
plus
mark
X1
X2
plus
X1
X2
s
active
X
s
X
plus
X1
active
X2
plus
X1
X2
plus
X1
mark
X2
plus
X1
X2
x
mark
X1
X2
x
X1
X2
active
x
N
s
M
mark
plus
x
N
M
N
mark
s
X
active
s
mark
X
mark
tt
active
tt
s
mark
X
s
X
x
X1
active
X2
x
X1
X2
and
active
X1
X2
and
X1
X2
and
mark
X1
X2
and
X1
X2
x
X1
mark
X2
x
X1
X2
x
active
X1
X2
x
X1
X2
mark
x
X1
X2
active
x
mark
X1
mark
X2
mark
0
active
0
and
X1
mark
X2
and
X1
X2
mark
and
X1
X2
active
and
mark
X1
X2
active
plus
N
0
mark
N
mark
and
X1
X2
and
mark
X1
X2
false
and
active
X1
X2
and
X1
X2
and
mark
X1
X2
and
X1
X2
and
X1
mark
X2
and
X1
X2
and
X1
active
X2
and
X1
X2
true
s
1
1
20586
and
2
1
plus
2
0
x
2
2
40436
mark
1
0
0
0
17888
x
2
0
s
1
0
mark
1
1
1
plus
2
1
20588
active
1
1
2
active
1
0
tt
0
31598
and
2
1
0
and
X1
active
X2
and
X1
X2
and
X1
mark
X2
and
X1
X2
and
X1
active
X2
and
X1
X2
and
X1
mark
X2
and
X1
X2
true
s
1
1
19266
and
2
9508
plus
2
0
x
2
2
38525
mark
1
0
0
0
38578
x
2
0
s
1
0
mark
1
1
1
plus
2
1
38532
active
1
1
19266
active
1
0
tt
0
34444
and
2
2
0
active
x
N
s
M
plus
x
N
M
N
false
active
x
N
s
M
x
N
M
false
mark
x
X1
X2
x
mark
X1
mark
X2
false
x
X1
active
X2
x
X1
X2
x
X1
mark
X2
x
X1
X2
x
mark
X1
X2
x
X1
X2
x
active
X1
X2
x
X1
X2
true
s
1
1
15262
and
2
9508
plus
2
0
x
2
2
15943
mark
1
0
0
0
4684
x
2
1
0
s
1
0
mark
1
1
1
plus
2
1
31967
active
1
1
2
active
1
0
tt
0
1
and
2
0
x
X1
mark
X2
x
X1
X2
x
X1
active
X2
x
X1
X2
x
X1
active
X2
x
X1
X2
x
X1
mark
X2
x
X1
X2
true
s
1
1
44199
and
2
2805
plus
2
0
x
2
2
33840
mark
1
0
0
0
1
x
2
2
0
s
1
0
mark
1
1
240
plus
2
1
44201
active
1
1
241
active
1
0
tt
0
7210
and
2
0
mark
tt
active
tt
false
active
plus
N
s
M
s
plus
N
M
false
active
plus
N
s
M
plus
N
M
false
mark
s
X
s
mark
X
false
s
mark
X
s
X
s
active
X
s
X
true
s
1
1
2
and
2
41347
plus
2
0
x
2
2
39090
mark
1
0
0
0
35873
x
2
0
s
1
1
0
mark
1
1
240
plus
2
1
12704
active
1
1
241
active
1
0
tt
0
55573
and
2
0
active
x
N
0
mark
0
false
mark
0
active
0
false
mark
plus
X1
X2
plus
mark
X1
mark
X2
false
plus
X1
mark
X2
plus
X1
X2
plus
X1
active
X2
plus
X1
X2
plus
mark
X1
X2
plus
X1
X2
plus
active
X1
X2
plus
X1
X2
true
s
1
1
29274
and
2
14459
plus
2
1
2
0
x
2
2
44055
mark
1
0
0
0
3578
x
2
0
s
1
0
mark
1
1
15047
plus
2
1
29276
active
1
1
15048
active
1
0
tt
0
25532
and
2
0
NaTT
certifiable-1.6