__
__
X
Y
Z
__
X
__
Y
Z
__
X
nil
X
__
nil
X
X
and
tt
X
activate
X
isList
V
isNeList
activate
V
isList
n__nil
tt
isList
n____
V1
V2
and
isList
activate
V1
n__isList
activate
V2
isNeList
V
isQid
activate
V
isNeList
n____
V1
V2
and
isList
activate
V1
n__isNeList
activate
V2
isNeList
n____
V1
V2
and
isNeList
activate
V1
n__isList
activate
V2
isNePal
V
isQid
activate
V
isNePal
n____
I
n____
P
I
and
isQid
activate
I
n__isPal
activate
P
isPal
V
isNePal
activate
V
isPal
n__nil
tt
isQid
n__a
tt
isQid
n__e
tt
isQid
n__i
tt
isQid
n__o
tt
isQid
n__u
tt
nil
n__nil
__
X1
X2
n____
X1
X2
isList
X
n__isList
X
isNeList
X
n__isNeList
X
isPal
X
n__isPal
X
a
n__a
e
n__e
i
n__i
o
n__o
u
n__u
activate
n__nil
nil
activate
n____
X1
X2
__
activate
X1
activate
X2
activate
n__isList
X
isList
X
activate
n__isNeList
X
isNeList
X
activate
n__isPal
X
isPal
X
activate
n__a
a
activate
n__e
e
activate
n__i
i
activate
n__o
o
activate
n__u
u
activate
X
X
__
2
nil
0
and
2
tt
0
activate
1
isList
1
isNeList
1
n__nil
0
n____
2
n__isList
1
isQid
1
n__isNeList
1
isNePal
1
n__isPal
1
isPal
1
n__a
0
n__e
0
n__i
0
n__o
0
n__u
0
a
0
e
0
i
0
o
0
u
0
INNERMOST
./TRS/TRCSR/PALINDROME_nokinds_FR.trs