__
__
X
Y
Z
__
X
__
Y
Z
__
X
nil
X
__
nil
X
X
U11
tt
tt
U21
tt
V2
U22
isList
V2
U22
tt
tt
U31
tt
tt
U41
tt
V2
U42
isNeList
V2
U42
tt
tt
U51
tt
V2
U52
isList
V2
U52
tt
tt
U61
tt
tt
U71
tt
P
U72
isPal
P
U72
tt
tt
U81
tt
tt
isList
V
U11
isNeList
V
isList
nil
tt
isList
__
V1
V2
U21
isList
V1
V2
isNeList
V
U31
isQid
V
isNeList
__
V1
V2
U41
isList
V1
V2
isNeList
__
V1
V2
U51
isNeList
V1
V2
isNePal
V
U61
isQid
V
isNePal
__
I
__
P
I
U71
isQid
I
P
isPal
V
U81
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
U11
1
1
tt
0
U21
2
1
U22
1
1
isList
1
U31
1
1
U41
2
1
U42
1
1
isNeList
1
U51
2
1
U52
1
1
U61
1
1
U71
2
1
U72
1
1
isPal
1
U81
1
1
isQid
1
isNePal
1
a
0
e
0
i
0
o
0
u
0
FULL
./TRS/CSR_Maude/palindrome/PALINDROME_nokinds-noand.trs