a____
__
X
Y
Z
a____
mark
X
a____
mark
Y
mark
Z
a____
X
nil
mark
X
a____
nil
X
mark
X
a__and
tt
X
mark
X
a__isNePal
__
I
__
P
I
tt
mark
__
X1
X2
a____
mark
X1
mark
X2
mark
and
X1
X2
a__and
mark
X1
X2
mark
isNePal
X
a__isNePal
mark
X
mark
nil
nil
mark
tt
tt
a____
X1
X2
__
X1
X2
a__and
X1
X2
and
X1
X2
a__isNePal
X
isNePal
X
a____
2
__
2
mark
1
nil
0
a__and
2
tt
0
a__isNePal
1
and
2
isNePal
1
INNERMOST
./TRS/TRCSR/inn/PALINDROME_nosorts_GM.trs