__ __ X Y Z __ X __ Y Z __ X nil X __ nil X X U11 tt V U12 isNeList activate V U12 tt tt U21 tt V1 V2 U22 isList activate V1 activate V2 U22 tt V2 U23 isList activate V2 U23 tt tt U31 tt V U32 isQid activate V U32 tt tt U41 tt V1 V2 U42 isList activate V1 activate V2 U42 tt V2 U43 isNeList activate V2 U43 tt tt U51 tt V1 V2 U52 isNeList activate V1 activate V2 U52 tt V2 U53 isList activate V2 U53 tt tt U61 tt V U62 isQid activate V U62 tt tt U71 tt V U72 isNePal activate V U72 tt tt and tt X activate X isList V U11 isPalListKind activate V activate V isList n__nil tt isList n____ V1 V2 U21 and isPalListKind activate V1 n__isPalListKind activate V2 activate V1 activate V2 isNeList V U31 isPalListKind activate V activate V isNeList n____ V1 V2 U41 and isPalListKind activate V1 n__isPalListKind activate V2 activate V1 activate V2 isNeList n____ V1 V2 U51 and isPalListKind activate V1 n__isPalListKind activate V2 activate V1 activate V2 isNePal V U61 isPalListKind activate V activate V isNePal n____ I __ P I and and isQid activate I n__isPalListKind activate I n__and isPal activate P n__isPalListKind activate P isPal V U71 isPalListKind activate V activate V isPal n__nil tt isPalListKind n__a tt isPalListKind n__e tt isPalListKind n__i tt isPalListKind n__nil tt isPalListKind n__o tt isPalListKind n__u tt isPalListKind n____ V1 V2 and isPalListKind activate V1 n__isPalListKind activate V2 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 isPalListKind X n__isPalListKind X and X1 X2 n__and 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__isPalListKind X isPalListKind X activate n__and X1 X2 and 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 isNePal n____ I __ P I and isQid activate I n__isPalListKind activate I __ __ X Y Z __ X __ Y Z U51 tt V1 V2 activate V1 activate n__a a isList n____ V1 V2 activate V1 isNeList n____ V1 V2 activate V1 isNeList n____ V1 V2 isPalListKind activate V1 isPal V isPalListKind activate V U51 tt V1 V2 isNeList activate V1 U51 tt V1 V2 U52 isNeList activate V1 activate V2 U42 tt V2 U43 isNeList activate V2 U52 tt V2 activate V2 U61 tt V isQid activate V isPal V activate V U22 tt V2 U23 isList activate V2 activate n__o o isPal V activate V U71 tt V U72 isNePal activate V U61 tt V activate V isNePal V activate V isList V isPalListKind activate V U42 tt V2 isNeList activate V2 isNePal n____ I __ P I isPal activate P isNePal V activate V U22 tt V2 activate V2 isNeList n____ V1 V2 activate V1 activate n__and X1 X2 and X1 X2 U52 tt V2 isList activate V2 isNeList V activate V isPalListKind n____ V1 V2 isPalListKind activate V1 activate n__nil nil activate n__u u isNePal V isPalListKind activate V U71 tt V isNePal activate V U11 tt V activate V U31 tt V activate V isNeList n____ V1 V2 activate V2 U31 tt V isQid activate V isNeList n____ V1 V2 activate V1 isNeList n____ V1 V2 U41 and isPalListKind activate V1 n__isPalListKind activate V2 activate V1 activate V2 isPal V U71 isPalListKind activate V activate V isNeList n____ V1 V2 activate V1 isPalListKind n____ V1 V2 and isPalListKind activate V1 n__isPalListKind activate V2 isList n____ V1 V2 and isPalListKind activate V1 n__isPalListKind activate V2 isNeList n____ V1 V2 and isPalListKind activate V1 n__isPalListKind activate V2 isNePal V U61 isPalListKind activate V activate V U52 tt V2 U53 isList activate V2 isNeList n____ V1 V2 activate V2 isPalListKind n____ V1 V2 activate V1 isList V activate V isList n____ V1 V2 U21 and isPalListKind activate V1 n__isPalListKind activate V2 activate V1 activate V2 isNeList V activate V isNeList V U31 isPalListKind activate V activate V U41 tt V1 V2 U42 isList activate V1 activate V2 activate n__i i activate n____ X1 X2 __ X1 X2 isNePal n____ I __ P I activate P U42 tt V2 activate V2 activate n__e e U11 tt V U12 isNeList activate V U11 tt V isNeList activate V isNeList n____ V1 V2 U51 and isPalListKind activate V1 n__isPalListKind activate V2 activate V1 activate V2 isList n____ V1 V2 activate V1 U61 tt V U62 isQid activate V isNePal n____ I __ P I activate I U51 tt V1 V2 activate V2 isNeList n____ V1 V2 and isPalListKind activate V1 n__isPalListKind activate V2 U41 tt V1 V2 activate V2 U31 tt V U32 isQid activate V isList n____ V1 V2 activate V2 isNeList n____ V1 V2 activate V2 __ __ X Y Z __ Y Z U41 tt V1 V2 activate V1 isList V U11 isPalListKind activate V activate V U21 tt V1 V2 isList activate V1 isList n____ V1 V2 isPalListKind activate V1 U21 tt V1 V2 activate V2 isList V activate V U41 tt V1 V2 isList activate V1 and tt X activate X isNeList n____ V1 V2 activate V2 isList n____ V1 V2 activate V2 activate n__isPalListKind X isPalListKind X U21 tt V1 V2 U22 isList activate V1 activate V2 isNePal n____ I __ P I isQid activate I U71 tt V activate V isNePal n____ I __ P I and and isQid activate I n__isPalListKind activate I n__and isPal activate P n__isPalListKind activate P U22 tt V2 isList activate V2 isNePal n____ I __ P I activate P isPalListKind n____ V1 V2 activate V2 isNePal n____ I __ P I activate I isNeList n____ V1 V2 isPalListKind activate V1 isNeList V isPalListKind activate V U21 tt V1 V2 activate V1 true isPal V U71 isPalListKind activate V activate V U71 tt V isNePal activate V isNePal n____ I __ P I isPal activate P true a 0 1 n__a 0 1 U72 1 0 U32 1 0 U21 3 0 isPalListKind 1 0 U11 2 0 n__o 0 46534 isNeList 1 0 isPal 1 0 U42 2 0 e 0 0 u 0 282 activate 1 1 1 U71 2 0 and 2 1 2 0 u 0 0 isNeList 1 0 U43 1 0 activate 1 0 n__i 0 14799 U23 1 0 U53 1 0 __ 2 0 U43 1 0 U23 1 0 isNePal 1 0 U72 1 0 isQid 1 0 isPal 1 1 41078 n__nil 0 31098 U52 2 0 U12 1 0 isQid 1 0 n____ 2 1 2 20540 n__e 0 27428 o 0 46534 n__isPalListKind 1 0 U42 2 0 U12 1 0 U62 1 0 isList 1 0 isNePal 1 1 0 nil 0 31099 n__u 0 282 o 0 0 U62 1 0 nil 0 0 isList 1 0 U32 1 0 i 0 14799 U52 2 0 U61 2 0 U51 3 0 e 0 27428 U11 2 0 U31 2 0 U41 3 0 a 0 0 U21 3 0 U22 2 0 tt 0 1 n__and 2 1 2 0 U71 2 1 2 41075 U22 2 0 U51 3 0 isPalListKind 1 1 U53 1 0 U41 3 0 U31 2 0 and 2 0 __ 2 1 2 20540 U61 2 0 i 0 0 i n__i activate n____ X1 X2 __ X1 X2 __ __ X Y Z __ X __ Y Z __ nil X X and tt X activate X isPalListKind n__o tt isPalListKind n__a tt activate n__o o isPalListKind n__i tt nil n__nil isPalListKind n__e tt e n__e u n__u activate X X activate n__and X1 X2 and X1 X2 __ X1 X2 n____ X1 X2 activate n__a a o n__o activate n__isPalListKind X isPalListKind X activate n__i i isPalListKind n____ V1 V2 and isPalListKind activate V1 n__isPalListKind activate V2 activate n__u u activate n__e e a n__a activate n__nil nil and X1 X2 n__and X1 X2 isPalListKind n__u tt isPalListKind X n__isPalListKind X isPalListKind n__nil tt __ X nil X isNePal n____ I __ P I and and isQid activate I n__isPalListKind activate I n__and isPal activate P n__isPalListKind 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 isPalListKind activate V activate V false isNePal V isPalListKind activate V false isNePal V activate V false U71 tt V activate V false isNePal V activate V false U61 tt V activate V false U71 tt V U72 isNePal activate V false isPal V activate V false U61 tt V isQid activate V false isPal V activate V false isNePal n____ I __ P I activate I false U61 tt V U62 isQid activate V false U41 tt V1 V2 U42 isList activate V1 activate V2 isList n____ V1 V2 U21 and isPalListKind activate V1 n__isPalListKind activate V2 activate V1 activate V2 U22 tt V2 isList activate V2 isNeList n____ V1 V2 U41 and isPalListKind activate V1 n__isPalListKind activate V2 activate V1 activate V2 U21 tt V1 V2 U22 isList activate V1 activate V2 U41 tt V1 V2 isList activate V1 U52 tt V2 isList activate V2 U21 tt V1 V2 isList activate V1 isList V U11 isPalListKind activate V activate V U42 tt V2 isNeList activate V2 isNeList n____ V1 V2 U51 and isPalListKind activate V1 n__isPalListKind activate V2 activate V1 activate V2 U11 tt V isNeList activate V U51 tt V1 V2 U52 isNeList activate V1 activate V2 U51 tt V1 V2 isNeList activate V1 true a 0 1 n__a 0 1 U72 1 0 U32 1 0 U21 3 1 2 3 31902 isPalListKind 1 0 U11 2 1 2 15946 n__o 0 1 isNeList 1 1 15946 isPal 1 0 U42 2 1 2 15946 e 0 0 u 0 1 activate 1 1 2 U71 2 0 and 2 1 2 0 u 0 0 isNeList 1 1 0 U43 1 1 0 activate 1 0 n__i 0 1 U23 1 0 U53 1 0 __ 2 0 U43 1 0 U23 1 1 0 isNePal 1 0 U72 1 0 isQid 1 0 isPal 1 1 41078 n__nil 0 1 U52 2 1 2 7 U12 1 1 0 isQid 1 1 0 n____ 2 1 2 15963 n__e 0 1 o 0 1 n__isPalListKind 1 0 U42 2 1 2 1 U12 1 0 U62 1 0 isList 1 1 15950 isNePal 1 1 0 nil 0 3 n__u 0 1 o 0 0 U62 1 0 nil 0 0 isList 1 1 6 U32 1 2 i 0 1 U52 2 2 U61 2 0 U51 3 1 2 3 15956 e 0 1 U11 2 1 2 1 U31 2 1 2 0 U41 3 1 2 3 15954 a 0 0 U21 3 1 2 3 15960 U22 2 1 2 7 tt 0 2 n__and 2 1 2 0 U71 2 1 2 41075 U22 2 1 2 15950 U51 3 1 2 10 isPalListKind 1 2 U53 1 2 U41 3 1 2 3 31898 U31 2 0 and 2 0 __ 2 1 2 15963 U61 2 0 i 0 0 i n__i U11 tt V U12 isNeList activate V U52 tt V2 U53 isList activate V2 U23 tt tt activate n____ X1 X2 __ X1 X2 __ __ X Y Z __ X __ Y Z __ nil X X U53 tt tt and tt X activate X isPalListKind n__o tt isNeList n____ V1 V2 U41 and isPalListKind activate V1 n__isPalListKind activate V2 activate V1 activate V2 isPalListKind n__a tt activate n__o o isNeList n____ V1 V2 U51 and isPalListKind activate V1 n__isPalListKind activate V2 activate V1 activate V2 isPalListKind n__i tt isList V U11 isPalListKind activate V activate V nil n__nil U12 tt tt isPalListKind n__e tt U32 tt tt U22 tt V2 U23 isList activate V2 isNeList V U31 isPalListKind activate V activate V e n__e u n__u activate X X U51 tt V1 V2 U52 isNeList activate V1 activate V2 activate n__and X1 X2 and X1 X2 U42 tt V2 U43 isNeList activate V2 __ X1 X2 n____ X1 X2 isList n__nil tt isList n____ V1 V2 U21 and isPalListKind activate V1 n__isPalListKind activate V2 activate V1 activate V2 activate n__a a U41 tt V1 V2 U42 isList activate V1 activate V2 U31 tt V U32 isQid activate V U43 tt tt o n__o activate n__isPalListKind X isPalListKind X activate n__i i U21 tt V1 V2 U22 isList activate V1 activate V2 isPalListKind n____ V1 V2 and isPalListKind activate V1 n__isPalListKind activate V2 activate n__u u activate n__e e a n__a activate n__nil nil and X1 X2 n__and X1 X2 isPalListKind n__u tt isPalListKind X n__isPalListKind X isPalListKind n__nil tt __ X nil X U42 tt V2 U43 isNeList activate V2 false U11 tt V U12 isNeList activate V false isNeList V U31 isPalListKind activate V activate V false U31 tt V U32 isQid activate V false U31 tt V isQid activate V false U31 tt V activate V false isNeList V isPalListKind activate V false isNeList V activate V false isNeList V activate V false U52 tt V2 U53 isList activate V2 false U22 tt V2 U23 isList activate V2 false U22 tt V2 activate V2 false U21 tt V1 V2 activate V1 false U21 tt V1 V2 activate V2 false isList n____ V1 V2 and isPalListKind activate V1 n__isPalListKind activate V2 false isList n____ V1 V2 isPalListKind activate V1 false isList n____ V1 V2 activate V1 false isList n____ V1 V2 activate V2 false isList n____ V1 V2 activate V2 false U52 tt V2 activate V2 false U51 tt V1 V2 activate V2 false isNeList n____ V1 V2 and isPalListKind activate V1 n__isPalListKind activate V2 false isNeList n____ V1 V2 activate V1 false isNeList n____ V1 V2 activate V2 false isNeList n____ V1 V2 activate V1 false isNeList n____ V1 V2 activate V2 false U11 tt V activate V false isList V isPalListKind activate V false isList V activate V false isList V activate V false U41 tt V1 V2 activate V1 false U41 tt V1 V2 activate V2 false isNeList n____ V1 V2 and isPalListKind activate V1 n__isPalListKind activate V2 false isNeList n____ V1 V2 isPalListKind activate V1 false isNeList n____ V1 V2 activate V1 false isNeList n____ V1 V2 activate V2 false isNeList n____ V1 V2 activate V2 false isPal V isPalListKind activate V false isNeList n____ V1 V2 activate V1 false isNeList n____ V1 V2 isPalListKind activate V1 false U42 tt V2 activate V2 false isNePal n____ I __ P I activate P false isList n____ V1 V2 activate V1 false U51 tt V1 V2 activate V1 false isNePal n____ I __ P I and isQid activate I n__isPalListKind activate I false isPalListKind n____ V1 V2 activate V1 isPalListKind n____ V1 V2 activate V2 isPalListKind n____ V1 V2 and isPalListKind activate V1 n__isPalListKind activate V2 activate n__isPalListKind X isPalListKind X and tt X activate X isPalListKind n____ V1 V2 isPalListKind activate V1 activate n__and X1 X2 and X1 X2 true a 0 2 n__a 0 2 U72 1 0 U32 1 0 U21 3 15951 isPalListKind 1 1 0 U11 2 1 2 0 n__o 0 26816 isNeList 1 1 1 isPal 1 0 U42 2 1 2 4 e 0 0 u 0 3825 activate 1 1 0 U71 2 0 and 2 2 0 u 0 0 isNeList 1 1 0 U43 1 1 0 activate 1 1 1 n__i 0 30738 U23 1 0 U53 1 0 __ 2 0 U43 1 0 U23 1 2 isNePal 1 0 U72 1 0 isQid 1 0 isPal 1 1 41078 n__nil 0 978 U52 2 2 7 U12 1 1 0 isQid 1 1 n____ 2 1 2 2 n__e 0 32529 o 0 26816 n__isPalListKind 1 1 0 U42 2 2 1 U12 1 0 U62 1 0 isList 1 1 1 isNePal 1 1 0 nil 0 978 n__u 0 3825 o 0 0 U62 1 0 nil 0 0 isList 1 1 6 U32 1 2 i 0 30738 U52 2 2 U61 2 0 U51 3 1 2 3 15956 e 0 32529 U11 2 1 2 1 U31 2 1 2 0 U41 3 1 2 3 15954 a 0 0 U21 3 1 2 3 15960 U22 2 2 7 tt 0 2 n__and 2 2 0 U71 2 1 2 41075 U22 2 1 15950 U51 3 2 3 isPalListKind 1 1 0 U53 1 2 U41 3 1 3 U31 2 0 and 2 2 1 __ 2 1 2 2 U61 2 0 i 0 0 activate n__and X1 X2 and X1 X2 and tt X activate X i n__i U52 tt V2 U53 isList activate V2 U23 tt tt activate n____ X1 X2 __ X1 X2 __ __ X Y Z __ X __ Y Z __ nil X X U53 tt tt and tt X activate X isPalListKind n__o tt isPalListKind n__a tt activate n__o o isNeList n____ V1 V2 U51 and isPalListKind activate V1 n__isPalListKind activate V2 activate V1 activate V2 isPalListKind n__i tt nil n__nil U12 tt tt isPalListKind n__e tt U32 tt tt U22 tt V2 U23 isList activate V2 e n__e u n__u activate X X U51 tt V1 V2 U52 isNeList activate V1 activate V2 activate n__and X1 X2 and X1 X2 __ X1 X2 n____ X1 X2 activate n__a a U31 tt V U32 isQid activate V U43 tt tt o n__o activate n__isPalListKind X isPalListKind X activate n__i i isPalListKind n____ V1 V2 and isPalListKind activate V1 n__isPalListKind activate V2 activate n__u u activate n__e e a n__a activate n__nil nil and X1 X2 n__and X1 X2 isPalListKind n__u tt isPalListKind X n__isPalListKind X isPalListKind n__nil tt __ X nil X and tt X activate X activate n__and X1 X2 and X1 X2 true a 0 0 n__a 0 1 U72 1 0 U32 1 0 U21 3 1 15949 isPalListKind 1 0 U11 2 1 2 0 n__o 0 1 isNeList 1 1 1 isPal 1 0 U42 2 1 2 1 e 0 0 u 0 0 activate 1 1 0 U71 2 0 and 2 1 2 u 0 0 isNeList 1 0 U43 1 1 0 activate 1 1 0 n__i 0 1 U23 1 0 U53 1 0 __ 2 0 U43 1 0 U23 1 2 isNePal 1 0 U72 1 0 isQid 1 0 isPal 1 41078 n__nil 0 979 U52 2 7 U12 1 1 0 isQid 1 1 n____ 2 1 2 1 n__e 0 1 o 0 0 n__isPalListKind 1 11453 U42 2 1 U12 1 0 U62 1 0 isList 1 1 1 isNePal 1 0 nil 0 978 n__u 0 1 o 0 0 U62 1 0 nil 0 0 isList 1 6 U32 1 2 i 0 2 U52 2 2 U61 2 0 U51 3 15956 e 0 0 U11 2 1 U31 2 1 0 U41 3 15954 a 0 0 U21 3 15960 U22 2 7 tt 0 2 n__and 2 2 2 U71 2 41075 U22 2 1 15950 U51 3 2 2 isPalListKind 1 1 0 U53 1 2 U41 3 1 0 U31 2 0 and 2 2 1 __ 2 2 U61 2 0 i 0 0 U52 tt V2 U53 isList activate V2 U23 tt tt U53 tt tt U12 tt tt U32 tt tt U22 tt V2 U23 isList activate V2 U51 tt V1 V2 U52 isNeList activate V1 activate V2 U31 tt V U32 isQid activate V U43 tt tt activate n__nil nil false activate n__e e false activate n__u u false activate n__a a 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 0 n__a 0 1 U72 1 0 U32 1 0 U21 3 1 15949 isPalListKind 1 0 U11 2 1 2 0 n__o 0 1 isNeList 1 1 2 isPal 1 0 U42 2 1 2 2 e 0 0 u 0 0 activate 1 1 0 U71 2 0 and 2 1 3 u 0 0 isNeList 1 0 U43 1 1 2 activate 1 0 n__i 0 1 U23 1 0 U53 1 0 __ 2 1 0 U43 1 0 U23 1 2 isNePal 1 0 U72 1 0 isQid 1 0 isPal 1 41078 n__nil 0 2 U52 2 7 U12 1 1 0 isQid 1 1 n____ 2 1 2 2 n__e 0 1 o 0 0 n__isPalListKind 1 11453 U42 2 1 U12 1 0 U62 1 0 isList 1 1 1 isNePal 1 0 nil 0 0 n__u 0 1 o 0 0 U62 1 0 nil 0 0 isList 1 6 U32 1 2 i 0 2 U52 2 2 U61 2 0 U51 3 15956 e 0 0 U11 2 1 U31 2 1 0 U41 3 15954 a 0 0 U21 3 15960 U22 2 7 tt 0 2 n__and 2 2 3 U71 2 41075 U22 2 1 15950 U51 3 2 4 isPalListKind 1 1 0 U53 1 2 U41 3 1 1 U31 2 0 and 2 2 1 __ 2 1 2 1 U61 2 0 i 0 0 U52 tt V2 U53 isList activate V2 U23 tt tt U53 tt tt U12 tt tt U32 tt tt U22 tt V2 U23 isList activate V2 U51 tt V1 V2 U52 isNeList activate V1 activate V2 U31 tt V U32 isQid activate V U43 tt tt activate n__i i false NaTT certifiable-1.6