active
f
x
mark
x
top
active
c
top
mark
c
top
mark
x
top
check
x
check
f
x
f
check
x
check
x
start
match
f
X
x
match
f
x
f
y
f
match
x
y
match
X
x
proper
x
proper
c
ok
c
proper
f
x
f
proper
x
f
ok
x
ok
f
x
start
ok
x
found
x
f
found
x
found
f
x
top
found
x
top
active
x
active
f
x
f
active
x
f
mark
x
mark
f
x
2.2
match
f
x
f
y
f
match
x
y
proper
f
x
f
proper
x
check
x
start
match
f
X
x
active
f
x
f
active
x
match
X
x
proper
x
f
ok
x
f
x
check
x
match
f
X
x
check
f
x
check
x
proper
f
x
proper
x
active
f
x
active
x
top
found
x
active
x
top
mark
x
check
x
check
f
x
f
check
x
top
mark
x
top
check
x
match
f
x
f
y
match
x
y
top
active
c
top
mark
c
f
found
x
f
x
check
x
f
X
top
found
x
top
active
x
f
mark
x
f
x
true
top
found
x
top
active
x
top
active
c
top
mark
c
top
mark
x
top
check
x
true
top
1
0
check
1
0
top
1
1
0
c
0
52869
f
1
52868
check
1
52868
proper
1
52869
ok
1
1
0
match
2
0
mark
1
52868
f
1
0
found
1
1
0
proper
1
0
match
2
1
0
start
1
0
active
1
1
0
active
1
0
start
1
1
0
X
0
52869
top
mark
x
top
check
x
top
found
x
top
active
x
check
f
x
f
check
x
f
mark
x
mark
f
x
proper
c
ok
c
active
f
x
mark
x
check
x
start
match
f
X
x
f
ok
x
ok
f
x
match
X
x
proper
x
active
f
x
f
active
x
f
found
x
found
f
x
start
ok
x
found
x
proper
f
x
f
proper
x
match
f
x
f
y
f
match
x
y
top
mark
x
top
check
x
top
found
x
top
active
x
true
top
1
0
check
1
0
top
1
1
0
c
0
1
f
1
1
24276
check
1
1
37733
proper
1
1
1784
ok
1
1
0
match
2
0
mark
1
1
37734
f
1
0
found
1
1
13459
proper
1
0
match
2
2
21828
start
1
0
active
1
1
13458
active
1
0
start
1
1
13459
X
0
35495
check
f
x
f
check
x
f
mark
x
mark
f
x
proper
c
ok
c
active
f
x
mark
x
check
x
start
match
f
X
x
f
ok
x
ok
f
x
match
X
x
proper
x
active
f
x
f
active
x
f
found
x
found
f
x
start
ok
x
found
x
proper
f
x
f
proper
x
match
f
x
f
y
f
match
x
y
top
mark
x
check
x
false
top
found
x
active
x
false
active
f
x
active
x
true
top
1
0
check
1
0
top
1
1
0
c
0
1
f
1
1
1
check
1
1
35287
proper
1
1
1
ok
1
1
0
match
2
0
mark
1
1
28224
f
1
0
found
1
1
7126
proper
1
0
match
2
2
1
start
1
0
active
1
1
61131
active
1
1
0
start
1
1
13459
X
0
24766
check
f
x
f
check
x
f
mark
x
mark
f
x
proper
c
ok
c
active
f
x
mark
x
check
x
start
match
f
X
x
f
ok
x
ok
f
x
match
X
x
proper
x
active
f
x
f
active
x
f
found
x
found
f
x
start
ok
x
found
x
proper
f
x
f
proper
x
match
f
x
f
y
f
match
x
y
active
f
x
f
active
x
false
check
f
x
check
x
true
top
1
0
check
1
1
0
top
1
1
0
c
0
1
f
1
1
1
check
1
1
35287
proper
1
1
1
ok
1
1
0
match
2
0
mark
1
1
28224
f
1
0
found
1
1
7126
proper
1
0
match
2
2
1
start
1
0
active
1
1
61131
active
1
0
start
1
1
13459
X
0
38690
check
f
x
f
check
x
f
mark
x
mark
f
x
proper
c
ok
c
active
f
x
mark
x
check
x
start
match
f
X
x
f
ok
x
ok
f
x
match
X
x
proper
x
active
f
x
f
active
x
f
found
x
found
f
x
start
ok
x
found
x
proper
f
x
f
proper
x
match
f
x
f
y
f
match
x
y
check
x
start
match
f
X
x
false
check
x
match
f
X
x
false
match
f
x
f
y
match
x
y
true
top
1
0
check
1
0
top
1
1
0
c
0
1
f
1
1
1
check
1
1
35287
proper
1
1
1
ok
1
1
0
match
2
1
0
mark
1
1
12330
f
1
0
found
1
1
5806
proper
1
0
match
2
2
1
start
1
0
active
1
1
26720
active
1
0
start
1
1
13459
X
0
18826
check
f
x
f
check
x
f
mark
x
mark
f
x
proper
c
ok
c
active
f
x
mark
x
check
x
start
match
f
X
x
f
ok
x
ok
f
x
match
X
x
proper
x
active
f
x
f
active
x
f
found
x
found
f
x
start
ok
x
found
x
proper
f
x
f
proper
x
match
f
x
f
y
f
match
x
y
match
f
x
f
y
f
match
x
y
false
match
X
x
proper
x
false
proper
f
x
proper
x
true
top
1
0
check
1
0
top
1
1
0
c
0
1
f
1
1
1
check
1
1
2
proper
1
1
1
ok
1
1
0
match
2
0
mark
1
1
1136
f
1
0
found
1
1
1
proper
1
1
0
match
2
2
1
start
1
0
active
1
1
26720
active
1
0
start
1
1
1
X
0
18826
check
f
x
f
check
x
f
mark
x
mark
f
x
proper
c
ok
c
active
f
x
mark
x
check
x
start
match
f
X
x
f
ok
x
ok
f
x
match
X
x
proper
x
active
f
x
f
active
x
f
found
x
found
f
x
start
ok
x
found
x
proper
f
x
f
proper
x
match
f
x
f
y
f
match
x
y
proper
f
x
f
proper
x
false
check
x
f
X
false
check
f
x
f
check
x
false
f
mark
x
f
x
f
ok
x
f
x
f
found
x
f
x
true
top
1
0
check
1
0
top
1
1
0
c
0
1
f
1
1
1
check
1
1
2
proper
1
1
1
ok
1
1
0
match
2
0
mark
1
1
1
f
1
1
0
found
1
1
1
proper
1
0
match
2
2
1
start
1
0
active
1
1
20752
active
1
0
start
1
1
1
X
0
56247
f
ok
x
f
x
check
f
x
f
check
x
f
mark
x
mark
f
x
proper
c
ok
c
active
f
x
mark
x
check
x
start
match
f
X
x
f
ok
x
ok
f
x
match
X
x
proper
x
active
f
x
f
active
x
f
found
x
found
f
x
start
ok
x
found
x
proper
f
x
f
proper
x
match
f
x
f
y
f
match
x
y
f
ok
x
f
x
true
top
1
0
check
1
0
top
1
1
0
c
0
1
f
1
1
1
check
1
1
2
proper
1
1
1
ok
1
1
1
match
2
0
mark
1
1
1
f
1
1
0
found
1
1
2
proper
1
0
match
2
2
1
start
1
0
active
1
1
26309
active
1
0
start
1
1
1
X
0
4426
check
f
x
f
check
x
f
mark
x
mark
f
x
proper
c
ok
c
active
f
x
mark
x
check
x
start
match
f
X
x
f
ok
x
ok
f
x
match
X
x
proper
x
active
f
x
f
active
x
f
found
x
found
f
x
start
ok
x
found
x
proper
f
x
f
proper
x
match
f
x
f
y
f
match
x
y
NaTT
certifiable-1.6