__ __ 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.2 activate n__i i __ __ X Y Z __ X __ Y Z activate n__u u isNeList V activate V U41 tt V2 isNeList activate V2 isList V activate V isList V isNeList activate V isNeList n____ V1 V2 isNeList activate V1 U41 tt V2 activate V2 isList n____ V1 V2 U21 isList activate V1 activate V2 isNeList n____ V1 V2 activate V1 U71 tt P U72 isPal activate P isList V U11 isNeList activate V isList n____ V1 V2 activate V2 isNePal n____ I n____ P I isQid activate I isPal V U81 isNePal activate V isPal V activate V U51 tt V2 isList activate V2 U51 tt V2 U52 isList activate V2 U41 tt V2 U42 isNeList activate V2 isNePal n____ I n____ P I U71 isQid activate I activate P isNePal V isQid activate V isNePal n____ I n____ P I activate I isNePal V U61 isQid activate V isList n____ V1 V2 isList activate V1 U51 tt V2 activate V2 activate n____ X1 X2 __ activate X1 activate X2 U71 tt P isPal activate P isNeList n____ V1 V2 activate V2 isPal V isNePal activate V isNeList V U31 isQid activate V activate n__a a __ __ X Y Z __ Y Z U21 tt V2 activate V2 activate n____ X1 X2 activate X2 isNeList V isQid activate V U21 tt V2 isList activate V2 isNeList n____ V1 V2 isList activate V1 isNePal V activate V isNeList n____ V1 V2 activate V2 U21 tt V2 U22 isList activate V2 isNeList n____ V1 V2 U51 isNeList activate V1 activate V2 activate n____ X1 X2 activate X1 isNeList n____ V1 V2 U41 isList activate V1 activate V2 activate n__e e activate n__o o U71 tt P activate P isNePal n____ I n____ P I activate P activate n__nil nil isList n____ V1 V2 activate V1 isNeList n____ V1 V2 activate V1 true isList n____ V1 V2 isList activate V1 U51 tt V2 isList activate V2 isNeList n____ V1 V2 U41 isList activate V1 activate V2 isNeList n____ V1 V2 U51 isNeList activate V1 activate V2 isNeList n____ V1 V2 isList activate V1 U21 tt V2 isList activate V2 isList n____ V1 V2 U21 isList activate V1 activate V2 isNeList n____ V1 V2 isNeList activate V1 isList V isNeList activate V U41 tt V2 isNeList activate V2 true a 0 0 n__a 0 0 U72 1 0 U21 2 1 1 U11 1 2 n__o 0 1 isNeList 1 31892 isPal 1 0 U42 1 1 31895 e 0 0 u 0 20977 activate 1 1 0 U71 2 0 U81 1 0 u 0 0 isNeList 1 1 0 activate 1 0 n__i 0 0 __ 2 0 isNePal 1 0 U72 1 0 isQid 1 0 isPal 1 0 n__nil 0 1 U52 1 0 isQid 1 1 n____ 2 1 2 21658 n__e 0 0 o 0 1 U42 1 0 isList 1 1 isNePal 1 0 nil 0 1 n__u 0 20977 o 0 0 nil 0 0 isList 1 1 1 i 0 0 U52 1 1 31895 U61 1 0 U51 2 2 21657 e 0 0 U11 1 0 U31 1 31893 U41 2 2 1 a 0 0 U21 2 2 2 U81 1 0 U22 1 0 tt 0 31894 U71 2 0 U22 1 31893 U51 2 1 1 U41 2 1 31892 U31 1 0 __ 2 1 2 21658 U61 1 0 i 0 0 __ __ X Y Z __ X __ Y Z __ nil X X o n__o __ X1 X2 n____ X1 X2 e n__e activate n__u u a n__a activate n____ X1 X2 __ activate X1 activate X2 nil n__nil activate X X activate n__a a activate n__nil nil u n__u activate n__e e activate n__i i i n__i activate n__o o __ X nil X U51 tt V2 U52 isList activate V2 false U21 tt V2 U22 isList activate V2 false U41 tt V2 U42 isNeList activate V2 false U41 tt V2 activate V2 false isList V U11 isNeList activate V false isNeList n____ V1 V2 activate V1 false isNeList n____ V1 V2 activate V2 false isNeList V U31 isQid activate V false isNeList V isQid activate V false isList V activate V false U21 tt V2 activate V2 false isList n____ V1 V2 activate V1 false isList n____ V1 V2 activate V2 false U51 tt V2 activate V2 false isNeList n____ V1 V2 activate V1 false isNeList n____ V1 V2 activate V2 false isNePal n____ I n____ P I U71 isQid activate I activate P isPal V isNePal activate V U71 tt P isPal activate P true a 0 0 n__a 0 0 U72 1 0 U21 2 1 1 U11 1 2 n__o 0 1 isNeList 1 1 isPal 1 0 U42 1 1 31895 e 0 0 u 0 20977 activate 1 1 0 U71 2 0 U81 1 0 u 0 0 isNeList 1 1 0 activate 1 0 n__i 0 0 __ 2 0 isNePal 1 0 U72 1 0 isQid 1 0 isPal 1 1 1 n__nil 0 3037 U52 1 0 isQid 1 1 n____ 2 1 2 21658 n__e 0 0 o 0 1 U42 1 0 isList 1 1 isNePal 1 1 0 nil 0 3037 n__u 0 20977 o 0 0 nil 0 0 isList 1 1 1 i 0 0 U52 1 1 31895 U61 1 0 U51 2 2 21657 e 0 0 U11 1 0 U31 1 2 U41 2 2 1 a 0 0 U21 2 2 2 U81 1 0 U22 1 0 tt 0 3 U71 2 2 2 U22 1 2 U51 2 1 1 U41 2 1 1 U31 1 0 __ 2 1 2 21658 U61 1 0 i 0 0 __ __ X Y Z __ X __ Y Z __ nil X X o n__o __ X1 X2 n____ X1 X2 e n__e activate n__u u a n__a activate n____ X1 X2 __ activate X1 activate X2 nil n__nil activate X X activate n__a a activate n__nil nil u n__u activate n__e e activate n__i i i n__i activate n__o o __ X nil X isPal V U81 isNePal activate V false U71 tt P U72 isPal activate P false U71 tt P activate P false isNePal n____ I n____ P I isQid activate I false isNePal n____ I n____ P I activate I false isNePal n____ I n____ P I activate P false isNePal V U61 isQid activate V false isNePal V isQid activate V false isNePal V activate V false isPal V activate V false isNeList V activate V false activate n____ X1 X2 activate X1 activate n____ X1 X2 activate X2 true a 0 0 n__a 0 0 U72 1 0 U21 2 1 1 U11 1 2 n__o 0 1 isNeList 1 1 isPal 1 0 U42 1 1 31895 e 0 0 u 0 36229 activate 1 1 0 U71 2 0 U81 1 0 u 0 0 isNeList 1 1 0 activate 1 1 0 n__i 0 0 __ 2 0 isNePal 1 0 U72 1 0 isQid 1 0 isPal 1 1 1 n__nil 0 29364 U52 1 0 isQid 1 1 n____ 2 1 2 21238 n__e 0 0 o 0 1 U42 1 0 isList 1 1 isNePal 1 1 0 nil 0 29364 n__u 0 36229 o 0 0 nil 0 0 isList 1 1 1 i 0 0 U52 1 1 31895 U61 1 0 U51 2 2 21657 e 0 0 U11 1 0 U31 1 2 U41 2 2 1 a 0 0 U21 2 2 2 U81 1 0 U22 1 0 tt 0 3 U71 2 2 2 U22 1 2 U51 2 1 1 U41 2 1 1 U31 1 0 __ 2 1 2 21238 U61 1 0 i 0 0 __ __ X Y Z __ X __ Y Z __ nil X X o n__o __ X1 X2 n____ X1 X2 e n__e activate n__u u a n__a activate n____ X1 X2 __ activate X1 activate X2 nil n__nil activate X X activate n__a a activate n__nil nil u n__u activate n__e e activate n__i i i n__i activate n__o o __ X nil X activate n__o o false activate n__e e false activate n__nil nil false activate n__a a false activate n__u u false activate n__i i false activate n____ X1 X2 __ activate X1 activate X2 false __ __ X Y Z __ Y Z __ __ X Y Z __ X __ Y Z true a 0 0 n__a 0 0 U72 1 0 U21 2 1 1 U11 1 2 n__o 0 1 isNeList 1 1 isPal 1 0 U42 1 1 31895 e 0 0 u 0 36229 activate 1 1 0 U71 2 0 U81 1 0 u 0 0 isNeList 1 1 0 activate 1 0 n__i 0 0 __ 2 1 0 isNePal 1 0 U72 1 0 isQid 1 0 isPal 1 1 1 n__nil 0 30401 U52 1 0 isQid 1 1 n____ 2 1 2 21238 n__e 0 0 o 0 1 U42 1 0 isList 1 1 isNePal 1 1 0 nil 0 30401 n__u 0 36229 o 0 0 nil 0 0 isList 1 1 1 i 0 0 U52 1 1 31895 U61 1 0 U51 2 2 21657 e 0 0 U11 1 0 U31 1 2 U41 2 2 1 a 0 0 U21 2 2 2 U81 1 0 U22 1 0 tt 0 3 U71 2 2 2 U22 1 2 U51 2 1 1 U41 2 1 1 U31 1 0 __ 2 1 2 21238 U61 1 0 i 0 0 __ __ X Y Z __ X __ Y Z __ nil X X o n__o __ X1 X2 n____ X1 X2 e n__e activate n__u u a n__a activate n____ X1 X2 __ activate X1 activate X2 nil n__nil activate X X activate n__a a activate n__nil nil u n__u activate n__e e activate n__i i i n__i activate n__o o __ X nil X NaTT certifiable-1.6