__ __ X Y Z __ X __ Y Z __ X nil X __ nil X X and tt X activate X isList V isNeList activate V isList n__nil tt isList n____ V1 V2 and isList activate V1 n__isList activate V2 isNeList V isQid activate V isNeList n____ V1 V2 and isList activate V1 n__isNeList activate V2 isNeList n____ V1 V2 and isNeList activate V1 n__isList activate V2 isNePal V isQid activate V isNePal n____ I __ P I and isQid activate I n__isPal activate P isPal V 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 isList X n__isList X isNeList X n__isNeList X isPal X n__isPal X a n__a e n__e i n__i o n__o u n__u activate n__nil nil activate n____ X1 X2 __ X1 X2 activate n__isList X isList X activate n__isNeList X isNeList X activate n__isPal X isPal X 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 and 2 tt 0 activate 1 isList 1 isNeList 1 n__nil 0 n____ 2 n__isList 1 isQid 1 n__isNeList 1 isNePal 1 n__isPal 1 isPal 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_Z.trs