__
__
X
Y
Z
__
X
__
Y
Z
__
X
nil
X
__
nil
X
X
U11
tt
tt
U21
tt
V2
U22
isList
activate
V2
U22
tt
tt
U31
tt
tt
U41
tt
V2
U42
isNeList
activate
V2
U42
tt
tt
U51
tt
V2
U52
isList
activate
V2
U52
tt
tt
U61
tt
tt
U71
tt
P
U72
isPal
activate
P
U72
tt
tt
U81
tt
tt
isList
V
U11
isNeList
activate
V
isList
n__nil
tt
isList
n____
V1
V2
U21
isList
activate
V1
activate
V2
isNeList
V
U31
isQid
activate
V
isNeList
n____
V1
V2
U41
isList
activate
V1
activate
V2
isNeList
n____
V1
V2
U51
isNeList
activate
V1
activate
V2
isNePal
V
U61
isQid
activate
V
isNePal
n____
I
n____
P
I
U71
isQid
activate
I
activate
P
isPal
V
U81
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
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__a
a
activate
n__e
e
activate
n__i
i
activate
n__o
o
activate
n__u
u
activate
X
X
__
2
nil
0
U11
1
tt
0
U21
2
U22
1
isList
1
activate
1
U31
1
U41
2
U42
1
isNeList
1
U51
2
U52
1
U61
1
U71
2
U72
1
isPal
1
U81
1
n__nil
0
n____
2
isQid
1
isNePal
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
FULL
./TRS/TRCSR/PALINDROME_nokinds-noand_FR.trs