__ __ X Y Z __ X __ Y Z __ X nil X __ nil X X U11 tt V U12 isNeList V U12 tt tt U21 tt V1 V2 U22 isList V1 V2 U22 tt V2 U23 isList V2 U23 tt tt U31 tt V U32 isQid V U32 tt tt U41 tt V1 V2 U42 isList V1 V2 U42 tt V2 U43 isNeList V2 U43 tt tt U51 tt V1 V2 U52 isNeList V1 V2 U52 tt V2 U53 isList V2 U53 tt tt U61 tt V U62 isQid V U62 tt tt U71 tt V U72 isNePal V U72 tt tt and tt X X isList V U11 isPalListKind V V isList nil tt isList __ V1 V2 U21 and isPalListKind V1 isPalListKind V2 V1 V2 isNeList V U31 isPalListKind V V isNeList __ V1 V2 U41 and isPalListKind V1 isPalListKind V2 V1 V2 isNeList __ V1 V2 U51 and isPalListKind V1 isPalListKind V2 V1 V2 isNePal V U61 isPalListKind V V isNePal __ I __ P I and and isQid I isPalListKind I and isPal P isPalListKind P isPal V U71 isPalListKind V V isPal nil tt isPalListKind a tt isPalListKind e tt isPalListKind i tt isPalListKind nil tt isPalListKind o tt isPalListKind u tt isPalListKind __ V1 V2 and isPalListKind V1 isPalListKind V2 isQid a tt isQid e tt isQid i tt isQid o tt isQid u tt __ 2 1 2 nil 0 U11 2 1 tt 0 U12 1 1 isNeList 1 U21 3 1 U22 2 1 isList 1 U23 1 1 U31 2 1 U32 1 1 isQid 1 U41 3 1 U42 2 1 U43 1 1 U51 3 1 U52 2 1 U53 1 1 U61 2 1 U62 1 1 U71 2 1 U72 1 1 isNePal 1 and 2 1 isPalListKind 1 isPal 1 a 0 e 0 i 0 o 0 u 0 FULL ./TRS/CSR_Maude/palindrome/PALINDROME_complete.trs