active
from
X
mark
cons
X
from
s
X
active
sel
0
cons
X
Y
mark
X
active
sel
s
X
cons
Y
Z
mark
sel
X
Z
active
from
X
from
active
X
active
cons
X1
X2
cons
active
X1
X2
active
s
X
s
active
X
active
sel
X1
X2
sel
active
X1
X2
active
sel
X1
X2
sel
X1
active
X2
from
mark
X
mark
from
X
cons
mark
X1
X2
mark
cons
X1
X2
s
mark
X
mark
s
X
sel
mark
X1
X2
mark
sel
X1
X2
sel
X1
mark
X2
mark
sel
X1
X2
proper
from
X
from
proper
X
proper
cons
X1
X2
cons
proper
X1
proper
X2
proper
s
X
s
proper
X
proper
sel
X1
X2
sel
proper
X1
proper
X2
proper
0
ok
0
from
ok
X
ok
from
X
cons
ok
X1
ok
X2
ok
cons
X1
X2
s
ok
X
ok
s
X
sel
ok
X1
ok
X2
ok
sel
X1
X2
top
mark
X
top
proper
X
top
ok
X
top
active
X
2.2
active
s
X
active
X
active
from
X
from
s
X
proper
cons
X1
X2
proper
X2
active
from
X
active
X
top
ok
X
top
active
X
cons
ok
X1
ok
X2
cons
X1
X2
top
mark
X
proper
X
proper
from
X
from
proper
X
s
ok
X
s
X
from
ok
X
from
X
proper
from
X
proper
X
active
sel
X1
X2
sel
X1
active
X2
active
sel
X1
X2
sel
active
X1
X2
active
from
X
s
X
proper
s
X
s
proper
X
proper
sel
X1
X2
sel
proper
X1
proper
X2
top
ok
X
active
X
sel
mark
X1
X2
sel
X1
X2
proper
cons
X1
X2
cons
proper
X1
proper
X2
s
mark
X
s
X
active
from
X
cons
X
from
s
X
proper
sel
X1
X2
proper
X2
proper
cons
X1
X2
proper
X1
active
sel
s
X
cons
Y
Z
sel
X
Z
active
cons
X1
X2
cons
active
X1
X2
active
sel
X1
X2
active
X2
sel
ok
X1
ok
X2
sel
X1
X2
proper
s
X
proper
X
active
from
X
from
active
X
proper
sel
X1
X2
proper
X1
cons
mark
X1
X2
cons
X1
X2
sel
X1
mark
X2
sel
X1
X2
active
s
X
s
active
X
top
mark
X
top
proper
X
active
sel
X1
X2
active
X1
from
mark
X
from
X
active
cons
X1
X2
active
X1
true
top
mark
X
top
proper
X
top
ok
X
top
active
X
true
proper
1
1
ok
1
1
sel
2
1
active
1
1
active
1
1
cons
2
0
2
s
1
4
1
top
1
0
top
1
0
1
0
0
3
from
1
5
1
sel
2
3
1
2
s
1
0
mark
1
1
1
proper
1
0
from
1
0
cons
2
4
1
cons
2
2
1
0
s
1
1
0
top
1
1
top
1
1
1
0
0
1
from
1
1
46113
sel
2
1
2
46111
s
1
1
mark
1
1
0
proper
1
1
from
1
1
cons
2
1
46112
2
0
0
top
ok
X
top
active
X
proper
0
ok
0
active
from
X
from
active
X
proper
cons
X1
X2
cons
proper
X1
proper
X2
active
sel
X1
X2
sel
X1
active
X2
active
from
X
mark
cons
X
from
s
X
active
sel
s
X
cons
Y
Z
mark
sel
X
Z
proper
s
X
s
proper
X
s
ok
X
ok
s
X
from
ok
X
ok
from
X
proper
sel
X1
X2
sel
proper
X1
proper
X2
sel
ok
X1
ok
X2
ok
sel
X1
X2
active
cons
X1
X2
cons
active
X1
X2
cons
mark
X1
X2
mark
cons
X1
X2
active
sel
X1
X2
sel
active
X1
X2
cons
ok
X1
ok
X2
ok
cons
X1
X2
proper
from
X
from
proper
X
sel
mark
X1
X2
mark
sel
X1
X2
s
mark
X
mark
s
X
from
mark
X
mark
from
X
sel
X1
mark
X2
mark
sel
X1
X2
active
s
X
s
active
X
active
sel
0
cons
X
Y
mark
X
top
ok
X
top
active
X
true
cons
2
0
s
1
1
0
top
1
0
top
1
1
0
proper
1
17069
ok
1
1
2
0
0
17067
sel
2
0
from
1
1
0
sel
2
1
0
s
1
0
mark
1
0
proper
1
0
from
1
0
active
1
1
1
cons
2
1
0
active
1
0
proper
0
ok
0
active
from
X
from
active
X
proper
cons
X1
X2
cons
proper
X1
proper
X2
active
sel
X1
X2
sel
X1
active
X2
active
from
X
mark
cons
X
from
s
X
active
sel
s
X
cons
Y
Z
mark
sel
X
Z
proper
s
X
s
proper
X
s
ok
X
ok
s
X
from
ok
X
ok
from
X
proper
sel
X1
X2
sel
proper
X1
proper
X2
sel
ok
X1
ok
X2
ok
sel
X1
X2
active
cons
X1
X2
cons
active
X1
X2
cons
mark
X1
X2
mark
cons
X1
X2
active
sel
X1
X2
sel
active
X1
X2
cons
ok
X1
ok
X2
ok
cons
X1
X2
proper
from
X
from
proper
X
sel
mark
X1
X2
mark
sel
X1
X2
s
mark
X
mark
s
X
from
mark
X
mark
from
X
sel
X1
mark
X2
mark
sel
X1
X2
active
s
X
s
active
X
active
sel
0
cons
X
Y
mark
X
top
mark
X
proper
X
false
top
ok
X
active
X
false
proper
from
X
proper
X
proper
sel
X1
X2
proper
X1
proper
s
X
proper
X
proper
cons
X1
X2
proper
X1
proper
sel
X1
X2
proper
X2
proper
cons
X1
X2
proper
X2
true
cons
2
0
s
1
1
1
top
1
0
top
1
0
proper
1
17069
ok
1
1
2
0
0
1
sel
2
0
from
1
1
1
sel
2
1
2
1
s
1
0
mark
1
0
proper
1
1
0
from
1
0
active
1
1
1
cons
2
1
2
1
active
1
0
proper
0
ok
0
active
from
X
from
active
X
active
sel
X1
X2
sel
X1
active
X2
active
from
X
mark
cons
X
from
s
X
active
sel
s
X
cons
Y
Z
mark
sel
X
Z
s
ok
X
ok
s
X
from
ok
X
ok
from
X
sel
ok
X1
ok
X2
ok
sel
X1
X2
active
cons
X1
X2
cons
active
X1
X2
cons
mark
X1
X2
mark
cons
X1
X2
active
sel
X1
X2
sel
active
X1
X2
cons
ok
X1
ok
X2
ok
cons
X1
X2
sel
mark
X1
X2
mark
sel
X1
X2
s
mark
X
mark
s
X
from
mark
X
mark
from
X
sel
X1
mark
X2
mark
sel
X1
X2
active
s
X
s
active
X
active
sel
0
cons
X
Y
mark
X
proper
from
X
from
proper
X
false
proper
s
X
s
proper
X
false
proper
cons
X1
X2
cons
proper
X1
proper
X2
false
active
cons
X1
X2
active
X1
active
sel
X1
X2
active
X1
active
sel
X1
X2
active
X2
active
from
X
active
X
active
s
X
active
X
true
cons
2
0
s
1
1
1
top
1
0
top
1
0
proper
1
2
ok
1
1
1
0
0
1
sel
2
0
from
1
1
1
sel
2
1
2
1
s
1
0
mark
1
0
proper
1
0
from
1
0
active
1
1
1
cons
2
1
2
1
active
1
1
0
proper
0
ok
0
active
from
X
from
active
X
active
sel
X1
X2
sel
X1
active
X2
active
from
X
mark
cons
X
from
s
X
active
sel
s
X
cons
Y
Z
mark
sel
X
Z
s
ok
X
ok
s
X
from
ok
X
ok
from
X
sel
ok
X1
ok
X2
ok
sel
X1
X2
active
cons
X1
X2
cons
active
X1
X2
cons
mark
X1
X2
mark
cons
X1
X2
active
sel
X1
X2
sel
active
X1
X2
cons
ok
X1
ok
X2
ok
cons
X1
X2
sel
mark
X1
X2
mark
sel
X1
X2
s
mark
X
mark
s
X
from
mark
X
mark
from
X
sel
X1
mark
X2
mark
sel
X1
X2
active
s
X
s
active
X
active
sel
0
cons
X
Y
mark
X
active
s
X
s
active
X
false
active
sel
X1
X2
sel
active
X1
X2
false
active
cons
X1
X2
cons
active
X1
X2
false
active
sel
s
X
cons
Y
Z
sel
X
Z
false
active
from
X
cons
X
from
s
X
false
cons
mark
X1
X2
cons
X1
X2
cons
ok
X1
ok
X2
cons
X1
X2
true
cons
2
2
0
s
1
1
1
top
1
0
top
1
0
proper
1
29261
ok
1
1
1
0
0
29260
sel
2
0
from
1
1
19265
sel
2
1
2
22115
s
1
0
mark
1
0
proper
1
0
from
1
0
active
1
1
1
cons
2
1
2
14137
active
1
0
cons
mark
X1
X2
cons
X1
X2
proper
0
ok
0
active
from
X
from
active
X
active
sel
X1
X2
sel
X1
active
X2
active
from
X
mark
cons
X
from
s
X
active
sel
s
X
cons
Y
Z
mark
sel
X
Z
s
ok
X
ok
s
X
from
ok
X
ok
from
X
sel
ok
X1
ok
X2
ok
sel
X1
X2
active
cons
X1
X2
cons
active
X1
X2
cons
mark
X1
X2
mark
cons
X1
X2
active
sel
X1
X2
sel
active
X1
X2
cons
ok
X1
ok
X2
ok
cons
X1
X2
sel
mark
X1
X2
mark
sel
X1
X2
s
mark
X
mark
s
X
from
mark
X
mark
from
X
sel
X1
mark
X2
mark
sel
X1
X2
active
s
X
s
active
X
active
sel
0
cons
X
Y
mark
X
cons
mark
X1
X2
cons
X1
X2
true
cons
2
1
0
s
1
1
1
top
1
0
top
1
0
proper
1
2
ok
1
1
1
0
0
1
sel
2
0
from
1
1
0
sel
2
1
2
31964
s
1
0
mark
1
1
1
proper
1
0
from
1
0
active
1
1
2
cons
2
1
2
0
active
1
0
proper
0
ok
0
active
sel
s
X
cons
Y
Z
mark
sel
X
Z
s
ok
X
ok
s
X
from
ok
X
ok
from
X
sel
ok
X1
ok
X2
ok
sel
X1
X2
cons
mark
X1
X2
mark
cons
X1
X2
cons
ok
X1
ok
X2
ok
cons
X1
X2
sel
mark
X1
X2
mark
sel
X1
X2
s
mark
X
mark
s
X
from
mark
X
mark
from
X
sel
X1
mark
X2
mark
sel
X1
X2
active
sel
0
cons
X
Y
mark
X
active
from
X
from
s
X
false
active
from
X
s
X
false
s
ok
X
s
X
s
mark
X
s
X
true
cons
2
0
s
1
1
1
top
1
0
top
1
0
proper
1
2
ok
1
1
1
0
0
1
sel
2
0
from
1
1
0
sel
2
1
2
28493
s
1
1
0
mark
1
1
1
proper
1
0
from
1
0
active
1
1
3154
cons
2
1
2
0
active
1
0
proper
0
ok
0
active
sel
s
X
cons
Y
Z
mark
sel
X
Z
s
ok
X
ok
s
X
from
ok
X
ok
from
X
sel
ok
X1
ok
X2
ok
sel
X1
X2
cons
mark
X1
X2
mark
cons
X1
X2
cons
ok
X1
ok
X2
ok
cons
X1
X2
sel
mark
X1
X2
mark
sel
X1
X2
s
mark
X
mark
s
X
from
mark
X
mark
from
X
sel
X1
mark
X2
mark
sel
X1
X2
active
sel
0
cons
X
Y
mark
X
active
sel
X1
X2
sel
X1
active
X2
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
2805
top
1
0
top
1
0
proper
1
2
ok
1
1
1
0
0
1
sel
2
0
from
1
1
0
sel
2
1
2
1
s
1
0
mark
1
1
1
proper
1
0
from
1
1
0
active
1
1
6992
cons
2
1
2
0
active
1
0
proper
0
ok
0
active
sel
s
X
cons
Y
Z
mark
sel
X
Z
s
ok
X
ok
s
X
from
ok
X
ok
from
X
sel
ok
X1
ok
X2
ok
sel
X1
X2
cons
mark
X1
X2
mark
cons
X1
X2
cons
ok
X1
ok
X2
ok
cons
X1
X2
sel
mark
X1
X2
mark
sel
X1
X2
s
mark
X
mark
s
X
from
mark
X
mark
from
X
sel
X1
mark
X2
mark
sel
X1
X2
active
sel
0
cons
X
Y
mark
X
proper
sel
X1
X2
sel
proper
X1
proper
X2
false
sel
X1
mark
X2
sel
X1
X2
sel
ok
X1
ok
X2
sel
X1
X2
sel
mark
X1
X2
sel
X1
X2
true
cons
2
0
s
1
1
1
top
1
0
top
1
0
proper
1
2
ok
1
1
1
0
0
1
sel
2
2
0
from
1
1
0
sel
2
1
2
37558
s
1
0
mark
1
1
1
proper
1
0
from
1
0
active
1
1
2
cons
2
1
2
0
active
1
0
sel
mark
X1
X2
sel
X1
X2
proper
0
ok
0
active
sel
s
X
cons
Y
Z
mark
sel
X
Z
s
ok
X
ok
s
X
from
ok
X
ok
from
X
sel
ok
X1
ok
X2
ok
sel
X1
X2
cons
mark
X1
X2
mark
cons
X1
X2
cons
ok
X1
ok
X2
ok
cons
X1
X2
sel
mark
X1
X2
mark
sel
X1
X2
s
mark
X
mark
s
X
from
mark
X
mark
from
X
sel
X1
mark
X2
mark
sel
X1
X2
active
sel
0
cons
X
Y
mark
X
sel
mark
X1
X2
sel
X1
X2
true
cons
2
0
s
1
1
24324
top
1
0
top
1
0
proper
1
2
ok
1
1
1
0
0
1
sel
2
1
0
from
1
1
0
sel
2
1
2
1
s
1
0
mark
1
1
1
proper
1
0
from
1
0
active
1
1
24325
cons
2
1
2
0
active
1
0
proper
0
ok
0
active
sel
s
X
cons
Y
Z
mark
sel
X
Z
s
ok
X
ok
s
X
from
ok
X
ok
from
X
sel
ok
X1
ok
X2
ok
sel
X1
X2
cons
mark
X1
X2
mark
cons
X1
X2
cons
ok
X1
ok
X2
ok
cons
X1
X2
sel
mark
X1
X2
mark
sel
X1
X2
s
mark
X
mark
s
X
from
mark
X
mark
from
X
sel
X1
mark
X2
mark
sel
X1
X2
active
sel
0
cons
X
Y
mark
X
NaTT
certifiable-1.6