and tt X __ __ X Y Z __ X __ Y Z __ X nil X __ nil X X isList isNeList isList tt isList and isList isNeList isQid isNeList and isList isNeList and isNeList isNePal isQid isNePal and isQid isPal isNePal isPal tt isQid tt and 1 tt 0 __ 2 nil 0 isList 0 isNeList 0 isQid 0 isNePal 0 isPal 0 FULL ./TRS/TRCSR/PALINDROME_nokinds_L.trs