__ __ X Y Z __ X __ Y Z __ X nil X __ nil X X U11 tt tt U21 tt V2 U22 isList activate V2 U22 tt tt U31 tt tt U41 tt V2 U42 isNeList activate V2 U42 tt tt U51 tt V2 U52 isList activate V2 U52 tt tt U61 tt tt U71 tt P U72 isPal activate P U72 tt tt U81 tt tt isList V U11 isNeList activate V isList n__nil tt isList n____ V1 V2 U21 isList activate V1 activate V2 isNeList V U31 isQid activate V isNeList n____ V1 V2 U41 isList activate V1 activate V2 isNeList n____ V1 V2 U51 isNeList activate V1 activate V2 isNePal V U61 isQid activate V isNePal n____ I n____ P I U71 isQid activate I activate P isPal V U81 isNePal activate V isPal n__nil tt isQid n__a tt isQid n__e tt isQid n__i tt isQid n__o tt isQid n__u tt nil n__nil __ X1 X2 n____ X1 X2 a n__a e n__e i n__i o n__o u n__u activate n__nil nil activate n____ X1 X2 __ activate X1 activate X2 activate n__a a activate n__e e activate n__i i activate n__o o activate n__u u activate X X __ 2 nil 0 U11 1 tt 0 U21 2 U22 1 isList 1 activate 1 U31 1 U41 2 U42 1 isNeList 1 U51 2 U52 1 U61 1 U71 2 U72 1 isPal 1 U81 1 n__nil 0 n____ 2 isQid 1 isNePal 1 n__a 0 n__e 0 n__i 0 n__o 0 n__u 0 a 0 e 0 i 0 o 0 u 0 FULL ./TRS/TRCSR/PALINDROME_nokinds-noand_FR.trs