__
__
X
Y
Z
__
X
__
Y
Z
__
X
nil
X
__
nil
X
X
U11
tt
U12
tt
U12
tt
tt
isNePal
__
I
__
P
I
U11
tt
activate
X
X
__
2
nil
0
U11
1
tt
0
U12
1
isNePal
1
activate
1
FULL
./TRS/TRCSR/PALINDROME_nosorts-noand_FR.trs
./TRS/TRCSR/PALINDROME_nosorts-noand_Z.trs