and tt X __ __ X Y Z __ X __ Y Z __ X nil X __ nil X X isNePal __ I __ P I tt and 1 tt 0 __ 2 nil 0 isNePal 1 FULL ./TRS/TRCSR/PALINDROME_nosorts_L.trs