__
__
X
Y
Z
__
X
__
Y
Z
__
X
nil
X
__
nil
X
X
U11
tt
V
U12
isNeList
V
U12
tt
tt
U21
tt
V1
V2
U22
isList
V1
V2
U22
tt
V2
U23
isList
V2
U23
tt
tt
U31
tt
V
U32
isQid
V
U32
tt
tt
U41
tt
V1
V2
U42
isList
V1
V2
U42
tt
V2
U43
isNeList
V2
U43
tt
tt
U51
tt
V1
V2
U52
isNeList
V1
V2
U52
tt
V2
U53
isList
V2
U53
tt
tt
U61
tt
V
U62
isQid
V
U62
tt
tt
U71
tt
V
U72
isNePal
V
U72
tt
tt
and
tt
X
X
isList
V
U11
isPalListKind
V
V
isList
nil
tt
isList
__
V1
V2
U21
and
isPalListKind
V1
isPalListKind
V2
V1
V2
isNeList
V
U31
isPalListKind
V
V
isNeList
__
V1
V2
U41
and
isPalListKind
V1
isPalListKind
V2
V1
V2
isNeList
__
V1
V2
U51
and
isPalListKind
V1
isPalListKind
V2
V1
V2
isNePal
V
U61
isPalListKind
V
V
isNePal
__
I
__
P
I
and
and
isQid
I
isPalListKind
I
and
isPal
P
isPalListKind
P
isPal
V
U71
isPalListKind
V
V
isPal
nil
tt
isPalListKind
a
tt
isPalListKind
e
tt
isPalListKind
i
tt
isPalListKind
nil
tt
isPalListKind
o
tt
isPalListKind
u
tt
isPalListKind
__
V1
V2
and
isPalListKind
V1
isPalListKind
V2
isQid
a
tt
isQid
e
tt
isQid
i
tt
isQid
o
tt
isQid
u
tt
__
2
1
2
nil
0
U11
2
1
tt
0
U12
1
1
isNeList
1
U21
3
1
U22
2
1
isList
1
U23
1
1
U31
2
1
U32
1
1
isQid
1
U41
3
1
U42
2
1
U43
1
1
U51
3
1
U52
2
1
U53
1
1
U61
2
1
U62
1
1
U71
2
1
U72
1
1
isNePal
1
and
2
1
isPalListKind
1
isPal
1
a
0
e
0
i
0
o
0
u
0
FULL
./TRS/CSR_Maude/palindrome/PALINDROME_complete.trs