__
__
X
Y
Z
__
X
__
Y
Z
__
X
nil
X
__
nil
X
X
and
tt
X
X
isList
V
isNeList
V
isList
nil
tt
isList
__
V1
V2
and
isList
V1
isList
V2
isNeList
V
isQid
V
isNeList
__
V1
V2
and
isList
V1
isNeList
V2
isNeList
__
V1
V2
and
isNeList
V1
isList
V2
isNePal
V
isQid
V
isNePal
__
I
__
P
I
and
isQid
I
isPal
P
isPal
V
isNePal
V
isPal
nil
tt
isQid
a
tt
isQid
e
tt
isQid
i
tt
isQid
o
tt
isQid
u
tt
__
2
1
2
nil
0
and
2
1
tt
0
isList
1
isNeList
1
isQid
1
isNePal
1
isPal
1
a
0
e
0
i
0
o
0
u
0
FULL
./TRS/CSR_Maude/palindrome/PALINDROME_nokinds.trs