__ __ X Y Z __ X __ Y Z __ X nil X __ nil X X U11 tt tt U21 tt V2 U22 isList V2 U22 tt tt U31 tt tt U41 tt V2 U42 isNeList V2 U42 tt tt U51 tt V2 U52 isList V2 U52 tt tt U61 tt tt U71 tt P U72 isPal P U72 tt tt U81 tt tt isList V U11 isNeList V isList nil tt isList __ V1 V2 U21 isList V1 V2 isNeList V U31 isQid V isNeList __ V1 V2 U41 isList V1 V2 isNeList __ V1 V2 U51 isNeList V1 V2 isNePal V U61 isQid V isNePal __ I __ P I U71 isQid I P isPal V U81 isNePal V isPal nil tt isQid a tt isQid e tt isQid i tt isQid o tt isQid u tt __ 2 1 2 nil 0 U11 1 1 tt 0 U21 2 1 U22 1 1 isList 1 U31 1 1 U41 2 1 U42 1 1 isNeList 1 U51 2 1 U52 1 1 U61 1 1 U71 2 1 U72 1 1 isPal 1 U81 1 1 isQid 1 isNePal 1 a 0 e 0 i 0 o 0 u 0 FULL ./TRS/CSR_Maude/palindrome/PALINDROME_nokinds-noand.trs