active
2nd
cons1
X
cons
Y
Z
mark
Y
active
2nd
cons
X
X1
mark
2nd
cons1
X
X1
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
active
cons1
X1
X2
cons1
active
X1
X2
active
cons1
X1
X2
cons1
X1
active
X2
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
cons1
mark
X1
X2
mark
cons1
X1
X2
cons1
X1
mark
X2
mark
cons1
X1
X2
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
proper
cons1
X1
X2
cons1
proper
X1
proper
X2
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
cons1
ok
X1
ok
X2
ok
cons1
X1
X2
top
mark
X
top
proper
X
top
ok
X
top
active
X
2.2
active
2nd
cons
X
X1
cons1
X
X1
proper
from
X
from
proper
X
proper
s
X
proper
X
active
from
X
cons
X
from
s
X
active
2nd
X
active
X
active
2nd
X
2nd
active
X
active
from
X
s
X
active
cons1
X1
X2
cons1
active
X1
X2
active
cons1
X1
X2
cons1
X1
active
X2
cons1
X1
mark
X2
cons1
X1
X2
cons1
ok
X1
ok
X2
cons1
X1
X2
s
ok
X
s
X
from
mark
X
from
X
top
ok
X
active
X
top
ok
X
top
active
X
cons1
mark
X1
X2
cons1
X1
X2
top
mark
X
proper
X
proper
cons1
X1
X2
cons1
proper
X1
proper
X2
top
mark
X
top
proper
X
proper
cons
X1
X2
cons
proper
X1
proper
X2
active
cons
X1
X2
cons
active
X1
X2
active
cons1
X1
X2
active
X2
active
cons1
X1
X2
active
X1
from
ok
X
from
X
proper
2nd
X
2nd
proper
X
s
mark
X
s
X
proper
from
X
proper
X
proper
s
X
s
proper
X
cons
ok
X1
ok
X2
cons
X1
X2
proper
2nd
X
proper
X
proper
cons
X1
X2
proper
X2
active
s
X
s
active
X
2nd
ok
X
2nd
X
2nd
mark
X
2nd
X
proper
cons
X1
X2
proper
X1
active
from
X
from
s
X
active
cons
X1
X2
active
X1
proper
cons1
X1
X2
proper
X2
active
from
X
from
active
X
active
2nd
cons
X
X1
2nd
cons1
X
X1
cons
mark
X1
X2
cons
X1
X2
proper
cons1
X1
X2
proper
X1
active
from
X
active
X
active
s
X
active
X
true
top
mark
X
top
proper
X
top
ok
X
top
active
X
true
cons
2
0
s
1
1
0
cons1
2
0
top
1
0
2nd
1
1
0
top
1
1
0
cons1
2
1
2
0
proper
1
0
ok
1
1
2
from
1
1
0
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
0
proper
from
X
from
proper
X
active
2nd
X
2nd
active
X
cons1
X1
mark
X2
mark
cons1
X1
X2
active
cons1
X1
X2
cons1
active
X1
X2
active
2nd
cons1
X
cons
Y
Z
mark
Y
active
from
X
mark
cons
X
from
s
X
proper
2nd
X
2nd
proper
X
2nd
ok
X
ok
2nd
X
proper
s
X
s
proper
X
proper
cons
X1
X2
cons
proper
X1
proper
X2
cons
ok
X1
ok
X2
ok
cons
X1
X2
active
cons
X1
X2
cons
active
X1
X2
2nd
mark
X
mark
2nd
X
active
s
X
s
active
X
proper
cons1
X1
X2
cons1
proper
X1
proper
X2
cons1
ok
X1
ok
X2
ok
cons1
X1
X2
cons1
mark
X1
X2
mark
cons1
X1
X2
from
mark
X
mark
from
X
from
ok
X
ok
from
X
s
ok
X
ok
s
X
cons
mark
X1
X2
mark
cons
X1
X2
active
cons1
X1
X2
cons1
X1
active
X2
s
mark
X
mark
s
X
active
from
X
from
active
X
active
2nd
cons
X
X1
mark
2nd
cons1
X
X1
top
mark
X
proper
X
false
top
ok
X
active
X
false
active
s
X
active
X
active
from
X
active
X
active
cons
X1
X2
active
X1
active
2nd
X
active
X
active
cons1
X1
X2
active
X1
active
cons1
X1
X2
active
X2
true
cons
2
0
s
1
1
11650
cons1
2
0
top
1
0
2nd
1
1
0
top
1
1
0
cons1
2
1
2
0
proper
1
1
0
ok
1
1
1
from
1
1
0
s
1
0
2nd
1
0
mark
1
1
proper
1
0
from
1
0
active
1
1
1
cons
2
1
2
0
active
1
1
0
active
cons1
X1
X2
active
X2
active
cons1
X1
X2
active
X1
active
2nd
X
active
X
active
cons
X1
X2
active
X1
active
from
X
active
X
proper
from
X
from
proper
X
active
2nd
X
2nd
active
X
cons1
X1
mark
X2
mark
cons1
X1
X2
active
cons1
X1
X2
cons1
active
X1
X2
active
2nd
cons1
X
cons
Y
Z
mark
Y
active
from
X
mark
cons
X
from
s
X
proper
2nd
X
2nd
proper
X
2nd
ok
X
ok
2nd
X
proper
s
X
s
proper
X
proper
cons
X1
X2
cons
proper
X1
proper
X2
cons
ok
X1
ok
X2
ok
cons
X1
X2
active
cons
X1
X2
cons
active
X1
X2
2nd
mark
X
mark
2nd
X
active
s
X
s
active
X
proper
cons1
X1
X2
cons1
proper
X1
proper
X2
cons1
ok
X1
ok
X2
ok
cons1
X1
X2
cons1
mark
X1
X2
mark
cons1
X1
X2
from
mark
X
mark
from
X
from
ok
X
ok
from
X
s
ok
X
ok
s
X
cons
mark
X1
X2
mark
cons
X1
X2
active
cons1
X1
X2
cons1
X1
active
X2
s
mark
X
mark
s
X
active
from
X
from
active
X
active
2nd
cons
X
X1
mark
2nd
cons1
X
X1
active
2nd
X
active
X
active
cons1
X1
X2
active
X1
active
cons
X1
X2
active
X1
active
cons1
X1
X2
active
X2
active
from
X
active
X
true
cons
2
0
s
1
1
11650
cons1
2
0
top
1
0
2nd
1
1
0
top
1
1
0
cons1
2
1
2
0
proper
1
1
0
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
2
0
active
1
1
0
active
cons1
X1
X2
active
X2
active
cons
X1
X2
active
X1
active
cons1
X1
X2
active
X1
active
2nd
X
active
X
proper
from
X
from
proper
X
active
2nd
X
2nd
active
X
cons1
X1
mark
X2
mark
cons1
X1
X2
active
cons1
X1
X2
cons1
active
X1
X2
active
2nd
cons1
X
cons
Y
Z
mark
Y
active
from
X
mark
cons
X
from
s
X
proper
2nd
X
2nd
proper
X
2nd
ok
X
ok
2nd
X
proper
s
X
s
proper
X
proper
cons
X1
X2
cons
proper
X1
proper
X2
cons
ok
X1
ok
X2
ok
cons
X1
X2
active
cons
X1
X2
cons
active
X1
X2
2nd
mark
X
mark
2nd
X
active
s
X
s
active
X
proper
cons1
X1
X2
cons1
proper
X1
proper
X2
cons1
ok
X1
ok
X2
ok
cons1
X1
X2
cons1
mark
X1
X2
mark
cons1
X1
X2
from
mark
X
mark
from
X
from
ok
X
ok
from
X
s
ok
X
ok
s
X
cons
mark
X1
X2
mark
cons
X1
X2
active
cons1
X1
X2
cons1
X1
active
X2
s
mark
X
mark
s
X
active
from
X
from
active
X
active
2nd
cons
X
X1
mark
2nd
cons1
X
X1
active
2nd
X
active
X
active
cons1
X1
X2
active
X1
active
cons
X1
X2
active
X1
active
cons1
X1
X2
active
X2
true
cons
2
0
s
1
1
11650
cons1
2
0
top
1
0
2nd
1
1
1
top
1
1
0
cons1
2
1
2
0
proper
1
1
0
ok
1
1
41379
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
2
0
active
1
1
0
active
cons1
X1
X2
active
X2
active
cons
X1
X2
active
X1
active
cons1
X1
X2
active
X1
proper
from
X
from
proper
X
active
2nd
X
2nd
active
X
cons1
X1
mark
X2
mark
cons1
X1
X2
active
cons1
X1
X2
cons1
active
X1
X2
active
2nd
cons1
X
cons
Y
Z
mark
Y
active
from
X
mark
cons
X
from
s
X
proper
2nd
X
2nd
proper
X
2nd
ok
X
ok
2nd
X
proper
s
X
s
proper
X
proper
cons
X1
X2
cons
proper
X1
proper
X2
cons
ok
X1
ok
X2
ok
cons
X1
X2
active
cons
X1
X2
cons
active
X1
X2
2nd
mark
X
mark
2nd
X
active
s
X
s
active
X
proper
cons1
X1
X2
cons1
proper
X1
proper
X2
cons1
ok
X1
ok
X2
ok
cons1
X1
X2
cons1
mark
X1
X2
mark
cons1
X1
X2
from
mark
X
mark
from
X
from
ok
X
ok
from
X
s
ok
X
ok
s
X
cons
mark
X1
X2
mark
cons
X1
X2
active
cons1
X1
X2
cons1
X1
active
X2
s
mark
X
mark
s
X
active
from
X
from
active
X
active
2nd
cons
X
X1
mark
2nd
cons1
X
X1
active
cons1
X1
X2
active
X1
active
cons
X1
X2
active
X1
active
cons1
X1
X2
active
X2
true
cons
2
0
s
1
1
11650
cons1
2
0
top
1
0
2nd
1
1
top
1
1
0
cons1
2
1
2
0
proper
1
1
0
ok
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
2
13214
active
1
1
0
active
cons1
X1
X2
active
X2
active
cons1
X1
X2
active
X1
proper
from
X
from
proper
X
active
2nd
X
2nd
active
X
cons1
X1
mark
X2
mark
cons1
X1
X2
active
cons1
X1
X2
cons1
active
X1
X2
active
2nd
cons1
X
cons
Y
Z
mark
Y
active
from
X
mark
cons
X
from
s
X
proper
2nd
X
2nd
proper
X
2nd
ok
X
ok
2nd
X
proper
s
X
s
proper
X
proper
cons
X1
X2
cons
proper
X1
proper
X2
cons
ok
X1
ok
X2
ok
cons
X1
X2
active
cons
X1
X2
cons
active
X1
X2
2nd
mark
X
mark
2nd
X
active
s
X
s
active
X
proper
cons1
X1
X2
cons1
proper
X1
proper
X2
cons1
ok
X1
ok
X2
ok
cons1
X1
X2
cons1
mark
X1
X2
mark
cons1
X1
X2
from
mark
X
mark
from
X
from
ok
X
ok
from
X
s
ok
X
ok
s
X
cons
mark
X1
X2
mark
cons
X1
X2
active
cons1
X1
X2
cons1
X1
active
X2
s
mark
X
mark
s
X
active
from
X
from
active
X
active
2nd
cons
X
X1
mark
2nd
cons1
X
X1
active
cons1
X1
X2
active
X1
active
cons1
X1
X2
active
X2
true
cons
2
0
s
1
1
1
cons1
2
0
top
1
0
2nd
1
4426
top
1
0
cons1
2
1
2
1
proper
1
1
0
ok
1
1
from
1
1
1
s
1
0
2nd
1
0
mark
1
1
0
proper
1
0
from
1
0
active
1
1
2
cons
2
1
2
1
active
1
1
0
proper
from
X
from
proper
X
active
2nd
X
2nd
active
X
cons1
X1
mark
X2
mark
cons1
X1
X2
proper
2nd
X
2nd
proper
X
2nd
ok
X
ok
2nd
X
proper
s
X
s
proper
X
proper
cons
X1
X2
cons
proper
X1
proper
X2
cons
ok
X1
ok
X2
ok
cons
X1
X2
2nd
mark
X
mark
2nd
X
proper
cons1
X1
X2
cons1
proper
X1
proper
X2
cons1
ok
X1
ok
X2
ok
cons1
X1
X2
cons1
mark
X1
X2
mark
cons1
X1
X2
from
mark
X
mark
from
X
from
ok
X
ok
from
X
s
ok
X
ok
s
X
cons
mark
X1
X2
mark
cons
X1
X2
s
mark
X
mark
s
X
active
2nd
cons
X
X1
2nd
cons1
X
X1
false
active
from
X
from
active
X
false
active
cons1
X1
X2
cons1
X1
active
X2
false
active
s
X
s
active
X
false
active
from
X
from
s
X
false
active
from
X
s
X
false
active
cons1
X1
X2
cons1
active
X1
X2
false
active
2nd
X
2nd
active
X
false
active
from
X
cons
X
from
s
X
false
proper
cons1
X1
X2
proper
X1
proper
cons1
X1
X2
proper
X2
proper
cons
X1
X2
proper
X1
proper
cons
X1
X2
proper
X2
proper
2nd
X
proper
X
proper
from
X
proper
X
proper
s
X
proper
X
true
cons
2
0
s
1
1
1
cons1
2
0
top
1
0
2nd
1
1
1
top
1
0
cons1
2
1
2
1
proper
1
1
0
ok
1
37414
from
1
1
1
s
1
0
2nd
1
0
mark
1
1
0
proper
1
1
0
from
1
0
active
1
1
2
cons
2
1
2
1
active
1
0
proper
from
X
from
proper
X
cons1
X1
mark
X2
mark
cons1
X1
X2
proper
2nd
X
2nd
proper
X
2nd
ok
X
ok
2nd
X
proper
s
X
s
proper
X
proper
cons
X1
X2
cons
proper
X1
proper
X2
cons
ok
X1
ok
X2
ok
cons
X1
X2
2nd
mark
X
mark
2nd
X
proper
cons1
X1
X2
cons1
proper
X1
proper
X2
cons1
ok
X1
ok
X2
ok
cons1
X1
X2
cons1
mark
X1
X2
mark
cons1
X1
X2
from
mark
X
mark
from
X
from
ok
X
ok
from
X
s
ok
X
ok
s
X
cons
mark
X1
X2
mark
cons
X1
X2
s
mark
X
mark
s
X
proper
cons1
X1
X2
cons1
proper
X1
proper
X2
false
proper
cons
X1
X2
cons
proper
X1
proper
X2
false
proper
s
X
s
proper
X
false
s
ok
X
s
X
s
mark
X
s
X
true
cons
2
0
s
1
1
1
cons1
2
0
top
1
0
2nd
1
1
1
top
1
0
cons1
2
1
2
1
proper
1
1
0
ok
1
1
37414
from
1
1
1
s
1
1
0
2nd
1
0
mark
1
1
0
proper
1
0
from
1
0
active
1
1
1
cons
2
1
2
0
active
1
0
s
mark
X
s
X
proper
from
X
from
proper
X
cons1
X1
mark
X2
mark
cons1
X1
X2
proper
2nd
X
2nd
proper
X
2nd
ok
X
ok
2nd
X
proper
s
X
s
proper
X
proper
cons
X1
X2
cons
proper
X1
proper
X2
cons
ok
X1
ok
X2
ok
cons
X1
X2
2nd
mark
X
mark
2nd
X
proper
cons1
X1
X2
cons1
proper
X1
proper
X2
cons1
ok
X1
ok
X2
ok
cons1
X1
X2
cons1
mark
X1
X2
mark
cons1
X1
X2
from
mark
X
mark
from
X
from
ok
X
ok
from
X
s
ok
X
ok
s
X
cons
mark
X1
X2
mark
cons
X1
X2
s
mark
X
mark
s
X
s
mark
X
s
X
true
cons
2
0
s
1
1
1
cons1
2
0
top
1
0
2nd
1
1
1
top
1
0
cons1
2
1
2
1
proper
1
1
0
ok
1
1
1
from
1
1
35955
s
1
1
0
2nd
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
from
X
from
proper
X
cons1
X1
mark
X2
mark
cons1
X1
X2
proper
2nd
X
2nd
proper
X
2nd
ok
X
ok
2nd
X
proper
s
X
s
proper
X
proper
cons
X1
X2
cons
proper
X1
proper
X2
cons
ok
X1
ok
X2
ok
cons
X1
X2
2nd
mark
X
mark
2nd
X
proper
cons1
X1
X2
cons1
proper
X1
proper
X2
cons1
ok
X1
ok
X2
ok
cons1
X1
X2
cons1
mark
X1
X2
mark
cons1
X1
X2
from
mark
X
mark
from
X
from
ok
X
ok
from
X
s
ok
X
ok
s
X
cons
mark
X1
X2
mark
cons
X1
X2
s
mark
X
mark
s
X
proper
2nd
X
2nd
proper
X
false
2nd
ok
X
2nd
X
2nd
mark
X
2nd
X
true
cons
2
0
s
1
1
1
cons1
2
0
top
1
0
2nd
1
1
40578
top
1
0
cons1
2
1
2
1
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
2
cons
2
1
2
0
active
1
0
proper
from
X
from
proper
X
cons1
X1
mark
X2
mark
cons1
X1
X2
proper
2nd
X
2nd
proper
X
2nd
ok
X
ok
2nd
X
proper
s
X
s
proper
X
proper
cons
X1
X2
cons
proper
X1
proper
X2
cons
ok
X1
ok
X2
ok
cons
X1
X2
2nd
mark
X
mark
2nd
X
proper
cons1
X1
X2
cons1
proper
X1
proper
X2
cons1
ok
X1
ok
X2
ok
cons1
X1
X2
cons1
mark
X1
X2
mark
cons1
X1
X2
from
mark
X
mark
from
X
from
ok
X
ok
from
X
s
ok
X
ok
s
X
cons
mark
X1
X2
mark
cons
X1
X2
s
mark
X
mark
s
X
proper
from
X
from
proper
X
false
from
mark
X
from
X
from
ok
X
from
X
true
cons
2
0
s
1
1
1
cons1
2
0
top
1
0
2nd
1
1
1
top
1
0
cons1
2
1
2
1
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
2
cons
2
1
2
0
active
1
0
proper
from
X
from
proper
X
cons1
X1
mark
X2
mark
cons1
X1
X2
proper
2nd
X
2nd
proper
X
2nd
ok
X
ok
2nd
X
proper
s
X
s
proper
X
proper
cons
X1
X2
cons
proper
X1
proper
X2
cons
ok
X1
ok
X2
ok
cons
X1
X2
2nd
mark
X
mark
2nd
X
proper
cons1
X1
X2
cons1
proper
X1
proper
X2
cons1
ok
X1
ok
X2
ok
cons1
X1
X2
cons1
mark
X1
X2
mark
cons1
X1
X2
from
mark
X
mark
from
X
from
ok
X
ok
from
X
s
ok
X
ok
s
X
cons
mark
X1
X2
mark
cons
X1
X2
s
mark
X
mark
s
X
active
2nd
cons
X
X1
cons1
X
X1
false
cons1
mark
X1
X2
cons1
X1
X2
cons1
ok
X1
ok
X2
cons1
X1
X2
cons1
X1
mark
X2
cons1
X1
X2
true
cons
2
0
s
1
1
1
cons1
2
1
0
top
1
0
2nd
1
1
36351
top
1
0
cons1
2
1
2
1
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
2
cons
2
1
2
0
active
1
0
cons1
X1
mark
X2
cons1
X1
X2
proper
from
X
from
proper
X
cons1
X1
mark
X2
mark
cons1
X1
X2
proper
2nd
X
2nd
proper
X
2nd
ok
X
ok
2nd
X
proper
s
X
s
proper
X
proper
cons
X1
X2
cons
proper
X1
proper
X2
cons
ok
X1
ok
X2
ok
cons
X1
X2
2nd
mark
X
mark
2nd
X
proper
cons1
X1
X2
cons1
proper
X1
proper
X2
cons1
ok
X1
ok
X2
ok
cons1
X1
X2
cons1
mark
X1
X2
mark
cons1
X1
X2
from
mark
X
mark
from
X
from
ok
X
ok
from
X
s
ok
X
ok
s
X
cons
mark
X1
X2
mark
cons
X1
X2
s
mark
X
mark
s
X
cons1
X1
mark
X2
cons1
X1
X2
true
cons
2
0
s
1
1
1
cons1
2
2
0
top
1
0
2nd
1
1
1
top
1
0
cons1
2
1
2
1
proper
1
1
0
ok
1
1
1
from
1
1
1
s
1
0
2nd
1
0
mark
1
1
11495
proper
1
0
from
1
0
active
1
1
11496
cons
2
1
2
0
active
1
0
proper
from
X
from
proper
X
cons1
X1
mark
X2
mark
cons1
X1
X2
proper
2nd
X
2nd
proper
X
2nd
ok
X
ok
2nd
X
proper
s
X
s
proper
X
proper
cons
X1
X2
cons
proper
X1
proper
X2
cons
ok
X1
ok
X2
ok
cons
X1
X2
2nd
mark
X
mark
2nd
X
proper
cons1
X1
X2
cons1
proper
X1
proper
X2
cons1
ok
X1
ok
X2
ok
cons1
X1
X2
cons1
mark
X1
X2
mark
cons1
X1
X2
from
mark
X
mark
from
X
from
ok
X
ok
from
X
s
ok
X
ok
s
X
cons
mark
X1
X2
mark
cons
X1
X2
s
mark
X
mark
s
X
active
cons
X1
X2
cons
active
X1
X2
false
cons
mark
X1
X2
cons
X1
X2
cons
ok
X1
ok
X2
cons
X1
X2
true
cons
2
1
0
s
1
1
1
cons1
2
0
top
1
0
2nd
1
1
13363
top
1
0
cons1
2
1
2
1
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
2
cons
2
1
2
0
active
1
0
proper
from
X
from
proper
X
cons1
X1
mark
X2
mark
cons1
X1
X2
proper
2nd
X
2nd
proper
X
2nd
ok
X
ok
2nd
X
proper
s
X
s
proper
X
proper
cons
X1
X2
cons
proper
X1
proper
X2
cons
ok
X1
ok
X2
ok
cons
X1
X2
2nd
mark
X
mark
2nd
X
proper
cons1
X1
X2
cons1
proper
X1
proper
X2
cons1
ok
X1
ok
X2
ok
cons1
X1
X2
cons1
mark
X1
X2
mark
cons1
X1
X2
from
mark
X
mark
from
X
from
ok
X
ok
from
X
s
ok
X
ok
s
X
cons
mark
X1
X2
mark
cons
X1
X2
s
mark
X
mark
s
X
NaTT
certifiable-1.6