and
tt
X
__
__
X
Y
Z
__
X
__
Y
Z
__
X
nil
X
__
nil
X
X
isList
isNeList
isList
tt
isList
and
isList
isNeList
isQid
isNeList
and
isList
isNeList
and
isNeList
isNePal
isQid
isNePal
and
isQid
isPal
isNePal
isPal
tt
isQid
tt
and
1
tt
0
__
2
nil
0
isList
0
isNeList
0
isQid
0
isNePal
0
isPal
0
FULL
./TRS/TRCSR/PALINDROME_nokinds_L.trs