cons1
2
0
2
1
cons
2
0
1
1
mark
1
0
1
active
1
0
4
2nd
1
0
2
from
1
0
1
s
1
0
2
proper
1
0
1
ok
1
2
4
top
1
0
1
top
mark
`X`
top
proper
`X`
proper
s
`X`
s
proper
`X`
proper
from
`X`
from
proper
`X`
proper
cons
`X1`
`X2`
cons
proper
`X1`
proper
`X2`
proper
cons1
`X1`
`X2`
cons1
proper
`X1`
proper
`X2`
proper
2nd
`X`
2nd
proper
`X`
s
mark
`X`
mark
s
`X`
from
ok
`X`
ok
from
`X`
from
mark
`X`
mark
from
`X`
cons
mark
`X1`
`X2`
mark
cons
`X1`
`X2`
cons1
mark
`X1`
`X2`
mark
cons1
`X1`
`X2`
cons1
`X1`
mark
`X2`
mark
cons1
`X1`
`X2`
2nd
mark
`X`
mark
2nd
`X`
active
s
`X`
s
active
`X`
active
from
`X`
from
active
`X`
active
from
`X`
mark
cons
`X`
from
s
`X`
active
cons
`X1`
`X2`
cons
active
`X1`
`X2`
active
cons1
`X1`
`X2`
cons1
active
`X1`
`X2`
active
cons1
`X1`
`X2`
cons1
`X1`
active
`X2`
active
2nd
cons
`X`
`X1`
mark
2nd
cons1
`X`
`X1`
active
2nd
cons1
`X`
cons
`Y`
`Z`
mark
`Y`
active
2nd
`X`
2nd
active
`X`
cons1
2
0
1
1
cons
2
0
1
2
mark
1
0
1
active
1
2
4
2nd
1
2
1
from
1
2
1
s
1
0
1
proper
1
0
1
ok
1
6
1
top
1
0
2
top
mark
`X`
top
proper
`X`
proper
s
`X`
s
proper
`X`
proper
from
`X`
from
proper
`X`
proper
cons
`X1`
`X2`
cons
proper
`X1`
proper
`X2`
proper
cons1
`X1`
`X2`
cons1
proper
`X1`
proper
`X2`
proper
2nd
`X`
2nd
proper
`X`
s
mark
`X`
mark
s
`X`
from
ok
`X`
ok
from
`X`
from
mark
`X`
mark
from
`X`
cons
mark
`X1`
`X2`
mark
cons
`X1`
`X2`
cons1
mark
`X1`
`X2`
mark
cons1
`X1`
`X2`
cons1
`X1`
mark
`X2`
mark
cons1
`X1`
`X2`
2nd
mark
`X`
mark
2nd
`X`
active
s
`X`
s
active
`X`
active
cons
`X1`
`X2`
cons
active
`X1`
`X2`
active
cons1
`X1`
`X2`
cons1
active
`X1`
`X2`
active
cons1
`X1`
`X2`
cons1
`X1`
active
`X2`
cons1
2
0
3
2
cons
2
0
1
2
mark
1
4
1
active
1
0
4
2nd
1
0
1
from
1
0
1
s
1
0
2
proper
1
0
1
ok
1
0
4
top
1
0
1
proper
s
`X`
s
proper
`X`
proper
from
`X`
from
proper
`X`
proper
cons
`X1`
`X2`
cons
proper
`X1`
proper
`X2`
proper
cons1
`X1`
`X2`
cons1
proper
`X1`
proper
`X2`
proper
2nd
`X`
2nd
proper
`X`
from
ok
`X`
ok
from
`X`
from
mark
`X`
mark
from
`X`
cons
mark
`X1`
`X2`
mark
cons
`X1`
`X2`
2nd
mark
`X`
mark
2nd
`X`
active
s
`X`
s
active
`X`
active
cons
`X1`
`X2`
cons
active
`X1`
`X2`
active
cons1
`X1`
`X2`
cons1
active
`X1`
`X2`
active
cons1
`X1`
`X2`
cons1
`X1`
active
`X2`
cons1
2
4
1
1
cons
2
4
1
1
mark
1
0
1
active
1
0
1
2nd
1
4
1
from
1
0
1
s
1
0
1
proper
1
4
2
ok
1
0
4
proper
s
`X`
s
proper
`X`
proper
from
`X`
from
proper
`X`
proper
cons
`X1`
`X2`
cons
proper
`X1`
proper
`X2`
proper
cons1
`X1`
`X2`
cons1
proper
`X1`
proper
`X2`
from
ok
`X`
ok
from
`X`
from
mark
`X`
mark
from
`X`
cons
mark
`X1`
`X2`
mark
cons
`X1`
`X2`
2nd
mark
`X`
mark
2nd
`X`
active
s
`X`
s
active
`X`
active
cons
`X1`
`X2`
cons
active
`X1`
`X2`
active
cons1
`X1`
`X2`
cons1
active
`X1`
`X2`
active
cons1
`X1`
`X2`
cons1
`X1`
active
`X2`
cons1
2
6
4
4
cons
2
0
4
1
mark
1
0
1
active
1
0
1
2nd
1
0
4
from
1
0
3
s
1
0
2
proper
1
0
2
ok
1
0
3
proper
s
`X`
s
proper
`X`
proper
from
`X`
from
proper
`X`
proper
cons
`X1`
`X2`
cons
proper
`X1`
proper
`X2`
from
ok
`X`
ok
from
`X`
from
mark
`X`
mark
from
`X`
cons
mark
`X1`
`X2`
mark
cons
`X1`
`X2`
2nd
mark
`X`
mark
2nd
`X`
active
s
`X`
s
active
`X`
active
cons
`X1`
`X2`
cons
active
`X1`
`X2`
active
cons1
`X1`
`X2`
cons1
active
`X1`
`X2`
active
cons1
`X1`
`X2`
cons1
`X1`
active
`X2`
cons1
2
0
1
1
cons
2
4
1
4
mark
1
0
1
active
1
1
2
2nd
1
0
4
from
1
0
1
s
1
4
4
proper
1
2
3
ok
1
0
4
proper
from
`X`
from
proper
`X`
proper
cons
`X1`
`X2`
cons
proper
`X1`
proper
`X2`
from
ok
`X`
ok
from
`X`
from
mark
`X`
mark
from
`X`
cons
mark
`X1`
`X2`
mark
cons
`X1`
`X2`
2nd
mark
`X`
mark
2nd
`X`
active
cons1
`X1`
`X2`
cons1
active
`X1`
`X2`
active
cons1
`X1`
`X2`
cons1
`X1`
active
`X2`
cons1
2
4
2
1
cons
2
0
4
1
mark
1
0
1
active
1
0
2
2nd
1
0
2
from
1
0
4
proper
1
0
2
ok
1
0
2
proper
from
`X`
from
proper
`X`
proper
cons
`X1`
`X2`
cons
proper
`X1`
proper
`X2`
from
ok
`X`
ok
from
`X`
from
mark
`X`
mark
from
`X`
cons
mark
`X1`
`X2`
mark
cons
`X1`
`X2`
2nd
mark
`X`
mark
2nd
`X`
cons
2
0
2
4
mark
1
2
1
2nd
1
0
3
from
1
0
4
proper
1
0
2
ok
1
0
2
proper
from
`X`
from
proper
`X`
proper
cons
`X1`
`X2`
cons
proper
`X1`
proper
`X2`
from
ok
`X`
ok
from
`X`
cons
2
4
1
4
from
1
0
1
proper
1
0
2
ok
1
0
4
proper
from
`X`
from
proper
`X`
from
ok
`X`
ok
from
`X`
from
1
0
2
proper
1
0
4
ok
1
1
4
proper
from
`X`
from
proper
`X`
from
1
1
4
proper
1
0
2