active
__
__
X
Y
Z
mark
__
X
__
Y
Z
active
__
X
nil
mark
X
active
__
nil
X
mark
X
active
U11
tt
mark
U12
tt
active
U12
tt
mark
tt
active
isNePal
__
I
__
P
I
mark
U11
tt
active
__
X1
X2
__
active
X1
X2
active
__
X1
X2
__
X1
active
X2
active
U11
X
U11
active
X
active
U12
X
U12
active
X
active
isNePal
X
isNePal
active
X
__
mark
X1
X2
mark
__
X1
X2
__
X1
mark
X2
mark
__
X1
X2
U11
mark
X
mark
U11
X
U12
mark
X
mark
U12
X
isNePal
mark
X
mark
isNePal
X
proper
__
X1
X2
__
proper
X1
proper
X2
proper
nil
ok
nil
proper
U11
X
U11
proper
X
proper
tt
ok
tt
proper
U12
X
U12
proper
X
proper
isNePal
X
isNePal
proper
X
__
ok
X1
ok
X2
ok
__
X1
X2
U11
ok
X
ok
U11
X
U12
ok
X
ok
U12
X
isNePal
ok
X
ok
isNePal
X
top
mark
X
top
proper
X
top
ok
X
top
active
X
active
1
__
2
mark
1
nil
0
U11
1
tt
0
U12
1
isNePal
1
proper
1
ok
1
top
1
FULL