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
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
active
x
X1
X2
x
active
X1
X2
active
x
X1
X2
x
X1
active
X2
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
x
mark
X1
X2
mark
x
X1
X2
x
X1
mark
X2
mark
x
X1
X2
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
proper
x
X1
X2
x
proper
X1
proper
X2
and
ok
X1
ok
X2
ok
and
X1
X2
plus
ok
X1
ok
X2
ok
plus
X1
X2
s
ok
X
ok
s
X
x
ok
X1
ok
X2
ok
x
X1
X2
top
mark
X
top
proper
X
top
ok
X
top
active
X
2.2
top
ok
X
active
X
proper
s
X
proper
X
active
plus
N
s
M
plus
N
M
proper
and
X1
X2
proper
X2
active
plus
X1
X2
active
X2
s
mark
X
s
X
active
s
X
s
active
X
proper
and
X1
X2
proper
X1
proper
x
X1
X2
proper
X2
active
x
X1
X2
active
X2
proper
x
X1
X2
x
proper
X1
proper
X2
active
x
N
s
M
plus
x
N
M
N
active
x
X1
X2
active
X1
proper
x
X1
X2
proper
X1
x
X1
mark
X2
x
X1
X2
and
mark
X1
X2
and
X1
X2
x
ok
X1
ok
X2
x
X1
X2
active
x
N
s
M
x
N
M
active
plus
X1
X2
plus
active
X1
X2
active
s
X
active
X
proper
and
X1
X2
and
proper
X1
proper
X2
and
ok
X1
ok
X2
and
X1
X2
x
mark
X1
X2
x
X1
X2
plus
mark
X1
X2
plus
X1
X2
proper
s
X
s
proper
X
active
x
X1
X2
x
active
X1
X2
active
plus
N
s
M
s
plus
N
M
top
mark
X
proper
X
proper
plus
X1
X2
plus
proper
X1
proper
X2
s
ok
X
s
X
proper
plus
X1
X2
proper
X2
top
mark
X
top
proper
X
active
plus
X1
X2
plus
X1
active
X2
active
plus
X1
X2
active
X1
plus
ok
X1
ok
X2
plus
X1
X2
active
and
X1
X2
and
active
X1
X2
top
ok
X
top
active
X
active
x
X1
X2
x
X1
active
X2
plus
X1
mark
X2
plus
X1
X2
active
and
X1
X2
active
X1
proper
plus
X1
X2
proper
X1
true
top
ok
X
top
active
X
top
mark
X
top
proper
X
true
top
1
1
plus
2
2
top
1
1
proper
1
1
ok
1
1
active
1
1
active
1
1
s
1
1
1
and
2
2
2
1
x
2
4
2
1
0
0
0
x
2
0
1
2
s
1
0
mark
1
1
1
proper
1
0
plus
2
3
2
1
tt
0
3
and
2
0
1
2
s
1
1
0
and
2
1
0
2
0
0
x
2
1
0
2
0
0
0
0
0
x
2
1
0
2
0
0
s
1
0
mark
1
1
0
proper
1
0
plus
2
1
0
2
0
0
tt
0
0
and
2
1
0
2
0
0
top
ok
X
top
active
X
proper
and
X1
X2
and
proper
X1
proper
X2
active
x
N
0
mark
0
s
mark
X
mark
s
X
active
plus
X1
X2
plus
X1
active
X2
active
and
tt
X
mark
X
active
plus
N
s
M
mark
s
plus
N
M
x
mark
X1
X2
mark
x
X1
X2
proper
0
ok
0
s
ok
X
ok
s
X
proper
tt
ok
tt
x
X1
mark
X2
mark
x
X1
X2
x
ok
X1
ok
X2
ok
x
X1
X2
proper
s
X
s
proper
X
active
x
N
s
M
mark
plus
x
N
M
N
active
x
X1
X2
x
active
X1
X2
active
plus
X1
X2
plus
active
X1
X2
proper
plus
X1
X2
plus
proper
X1
proper
X2
plus
ok
X1
ok
X2
ok
plus
X1
X2
plus
X1
mark
X2
mark
plus
X1
X2
and
mark
X1
X2
mark
and
X1
X2
proper
x
X1
X2
x
proper
X1
proper
X2
and
ok
X1
ok
X2
ok
and
X1
X2
active
x
X1
X2
x
X1
active
X2
active
s
X
s
active
X
plus
mark
X1
X2
mark
plus
X1
X2
active
and
X1
X2
and
active
X1
X2
active
plus
N
0
mark
N
top
ok
X
top
active
X
true
s
1
1
0
top
1
0
and
2
2
0
plus
2
0
top
1
1
0
x
2
1
0
proper
1
13508
ok
1
1
2
0
0
1
x
2
0
s
1
0
mark
1
0
proper
1
0
plus
2
2
0
active
1
1
1
active
1
0
tt
0
13506
and
2
0
proper
and
X1
X2
and
proper
X1
proper
X2
active
x
N
0
mark
0
s
mark
X
mark
s
X
active
plus
X1
X2
plus
X1
active
X2
active
and
tt
X
mark
X
active
plus
N
s
M
mark
s
plus
N
M
x
mark
X1
X2
mark
x
X1
X2
proper
0
ok
0
s
ok
X
ok
s
X
proper
tt
ok
tt
x
X1
mark
X2
mark
x
X1
X2
x
ok
X1
ok
X2
ok
x
X1
X2
proper
s
X
s
proper
X
active
x
N
s
M
mark
plus
x
N
M
N
active
x
X1
X2
x
active
X1
X2
active
plus
X1
X2
plus
active
X1
X2
proper
plus
X1
X2
plus
proper
X1
proper
X2
plus
ok
X1
ok
X2
ok
plus
X1
X2
plus
X1
mark
X2
mark
plus
X1
X2
and
mark
X1
X2
mark
and
X1
X2
proper
x
X1
X2
x
proper
X1
proper
X2
and
ok
X1
ok
X2
ok
and
X1
X2
active
x
X1
X2
x
X1
active
X2
active
s
X
s
active
X
plus
mark
X1
X2
mark
plus
X1
X2
active
and
X1
X2
and
active
X1
X2
active
plus
N
0
mark
N
top
mark
X
proper
X
false
proper
plus
X1
X2
proper
X1
proper
x
X1
X2
proper
X1
proper
x
X1
X2
proper
X2
proper
plus
X1
X2
proper
X2
proper
and
X1
X2
proper
X1
proper
and
X1
X2
proper
X2
proper
s
X
proper
X
true
s
1
1
1
top
1
0
and
2
1
2
1
plus
2
0
top
1
0
x
2
1
2
1
proper
1
2
ok
1
1
1
0
0
1
x
2
0
s
1
0
mark
1
1
0
proper
1
1
0
plus
2
1
2
1
active
1
27858
active
1
0
tt
0
1
and
2
0
active
x
N
0
mark
0
s
mark
X
mark
s
X
x
mark
X1
X2
mark
x
X1
X2
proper
0
ok
0
s
ok
X
ok
s
X
proper
tt
ok
tt
x
X1
mark
X2
mark
x
X1
X2
x
ok
X1
ok
X2
ok
x
X1
X2
plus
ok
X1
ok
X2
ok
plus
X1
X2
plus
X1
mark
X2
mark
plus
X1
X2
and
mark
X1
X2
mark
and
X1
X2
and
ok
X1
ok
X2
ok
and
X1
X2
plus
mark
X1
X2
mark
plus
X1
X2
proper
x
X1
X2
x
proper
X1
proper
X2
false
proper
plus
X1
X2
plus
proper
X1
proper
X2
false
proper
s
X
s
proper
X
false
proper
and
X1
X2
and
proper
X1
proper
X2
false
top
ok
X
active
X
false
active
and
X1
X2
active
X1
active
x
X1
X2
active
X1
active
plus
X1
X2
active
X1
active
x
X1
X2
active
X2
active
plus
X1
X2
active
X2
active
s
X
active
X
true
s
1
1
1
top
1
0
and
2
1
2
1
plus
2
0
top
1
0
x
2
1
2
1
proper
1
2
ok
1
1
1
0
0
1
x
2
0
s
1
0
mark
1
1
0
proper
1
0
plus
2
1
2
1
active
1
2
active
1
1
0
tt
0
1
and
2
0
active
x
N
0
mark
0
s
mark
X
mark
s
X
x
mark
X1
X2
mark
x
X1
X2
proper
0
ok
0
s
ok
X
ok
s
X
proper
tt
ok
tt
x
X1
mark
X2
mark
x
X1
X2
x
ok
X1
ok
X2
ok
x
X1
X2
and
mark
X1
X2
mark
and
X1
X2
and
ok
X1
ok
X2
ok
and
X1
X2
active
and
X1
X2
and
active
X1
X2
false
and
mark
X1
X2
and
X1
X2
and
ok
X1
ok
X2
and
X1
X2
true
s
1
1
1
top
1
0
and
2
1
2
3153
plus
2
0
top
1
0
x
2
1
2
1
proper
1
2
ok
1
1
1
0
0
1
x
2
0
s
1
0
mark
1
1
0
proper
1
0
plus
2
1
2
1
active
1
2
active
1
0
tt
0
1
and
2
1
2
0
and
mark
X1
X2
and
X1
X2
active
x
N
0
mark
0
s
mark
X
mark
s
X
x
mark
X1
X2
mark
x
X1
X2
proper
0
ok
0
s
ok
X
ok
s
X
proper
tt
ok
tt
x
X1
mark
X2
mark
x
X1
X2
x
ok
X1
ok
X2
ok
x
X1
X2
and
mark
X1
X2
mark
and
X1
X2
and
ok
X1
ok
X2
ok
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
x
2
1
2
1
proper
1
2
ok
1
1
1
0
0
1
x
2
0
s
1
0
mark
1
1
1
proper
1
0
plus
2
1
2
1
active
1
3
active
1
0
tt
0
1
and
2
1
0
active
x
N
0
mark
0
s
mark
X
mark
s
X
x
mark
X1
X2
mark
x
X1
X2
proper
0
ok
0
s
ok
X
ok
s
X
proper
tt
ok
tt
x
X1
mark
X2
mark
x
X1
X2
x
ok
X1
ok
X2
ok
x
X1
X2
and
mark
X1
X2
mark
and
X1
X2
and
ok
X1
ok
X2
ok
and
X1
X2
active
s
X
s
active
X
false
active
x
X1
X2
x
X1
active
X2
false
active
x
X1
X2
x
active
X1
X2
false
active
x
N
s
M
plus
x
N
M
N
false
active
x
N
s
M
x
N
M
false
x
ok
X1
ok
X2
x
X1
X2
x
X1
mark
X2
x
X1
X2
x
mark
X1
X2
x
X1
X2
true
s
1
1
1
top
1
0
and
2
1
2
1
plus
2
0
top
1
0
x
2
1
2
1
proper
1
2
ok
1
1
1
0
0
1
x
2
2
0
s
1
0
mark
1
1
1
proper
1
0
plus
2
1
2
1
active
1
3
active
1
0
tt
0
1
and
2
0
x
mark
X1
X2
x
X1
X2
active
x
N
0
mark
0
s
mark
X
mark
s
X
x
mark
X1
X2
mark
x
X1
X2
proper
0
ok
0
s
ok
X
ok
s
X
proper
tt
ok
tt
x
X1
mark
X2
mark
x
X1
X2
x
ok
X1
ok
X2
ok
x
X1
X2
and
mark
X1
X2
mark
and
X1
X2
and
ok
X1
ok
X2
ok
and
X1
X2
x
mark
X1
X2
x
X1
X2
true
s
1
1
1
top
1
0
and
2
2
4
plus
2
0
top
1
0
x
2
1
2
1
proper
1
2
ok
1
1
1
0
0
1
x
2
1
0
s
1
0
mark
1
1
1
proper
1
0
plus
2
1
2
1
active
1
3
active
1
0
tt
0
1
and
2
0
active
x
N
0
mark
0
s
mark
X
mark
s
X
x
mark
X1
X2
mark
x
X1
X2
proper
0
ok
0
s
ok
X
ok
s
X
proper
tt
ok
tt
x
X1
mark
X2
mark
x
X1
X2
x
ok
X1
ok
X2
ok
x
X1
X2
active
plus
N
s
M
s
plus
N
M
false
s
ok
X
s
X
s
mark
X
s
X
true
s
1
1
18748
top
1
0
and
2
2
18751
plus
2
0
top
1
0
x
2
1
2
1
proper
1
2
ok
1
1
1
0
0
1
x
2
0
s
1
1
0
mark
1
1
1
proper
1
0
plus
2
1
2
1
active
1
18750
active
1
0
tt
0
1
and
2
0
active
x
N
0
mark
0
s
mark
X
mark
s
X
x
mark
X1
X2
mark
x
X1
X2
proper
0
ok
0
s
ok
X
ok
s
X
proper
tt
ok
tt
x
X1
mark
X2
mark
x
X1
X2
x
ok
X1
ok
X2
ok
x
X1
X2
active
plus
N
s
M
plus
N
M
false
active
plus
X1
X2
plus
X1
active
X2
false
active
plus
X1
X2
plus
active
X1
X2
false
plus
X1
mark
X2
plus
X1
X2
plus
ok
X1
ok
X2
plus
X1
X2
plus
mark
X1
X2
plus
X1
X2
true
s
1
1
1
top
1
0
and
2
2
4
plus
2
1
2
0
top
1
0
x
2
1
2
1
proper
1
2
ok
1
1
1
0
0
1
x
2
0
s
1
0
mark
1
1
1
proper
1
0
plus
2
1
2
1
active
1
3
active
1
0
tt
0
1
and
2
0
active
x
N
0
mark
0
s
mark
X
mark
s
X
x
mark
X1
X2
mark
x
X1
X2
proper
0
ok
0
s
ok
X
ok
s
X
proper
tt
ok
tt
x
X1
mark
X2
mark
x
X1
X2
x
ok
X1
ok
X2
ok
x
X1
X2
NaTT
certifiable-1.6