__ __ 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 __ 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 __ X1 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 U41 tt V2 U42 isNeList activate V2 isNePal V isQid activate V isNeList n____ V1 V2 isNeList activate V1 isList n____ V1 V2 U21 isList activate V1 activate V2 __ __ X Y Z __ Y Z __ __ X Y Z __ X __ Y Z isNeList n____ V1 V2 activate V2 isList n____ V1 V2 isList activate V1 isList n____ V1 V2 activate V1 isList V U11 isNeList activate V U71 tt P U72 isPal activate P isList V activate V isNePal n____ I __ P I isQid activate I isPal V U81 isNePal activate V isPal V activate V U21 tt V2 U22 isList activate V2 U51 tt V2 activate V2 U41 tt V2 activate V2 isNePal n____ I __ P I U71 isQid activate I activate P isNeList V U31 isQid activate V isNePal n____ I __ P I activate I isNePal V activate V isList n____ V1 V2 activate V2 U21 tt V2 isList activate V2 activate n____ X1 X2 __ X1 X2 U71 tt P isPal activate P isList V isNeList activate V isPal V isNePal activate V isNeList V activate V activate n__a a U41 tt V2 isNeList activate V2 isNePal V U61 isQid activate V U51 tt V2 isList activate V2 isNeList n____ V1 V2 U51 isNeList activate V1 activate V2 activate n__u u isNeList n____ V1 V2 isList activate V1 isNeList V isQid activate V isNeList n____ V1 V2 activate V2 U21 tt V2 activate V2 isNeList n____ V1 V2 activate V1 U51 tt V2 U52 isList activate V2 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 __ P I activate P activate n__nil nil isNeList n____ V1 V2 activate V1 true isNePal n____ I __ P I U71 isQid activate I activate P isPal V isNePal activate V U71 tt P isPal activate P true a 0 27543 n__a 0 27543 U72 1 0 U21 2 0 U11 1 0 n__o 0 58155 isNeList 1 0 isPal 1 0 U42 1 0 e 0 0 u 0 27543 activate 1 1 1 U71 2 0 U81 1 0 u 0 0 isNeList 1 0 activate 1 0 n__i 0 33396 __ 2 0 isNePal 1 0 U72 1 0 isQid 1 0 isPal 1 1 48078 n__nil 0 1 U52 1 0 isQid 1 1 20537 n____ 2 1 2 282 n__e 0 27543 o 0 58155 U42 1 0 isList 1 0 isNePal 1 1 48076 nil 0 1 n__u 0 27543 o 0 0 nil 0 0 isList 1 0 i 0 33396 U52 1 0 U61 1 0 U51 2 0 e 0 27543 U11 1 0 U31 1 0 U41 2 0 a 0 0 U21 2 0 U81 1 0 U22 1 0 tt 0 48080 U71 2 1 2 0 U22 1 0 U51 2 0 U41 2 0 U31 1 0 __ 2 1 2 282 U61 1 0 i 0 0 __ __ X Y Z __ X __ Y Z __ nil X X o n__o isQid n__a tt __ X1 X2 n____ X1 X2 isQid n__e tt e n__e isQid n__i tt activate n__u u a n__a activate n____ X1 X2 __ X1 X2 isQid n__u tt 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 isQid n__o tt 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 __ P I isQid activate I false isNePal n____ I __ P I activate I false isNePal n____ I __ P I activate P false isNePal V U61 isQid activate V false isNePal V activate V false isPal V activate V false U21 tt V2 isList activate V2 isNeList n____ V1 V2 U41 isList activate V1 activate V2 isNeList n____ V1 V2 isList activate V1 isNeList n____ V1 V2 U51 isNeList activate V1 activate V2 U51 tt V2 isList activate V2 isList n____ V1 V2 isList activate V1 U41 tt V2 isNeList activate V2 isList n____ V1 V2 U21 isList activate V1 activate V2 isList V isNeList activate V isNeList n____ V1 V2 isNeList activate V1 true a 0 1 n__a 0 1 U72 1 0 U21 2 1 2 6705 U11 1 1 0 n__o 0 22078 isNeList 1 1 6704 isPal 1 0 U42 1 1 0 e 0 0 u 0 10206 activate 1 1 1 U71 2 0 U81 1 0 u 0 0 isNeList 1 1 0 activate 1 0 n__i 0 11885 __ 2 0 isNePal 1 0 U72 1 0 isQid 1 0 isPal 1 1 48078 n__nil 0 1 U52 1 0 isQid 1 1 6703 n____ 2 1 2 6710 n__e 0 27543 o 0 22079 U42 1 0 isList 1 1 6705 isNePal 1 1 48076 nil 0 1 n__u 0 10205 o 0 0 nil 0 0 isList 1 1 2 i 0 11886 U52 1 1 3 U61 1 0 U51 2 1 2 3 e 0 27543 U11 1 0 U31 1 1 0 U41 2 1 2 2 a 0 0 U21 2 1 2 3 U81 1 0 U22 1 0 tt 0 1 U71 2 1 2 0 U22 1 1 0 U51 2 1 2 6708 U41 2 1 2 6707 U31 1 0 __ 2 1 2 6711 U61 1 0 i 0 0 isList n____ V1 V2 U21 isList activate V1 activate V2 U11 tt tt U41 tt V2 U42 isNeList activate V2 __ __ X Y Z __ X __ Y Z __ nil X X isList V U11 isNeList activate V isNeList n____ V1 V2 U51 isNeList activate V1 activate V2 o n__o isQid n__a tt isNeList V U31 isQid activate V __ X1 X2 n____ X1 X2 isList n__nil tt isQid n__e tt e n__e isQid n__i tt activate n__u u U21 tt V2 U22 isList activate V2 a n__a U51 tt V2 U52 isList activate V2 activate n____ X1 X2 __ X1 X2 U31 tt tt isNeList n____ V1 V2 U41 isList activate V1 activate V2 isQid n__u tt nil n__nil activate X X U52 tt tt U42 tt tt activate n__a a U22 tt tt activate n__nil nil u n__u activate n__e e activate n__i i i n__i isQid n__o tt 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 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 isNeList V 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 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 isNePal V isQid activate V false U41 tt V2 U42 isNeList activate V2 false activate n__i i false activate n____ X1 X2 __ X1 X2 false __ __ X Y Z __ X __ Y Z __ __ X Y Z __ Y Z true a 0 1 n__a 0 1 U72 1 0 U21 2 1 2 4 U11 1 1 0 n__o 0 1 isNeList 1 1 3 isPal 1 0 U42 1 1 0 e 0 0 u 0 14099 activate 1 1 1 U71 2 0 U81 1 0 u 0 0 isNeList 1 1 0 activate 1 0 n__i 0 44560 __ 2 1 0 isNePal 1 0 U72 1 0 isQid 1 0 isPal 1 1 48078 n__nil 0 1 U52 1 0 isQid 1 1 0 n____ 2 1 2 6 n__e 0 10282 o 0 2 U42 1 0 isList 1 1 4 isNePal 1 1 48076 nil 0 1 n__u 0 14098 o 0 0 nil 0 0 isList 1 1 2 i 0 44561 U52 1 1 0 U61 1 0 U51 2 1 2 3 e 0 10282 U11 1 0 U31 1 1 0 U41 2 1 2 2 a 0 0 U21 2 1 2 3 U81 1 0 U22 1 0 tt 0 1 U71 2 1 2 0 U22 1 1 0 U51 2 1 2 4 U41 2 1 2 3 U31 1 0 __ 2 1 2 6 U61 1 0 i 0 0 isList n____ V1 V2 U21 isList activate V1 activate V2 U11 tt tt U41 tt V2 U42 isNeList activate V2 __ __ X Y Z __ X __ Y Z __ nil X X isList V U11 isNeList activate V isNeList n____ V1 V2 U51 isNeList activate V1 activate V2 o n__o isQid n__a tt isNeList V U31 isQid activate V __ X1 X2 n____ X1 X2 isList n__nil tt isQid n__e tt e n__e isQid n__i tt activate n__u u U21 tt V2 U22 isList activate V2 a n__a U51 tt V2 U52 isList activate V2 activate n____ X1 X2 __ X1 X2 U31 tt tt isNeList n____ V1 V2 U41 isList activate V1 activate V2 isQid n__u tt nil n__nil activate X X U52 tt tt U42 tt tt activate n__a a U22 tt tt activate n__nil nil u n__u activate n__e e activate n__i i i n__i isQid n__o tt activate n__o o __ X nil X NaTT certifiable-1.6