active
f
g
X
Y
mark
f
X
f
g
X
Y
active
f
X1
X2
f
active
X1
X2
active
g
X
g
active
X
f
mark
X1
X2
mark
f
X1
X2
g
mark
X
mark
g
X
proper
f
X1
X2
f
proper
X1
proper
X2
proper
g
X
g
proper
X
f
ok
X1
ok
X2
ok
f
X1
X2
g
ok
X
ok
g
X
top
mark
X
top
proper
X
top
ok
X
top
active
X
2.2
active
f
X1
X2
active
X1
g
ok
X
g
X
g
mark
X
g
X
proper
g
X
g
proper
X
top
mark
X
top
proper
X
top
mark
X
proper
X
active
g
X
g
active
X
top
ok
X
top
active
X
proper
g
X
proper
X
proper
f
X1
X2
proper
X2
f
ok
X1
ok
X2
f
X1
X2
active
f
g
X
Y
f
X
f
g
X
Y
proper
f
X1
X2
f
proper
X1
proper
X2
active
f
X1
X2
f
active
X1
X2
top
ok
X
active
X
active
g
X
active
X
proper
f
X1
X2
proper
X1
f
mark
X1
X2
f
X1
X2
true
top
mark
X
top
proper
X
top
ok
X
top
active
X
true
top
1
0
top
1
1
0
f
2
1
0
proper
1
1
1
ok
1
1
2
mark
1
1
2
f
2
0
g
1
0
proper
1
0
active
1
1
1
active
1
0
g
1
1
1
f
mark
X1
X2
mark
f
X1
X2
f
ok
X1
ok
X2
ok
f
X1
X2
active
f
g
X
Y
mark
f
X
f
g
X
Y
active
g
X
g
active
X
g
mark
X
mark
g
X
proper
g
X
g
proper
X
g
ok
X
ok
g
X
proper
f
X1
X2
f
proper
X1
proper
X2
active
f
X1
X2
f
active
X1
X2
top
ok
X
active
X
false
top
mark
X
proper
X
false
proper
f
X1
X2
proper
X1
proper
f
X1
X2
proper
X2
proper
g
X
proper
X
true
top
1
0
top
1
1
0
f
2
1
2
0
proper
1
1
0
ok
1
1
1
mark
1
6295
f
2
0
g
1
0
proper
1
1
0
active
1
1
46572
active
1
0
g
1
1
1
proper
f
X1
X2
proper
X2
proper
f
X1
X2
proper
X1
f
mark
X1
X2
mark
f
X1
X2
f
ok
X1
ok
X2
ok
f
X1
X2
active
f
g
X
Y
mark
f
X
f
g
X
Y
active
g
X
g
active
X
g
mark
X
mark
g
X
proper
g
X
g
proper
X
g
ok
X
ok
g
X
proper
f
X1
X2
f
proper
X1
proper
X2
active
f
X1
X2
f
active
X1
X2
proper
f
X1
X2
proper
X2
proper
f
X1
X2
proper
X1
true
top
1
0
top
1
1
0
f
2
1
2
1
proper
1
1
0
ok
1
1
1
mark
1
42006
f
2
0
g
1
0
proper
1
1
0
active
1
1
42004
active
1
0
g
1
1
1
f
mark
X1
X2
mark
f
X1
X2
f
ok
X1
ok
X2
ok
f
X1
X2
active
f
g
X
Y
mark
f
X
f
g
X
Y
active
g
X
g
active
X
g
mark
X
mark
g
X
proper
g
X
g
proper
X
g
ok
X
ok
g
X
proper
f
X1
X2
f
proper
X1
proper
X2
active
f
X1
X2
f
active
X1
X2
proper
f
X1
X2
f
proper
X1
proper
X2
false
proper
g
X
g
proper
X
false
active
g
X
active
X
active
f
X1
X2
active
X1
true
top
1
0
top
1
1
0
f
2
1
2
1
proper
1
1
0
ok
1
1
1
mark
1
16908
f
2
0
g
1
0
proper
1
0
active
1
1
39825
active
1
1
0
g
1
1
1
f
mark
X1
X2
mark
f
X1
X2
f
ok
X1
ok
X2
ok
f
X1
X2
active
f
g
X
Y
mark
f
X
f
g
X
Y
active
g
X
g
active
X
g
mark
X
mark
g
X
proper
g
X
g
proper
X
g
ok
X
ok
g
X
proper
f
X1
X2
f
proper
X1
proper
X2
active
f
X1
X2
f
active
X1
X2
active
f
X1
X2
f
active
X1
X2
false
active
g
X
g
active
X
false
g
mark
X
g
X
g
ok
X
g
X
true
top
1
0
top
1
0
f
2
1
2
0
proper
1
0
ok
1
1
1
mark
1
1
16908
f
2
0
g
1
1
0
proper
1
0
active
1
981
active
1
0
g
1
1
0
active
f
g
X
Y
f
X
f
g
X
Y
false
f
mark
X1
X2
f
X1
X2
f
ok
X1
ok
X2
f
X1
X2
true
top
1
0
top
1
0
f
2
1
2
0
proper
1
0
ok
1
1
1
mark
1
1
16908
f
2
1
2
0
g
1
0
proper
1
0
active
1
12213
active
1
0
g
1
1
0
NaTT
certifiable-1.6