active
2nd
cons
X
cons
Y
Z
mark
Y
active
from
X
mark
cons
X
from
s
X
active
2nd
X
2nd
active
X
active
cons
X1
X2
cons
active
X1
X2
active
from
X
from
active
X
active
s
X
s
active
X
2nd
mark
X
mark
2nd
X
cons
mark
X1
X2
mark
cons
X1
X2
from
mark
X
mark
from
X
s
mark
X
mark
s
X
proper
2nd
X
2nd
proper
X
proper
cons
X1
X2
cons
proper
X1
proper
X2
proper
from
X
from
proper
X
proper
s
X
s
proper
X
2nd
ok
X
ok
2nd
X
cons
ok
X1
ok
X2
ok
cons
X1
X2
from
ok
X
ok
from
X
s
ok
X
ok
s
X
top
mark
X
top
proper
X
top
ok
X
top
active
X
2.2
active
from
X
from
s
X
2nd
ok
X
2nd
X
proper
from
X
from
proper
X
proper
cons
X1
X2
proper
X2
proper
2nd
X
2nd
proper
X
proper
cons
X1
X2
cons
proper
X1
proper
X2
top
mark
X
proper
X
top
mark
X
top
proper
X
proper
cons
X1
X2
proper
X1
active
cons
X1
X2
active
X1
proper
s
X
s
proper
X
active
cons
X1
X2
cons
active
X1
X2
cons
ok
X1
ok
X2
cons
X1
X2
active
from
X
from
active
X
proper
from
X
proper
X
proper
2nd
X
proper
X
active
s
X
active
X
cons
mark
X1
X2
cons
X1
X2
from
ok
X
from
X
active
2nd
X
active
X
top
ok
X
active
X
s
ok
X
s
X
s
mark
X
s
X
active
2nd
X
2nd
active
X
active
from
X
active
X
top
ok
X
top
active
X
active
from
X
s
X
active
from
X
cons
X
from
s
X
from
mark
X
from
X
proper
s
X
proper
X
active
s
X
s
active
X
2nd
mark
X
2nd
X
true
top
mark
X
top
proper
X
top
ok
X
top
active
X
true
cons
2
0
s
1
1
0
top
1
0
2nd
1
1
0
top
1
1
0
proper
1
1
ok
1
1
28103
from
1
1
0
s
1
0
2nd
1
0
mark
1
2
proper
1
0
from
1
0
active
1
1
28102
cons
2
1
0
active
1
0
s
ok
X
ok
s
X
active
cons
X1
X2
cons
active
X1
X2
2nd
ok
X
ok
2nd
X
cons
mark
X1
X2
mark
cons
X1
X2
active
2nd
cons
X
cons
Y
Z
mark
Y
active
2nd
X
2nd
active
X
cons
ok
X1
ok
X2
ok
cons
X1
X2
from
ok
X
ok
from
X
active
from
X
from
active
X
s
mark
X
mark
s
X
2nd
mark
X
mark
2nd
X
proper
s
X
s
proper
X
proper
cons
X1
X2
cons
proper
X1
proper
X2
proper
2nd
X
2nd
proper
X
from
mark
X
mark
from
X
proper
from
X
from
proper
X
active
s
X
s
active
X
active
from
X
mark
cons
X
from
s
X
top
mark
X
proper
X
false
top
ok
X
active
X
false
active
cons
X1
X2
active
X1
active
from
X
active
X
active
2nd
X
active
X
active
s
X
active
X
true
cons
2
0
s
1
1
0
top
1
0
2nd
1
1
0
top
1
1
0
proper
1
1
1
ok
1
1
29283
from
1
1
1
s
1
0
2nd
1
0
mark
1
1
proper
1
0
from
1
0
active
1
1
1
cons
2
1
0
active
1
1
0
active
s
X
active
X
active
2nd
X
active
X
active
cons
X1
X2
active
X1
s
ok
X
ok
s
X
active
cons
X1
X2
cons
active
X1
X2
2nd
ok
X
ok
2nd
X
cons
mark
X1
X2
mark
cons
X1
X2
active
2nd
cons
X
cons
Y
Z
mark
Y
active
2nd
X
2nd
active
X
cons
ok
X1
ok
X2
ok
cons
X1
X2
from
ok
X
ok
from
X
active
from
X
from
active
X
s
mark
X
mark
s
X
2nd
mark
X
mark
2nd
X
proper
s
X
s
proper
X
proper
cons
X1
X2
cons
proper
X1
proper
X2
proper
2nd
X
2nd
proper
X
from
mark
X
mark
from
X
proper
from
X
from
proper
X
active
s
X
s
active
X
active
from
X
mark
cons
X
from
s
X
active
cons
X1
X2
active
X1
active
2nd
X
active
X
active
s
X
active
X
true
cons
2
0
s
1
1
0
top
1
0
2nd
1
1
1
top
1
0
proper
1
1
50349
ok
1
1
1
from
1
1
47562
s
1
0
2nd
1
0
mark
1
1
1
proper
1
0
from
1
0
active
1
1
1
cons
2
1
0
active
1
1
0
active
s
X
active
X
active
cons
X1
X2
active
X1
s
ok
X
ok
s
X
2nd
ok
X
ok
2nd
X
cons
mark
X1
X2
mark
cons
X1
X2
cons
ok
X1
ok
X2
ok
cons
X1
X2
from
ok
X
ok
from
X
s
mark
X
mark
s
X
2nd
mark
X
mark
2nd
X
proper
s
X
s
proper
X
proper
cons
X1
X2
cons
proper
X1
proper
X2
proper
2nd
X
2nd
proper
X
from
mark
X
mark
from
X
proper
from
X
from
proper
X
active
from
X
mark
cons
X
from
s
X
active
cons
X1
X2
active
X1
active
s
X
active
X
true
cons
2
0
s
1
1
0
top
1
0
2nd
1
1
0
top
1
0
proper
1
1
1
ok
1
1
1
from
1
1
1
s
1
0
2nd
1
0
mark
1
1
proper
1
0
from
1
0
active
1
1
1
cons
2
1
1
active
1
1
0
active
s
X
active
X
s
ok
X
ok
s
X
2nd
ok
X
ok
2nd
X
cons
mark
X1
X2
mark
cons
X1
X2
cons
ok
X1
ok
X2
ok
cons
X1
X2
from
ok
X
ok
from
X
s
mark
X
mark
s
X
2nd
mark
X
mark
2nd
X
proper
s
X
s
proper
X
proper
cons
X1
X2
cons
proper
X1
proper
X2
proper
2nd
X
2nd
proper
X
from
mark
X
mark
from
X
proper
from
X
from
proper
X
active
from
X
mark
cons
X
from
s
X
active
s
X
active
X
true
cons
2
0
s
1
1
1
top
1
0
2nd
1
1
0
top
1
0
proper
1
1
61160
ok
1
1
from
1
1
s
1
0
2nd
1
0
mark
1
1
proper
1
0
from
1
0
active
1
1
11966
cons
2
1
1
active
1
1
0
s
ok
X
ok
s
X
2nd
ok
X
ok
2nd
X
cons
mark
X1
X2
mark
cons
X1
X2
cons
ok
X1
ok
X2
ok
cons
X1
X2
from
ok
X
ok
from
X
s
mark
X
mark
s
X
2nd
mark
X
mark
2nd
X
proper
s
X
s
proper
X
proper
cons
X1
X2
cons
proper
X1
proper
X2
proper
2nd
X
2nd
proper
X
from
mark
X
mark
from
X
proper
from
X
from
proper
X
active
from
X
mark
cons
X
from
s
X
active
from
X
cons
X
from
s
X
false
active
from
X
s
X
false
active
s
X
s
active
X
false
active
2nd
X
2nd
active
X
false
active
cons
X1
X2
cons
active
X1
X2
false
proper
s
X
proper
X
proper
cons
X1
X2
proper
X1
proper
cons
X1
X2
proper
X2
proper
2nd
X
proper
X
proper
from
X
proper
X
true
cons
2
0
s
1
1
1
top
1
0
2nd
1
1
1
top
1
0
proper
1
1
0
ok
1
39825
from
1
1
1
s
1
0
2nd
1
0
mark
1
2
proper
1
1
0
from
1
0
active
1
1
1
cons
2
1
2
1
active
1
0
2nd
ok
X
ok
2nd
X
cons
mark
X1
X2
mark
cons
X1
X2
cons
ok
X1
ok
X2
ok
cons
X1
X2
from
ok
X
ok
from
X
s
mark
X
mark
s
X
2nd
mark
X
mark
2nd
X
from
mark
X
mark
from
X
active
from
X
mark
cons
X
from
s
X
proper
from
X
from
proper
X
false
proper
2nd
X
2nd
proper
X
false
proper
cons
X1
X2
cons
proper
X1
proper
X2
false
cons
ok
X1
ok
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
true
cons
2
2
0
s
1
1
0
top
1
0
2nd
1
1
1
top
1
0
proper
1
1
0
ok
1
1
1
from
1
1
2
s
1
0
2nd
1
0
mark
1
1
proper
1
0
from
1
0
active
1
1
1
cons
2
1
2
1
active
1
0
cons
mark
X1
X2
cons
X1
X2
2nd
ok
X
ok
2nd
X
cons
mark
X1
X2
mark
cons
X1
X2
cons
ok
X1
ok
X2
ok
cons
X1
X2
from
ok
X
ok
from
X
s
mark
X
mark
s
X
2nd
mark
X
mark
2nd
X
from
mark
X
mark
from
X
active
from
X
mark
cons
X
from
s
X
cons
mark
X1
X2
cons
X1
X2
true
cons
2
1
0
s
1
1
0
top
1
0
2nd
1
1
1
top
1
0
proper
1
1
0
ok
1
1
1
from
1
1
1
s
1
0
2nd
1
0
mark
1
1
1
proper
1
0
from
1
0
active
1
1
1
cons
2
0
active
1
0
2nd
ok
X
ok
2nd
X
from
ok
X
ok
from
X
2nd
mark
X
mark
2nd
X
from
mark
X
mark
from
X
proper
s
X
s
proper
X
false
s
ok
X
s
X
s
mark
X
s
X
true
cons
2
0
s
1
1
0
top
1
0
2nd
1
1
1
top
1
0
proper
1
1
0
ok
1
1
1
from
1
1
1
s
1
1
0
2nd
1
0
mark
1
1
1
proper
1
0
from
1
0
active
1
1
1
cons
2
0
active
1
0
2nd
ok
X
ok
2nd
X
from
ok
X
ok
from
X
2nd
mark
X
mark
2nd
X
from
mark
X
mark
from
X
2nd
mark
X
2nd
X
2nd
ok
X
2nd
X
true
cons
2
0
s
1
1
0
top
1
0
2nd
1
1
52194
top
1
0
proper
1
1
0
ok
1
1
1
from
1
1
1
s
1
0
2nd
1
1
0
mark
1
1
1
proper
1
0
from
1
0
active
1
1
1
cons
2
0
active
1
0
2nd
ok
X
ok
2nd
X
from
ok
X
ok
from
X
2nd
mark
X
mark
2nd
X
from
mark
X
mark
from
X
active
from
X
from
s
X
false
active
from
X
from
active
X
false
from
mark
X
from
X
from
ok
X
from
X
true
cons
2
0
s
1
1
0
top
1
0
2nd
1
1
17897
top
1
0
proper
1
1
0
ok
1
1
1
from
1
1
1
s
1
0
2nd
1
0
mark
1
1
1
proper
1
0
from
1
1
0
active
1
1
1
cons
2
0
active
1
0
2nd
ok
X
ok
2nd
X
from
ok
X
ok
from
X
2nd
mark
X
mark
2nd
X
from
mark
X
mark
from
X
NaTT
certifiable-1.6