active
__
__
X
Y
Z
mark
__
X
__
Y
Z
active
__
X
nil
mark
X
active
__
nil
X
mark
X
active
U11
tt
mark
tt
active
U21
tt
V2
mark
U22
isList
V2
active
U22
tt
mark
tt
active
U31
tt
mark
tt
active
U41
tt
V2
mark
U42
isNeList
V2
active
U42
tt
mark
tt
active
U51
tt
V2
mark
U52
isList
V2
active
U52
tt
mark
tt
active
U61
tt
mark
tt
active
U71
tt
P
mark
U72
isPal
P
active
U72
tt
mark
tt
active
U81
tt
mark
tt
active
isList
V
mark
U11
isNeList
V
active
isList
nil
mark
tt
active
isList
__
V1
V2
mark
U21
isList
V1
V2
active
isNeList
V
mark
U31
isQid
V
active
isNeList
__
V1
V2
mark
U41
isList
V1
V2
active
isNeList
__
V1
V2
mark
U51
isNeList
V1
V2
active
isNePal
V
mark
U61
isQid
V
active
isNePal
__
I
__
P
I
mark
U71
isQid
I
P
active
isPal
V
mark
U81
isNePal
V
active
isPal
nil
mark
tt
active
isQid
a
mark
tt
active
isQid
e
mark
tt
active
isQid
i
mark
tt
active
isQid
o
mark
tt
active
isQid
u
mark
tt
active
__
X1
X2
__
active
X1
X2
active
__
X1
X2
__
X1
active
X2
active
U11
X
U11
active
X
active
U21
X1
X2
U21
active
X1
X2
active
U22
X
U22
active
X
active
U31
X
U31
active
X
active
U41
X1
X2
U41
active
X1
X2
active
U42
X
U42
active
X
active
U51
X1
X2
U51
active
X1
X2
active
U52
X
U52
active
X
active
U61
X
U61
active
X
active
U71
X1
X2
U71
active
X1
X2
active
U72
X
U72
active
X
active
U81
X
U81
active
X
__
mark
X1
X2
mark
__
X1
X2
__
X1
mark
X2
mark
__
X1
X2
U11
mark
X
mark
U11
X
U21
mark
X1
X2
mark
U21
X1
X2
U22
mark
X
mark
U22
X
U31
mark
X
mark
U31
X
U41
mark
X1
X2
mark
U41
X1
X2
U42
mark
X
mark
U42
X
U51
mark
X1
X2
mark
U51
X1
X2
U52
mark
X
mark
U52
X
U61
mark
X
mark
U61
X
U71
mark
X1
X2
mark
U71
X1
X2
U72
mark
X
mark
U72
X
U81
mark
X
mark
U81
X
proper
__
X1
X2
__
proper
X1
proper
X2
proper
nil
ok
nil
proper
U11
X
U11
proper
X
proper
tt
ok
tt
proper
U21
X1
X2
U21
proper
X1
proper
X2
proper
U22
X
U22
proper
X
proper
isList
X
isList
proper
X
proper
U31
X
U31
proper
X
proper
U41
X1
X2
U41
proper
X1
proper
X2
proper
U42
X
U42
proper
X
proper
isNeList
X
isNeList
proper
X
proper
U51
X1
X2
U51
proper
X1
proper
X2
proper
U52
X
U52
proper
X
proper
U61
X
U61
proper
X
proper
U71
X1
X2
U71
proper
X1
proper
X2
proper
U72
X
U72
proper
X
proper
isPal
X
isPal
proper
X
proper
U81
X
U81
proper
X
proper
isQid
X
isQid
proper
X
proper
isNePal
X
isNePal
proper
X
proper
a
ok
a
proper
e
ok
e
proper
i
ok
i
proper
o
ok
o
proper
u
ok
u
__
ok
X1
ok
X2
ok
__
X1
X2
U11
ok
X
ok
U11
X
U21
ok
X1
ok
X2
ok
U21
X1
X2
U22
ok
X
ok
U22
X
isList
ok
X
ok
isList
X
U31
ok
X
ok
U31
X
U41
ok
X1
ok
X2
ok
U41
X1
X2
U42
ok
X
ok
U42
X
isNeList
ok
X
ok
isNeList
X
U51
ok
X1
ok
X2
ok
U51
X1
X2
U52
ok
X
ok
U52
X
U61
ok
X
ok
U61
X
U71
ok
X1
ok
X2
ok
U71
X1
X2
U72
ok
X
ok
U72
X
isPal
ok
X
ok
isPal
X
U81
ok
X
ok
U81
X
isQid
ok
X
ok
isQid
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
U21
2
U22
1
isList
1
U31
1
U41
2
U42
1
isNeList
1
U51
2
U52
1
U61
1
U71
2
U72
1
isPal
1
U81
1
isQid
1
isNePal
1
a
0
e
0
i
0
o
0
u
0
proper
1
ok
1
top
1
FULL