__
2
0
2
1
and
2
0
1
1
mark
1
0
1
active
1
0
1
isNeList
1
0
2
isList
1
0
2
isQid
1
0
2
isNePal
1
0
3
isPal
1
0
3
proper
1
0
1
ok
1
0
1
top
1
0
1
nil
0
0
tt
0
0
a
0
0
e
0
0
i
0
0
o
0
2
u
0
0
top
ok
`X`
top
active
`X`
top
mark
`X`
top
proper
`X`
proper
u
ok
u
proper
o
ok
o
proper
i
ok
i
proper
e
ok
e
proper
a
ok
a
proper
isPal
`X`
isPal
proper
`X`
proper
isNePal
`X`
isNePal
proper
`X`
proper
isQid
`X`
isQid
proper
`X`
proper
isList
`X`
isList
proper
`X`
proper
isNeList
`X`
isNeList
proper
`X`
proper
tt
ok
tt
proper
and
`X1`
`X2`
and
proper
`X1`
proper
`X2`
proper
nil
ok
nil
proper
__
`X1`
`X2`
__
proper
`X1`
proper
`X2`
isPal
ok
`X`
ok
isPal
`X`
isNePal
ok
`X`
ok
isNePal
`X`
isQid
ok
`X`
ok
isQid
`X`
isList
ok
`X`
ok
isList
`X`
isNeList
ok
`X`
ok
isNeList
`X`
and
ok
`X1`
ok
`X2`
ok
and
`X1`
`X2`
and
mark
`X1`
`X2`
mark
and
`X1`
`X2`
active
isPal
nil
mark
tt
active
isPal
`V`
mark
isNePal
`V`
active
isNePal
__
`I`
__
`P`
`I`
mark
and
isQid
`I`
isPal
`P`
active
isNePal
`V`
mark
isQid
`V`
active
isQid
u
mark
tt
active
isQid
i
mark
tt
active
isQid
e
mark
tt
active
isQid
a
mark
tt
active
isList
nil
mark
tt
active
isList
__
`V1`
`V2`
mark
and
isList
`V1`
isList
`V2`
active
isList
`V`
mark
isNeList
`V`
active
isNeList
__
`V1`
`V2`
mark
and
isList
`V1`
isNeList
`V2`
active
isNeList
__
`V1`
`V2`
mark
and
isNeList
`V1`
isList
`V2`
active
isNeList
`V`
mark
isQid
`V`
active
and
tt
`X`
mark
`X`
active
and
`X1`
`X2`
and
active
`X1`
`X2`
active
__
nil
`X`
mark
`X`
active
__
__
`X`
`Y`
`Z`
mark
__
`X`
__
`Y`
`Z`
active
__
`X1`
`X2`
__
active
`X1`
`X2`
active
__
`X1`
`X2`
__
`X1`
active
`X2`
active
__
`X`
nil
mark
`X`
__
ok
`X1`
ok
`X2`
ok
__
`X1`
`X2`
__
mark
`X1`
`X2`
mark
__
`X1`
`X2`
__
`X1`
mark
`X2`
mark
__
`X1`
`X2`
__
2
0
2
1
and
2
0
1
1
mark
1
0
1
active
1
0
1
isNeList
1
0
1
isList
1
0
1
isQid
1
0
1
isNePal
1
0
4
isPal
1
0
4
proper
1
0
1
ok
1
0
1
top
1
0
1
nil
0
0
tt
0
0
a
0
4
e
0
0
i
0
0
o
0
0
u
0
0
top
ok
`X`
top
active
`X`
top
mark
`X`
top
proper
`X`
proper
u
ok
u
proper
o
ok
o
proper
i
ok
i
proper
e
ok
e
proper
a
ok
a
proper
isPal
`X`
isPal
proper
`X`
proper
isNePal
`X`
isNePal
proper
`X`
proper
isQid
`X`
isQid
proper
`X`
proper
isList
`X`
isList
proper
`X`
proper
isNeList
`X`
isNeList
proper
`X`
proper
tt
ok
tt
proper
and
`X1`
`X2`
and
proper
`X1`
proper
`X2`
proper
nil
ok
nil
proper
__
`X1`
`X2`
__
proper
`X1`
proper
`X2`
isPal
ok
`X`
ok
isPal
`X`
isNePal
ok
`X`
ok
isNePal
`X`
isQid
ok
`X`
ok
isQid
`X`
isList
ok
`X`
ok
isList
`X`
isNeList
ok
`X`
ok
isNeList
`X`
and
ok
`X1`
ok
`X2`
ok
and
`X1`
`X2`
and
mark
`X1`
`X2`
mark
and
`X1`
`X2`
active
isPal
nil
mark
tt
active
isPal
`V`
mark
isNePal
`V`
active
isNePal
__
`I`
__
`P`
`I`
mark
and
isQid
`I`
isPal
`P`
active
isNePal
`V`
mark
isQid
`V`
active
isQid
u
mark
tt
active
isQid
i
mark
tt
active
isQid
e
mark
tt
active
isList
nil
mark
tt
active
isList
__
`V1`
`V2`
mark
and
isList
`V1`
isList
`V2`
active
isList
`V`
mark
isNeList
`V`
active
isNeList
__
`V1`
`V2`
mark
and
isList
`V1`
isNeList
`V2`
active
isNeList
__
`V1`
`V2`
mark
and
isNeList
`V1`
isList
`V2`
active
isNeList
`V`
mark
isQid
`V`
active
and
tt
`X`
mark
`X`
active
and
`X1`
`X2`
and
active
`X1`
`X2`
active
__
nil
`X`
mark
`X`
active
__
__
`X`
`Y`
`Z`
mark
__
`X`
__
`Y`
`Z`
active
__
`X1`
`X2`
__
active
`X1`
`X2`
active
__
`X1`
`X2`
__
`X1`
active
`X2`
active
__
`X`
nil
mark
`X`
__
ok
`X1`
ok
`X2`
ok
__
`X1`
`X2`
__
mark
`X1`
`X2`
mark
__
`X1`
`X2`
__
`X1`
mark
`X2`
mark
__
`X1`
`X2`
__
2
1
2
1
and
2
0
2
1
mark
1
0
1
active
1
0
1
isNeList
1
0
1
isList
1
0
1
isQid
1
0
1
isNePal
1
0
2
isPal
1
4
2
proper
1
0
1
ok
1
0
1
top
1
0
2
nil
0
2
tt
0
0
a
0
2
e
0
0
i
0
0
o
0
0
u
0
2
top
ok
`X`
top
active
`X`
top
mark
`X`
top
proper
`X`
proper
u
ok
u
proper
o
ok
o
proper
i
ok
i
proper
e
ok
e
proper
a
ok
a
proper
isPal
`X`
isPal
proper
`X`
proper
isNePal
`X`
isNePal
proper
`X`
proper
isQid
`X`
isQid
proper
`X`
proper
isList
`X`
isList
proper
`X`
proper
isNeList
`X`
isNeList
proper
`X`
proper
tt
ok
tt
proper
and
`X1`
`X2`
and
proper
`X1`
proper
`X2`
proper
nil
ok
nil
proper
__
`X1`
`X2`
__
proper
`X1`
proper
`X2`
isPal
ok
`X`
ok
isPal
`X`
isNePal
ok
`X`
ok
isNePal
`X`
isQid
ok
`X`
ok
isQid
`X`
isList
ok
`X`
ok
isList
`X`
isNeList
ok
`X`
ok
isNeList
`X`
and
ok
`X1`
ok
`X2`
ok
and
`X1`
`X2`
and
mark
`X1`
`X2`
mark
and
`X1`
`X2`
active
isNePal
__
`I`
__
`P`
`I`
mark
and
isQid
`I`
isPal
`P`
active
isNePal
`V`
mark
isQid
`V`
active
isQid
i
mark
tt
active
isQid
e
mark
tt
active
isList
`V`
mark
isNeList
`V`
active
isNeList
`V`
mark
isQid
`V`
active
and
tt
`X`
mark
`X`
active
and
`X1`
`X2`
and
active
`X1`
`X2`
active
__
`X1`
`X2`
__
active
`X1`
`X2`
active
__
`X1`
`X2`
__
`X1`
active
`X2`
__
ok
`X1`
ok
`X2`
ok
__
`X1`
`X2`
__
mark
`X1`
`X2`
mark
__
`X1`
`X2`
__
`X1`
mark
`X2`
mark
__
`X1`
`X2`
__
2
0
1
1
and
2
0
1
1
mark
1
0
1
active
1
0
1
isNeList
1
0
1
isList
1
1
2
isQid
1
0
1
isNePal
1
0
2
isPal
1
0
2
proper
1
0
1
ok
1
0
1
top
1
0
1
nil
0
0
tt
0
0
a
0
0
e
0
0
i
0
0
o
0
4
u
0
2
top
ok
`X`
top
active
`X`
top
mark
`X`
top
proper
`X`
proper
u
ok
u
proper
o
ok
o
proper
i
ok
i
proper
e
ok
e
proper
a
ok
a
proper
isPal
`X`
isPal
proper
`X`
proper
isNePal
`X`
isNePal
proper
`X`
proper
isQid
`X`
isQid
proper
`X`
proper
isList
`X`
isList
proper
`X`
proper
isNeList
`X`
isNeList
proper
`X`
proper
tt
ok
tt
proper
and
`X1`
`X2`
and
proper
`X1`
proper
`X2`
proper
nil
ok
nil
proper
__
`X1`
`X2`
__
proper
`X1`
proper
`X2`
isPal
ok
`X`
ok
isPal
`X`
isNePal
ok
`X`
ok
isNePal
`X`
isQid
ok
`X`
ok
isQid
`X`
isList
ok
`X`
ok
isList
`X`
isNeList
ok
`X`
ok
isNeList
`X`
and
ok
`X1`
ok
`X2`
ok
and
`X1`
`X2`
and
mark
`X1`
`X2`
mark
and
`X1`
`X2`
active
isNePal
__
`I`
__
`P`
`I`
mark
and
isQid
`I`
isPal
`P`
active
isNePal
`V`
mark
isQid
`V`
active
isQid
i
mark
tt
active
isQid
e
mark
tt
active
isNeList
`V`
mark
isQid
`V`
active
and
tt
`X`
mark
`X`
active
and
`X1`
`X2`
and
active
`X1`
`X2`
active
__
`X1`
`X2`
__
active
`X1`
`X2`
active
__
`X1`
`X2`
__
`X1`
active
`X2`
__
ok
`X1`
ok
`X2`
ok
__
`X1`
`X2`
__
mark
`X1`
`X2`
mark
__
`X1`
`X2`
__
`X1`
mark
`X2`
mark
__
`X1`
`X2`
__
2
0
2
2
and
2
0
1
2
mark
1
0
1
active
1
0
1
isNeList
1
4
1
isList
1
4
1
isQid
1
0
1
isNePal
1
0
2
isPal
1
0
2
proper
1
0
1
ok
1
0
1
top
1
0
1
nil
0
6
tt
0
0
a
0
4
e
0
4
i
0
6
o
0
6
u
0
6
top
ok
`X`
top
active
`X`
top
mark
`X`
top
proper
`X`
proper
u
ok
u
proper
o
ok
o
proper
i
ok
i
proper
e
ok
e
proper
a
ok
a
proper
isPal
`X`
isPal
proper
`X`
proper
isNePal
`X`
isNePal
proper
`X`
proper
isQid
`X`
isQid
proper
`X`
proper
isList
`X`
isList
proper
`X`
proper
isNeList
`X`
isNeList
proper
`X`
proper
tt
ok
tt
proper
and
`X1`
`X2`
and
proper
`X1`
proper
`X2`
proper
nil
ok
nil
proper
__
`X1`
`X2`
__
proper
`X1`
proper
`X2`
isPal
ok
`X`
ok
isPal
`X`
isNePal
ok
`X`
ok
isNePal
`X`
isQid
ok
`X`
ok
isQid
`X`
isList
ok
`X`
ok
isList
`X`
isNeList
ok
`X`
ok
isNeList
`X`
and
ok
`X1`
ok
`X2`
ok
and
`X1`
`X2`
and
mark
`X1`
`X2`
mark
and
`X1`
`X2`
active
isNePal
__
`I`
__
`P`
`I`
mark
and
isQid
`I`
isPal
`P`
active
isNePal
`V`
mark
isQid
`V`
active
and
tt
`X`
mark
`X`
active
and
`X1`
`X2`
and
active
`X1`
`X2`
active
__
`X1`
`X2`
__
active
`X1`
`X2`
active
__
`X1`
`X2`
__
`X1`
active
`X2`
__
ok
`X1`
ok
`X2`
ok
__
`X1`
`X2`
__
mark
`X1`
`X2`
mark
__
`X1`
`X2`
__
`X1`
mark
`X2`
mark
__
`X1`
`X2`
__
2
4
4
2
and
2
0
1
1
mark
1
2
1
active
1
0
1
isNeList
1
0
2
isList
1
0
4
isQid
1
0
1
isNePal
1
2
1
isPal
1
0
4
proper
1
0
1
ok
1
0
1
top
1
0
1
nil
0
0
tt
0
2
a
0
0
e
0
0
i
0
0
o
0
0
u
0
0
top
ok
`X`
top
active
`X`
proper
u
ok
u
proper
o
ok
o
proper
i
ok
i
proper
e
ok
e
proper
a
ok
a
proper
isPal
`X`
isPal
proper
`X`
proper
isNePal
`X`
isNePal
proper
`X`
proper
isQid
`X`
isQid
proper
`X`
proper
isList
`X`
isList
proper
`X`
proper
isNeList
`X`
isNeList
proper
`X`
proper
tt
ok
tt
proper
and
`X1`
`X2`
and
proper
`X1`
proper
`X2`
proper
nil
ok
nil
proper
__
`X1`
`X2`
__
proper
`X1`
proper
`X2`
isPal
ok
`X`
ok
isPal
`X`
isNePal
ok
`X`
ok
isNePal
`X`
isQid
ok
`X`
ok
isQid
`X`
isList
ok
`X`
ok
isList
`X`
isNeList
ok
`X`
ok
isNeList
`X`
and
ok
`X1`
ok
`X2`
ok
and
`X1`
`X2`
and
mark
`X1`
`X2`
mark
and
`X1`
`X2`
active
isNePal
`V`
mark
isQid
`V`
active
and
tt
`X`
mark
`X`
active
and
`X1`
`X2`
and
active
`X1`
`X2`
active
__
`X1`
`X2`
__
active
`X1`
`X2`
active
__
`X1`
`X2`
__
`X1`
active
`X2`
__
ok
`X1`
ok
`X2`
ok
__
`X1`
`X2`
__
2
0
1
1
and
2
0
2
2
mark
1
0
1
active
1
0
1
isNeList
1
0
2
isList
1
0
2
isQid
1
0
2
isNePal
1
0
2
isPal
1
0
1
proper
1
0
6
ok
1
0
4
top
1
0
2
nil
0
0
tt
0
0
a
0
0
e
0
1
i
0
0
o
0
2
u
0
0
top
ok
`X`
top
active
`X`
proper
u
ok
u
proper
i
ok
i
proper
a
ok
a
proper
isPal
`X`
isPal
proper
`X`
proper
isNePal
`X`
isNePal
proper
`X`
proper
isQid
`X`
isQid
proper
`X`
proper
isList
`X`
isList
proper
`X`
proper
isNeList
`X`
isNeList
proper
`X`
proper
tt
ok
tt
proper
and
`X1`
`X2`
and
proper
`X1`
proper
`X2`
proper
nil
ok
nil
proper
__
`X1`
`X2`
__
proper
`X1`
proper
`X2`
isPal
ok
`X`
ok
isPal
`X`
isNePal
ok
`X`
ok
isNePal
`X`
isQid
ok
`X`
ok
isQid
`X`
isList
ok
`X`
ok
isList
`X`
isNeList
ok
`X`
ok
isNeList
`X`
and
ok
`X1`
ok
`X2`
ok
and
`X1`
`X2`
and
mark
`X1`
`X2`
mark
and
`X1`
`X2`
active
isNePal
`V`
mark
isQid
`V`
active
and
tt
`X`
mark
`X`
active
and
`X1`
`X2`
and
active
`X1`
`X2`
active
__
`X1`
`X2`
__
active
`X1`
`X2`
active
__
`X1`
`X2`
__
`X1`
active
`X2`
__
ok
`X1`
ok
`X2`
ok
__
`X1`
`X2`
__
2
0
2
1
and
2
0
1
4
mark
1
0
1
active
1
0
1
isNeList
1
0
2
isList
1
0
1
isQid
1
0
4
isNePal
1
0
4
isPal
1
3
2
proper
1
0
3
ok
1
0
1
top
1
0
4
nil
0
0
tt
0
1
a
0
0
i
0
0
u
0
0
top
ok
`X`
top
active
`X`
proper
u
ok
u
proper
i
ok
i
proper
a
ok
a
proper
isNePal
`X`
isNePal
proper
`X`
proper
isQid
`X`
isQid
proper
`X`
proper
isList
`X`
isList
proper
`X`
proper
isNeList
`X`
isNeList
proper
`X`
proper
and
`X1`
`X2`
and
proper
`X1`
proper
`X2`
proper
nil
ok
nil
proper
__
`X1`
`X2`
__
proper
`X1`
proper
`X2`
isPal
ok
`X`
ok
isPal
`X`
isNePal
ok
`X`
ok
isNePal
`X`
isQid
ok
`X`
ok
isQid
`X`
isList
ok
`X`
ok
isList
`X`
isNeList
ok
`X`
ok
isNeList
`X`
and
ok
`X1`
ok
`X2`
ok
and
`X1`
`X2`
and
mark
`X1`
`X2`
mark
and
`X1`
`X2`
active
isNePal
`V`
mark
isQid
`V`
active
and
`X1`
`X2`
and
active
`X1`
`X2`
active
__
`X1`
`X2`
__
active
`X1`
`X2`
active
__
`X1`
`X2`
__
`X1`
active
`X2`
__
ok
`X1`
ok
`X2`
ok
__
`X1`
`X2`
__
2
4
2
1
and
2
4
2
1
mark
1
0
1
active
1
0
1
isNeList
1
0
1
isList
1
0
1
isQid
1
0
1
isNePal
1
0
1
isPal
1
0
1
proper
1
2
2
ok
1
2
2
top
1
0
4
nil
0
0
a
0
0
i
0
0
u
0
0
proper
u
ok
u
proper
i
ok
i
proper
a
ok
a
proper
isNePal
`X`
isNePal
proper
`X`
proper
isQid
`X`
isQid
proper
`X`
proper
isList
`X`
isList
proper
`X`
proper
isNeList
`X`
isNeList
proper
`X`
proper
and
`X1`
`X2`
and
proper
`X1`
proper
`X2`
proper
nil
ok
nil
proper
__
`X1`
`X2`
__
proper
`X1`
proper
`X2`
isPal
ok
`X`
ok
isPal
`X`
isNePal
ok
`X`
ok
isNePal
`X`
isQid
ok
`X`
ok
isQid
`X`
isList
ok
`X`
ok
isList
`X`
isNeList
ok
`X`
ok
isNeList
`X`
and
ok
`X1`
ok
`X2`
ok
and
`X1`
`X2`
and
mark
`X1`
`X2`
mark
and
`X1`
`X2`
active
isNePal
`V`
mark
isQid
`V`
active
and
`X1`
`X2`
and
active
`X1`
`X2`
active
__
`X1`
`X2`
__
active
`X1`
`X2`
active
__
`X1`
`X2`
__
`X1`
active
`X2`
__
ok
`X1`
ok
`X2`
ok
__
`X1`
`X2`
__
2
2
2
2
and
2
0
1
2
mark
1
0
1
active
1
0
5
isNeList
1
0
2
isList
1
0
2
isQid
1
0
1
isNePal
1
0
1
isPal
1
0
4
proper
1
0
4
ok
1
0
1
nil
0
0
a
0
0
i
0
0
u
0
0
proper
u
ok
u
proper
i
ok
i
proper
a
ok
a
proper
isNePal
`X`
isNePal
proper
`X`
proper
isQid
`X`
isQid
proper
`X`
proper
isList
`X`
isList
proper
`X`
proper
isNeList
`X`
isNeList
proper
`X`
proper
and
`X1`
`X2`
and
proper
`X1`
proper
`X2`
proper
nil
ok
nil
isPal
ok
`X`
ok
isPal
`X`
isNePal
ok
`X`
ok
isNePal
`X`
isQid
ok
`X`
ok
isQid
`X`
isList
ok
`X`
ok
isList
`X`
isNeList
ok
`X`
ok
isNeList
`X`
and
ok
`X1`
ok
`X2`
ok
and
`X1`
`X2`
and
mark
`X1`
`X2`
mark
and
`X1`
`X2`
active
isNePal
`V`
mark
isQid
`V`
active
and
`X1`
`X2`
and
active
`X1`
`X2`
__
ok
`X1`
ok
`X2`
ok
__
`X1`
`X2`
__
2
0
2
1
and
2
0
1
2
mark
1
0
1
active
1
0
5
isNeList
1
0
2
isList
1
0
2
isQid
1
0
2
isNePal
1
0
2
isPal
1
0
1
proper
1
0
5
ok
1
0
4
nil
0
1
a
0
0
i
0
0
u
0
0
proper
u
ok
u
proper
i
ok
i
proper
a
ok
a
proper
isNePal
`X`
isNePal
proper
`X`
proper
isQid
`X`
isQid
proper
`X`
proper
isList
`X`
isList
proper
`X`
proper
isNeList
`X`
isNeList
proper
`X`
proper
and
`X1`
`X2`
and
proper
`X1`
proper
`X2`
isPal
ok
`X`
ok
isPal
`X`
isNePal
ok
`X`
ok
isNePal
`X`
isQid
ok
`X`
ok
isQid
`X`
isList
ok
`X`
ok
isList
`X`
isNeList
ok
`X`
ok
isNeList
`X`
and
ok
`X1`
ok
`X2`
ok
and
`X1`
`X2`
and
mark
`X1`
`X2`
mark
and
`X1`
`X2`
active
isNePal
`V`
mark
isQid
`V`
active
and
`X1`
`X2`
and
active
`X1`
`X2`
__
ok
`X1`
ok
`X2`
ok
__
`X1`
`X2`
__
2
0
2
1
and
2
0
1
2
mark
1
0
1
active
1
1
4
isNeList
1
0
1
isList
1
0
1
isQid
1
0
1
isNePal
1
0
2
isPal
1
0
2
proper
1
0
2
ok
1
0
4
a
0
0
i
0
0
u
0
0
proper
u
ok
u
proper
i
ok
i
proper
a
ok
a
proper
isNePal
`X`
isNePal
proper
`X`
proper
isQid
`X`
isQid
proper
`X`
proper
isList
`X`
isList
proper
`X`
proper
isNeList
`X`
isNeList
proper
`X`
proper
and
`X1`
`X2`
and
proper
`X1`
proper
`X2`
isPal
ok
`X`
ok
isPal
`X`
isNePal
ok
`X`
ok
isNePal
`X`
isQid
ok
`X`
ok
isQid
`X`
isList
ok
`X`
ok
isList
`X`
isNeList
ok
`X`
ok
isNeList
`X`
and
ok
`X1`
ok
`X2`
ok
and
`X1`
`X2`
and
mark
`X1`
`X2`
mark
and
`X1`
`X2`
active
and
`X1`
`X2`
and
active
`X1`
`X2`
__
ok
`X1`
ok
`X2`
ok
__
`X1`
`X2`
__
2
0
1
1
and
2
0
1
1
mark
1
0
1
active
1
0
2
isNeList
1
0
2
isList
1
0
1
isQid
1
0
1
isNePal
1
0
2
isPal
1
0
1
proper
1
0
6
ok
1
1
4
a
0
1
i
0
1
u
0
2
proper
isNePal
`X`
isNePal
proper
`X`
proper
isQid
`X`
isQid
proper
`X`
proper
isList
`X`
isList
proper
`X`
proper
isNeList
`X`
isNeList
proper
`X`
proper
and
`X1`
`X2`
and
proper
`X1`
proper
`X2`
isPal
ok
`X`
ok
isPal
`X`
isQid
ok
`X`
ok
isQid
`X`
isList
ok
`X`
ok
isList
`X`
and
mark
`X1`
`X2`
mark
and
`X1`
`X2`
active
and
`X1`
`X2`
and
active
`X1`
`X2`
and
2
0
4
1
mark
1
0
1
active
1
0
3
isNeList
1
0
4
isList
1
0
4
isQid
1
0
4
isNePal
1
0
1
isPal
1
0
2
proper
1
0
1
ok
1
1
3
proper
isNePal
`X`
isNePal
proper
`X`
proper
isQid
`X`
isQid
proper
`X`
proper
isList
`X`
isList
proper
`X`
proper
isNeList
`X`
isNeList
proper
`X`
proper
and
`X1`
`X2`
and
proper
`X1`
proper
`X2`
and
mark
`X1`
`X2`
mark
and
`X1`
`X2`
active
and
`X1`
`X2`
and
active
`X1`
`X2`
and
2
0
2
2
mark
1
6
1
active
1
0
1
isNeList
1
0
2
isList
1
0
1
isQid
1
0
4
isNePal
1
0
4
proper
1
0
1
proper
isNePal
`X`
isNePal
proper
`X`
proper
isQid
`X`
isQid
proper
`X`
proper
isList
`X`
isList
proper
`X`
proper
isNeList
`X`
isNeList
proper
`X`
proper
and
`X1`
`X2`
and
proper
`X1`
proper
`X2`
active
and
`X1`
`X2`
and
active
`X1`
`X2`
and
2
4
4
2
active
1
0
2
isNeList
1
0
4
isList
1
0
4
isQid
1
0
4
isNePal
1
0
2
proper
1
0
1
proper
isNePal
`X`
isNePal
proper
`X`
proper
isQid
`X`
isQid
proper
`X`
proper
isList
`X`
isList
proper
`X`
proper
isNeList
`X`
isNeList
proper
`X`
proper
and
`X1`
`X2`
and
proper
`X1`
proper
`X2`
and
2
1
1
4
isNeList
1
0
1
isList
1
0
2
isQid
1
0
4
isNePal
1
0
4
proper
1
0
2
proper
isNePal
`X`
isNePal
proper
`X`
proper
isQid
`X`
isQid
proper
`X`
proper
isList
`X`
isList
proper
`X`
proper
isNeList
`X`
isNeList
proper
`X`
isNeList
1
1
4
isList
1
0
4
isQid
1
0
4
isNePal
1
0
4
proper
1
0
2
proper
isNePal
`X`
isNePal
proper
`X`
proper
isQid
`X`
isQid
proper
`X`
proper
isList
`X`
isList
proper
`X`
isList
1
0
2
isQid
1
0
1
isNePal
1
1
4
proper
1
0
2
proper
isQid
`X`
isQid
proper
`X`
proper
isList
`X`
isList
proper
`X`
isList
1
1
2
isQid
1
0
1
proper
1
0
4
proper
isQid
`X`
isQid
proper
`X`
isQid
1
1
4
proper
1
0
2