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
active
1
__
2
mark
1
nil
0
and
2
tt
0
isList
1
isNeList
1
isQid
1
isNePal
1
isPal
1
a
0
e
0
i
0
o
0
u
0
proper
1
ok
1
top
1
INNERMOST
./TRS/TRCSR/inn/PALINDROME_nokinds_C.trs