__ __ X Y Z __ X __ Y Z __ X nil X __ nil X X U11 tt tt U21 tt U22 isList U22 tt tt U31 tt tt U41 tt U42 isNeList U42 tt tt U51 tt U52 isList U52 tt tt U61 tt tt U71 tt U72 isPal U72 tt tt U81 tt tt isList U11 isNeList isList tt isList U21 isList isNeList U31 isQid isNeList U41 isList isNeList U51 isNeList isNePal U61 isQid isNePal U71 isQid isPal U81 isNePal isPal tt isQid tt __ 2 nil 0 U11 1 tt 0 U21 1 U22 1 isList 0 U31 1 U41 1 U42 1 isNeList 0 U51 1 U52 1 U61 1 U71 1 U72 1 isPal 0 U81 1 isQid 0 isNePal 0 FULL ./TRS/TRCSR/PALINDROME_nokinds-noand_L.trs