active
__
__
X
Y
Z
mark
__
X
__
Y
Z
active
__
X
nil
mark
X
active
__
nil
X
mark
X
active
and
tt
X
mark
X
active
isList
V
mark
isNeList
V
active
isList
nil
mark
tt
active
isList
__
V1
V2
mark
and
isList
V1
isList
V2
active
isNeList
V
mark
isQid
V
active
isNeList
__
V1
V2
mark
and
isList
V1
isNeList
V2
active
isNeList
__
V1
V2
mark
and
isNeList
V1
isList
V2
active
isNePal
V
mark
isQid
V
active
isNePal
__
I
__
P
I
mark
and
isQid
I
isPal
P
active
isPal
V
mark
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
and
X1
X2
and
active
X1
X2
__
mark
X1
X2
mark
__
X1
X2
__
X1
mark
X2
mark
__
X1
X2
and
mark
X1
X2
mark
and
X1
X2
proper
__
X1
X2
__
proper
X1
proper
X2
proper
nil
ok
nil
proper
and
X1
X2
and
proper
X1
proper
X2
proper
tt
ok
tt
proper
isList
X
isList
proper
X
proper
isNeList
X
isNeList
proper
X
proper
isQid
X
isQid
proper
X
proper
isNePal
X
isNePal
proper
X
proper
isPal
X
isPal
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
and
ok
X1
ok
X2
ok
and
X1
X2
isList
ok
X
ok
isList
X
isNeList
ok
X
ok
isNeList
X
isQid
ok
X
ok
isQid
X
isNePal
ok
X
ok
isNePal
X
isPal
ok
X
ok
isPal
X
top
mark
X
top
proper
X
top
ok
X
top
active
X
2.2
isPal
ok
X
isPal
X
proper
isPal
X
isPal
proper
X
active
isList
__
V1
V2
isList
V1
proper
isNePal
X
proper
X
proper
isQid
X
proper
X
active
and
X1
X2
active
X1
active
and
X1
X2
and
active
X1
X2
isQid
ok
X
isQid
X
proper
__
X1
X2
__
proper
X1
proper
X2
active
__
__
X
Y
Z
__
Y
Z
proper
__
X1
X2
proper
X1
proper
and
X1
X2
and
proper
X1
proper
X2
top
mark
X
proper
X
proper
and
X1
X2
proper
X2
active
__
X1
X2
active
X2
active
isNeList
__
V1
V2
isNeList
V2
__
ok
X1
ok
X2
__
X1
X2
active
isNeList
__
V1
V2
and
isList
V1
isNeList
V2
proper
isList
X
proper
X
proper
isList
X
isList
proper
X
proper
isQid
X
isQid
proper
X
active
isNeList
__
V1
V2
isList
V1
active
isNeList
__
V1
V2
and
isNeList
V1
isList
V2
active
isNePal
V
isQid
V
active
isList
__
V1
V2
isList
V2
active
__
__
X
Y
Z
__
X
__
Y
Z
proper
__
X1
X2
proper
X2
and
mark
X1
X2
and
X1
X2
active
isNePal
__
I
__
P
I
isPal
P
top
ok
X
top
active
X
proper
and
X1
X2
proper
X1
active
isPal
V
isNePal
V
active
isNeList
__
V1
V2
isList
V2
top
mark
X
top
proper
X
proper
isPal
X
proper
X
active
isList
__
V1
V2
and
isList
V1
isList
V2
proper
isNeList
X
proper
X
proper
isNePal
X
isNePal
proper
X
active
__
X1
X2
active
X1
isNePal
ok
X
isNePal
X
active
isNeList
__
V1
V2
isNeList
V1
active
isNePal
__
I
__
P
I
isQid
I
active
__
X1
X2
__
active
X1
X2
active
isList
V
isNeList
V
proper
isNeList
X
isNeList
proper
X
__
mark
X1
X2
__
X1
X2
isList
ok
X
isList
X
isNeList
ok
X
isNeList
X
active
isNeList
V
isQid
V
top
ok
X
active
X
__
X1
mark
X2
__
X1
X2
and
ok
X1
ok
X2
and
X1
X2
active
__
X1
X2
__
X1
active
X2
active
isNePal
__
I
__
P
I
and
isQid
I
isPal
P
true
top
mark
X
top
proper
X
top
ok
X
top
active
X
true
top
1
1
__
2
2
proper
1
1
ok
1
1
active
1
1
a
0
6
isNeList
1
6
1
isPal
1
8
1
u
0
4
top
1
0
and
2
6
2
1
isNeList
1
0
isNePal
1
6
1
isQid
1
0
isPal
1
0
isQid
1
6
o
0
4
isList
1
7
1
isNePal
1
0
nil
0
6
mark
1
5
1
isList
1
0
proper
1
0
i
0
4
e
0
4
active
1
0
tt
0
1
and
2
0
2
1
__
2
8
1
2
a
0
0
isNeList
1
1
0
isPal
1
1
0
u
0
0
top
1
0
and
2
1
0
2
0
0
isNeList
1
0
isNePal
1
1
0
isQid
1
0
isPal
1
0
isQid
1
0
o
0
0
isList
1
1
0
isNePal
1
0
nil
0
0
mark
1
1
0
isList
1
0
proper
1
0
i
0
0
e
0
0
active
1
0
tt
0
0
and
2
1
0
2
0
0
__
2
1
0
2
0
0
top
ok
X
top
active
X
active
isQid
o
mark
tt
active
and
tt
X
mark
X
active
isQid
a
mark
tt
active
isNeList
V
mark
isQid
V
active
__
__
X
Y
Z
mark
__
X
__
Y
Z
active
__
nil
X
mark
X
active
isQid
e
mark
tt
active
__
X1
X2
__
X1
active
X2
proper
e
ok
e
proper
__
X1
X2
__
proper
X1
proper
X2
active
isQid
u
mark
tt
proper
isQid
X
isQid
proper
X
active
isQid
i
mark
tt
proper
nil
ok
nil
proper
isPal
X
isPal
proper
X
active
and
X1
X2
and
active
X1
X2
proper
and
X1
X2
and
proper
X1
proper
X2
isQid
ok
X
ok
isQid
X
active
isList
V
mark
isNeList
V
proper
isNePal
X
isNePal
proper
X
active
isNeList
__
V1
V2
mark
and
isNeList
V1
isList
V2
proper
u
ok
u
active
isList
__
V1
V2
mark
and
isList
V1
isList
V2
active
__
X1
X2
__
active
X1
X2
and
mark
X1
X2
mark
and
X1
X2
proper
isList
X
isList
proper
X
active
isPal
nil
mark
tt
proper
isNeList
X
isNeList
proper
X
active
isNePal
__
I
__
P
I
mark
and
isQid
I
isPal
P
isNePal
ok
X
ok
isNePal
X
__
mark
X1
X2
mark
__
X1
X2
__
X1
mark
X2
mark
__
X1
X2
active
isNePal
V
mark
isQid
V
active
isNeList
__
V1
V2
mark
and
isList
V1
isNeList
V2
active
isPal
V
mark
isNePal
V
__
ok
X1
ok
X2
ok
__
X1
X2
active
isList
nil
mark
tt
proper
o
ok
o
proper
i
ok
i
and
ok
X1
ok
X2
ok
and
X1
X2
isList
ok
X
ok
isList
X
isPal
ok
X
ok
isPal
X
proper
a
ok
a
proper
tt
ok
tt
isNeList
ok
X
ok
isNeList
X
active
__
X
nil
mark
X
top
ok
X
top
active
X
true
a
0
1
isNeList
1
1
0
isPal
1
1
0
u
0
1
top
1
0
and
2
1
0
isNeList
1
0
top
1
1
0
__
2
0
isNePal
1
1
0
isQid
1
0
isPal
1
0
isQid
1
1
0
o
0
1
proper
1
3
ok
1
1
2
isList
1
1
0
isNePal
1
0
nil
0
1
mark
1
0
isList
1
0
proper
1
0
i
0
1
e
0
1
active
1
1
1
active
1
0
tt
0
1
and
2
0
__
2
1
0
active
isQid
o
mark
tt
active
and
tt
X
mark
X
active
isQid
a
mark
tt
active
isNeList
V
mark
isQid
V
active
__
__
X
Y
Z
mark
__
X
__
Y
Z
active
__
nil
X
mark
X
active
isQid
e
mark
tt
active
__
X1
X2
__
X1
active
X2
proper
e
ok
e
proper
__
X1
X2
__
proper
X1
proper
X2
active
isQid
u
mark
tt
proper
isQid
X
isQid
proper
X
active
isQid
i
mark
tt
proper
nil
ok
nil
proper
isPal
X
isPal
proper
X
active
and
X1
X2
and
active
X1
X2
proper
and
X1
X2
and
proper
X1
proper
X2
isQid
ok
X
ok
isQid
X
active
isList
V
mark
isNeList
V
proper
isNePal
X
isNePal
proper
X
active
isNeList
__
V1
V2
mark
and
isNeList
V1
isList
V2
proper
u
ok
u
active
isList
__
V1
V2
mark
and
isList
V1
isList
V2
active
__
X1
X2
__
active
X1
X2
and
mark
X1
X2
mark
and
X1
X2
proper
isList
X
isList
proper
X
active
isPal
nil
mark
tt
proper
isNeList
X
isNeList
proper
X
active
isNePal
__
I
__
P
I
mark
and
isQid
I
isPal
P
isNePal
ok
X
ok
isNePal
X
__
mark
X1
X2
mark
__
X1
X2
__
X1
mark
X2
mark
__
X1
X2
active
isNePal
V
mark
isQid
V
active
isNeList
__
V1
V2
mark
and
isList
V1
isNeList
V2
active
isPal
V
mark
isNePal
V
__
ok
X1
ok
X2
ok
__
X1
X2
active
isList
nil
mark
tt
proper
o
ok
o
proper
i
ok
i
and
ok
X1
ok
X2
ok
and
X1
X2
isList
ok
X
ok
isList
X
isPal
ok
X
ok
isPal
X
proper
a
ok
a
proper
tt
ok
tt
isNeList
ok
X
ok
isNeList
X
active
__
X
nil
mark
X
top
mark
X
proper
X
false
top
ok
X
active
X
false
active
__
X1
X2
active
X2
active
__
X1
X2
active
X1
active
and
X1
X2
active
X1
true
a
0
0
isNeList
1
0
isPal
1
1
u
0
33049
top
1
0
and
2
1
2
1
isNeList
1
0
top
1
1
0
__
2
0
isNePal
1
0
isQid
1
0
isPal
1
0
isQid
1
0
o
0
1
proper
1
1
0
ok
1
0
isList
1
0
isNePal
1
0
nil
0
0
mark
1
1
0
isList
1
0
proper
1
0
i
0
41531
e
0
625
active
1
1
2
active
1
1
0
tt
0
1
and
2
0
__
2
1
2
0
active
__
X1
X2
active
X1
active
__
X1
X2
active
X2
active
isQid
o
mark
tt
active
and
tt
X
mark
X
active
isQid
a
mark
tt
active
isNeList
V
mark
isQid
V
active
__
__
X
Y
Z
mark
__
X
__
Y
Z
active
__
nil
X
mark
X
active
isQid
e
mark
tt
active
__
X1
X2
__
X1
active
X2
proper
e
ok
e
proper
__
X1
X2
__
proper
X1
proper
X2
active
isQid
u
mark
tt
proper
isQid
X
isQid
proper
X
active
isQid
i
mark
tt
proper
nil
ok
nil
proper
isPal
X
isPal
proper
X
active
and
X1
X2
and
active
X1
X2
proper
and
X1
X2
and
proper
X1
proper
X2
isQid
ok
X
ok
isQid
X
active
isList
V
mark
isNeList
V
proper
isNePal
X
isNePal
proper
X
active
isNeList
__
V1
V2
mark
and
isNeList
V1
isList
V2
proper
u
ok
u
active
isList
__
V1
V2
mark
and
isList
V1
isList
V2
active
__
X1
X2
__
active
X1
X2
and
mark
X1
X2
mark
and
X1
X2
proper
isList
X
isList
proper
X
active
isPal
nil
mark
tt
proper
isNeList
X
isNeList
proper
X
active
isNePal
__
I
__
P
I
mark
and
isQid
I
isPal
P
isNePal
ok
X
ok
isNePal
X
__
mark
X1
X2
mark
__
X1
X2
__
X1
mark
X2
mark
__
X1
X2
active
isNePal
V
mark
isQid
V
active
isNeList
__
V1
V2
mark
and
isList
V1
isNeList
V2
active
isPal
V
mark
isNePal
V
__
ok
X1
ok
X2
ok
__
X1
X2
active
isList
nil
mark
tt
proper
o
ok
o
proper
i
ok
i
and
ok
X1
ok
X2
ok
and
X1
X2
isList
ok
X
ok
isList
X
isPal
ok
X
ok
isPal
X
proper
a
ok
a
proper
tt
ok
tt
isNeList
ok
X
ok
isNeList
X
active
__
X
nil
mark
X
active
__
X1
X2
active
X2
active
__
X1
X2
active
X1
true
a
0
0
isNeList
1
1
0
isPal
1
1
u
0
33049
top
1
0
and
2
1
2
1
isNeList
1
0
top
1
0
__
2
0
isNePal
1
1
0
isQid
1
0
isPal
1
0
isQid
1
0
o
0
1
proper
1
1
0
ok
1
0
isList
1
1
0
isNePal
1
0
nil
0
0
mark
1
1
0
isList
1
0
proper
1
0
i
0
41531
e
0
1
active
1
2
active
1
1
0
tt
0
3
and
2
0
__
2
1
2
1
active
isNeList
V
mark
isQid
V
proper
e
ok
e
proper
__
X1
X2
__
proper
X1
proper
X2
proper
isQid
X
isQid
proper
X
proper
nil
ok
nil
proper
isPal
X
isPal
proper
X
proper
and
X1
X2
and
proper
X1
proper
X2
isQid
ok
X
ok
isQid
X
proper
isNePal
X
isNePal
proper
X
proper
u
ok
u
and
mark
X1
X2
mark
and
X1
X2
proper
isList
X
isList
proper
X
proper
isNeList
X
isNeList
proper
X
active
isNePal
__
I
__
P
I
mark
and
isQid
I
isPal
P
isNePal
ok
X
ok
isNePal
X
__
mark
X1
X2
mark
__
X1
X2
__
X1
mark
X2
mark
__
X1
X2
active
isNePal
V
mark
isQid
V
__
ok
X1
ok
X2
ok
__
X1
X2
proper
o
ok
o
proper
i
ok
i
and
ok
X1
ok
X2
ok
and
X1
X2
isList
ok
X
ok
isList
X
isPal
ok
X
ok
isPal
X
proper
a
ok
a
proper
tt
ok
tt
isNeList
ok
X
ok
isNeList
X
active
isPal
V
isNePal
V
false
active
isNeList
__
V1
V2
and
isList
V1
isNeList
V2
false
active
isNeList
__
V1
V2
isList
V1
false
active
isNeList
__
V1
V2
isNeList
V2
false
active
isNePal
V
isQid
V
false
active
isNePal
__
I
__
P
I
and
isQid
I
isPal
P
false
active
isNePal
__
I
__
P
I
isQid
I
false
active
__
X1
X2
__
active
X1
X2
false
active
isList
__
V1
V2
and
isList
V1
isList
V2
false
active
isList
__
V1
V2
isList
V2
false
active
isNeList
__
V1
V2
and
isNeList
V1
isList
V2
false
active
isNeList
__
V1
V2
isNeList
V1
false
active
isNeList
__
V1
V2
isList
V2
false
active
isList
V
isNeList
V
false
active
and
X1
X2
and
active
X1
X2
false
active
__
X1
X2
__
X1
active
X2
false
active
__
__
X
Y
Z
__
X
__
Y
Z
false
active
__
__
X
Y
Z
__
Y
Z
false
active
isNeList
V
isQid
V
false
proper
__
X1
X2
proper
X2
proper
isList
X
proper
X
proper
and
X1
X2
proper
X2
proper
__
X1
X2
proper
X1
proper
isNeList
X
proper
X
proper
isPal
X
proper
X
proper
isQid
X
proper
X
proper
and
X1
X2
proper
X1
proper
isNePal
X
proper
X
true
a
0
0
isNeList
1
1
0
isPal
1
1
2
u
0
0
top
1
0
and
2
1
2
1
isNeList
1
0
top
1
0
__
2
0
isNePal
1
1
0
isQid
1
0
isPal
1
0
isQid
1
1
0
o
0
0
proper
1
1
0
ok
1
0
isList
1
1
0
isNePal
1
0
nil
0
0
mark
1
1
0
isList
1
0
proper
1
1
0
i
0
0
e
0
0
active
1
2
active
1
0
tt
0
3
and
2
0
__
2
1
2
1
proper
isNePal
X
proper
X
proper
isQid
X
proper
X
proper
isNeList
X
proper
X
proper
isList
X
proper
X
proper
e
ok
e
proper
__
X1
X2
__
proper
X1
proper
X2
proper
isQid
X
isQid
proper
X
proper
nil
ok
nil
proper
isPal
X
isPal
proper
X
proper
and
X1
X2
and
proper
X1
proper
X2
isQid
ok
X
ok
isQid
X
proper
isNePal
X
isNePal
proper
X
proper
u
ok
u
and
mark
X1
X2
mark
and
X1
X2
proper
isList
X
isList
proper
X
proper
isNeList
X
isNeList
proper
X
isNePal
ok
X
ok
isNePal
X
__
mark
X1
X2
mark
__
X1
X2
__
X1
mark
X2
mark
__
X1
X2
__
ok
X1
ok
X2
ok
__
X1
X2
proper
o
ok
o
proper
i
ok
i
and
ok
X1
ok
X2
ok
and
X1
X2
isList
ok
X
ok
isList
X
isPal
ok
X
ok
isPal
X
proper
a
ok
a
proper
tt
ok
tt
isNeList
ok
X
ok
isNeList
X
proper
isQid
X
proper
X
proper
isNePal
X
proper
X
proper
isList
X
proper
X
proper
isNeList
X
proper
X
true
a
0
0
isNeList
1
1
1
isPal
1
16336
u
0
0
top
1
0
and
2
1
2
1
isNeList
1
0
top
1
0
__
2
0
isNePal
1
1
1
isQid
1
0
isPal
1
0
isQid
1
1
0
o
0
0
proper
1
1
0
ok
1
1
0
isList
1
1
0
isNePal
1
0
nil
0
0
mark
1
1
0
isList
1
0
proper
1
1
0
i
0
0
e
0
0
active
1
2
active
1
0
tt
0
3
and
2
0
__
2
1
2
1
proper
isList
X
proper
X
proper
isQid
X
proper
X
proper
e
ok
e
proper
__
X1
X2
__
proper
X1
proper
X2
proper
isQid
X
isQid
proper
X
proper
nil
ok
nil
proper
isPal
X
isPal
proper
X
proper
and
X1
X2
and
proper
X1
proper
X2
isQid
ok
X
ok
isQid
X
proper
isNePal
X
isNePal
proper
X
proper
u
ok
u
and
mark
X1
X2
mark
and
X1
X2
proper
isList
X
isList
proper
X
proper
isNeList
X
isNeList
proper
X
isNePal
ok
X
ok
isNePal
X
__
mark
X1
X2
mark
__
X1
X2
__
X1
mark
X2
mark
__
X1
X2
__
ok
X1
ok
X2
ok
__
X1
X2
proper
o
ok
o
proper
i
ok
i
and
ok
X1
ok
X2
ok
and
X1
X2
isList
ok
X
ok
isList
X
isPal
ok
X
ok
isPal
X
proper
a
ok
a
proper
tt
ok
tt
isNeList
ok
X
ok
isNeList
X
proper
isQid
X
proper
X
proper
isList
X
proper
X
true
a
0
0
isNeList
1
1
1
isPal
1
2
u
0
0
top
1
0
and
2
1
2
1
isNeList
1
0
top
1
0
__
2
0
isNePal
1
1
1
isQid
1
0
isPal
1
0
isQid
1
1
1
o
0
0
proper
1
1
0
ok
1
1
0
isList
1
1
1
isNePal
1
0
nil
0
0
mark
1
1
0
isList
1
0
proper
1
1
0
i
0
0
e
0
0
active
1
3
active
1
0
tt
0
4
and
2
0
__
2
1
2
1
proper
e
ok
e
proper
__
X1
X2
__
proper
X1
proper
X2
proper
isQid
X
isQid
proper
X
proper
nil
ok
nil
proper
isPal
X
isPal
proper
X
proper
and
X1
X2
and
proper
X1
proper
X2
isQid
ok
X
ok
isQid
X
proper
isNePal
X
isNePal
proper
X
proper
u
ok
u
and
mark
X1
X2
mark
and
X1
X2
proper
isList
X
isList
proper
X
proper
isNeList
X
isNeList
proper
X
isNePal
ok
X
ok
isNePal
X
__
mark
X1
X2
mark
__
X1
X2
__
X1
mark
X2
mark
__
X1
X2
__
ok
X1
ok
X2
ok
__
X1
X2
proper
o
ok
o
proper
i
ok
i
and
ok
X1
ok
X2
ok
and
X1
X2
isList
ok
X
ok
isList
X
isPal
ok
X
ok
isPal
X
proper
a
ok
a
proper
tt
ok
tt
isNeList
ok
X
ok
isNeList
X
proper
isNeList
X
isNeList
proper
X
false
isNeList
ok
X
isNeList
X
true
a
0
0
isNeList
1
1
1
isPal
1
1
u
0
0
top
1
0
and
2
1
2
1
isNeList
1
1
0
top
1
0
__
2
0
isNePal
1
1
1
isQid
1
0
isPal
1
0
isQid
1
1
1
o
0
0
proper
1
1
1
ok
1
1
1
isList
1
1
1
isNePal
1
0
nil
0
0
mark
1
0
isList
1
0
proper
1
0
i
0
0
e
0
0
active
1
1
active
1
0
tt
0
28386
and
2
0
__
2
2
2
proper
e
ok
e
proper
nil
ok
nil
isQid
ok
X
ok
isQid
X
proper
u
ok
u
and
mark
X1
X2
mark
and
X1
X2
isNePal
ok
X
ok
isNePal
X
__
mark
X1
X2
mark
__
X1
X2
__
X1
mark
X2
mark
__
X1
X2
__
ok
X1
ok
X2
ok
__
X1
X2
proper
o
ok
o
proper
i
ok
i
and
ok
X1
ok
X2
ok
and
X1
X2
isList
ok
X
ok
isList
X
proper
a
ok
a
proper
tt
ok
tt
isNeList
ok
X
ok
isNeList
X
proper
isList
X
isList
proper
X
false
proper
isNePal
X
isNePal
proper
X
false
isNePal
ok
X
isNePal
X
true
a
0
0
isNeList
1
1
1
isPal
1
1
u
0
0
top
1
0
and
2
1
2
37043
isNeList
1
0
top
1
0
__
2
0
isNePal
1
1
52626
isQid
1
0
isPal
1
0
isQid
1
1
1
o
0
0
proper
1
1
1
ok
1
1
1
isList
1
1
31274
isNePal
1
1
0
nil
0
0
mark
1
0
isList
1
0
proper
1
0
i
0
0
e
0
0
active
1
1
active
1
0
tt
0
1
and
2
0
__
2
2
2
proper
e
ok
e
proper
nil
ok
nil
isQid
ok
X
ok
isQid
X
proper
u
ok
u
and
mark
X1
X2
mark
and
X1
X2
isNePal
ok
X
ok
isNePal
X
__
mark
X1
X2
mark
__
X1
X2
__
X1
mark
X2
mark
__
X1
X2
__
ok
X1
ok
X2
ok
__
X1
X2
proper
o
ok
o
proper
i
ok
i
and
ok
X1
ok
X2
ok
and
X1
X2
isList
ok
X
ok
isList
X
proper
a
ok
a
proper
tt
ok
tt
isNeList
ok
X
ok
isNeList
X
proper
and
X1
X2
and
proper
X1
proper
X2
false
and
mark
X1
X2
and
X1
X2
and
ok
X1
ok
X2
and
X1
X2
true
a
0
0
isNeList
1
1
1
isPal
1
1
u
0
0
top
1
0
and
2
1
2
37043
isNeList
1
0
top
1
0
__
2
0
isNePal
1
1
52626
isQid
1
0
isPal
1
0
isQid
1
1
1
o
0
0
proper
1
1
1
ok
1
1
1
isList
1
1
1
isNePal
1
0
nil
0
0
mark
1
0
isList
1
0
proper
1
0
i
0
0
e
0
0
active
1
1
active
1
0
tt
0
13363
and
2
2
0
__
2
2
2
and
mark
X1
X2
and
X1
X2
proper
e
ok
e
proper
nil
ok
nil
isQid
ok
X
ok
isQid
X
proper
u
ok
u
and
mark
X1
X2
mark
and
X1
X2
isNePal
ok
X
ok
isNePal
X
__
mark
X1
X2
mark
__
X1
X2
__
X1
mark
X2
mark
__
X1
X2
__
ok
X1
ok
X2
ok
__
X1
X2
proper
o
ok
o
proper
i
ok
i
and
ok
X1
ok
X2
ok
and
X1
X2
isList
ok
X
ok
isList
X
proper
a
ok
a
proper
tt
ok
tt
isNeList
ok
X
ok
isNeList
X
and
mark
X1
X2
and
X1
X2
true
a
0
1
isNeList
1
1
1
isPal
1
1
u
0
1
top
1
0
and
2
1
2
1
isNeList
1
0
top
1
0
__
2
0
isNePal
1
1
0
isQid
1
0
isPal
1
0
isQid
1
19458
o
0
1
proper
1
2
ok
1
2
isList
1
2
isNePal
1
0
nil
0
1
mark
1
1
1
isList
1
0
proper
1
0
i
0
1
e
0
1
active
1
19461
active
1
0
tt
0
4
and
2
1
0
__
2
1
2
1
proper
e
ok
e
proper
nil
ok
nil
proper
u
ok
u
and
mark
X1
X2
mark
and
X1
X2
isNePal
ok
X
ok
isNePal
X
proper
o
ok
o
proper
i
ok
i
and
ok
X1
ok
X2
ok
and
X1
X2
isList
ok
X
ok
isList
X
proper
a
ok
a
proper
tt
ok
tt
proper
isQid
X
isQid
proper
X
false
isQid
ok
X
isQid
X
true
a
0
0
isNeList
1
1
1
isPal
1
1
u
0
0
top
1
0
and
2
1
2
1
isNeList
1
0
top
1
0
__
2
0
isNePal
1
1
0
isQid
1
1
0
isPal
1
0
isQid
1
19458
o
0
0
proper
1
19457
ok
1
1
1
isList
1
1
1
isNePal
1
0
nil
0
1
mark
1
1
1
isList
1
0
proper
1
0
i
0
4598
e
0
19456
active
1
19461
active
1
0
tt
0
1
and
2
0
__
2
1
2
1
proper
e
ok
e
proper
nil
ok
nil
proper
u
ok
u
and
mark
X1
X2
mark
and
X1
X2
isNePal
ok
X
ok
isNePal
X
proper
o
ok
o
proper
i
ok
i
and
ok
X1
ok
X2
ok
and
X1
X2
isList
ok
X
ok
isList
X
proper
a
ok
a
proper
tt
ok
tt
proper
__
X1
X2
__
proper
X1
proper
X2
false
__
X1
mark
X2
__
X1
X2
__
mark
X1
X2
__
X1
X2
__
ok
X1
ok
X2
__
X1
X2
true
a
0
0
isNeList
1
1
1
isPal
1
1
u
0
0
top
1
0
and
2
1
2
1
isNeList
1
0
top
1
0
__
2
1
0
isNePal
1
1
0
isQid
1
0
isPal
1
0
isQid
1
3
o
0
0
proper
1
2
ok
1
1
1
isList
1
1
1
isNePal
1
0
nil
0
1
mark
1
1
1
isList
1
0
proper
1
0
i
0
1
e
0
1
active
1
6
active
1
0
tt
0
1
and
2
0
__
2
1
2
1
__
X1
mark
X2
__
X1
X2
proper
e
ok
e
proper
nil
ok
nil
proper
u
ok
u
and
mark
X1
X2
mark
and
X1
X2
isNePal
ok
X
ok
isNePal
X
proper
o
ok
o
proper
i
ok
i
and
ok
X1
ok
X2
ok
and
X1
X2
isList
ok
X
ok
isList
X
proper
a
ok
a
proper
tt
ok
tt
__
X1
mark
X2
__
X1
X2
true
a
0
0
isNeList
1
1
1
isPal
1
2
u
0
0
top
1
0
and
2
1
2
1
isNeList
1
0
top
1
0
__
2
2
0
isNePal
1
1
0
isQid
1
0
isPal
1
0
isQid
1
3
o
0
0
proper
1
2
ok
1
1
1
isList
1
1
2
isNePal
1
0
nil
0
1
mark
1
1
1
isList
1
0
proper
1
0
i
0
1
e
0
1
active
1
7
active
1
0
tt
0
1
and
2
0
__
2
1
2
3
proper
e
ok
e
proper
nil
ok
nil
proper
u
ok
u
and
mark
X1
X2
mark
and
X1
X2
isNePal
ok
X
ok
isNePal
X
proper
o
ok
o
proper
i
ok
i
and
ok
X1
ok
X2
ok
and
X1
X2
isList
ok
X
ok
isList
X
proper
a
ok
a
proper
tt
ok
tt
active
isList
__
V1
V2
isList
V1
false
isList
ok
X
isList
X
true
a
0
1
isNeList
1
1
8132
isPal
1
1
7
u
0
4
top
1
0
and
2
1
2
3
isNeList
1
0
top
1
0
__
2
0
isNePal
1
8134
isQid
1
0
isPal
1
0
isQid
1
1
1
o
0
1925
proper
1
1
ok
1
1
1
isList
1
1
1
isNePal
1
0
nil
0
2852
mark
1
60488
isList
1
1
0
proper
1
0
i
0
2134
e
0
3
active
1
1
52353
active
1
0
tt
0
3
and
2
0
__
2
1
1
and
mark
X1
X2
mark
and
X1
X2
and
ok
X1
ok
X2
ok
and
X1
X2
isList
ok
X
ok
isList
X
proper
isPal
X
isPal
proper
X
false
active
isNePal
__
I
__
P
I
isPal
P
false
isPal
ok
X
isPal
X
true
a
0
1
isNeList
1
1
841
isPal
1
2
u
0
9228
top
1
0
and
2
26065
isNeList
1
0
top
1
0
__
2
0
isNePal
1
8134
isQid
1
0
isPal
1
1
0
isQid
1
1
25337
o
0
1
proper
1
1
ok
1
1
3
isList
1
1
1
isNePal
1
0
nil
0
1
mark
1
26066
isList
1
0
proper
1
0
i
0
1
e
0
1
active
1
1
active
1
0
tt
0
22611
and
2
0
__
2
2
NaTT
certifiable-1.6