__ __ X Y Z __ X __ Y Z __ X nil X __ nil X X U11 tt V U12 isPalListKind V V U12 tt V U13 isNeList V U13 tt tt U21 tt V1 V2 U22 isPalListKind V1 V1 V2 U22 tt V1 V2 U23 isPalListKind V2 V1 V2 U23 tt V1 V2 U24 isPalListKind V2 V1 V2 U24 tt V1 V2 U25 isList V1 V2 U25 tt V2 U26 isList V2 U26 tt tt U31 tt V U32 isPalListKind V V U32 tt V U33 isQid V U33 tt tt U41 tt V1 V2 U42 isPalListKind V1 V1 V2 U42 tt V1 V2 U43 isPalListKind V2 V1 V2 U43 tt V1 V2 U44 isPalListKind V2 V1 V2 U44 tt V1 V2 U45 isList V1 V2 U45 tt V2 U46 isNeList V2 U46 tt tt U51 tt V1 V2 U52 isPalListKind V1 V1 V2 U52 tt V1 V2 U53 isPalListKind V2 V1 V2 U53 tt V1 V2 U54 isPalListKind V2 V1 V2 U54 tt V1 V2 U55 isNeList V1 V2 U55 tt V2 U56 isList V2 U56 tt tt U61 tt V U62 isPalListKind V V U62 tt V U63 isQid V U63 tt tt U71 tt I P U72 isPalListKind I P U72 tt P U73 isPal P P U73 tt P U74 isPalListKind P U74 tt tt U81 tt V U82 isPalListKind V V U82 tt V U83 isNePal V U83 tt tt U91 tt V2 U92 isPalListKind V2 U92 tt tt isList V U11 isPalListKind V V isList nil tt isList __ V1 V2 U21 isPalListKind V1 V1 V2 isNeList V U31 isPalListKind V V isNeList __ V1 V2 U41 isPalListKind V1 V1 V2 isNeList __ V1 V2 U51 isPalListKind V1 V1 V2 isNePal V U61 isPalListKind V V isNePal __ I __ P I U71 isQid I I P isPal V U81 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 U91 isPalListKind V1 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 2 1 isPalListKind 1 U13 1 1 isNeList 1 U21 3 1 U22 3 1 U23 3 1 U24 3 1 U25 2 1 isList 1 U26 1 1 U31 2 1 U32 2 1 U33 1 1 isQid 1 U41 3 1 U42 3 1 U43 3 1 U44 3 1 U45 2 1 U46 1 1 U51 3 1 U52 3 1 U53 3 1 U54 3 1 U55 2 1 U56 1 1 U61 2 1 U62 2 1 U63 1 1 U71 3 1 U72 2 1 U73 2 1 isPal 1 U74 1 1 U81 2 1 U82 2 1 U83 1 1 isNePal 1 U91 2 1 U92 1 1 a 0 e 0 i 0 o 0 u 0 FULL ./TRS/CSR_Maude/palindrome/PALINDROME_complete-noand.trs