active
f
X
g
X
Y
mark
f
Y
Y
Y
active
g
b
mark
c
active
b
mark
c
active
g
X
g
active
X
g
mark
X
mark
g
X
proper
f
X1
X2
X3
f
proper
X1
proper
X2
proper
X3
proper
g
X
g
proper
X
proper
b
ok
b
proper
c
ok
c
f
ok
X1
ok
X2
ok
X3
ok
f
X1
X2
X3
g
ok
X
ok
g
X
top
mark
X
top
proper
X
top
ok
X
top
active
X
2.2
proper
f
X1
X2
X3
proper
X1
top
ok
X
active
X
g
mark
X
g
X
top
mark
X
proper
X
proper
g
X
proper
X
f
ok
X1
ok
X2
ok
X3
f
X1
X2
X3
active
f
X
g
X
Y
f
Y
Y
Y
g
ok
X
g
X
proper
g
X
g
proper
X
top
ok
X
top
active
X
active
g
X
active
X
proper
f
X1
X2
X3
proper
X2
proper
f
X1
X2
X3
f
proper
X1
proper
X2
proper
X3
top
mark
X
top
proper
X
active
g
X
g
active
X
proper
f
X1
X2
X3
proper
X3
true
top
mark
X
top
proper
X
top
ok
X
top
active
X
true
Failed!
NaTT
certifiable-1.6