__ __ 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