active
and
tt
X
mark
X
active
plus
N
0
mark
N
active
plus
N
s
M
mark
s
plus
N
M
active
and
X1
X2
and
active
X1
X2
active
plus
X1
X2
plus
active
X1
X2
active
plus
X1
X2
plus
X1
active
X2
active
s
X
s
active
X
and
mark
X1
X2
mark
and
X1
X2
plus
mark
X1
X2
mark
plus
X1
X2
plus
X1
mark
X2
mark
plus
X1
X2
s
mark
X
mark
s
X
proper
and
X1
X2
and
proper
X1
proper
X2
proper
tt
ok
tt
proper
plus
X1
X2
plus
proper
X1
proper
X2
proper
0
ok
0
proper
s
X
s
proper
X
and
ok
X1
ok
X2
ok
and
X1
X2
plus
ok
X1
ok
X2
ok
plus
X1
X2
s
ok
X
ok
s
X
top
mark
X
top
proper
X
top
ok
X
top
active
X
2.2
active
plus
X1
X2
active
X2
plus
ok
X1
ok
X2
plus
X1
X2
proper
and
X1
X2
proper
X1
active
s
X
s
active
X
proper
plus
X1
X2
proper
X1
top
mark
X
top
proper
X
active
plus
N
s
M
s
plus
N
M
proper
s
X
proper
X
top
mark
X
proper
X
active
s
X
active
X
active
plus
N
s
M
plus
N
M
top
ok
X
top
active
X
proper
and
X1
X2
proper
X2
proper
plus
X1
X2
proper
X2
proper
and
X1
X2
and
proper
X1
proper
X2
active
and
X1
X2
active
X1
proper
s
X
s
proper
X
active
and
X1
X2
and
active
X1
X2
active
plus
X1
X2
active
X1
s
ok
X
s
X
and
mark
X1
X2
and
X1
X2
top
ok
X
active
X
active
plus
X1
X2
plus
active
X1
X2
plus
mark
X1
X2
plus
X1
X2
active
plus
X1
X2
plus
X1
active
X2
proper
plus
X1
X2
plus
proper
X1
proper
X2
plus
X1
mark
X2
plus
X1
X2
s
mark
X
s
X
and
ok
X1
ok
X2
and
X1
X2
true
top
mark
X
top
proper
X
top
ok
X
top
active
X
true
top
1
1
proper
1
1
ok
1
1
s
1
1
active
1
1
s
1
4
1
top
1
0
and
2
5
1
2
plus
2
0
0
0
2
mark
1
4
1
proper
1
0
plus
2
5
1
2
active
1
0
tt
0
3
and
2
0
1
2
s
1
1
0
top
1
0
and
2
1
0
2
0
0
plus
2
0
0
0
0
mark
1
1
0
proper
1
0
plus
2
1
0
2
0
0
active
1
0
tt
0
0
and
2
1
0
2
0
0
top
ok
X
top
active
X
plus
ok
X1
ok
X2
ok
plus
X1
X2
active
and
X1
X2
and
active
X1
X2
proper
0
ok
0
and
mark
X1
X2
mark
and
X1
X2
active
and
tt
X
mark
X
active
plus
N
s
M
mark
s
plus
N
M
proper
s
X
s
proper
X
s
ok
X
ok
s
X
and
ok
X1
ok
X2
ok
and
X1
X2
active
plus
X1
X2
plus
active
X1
X2
plus
X1
mark
X2
mark
plus
X1
X2
active
s
X
s
active
X
proper
plus
X1
X2
plus
proper
X1
proper
X2
proper
and
X1
X2
and
proper
X1
proper
X2
s
mark
X
mark
s
X
plus
mark
X1
X2
mark
plus
X1
X2
proper
tt
ok
tt
active
plus
X1
X2
plus
X1
active
X2
active
plus
N
0
mark
N
top
ok
X
top
active
X
true
s
1
1
0
top
1
0
and
2
1
0
plus
2
0
top
1
1
0
proper
1
593
ok
1
1
2
0
0
591
s
1
0
mark
1
0
proper
1
0
plus
2
2
0
active
1
1
1
active
1
0
tt
0
1
and
2
0
plus
ok
X1
ok
X2
ok
plus
X1
X2
active
and
X1
X2
and
active
X1
X2
proper
0
ok
0
and
mark
X1
X2
mark
and
X1
X2
active
and
tt
X
mark
X
active
plus
N
s
M
mark
s
plus
N
M
proper
s
X
s
proper
X
s
ok
X
ok
s
X
and
ok
X1
ok
X2
ok
and
X1
X2
active
plus
X1
X2
plus
active
X1
X2
plus
X1
mark
X2
mark
plus
X1
X2
active
s
X
s
active
X
proper
plus
X1
X2
plus
proper
X1
proper
X2
proper
and
X1
X2
and
proper
X1
proper
X2
s
mark
X
mark
s
X
plus
mark
X1
X2
mark
plus
X1
X2
proper
tt
ok
tt
active
plus
X1
X2
plus
X1
active
X2
active
plus
N
0
mark
N
top
mark
X
proper
X
false
proper
s
X
proper
X
proper
plus
X1
X2
proper
X1
proper
and
X1
X2
proper
X1
proper
plus
X1
X2
proper
X2
proper
and
X1
X2
proper
X2
true
s
1
1
1
top
1
0
and
2
1
2
1
plus
2
0
top
1
0
proper
1
2
ok
1
1
1
0
0
1
s
1
0
mark
1
12457
proper
1
1
0
plus
2
1
2
1
active
1
1
36229
active
1
0
tt
0
1
and
2
0
plus
ok
X1
ok
X2
ok
plus
X1
X2
active
and
X1
X2
and
active
X1
X2
proper
0
ok
0
and
mark
X1
X2
mark
and
X1
X2
active
and
tt
X
mark
X
active
plus
N
s
M
mark
s
plus
N
M
s
ok
X
ok
s
X
and
ok
X1
ok
X2
ok
and
X1
X2
active
plus
X1
X2
plus
active
X1
X2
plus
X1
mark
X2
mark
plus
X1
X2
active
s
X
s
active
X
s
mark
X
mark
s
X
plus
mark
X1
X2
mark
plus
X1
X2
proper
tt
ok
tt
active
plus
X1
X2
plus
X1
active
X2
active
plus
N
0
mark
N
proper
and
X1
X2
and
proper
X1
proper
X2
false
proper
plus
X1
X2
plus
proper
X1
proper
X2
false
proper
s
X
s
proper
X
false
top
ok
X
active
X
false
active
s
X
active
X
active
plus
X1
X2
active
X1
active
and
X1
X2
active
X1
active
plus
X1
X2
active
X2
true
s
1
1
1
top
1
0
and
2
1
2
1
plus
2
0
top
1
0
proper
1
47422
ok
1
1
47421
0
0
1
s
1
0
mark
1
1
proper
1
0
plus
2
1
2
6879
active
1
1
59821
active
1
1
0
tt
0
1
and
2
0
plus
ok
X1
ok
X2
ok
plus
X1
X2
active
and
X1
X2
and
active
X1
X2
proper
0
ok
0
and
mark
X1
X2
mark
and
X1
X2
active
and
tt
X
mark
X
active
plus
N
s
M
mark
s
plus
N
M
s
ok
X
ok
s
X
and
ok
X1
ok
X2
ok
and
X1
X2
active
plus
X1
X2
plus
active
X1
X2
plus
X1
mark
X2
mark
plus
X1
X2
active
s
X
s
active
X
s
mark
X
mark
s
X
plus
mark
X1
X2
mark
plus
X1
X2
proper
tt
ok
tt
active
plus
X1
X2
plus
X1
active
X2
active
plus
N
0
mark
N
active
plus
X1
X2
plus
X1
active
X2
false
active
s
X
s
active
X
false
active
plus
X1
X2
plus
active
X1
X2
false
active
plus
N
s
M
s
plus
N
M
false
s
mark
X
s
X
s
ok
X
s
X
true
s
1
1
1
top
1
0
and
2
1
2
37894
plus
2
0
top
1
0
proper
1
2
ok
1
1
1
0
0
1
s
1
1
0
mark
1
1
1
proper
1
0
plus
2
1
2
0
active
1
1
1
active
1
0
tt
0
1
and
2
0
plus
ok
X1
ok
X2
ok
plus
X1
X2
active
and
X1
X2
and
active
X1
X2
proper
0
ok
0
and
mark
X1
X2
mark
and
X1
X2
active
and
tt
X
mark
X
active
plus
N
s
M
mark
s
plus
N
M
s
ok
X
ok
s
X
and
ok
X1
ok
X2
ok
and
X1
X2
active
plus
X1
X2
plus
active
X1
X2
plus
X1
mark
X2
mark
plus
X1
X2
active
s
X
s
active
X
s
mark
X
mark
s
X
plus
mark
X1
X2
mark
plus
X1
X2
proper
tt
ok
tt
active
plus
X1
X2
plus
X1
active
X2
active
plus
N
0
mark
N
active
plus
N
s
M
plus
N
M
false
plus
X1
mark
X2
plus
X1
X2
plus
mark
X1
X2
plus
X1
X2
plus
ok
X1
ok
X2
plus
X1
X2
true
s
1
1
1
top
1
0
and
2
1
2
23217
plus
2
2
0
top
1
0
proper
1
2
ok
1
1
1
0
0
1
s
1
0
mark
1
1
1
proper
1
0
plus
2
1
2
0
active
1
1
41065
active
1
0
tt
0
1
and
2
0
plus
mark
X1
X2
plus
X1
X2
plus
ok
X1
ok
X2
ok
plus
X1
X2
active
and
X1
X2
and
active
X1
X2
proper
0
ok
0
and
mark
X1
X2
mark
and
X1
X2
active
and
tt
X
mark
X
active
plus
N
s
M
mark
s
plus
N
M
s
ok
X
ok
s
X
and
ok
X1
ok
X2
ok
and
X1
X2
active
plus
X1
X2
plus
active
X1
X2
plus
X1
mark
X2
mark
plus
X1
X2
active
s
X
s
active
X
s
mark
X
mark
s
X
plus
mark
X1
X2
mark
plus
X1
X2
proper
tt
ok
tt
active
plus
X1
X2
plus
X1
active
X2
active
plus
N
0
mark
N
plus
mark
X1
X2
plus
X1
X2
true
s
1
1
1
top
1
0
and
2
1
2
1
plus
2
1
0
top
1
0
proper
1
2
ok
1
1
1
0
0
1
s
1
0
mark
1
1
1
proper
1
0
plus
2
1
2
0
active
1
1
1
active
1
0
tt
0
1
and
2
0
plus
ok
X1
ok
X2
ok
plus
X1
X2
active
and
X1
X2
and
active
X1
X2
proper
0
ok
0
and
mark
X1
X2
mark
and
X1
X2
active
and
tt
X
mark
X
active
plus
N
s
M
mark
s
plus
N
M
s
ok
X
ok
s
X
and
ok
X1
ok
X2
ok
and
X1
X2
active
plus
X1
X2
plus
active
X1
X2
plus
X1
mark
X2
mark
plus
X1
X2
active
s
X
s
active
X
s
mark
X
mark
s
X
plus
mark
X1
X2
mark
plus
X1
X2
proper
tt
ok
tt
active
plus
X1
X2
plus
X1
active
X2
active
plus
N
0
mark
N
active
and
X1
X2
and
active
X1
X2
false
and
ok
X1
ok
X2
and
X1
X2
and
mark
X1
X2
and
X1
X2
true
s
1
1
1
top
1
0
and
2
1
2
1
plus
2
0
top
1
0
proper
1
2
ok
1
1
1
0
0
1
s
1
0
mark
1
1
1
proper
1
0
plus
2
1
2
0
active
1
1
56247
active
1
0
tt
0
1
and
2
1
0
plus
ok
X1
ok
X2
ok
plus
X1
X2
active
and
X1
X2
and
active
X1
X2
proper
0
ok
0
and
mark
X1
X2
mark
and
X1
X2
active
and
tt
X
mark
X
active
plus
N
s
M
mark
s
plus
N
M
s
ok
X
ok
s
X
and
ok
X1
ok
X2
ok
and
X1
X2
active
plus
X1
X2
plus
active
X1
X2
plus
X1
mark
X2
mark
plus
X1
X2
active
s
X
s
active
X
s
mark
X
mark
s
X
plus
mark
X1
X2
mark
plus
X1
X2
proper
tt
ok
tt
active
plus
X1
X2
plus
X1
active
X2
active
plus
N
0
mark
N
NaTT
certifiable-1.6