__ __ 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.2 activate n__i i isList V activate V isNeList V isQid activate V and tt X activate X isNeList n____ V1 V2 and isList activate V1 n__isNeList activate V2 isNePal n____ I __ P I isQid activate I isNeList n____ V1 V2 activate V2 isNePal V activate V isNeList n____ V1 V2 isNeList activate V1 isNeList n____ V1 V2 and isNeList activate V1 n__isList activate V2 isNePal n____ I __ P I and isQid activate I n__isPal activate P activate n__isList X isList X isNePal n____ I __ P I activate I activate n__isPal X isPal X isNeList n____ V1 V2 activate V1 isList n____ V1 V2 activate V1 isNeList n____ V1 V2 isList activate V1 isNePal V isQid activate V __ __ X Y Z __ X __ Y Z isPal V activate V isList V isNeList activate V activate n__u u __ __ X Y Z __ Y Z activate n__isNeList X isNeList X activate n__nil nil activate n__e e isList n____ V1 V2 isList activate V1 isNeList n____ V1 V2 activate V2 isNeList V activate V isList n____ V1 V2 activate V2 activate n____ X1 X2 __ X1 X2 activate n__o o activate n__a a isNeList n____ V1 V2 activate V1 isNePal n____ I __ P I activate P isPal V isNePal activate V isList n____ V1 V2 and isList activate V1 n__isList activate V2 true isList n____ V1 V2 and isList activate V1 n__isList activate V2 isNeList n____ V1 V2 activate V1 isPal V isNePal activate V activate n__isPal X isPal X isNePal n____ I __ P I activate I isNePal n____ I __ P I activate P activate n__isList X isList X isNePal n____ I __ P I and isQid activate I n__isPal activate P isNeList n____ V1 V2 activate V1 isNeList n____ V1 V2 and isNeList activate V1 n__isList activate V2 isNeList n____ V1 V2 isNeList activate V1 isList n____ V1 V2 activate V2 isNeList V activate V isNeList n____ V1 V2 activate V2 isNePal V activate V isNeList n____ V1 V2 activate V2 isList n____ V1 V2 isList activate V1 isNeList n____ V1 V2 and isList activate V1 n__isNeList activate V2 activate n__isNeList X isNeList X isList V isNeList activate V isPal V activate V and tt X activate X isNeList n____ V1 V2 isList activate V1 isList V activate V isList n____ V1 V2 activate V1 true a 0 1 n__a 0 1 n__o 0 2438 isNeList 1 1 2 isPal 1 1 39471 e 0 0 u 0 10451 activate 1 1 39468 and 2 1 2 39467 u 0 0 n__isNeList 1 1 2 isNeList 1 1 1 activate 1 1 0 n__i 0 11798 __ 2 0 n__isList 1 1 39471 isNePal 1 1 1 isQid 1 0 isPal 1 1 39470 n__isPal 1 1 39471 n__nil 0 14219 isQid 1 1 n____ 2 1 2 157874 n__e 0 32286 o 0 2438 isList 1 1 39471 isNePal 1 1 1 nil 0 14219 n__u 0 10451 o 0 0 nil 0 0 isList 1 1 39470 i 0 11798 e 0 32286 a 0 0 tt 0 1 and 2 2 78935 __ 2 1 2 157874 i 0 0 isQid n__o tt and tt X activate X isQid n__a tt isNeList V isQid activate V __ __ X Y Z __ X __ Y Z __ nil X X isQid n__e tt __ X1 X2 n____ X1 X2 activate n__e e e n__e isQid n__u tt activate n__isList X isList X isQid n__i tt i n__i activate n__isPal X isPal X isList X n__isList X o n__o isList V isNeList activate V activate n__isNeList X isNeList X isNeList n____ V1 V2 and isNeList activate V1 n__isList activate V2 activate n__u u isList n____ V1 V2 and isList activate V1 n__isList activate V2 nil n__nil a n__a activate n__nil nil isPal n__nil tt activate n____ X1 X2 __ X1 X2 isNePal n____ I __ P I and isQid activate I n__isPal activate P isNeList X n__isNeList X isPal X n__isPal X isNePal V isQid activate V isNeList n____ V1 V2 and isList activate V1 n__isNeList activate V2 isPal V isNePal activate V activate X X isList n__nil tt activate n__o o activate n__i i activate n__a a u n__u __ X nil X isNePal V isQid activate V false isNePal n____ I __ P I isQid activate I false isNeList V isQid activate V false activate n__a a false activate n__i i false activate n__o o false activate n____ X1 X2 __ X1 X2 false __ __ X Y Z __ Y Z __ __ X Y Z __ X __ Y Z true a 0 2 n__a 0 1 n__o 0 42193 isNeList 1 1 1 isPal 1 1 39471 e 0 0 u 0 46572 activate 1 1 1 and 2 1 2 0 u 0 0 n__isNeList 1 1 1 isNeList 1 1 1 activate 1 0 n__i 0 15922 __ 2 1 2 0 n__isList 1 1 2 isNePal 1 1 39467 isQid 1 0 isPal 1 39470 n__isPal 1 1 39471 n__nil 0 1 isQid 1 1 n____ 2 1 2 4 n__e 0 47262 o 0 42194 isList 1 1 2 isNePal 1 1 1 nil 0 1 n__u 0 46572 o 0 0 nil 0 0 isList 1 1 39470 i 0 15923 e 0 47263 a 0 0 tt 0 1 and 2 2 78935 __ 2 1 2 4 i 0 0 __ __ X Y Z __ X __ Y Z isQid n__o tt and tt X activate X isQid n__a tt isNeList V isQid activate V __ __ X Y Z __ X __ Y Z __ nil X X isQid n__e tt __ X1 X2 n____ X1 X2 activate n__e e e n__e isQid n__u tt activate n__isList X isList X isQid n__i tt i n__i activate n__isPal X isPal X isList X n__isList X o n__o isList V isNeList activate V activate n__isNeList X isNeList X isNeList n____ V1 V2 and isNeList activate V1 n__isList activate V2 activate n__u u isList n____ V1 V2 and isList activate V1 n__isList activate V2 nil n__nil a n__a activate n__nil nil isPal n__nil tt activate n____ X1 X2 __ X1 X2 isNePal n____ I __ P I and isQid activate I n__isPal activate P isNeList X n__isNeList X isPal X n__isPal X isNePal V isQid activate V isNeList n____ V1 V2 and isList activate V1 n__isNeList activate V2 isPal V isNePal activate V activate X X isList n__nil tt activate n__o o activate n__i i activate n__a a u n__u __ X nil X __ __ X Y Z __ X __ Y Z true a 0 3 n__a 0 1 n__o 0 46441 isNeList 1 1 1 isPal 1 1 39471 e 0 0 u 0 46572 activate 1 1 2 and 2 1 2 1 u 0 0 n__isNeList 1 1 1 isNeList 1 1 1 activate 1 0 n__i 0 23612 __ 2 1 0 n__isList 1 1 1 isNePal 1 1 39466 isQid 1 0 isPal 1 39470 n__isPal 1 1 39471 n__nil 0 1 isQid 1 1 n____ 2 1 2 8 n__e 0 47262 o 0 46443 isList 1 1 3 isNePal 1 1 1 nil 0 1 n__u 0 46572 o 0 0 nil 0 0 isList 1 1 39470 i 0 23614 e 0 47264 a 0 0 tt 0 1 and 2 2 78935 __ 2 1 2 8 i 0 0 isQid n__o tt and tt X activate X isQid n__a tt isNeList V isQid activate V __ __ X Y Z __ X __ Y Z __ nil X X isQid n__e tt __ X1 X2 n____ X1 X2 activate n__e e e n__e isQid n__u tt activate n__isList X isList X isQid n__i tt i n__i activate n__isPal X isPal X isList X n__isList X o n__o isList V isNeList activate V activate n__isNeList X isNeList X isNeList n____ V1 V2 and isNeList activate V1 n__isList activate V2 activate n__u u isList n____ V1 V2 and isList activate V1 n__isList activate V2 nil n__nil a n__a activate n__nil nil isPal n__nil tt activate n____ X1 X2 __ X1 X2 isNePal n____ I __ P I and isQid activate I n__isPal activate P isNeList X n__isNeList X isPal X n__isPal X isNePal V isQid activate V isNeList n____ V1 V2 and isList activate V1 n__isNeList activate V2 isPal V isNePal activate V activate X X isList n__nil tt activate n__o o activate n__i i activate n__a a u n__u __ X nil X activate n__nil nil false activate n__u u false activate n__e e false NaTT certifiable-1.6