__ __ X Y Z __ X __ Y Z __ X nil X __ nil X X U11 tt V U12 isPalListKind activate V activate V U12 tt V U13 isNeList activate V U13 tt tt U21 tt V1 V2 U22 isPalListKind activate V1 activate V1 activate V2 U22 tt V1 V2 U23 isPalListKind activate V2 activate V1 activate V2 U23 tt V1 V2 U24 isPalListKind activate V2 activate V1 activate V2 U24 tt V1 V2 U25 isList activate V1 activate V2 U25 tt V2 U26 isList activate V2 U26 tt tt U31 tt V U32 isPalListKind activate V activate V U32 tt V U33 isQid activate V U33 tt tt U41 tt V1 V2 U42 isPalListKind activate V1 activate V1 activate V2 U42 tt V1 V2 U43 isPalListKind activate V2 activate V1 activate V2 U43 tt V1 V2 U44 isPalListKind activate V2 activate V1 activate V2 U44 tt V1 V2 U45 isList activate V1 activate V2 U45 tt V2 U46 isNeList activate V2 U46 tt tt U51 tt V1 V2 U52 isPalListKind activate V1 activate V1 activate V2 U52 tt V1 V2 U53 isPalListKind activate V2 activate V1 activate V2 U53 tt V1 V2 U54 isPalListKind activate V2 activate V1 activate V2 U54 tt V1 V2 U55 isNeList activate V1 activate V2 U55 tt V2 U56 isList activate V2 U56 tt tt U61 tt V U62 isPalListKind activate V activate V U62 tt V U63 isQid activate V U63 tt tt U71 tt I P U72 isPalListKind activate I activate P U72 tt P U73 isPal activate P activate P U73 tt P U74 isPalListKind activate P U74 tt tt U81 tt V U82 isPalListKind activate V activate V U82 tt V U83 isNePal activate V U83 tt tt U91 tt V2 U92 isPalListKind activate V2 U92 tt tt isList V U11 isPalListKind activate V activate V isList n__nil tt isList n____ V1 V2 U21 isPalListKind activate V1 activate V1 activate V2 isNeList V U31 isPalListKind activate V activate V isNeList n____ V1 V2 U41 isPalListKind activate V1 activate V1 activate V2 isNeList n____ V1 V2 U51 isPalListKind activate V1 activate V1 activate V2 isNePal V U61 isPalListKind activate V activate V isNePal n____ I __ P I U71 isQid activate I activate I activate P isPal V U81 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 U91 isPalListKind activate V1 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 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 isNeList V isPalListKind activate V U45 tt V2 isNeList activate V2 U31 tt V activate V isPal V isPalListKind activate V U91 tt V2 isPalListKind activate V2 U54 tt V1 V2 activate V1 isNeList n____ V1 V2 activate V1 U23 tt V1 V2 isPalListKind activate V2 U31 tt V isPalListKind activate V U51 tt V1 V2 activate V1 U11 tt V U12 isPalListKind activate V activate V U24 tt V1 V2 activate V1 U31 tt V U32 isPalListKind activate V activate V isList V U11 isPalListKind activate V activate V U51 tt V1 V2 isPalListKind activate V1 U73 tt P activate P U73 tt P U74 isPalListKind activate P U21 tt V1 V2 activate V1 U71 tt I P activate P U23 tt V1 V2 activate V2 U53 tt V1 V2 U54 isPalListKind activate V2 activate V1 activate V2 U71 tt I P isPalListKind activate I U22 tt V1 V2 activate V1 U41 tt V1 V2 activate V1 U23 tt V1 V2 activate V1 U72 tt P U73 isPal activate P activate P isPalListKind n____ V1 V2 isPalListKind activate V1 U61 tt V activate V isPalListKind n____ V1 V2 U91 isPalListKind activate V1 activate V2 activate n____ X1 X2 __ X1 X2 U41 tt V1 V2 isPalListKind activate V1 U51 tt V1 V2 U52 isPalListKind activate V1 activate V1 activate V2 U52 tt V1 V2 activate V2 isList V isPalListKind activate V U11 tt V activate V U43 tt V1 V2 isPalListKind activate V2 U51 tt V1 V2 activate V1 U43 tt V1 V2 activate V2 U62 tt V isQid activate V U52 tt V1 V2 U53 isPalListKind activate V2 activate V1 activate V2 U61 tt V isPalListKind activate V U55 tt V2 isList activate V2 U53 tt V1 V2 activate V2 isNeList n____ V1 V2 activate V1 isList V activate V U21 tt V1 V2 activate V1 U22 tt V1 V2 activate V2 isNeList n____ V1 V2 activate V1 U25 tt V2 isList activate V2 isNePal V isPalListKind activate V U81 tt V isPalListKind activate V U81 tt V activate V U73 tt P isPalListKind activate P U43 tt V1 V2 activate V1 U53 tt V1 V2 activate V2 isPalListKind n____ V1 V2 activate V1 U61 tt V U62 isPalListKind activate V activate V U24 tt V1 V2 isList activate V1 isNePal n____ I __ P I activate I U82 tt V U83 isNePal activate V U71 tt I P U72 isPalListKind activate I activate P isNePal n____ I __ P I isQid activate I U44 tt V1 V2 isList activate V1 U54 tt V1 V2 U55 isNeList activate V1 activate V2 U42 tt V1 V2 U43 isPalListKind activate V2 activate V1 activate V2 U32 tt V U33 isQid activate V U23 tt V1 V2 U24 isPalListKind activate V2 activate V1 activate V2 U24 tt V1 V2 activate V2 activate n__nil nil U12 tt V U13 isNeList activate V isNePal V U61 isPalListKind activate V activate V isPal V activate V U32 tt V isQid activate V U53 tt V1 V2 activate V1 U21 tt V1 V2 isPalListKind activate V1 U55 tt V2 activate V2 U54 tt V1 V2 isNeList activate V1 U61 tt V activate V isNePal V activate V isNeList n____ V1 V2 activate V1 U52 tt V1 V2 activate V1 isPal V activate V U25 tt V2 activate V2 U23 tt V1 V2 activate V2 isNePal n____ I __ P I activate I U44 tt V1 V2 activate V2 isNeList n____ V1 V2 activate V2 U44 tt V1 V2 activate V1 isList n____ V1 V2 activate V2 U72 tt P activate P U21 tt V1 V2 U22 isPalListKind activate V1 activate V1 activate V2 U62 tt V activate V isList V activate V U43 tt V1 V2 U44 isPalListKind activate V2 activate V1 activate V2 U82 tt V activate V U81 tt V activate V U21 tt V1 V2 activate V2 U42 tt V1 V2 isPalListKind activate V2 U24 tt V1 V2 U25 isList activate V1 activate V2 isNeList n____ V1 V2 U51 isPalListKind activate V1 activate V1 activate V2 activate n__o o U71 tt I P activate I U42 tt V1 V2 activate V2 U62 tt V U63 isQid activate V U31 tt V activate V isNeList n____ V1 V2 isPalListKind activate V1 U22 tt V1 V2 activate V2 isPal V U81 isPalListKind activate V activate V isNePal n____ I __ P I U71 isQid activate I activate I activate P U44 tt V1 V2 U45 isList activate V1 activate V2 U91 tt V2 U92 isPalListKind activate V2 U54 tt V1 V2 activate V2 U45 tt V2 activate V2 U43 tt V1 V2 activate V2 activate n__a a U41 tt V1 V2 U42 isPalListKind activate V1 activate V1 activate V2 U22 tt V1 V2 U23 isPalListKind activate V2 activate V1 activate V2 __ __ X Y Z __ X __ Y Z U11 tt V isPalListKind activate V U52 tt V1 V2 isPalListKind activate V2 U51 tt V1 V2 activate V2 isList n____ V1 V2 isPalListKind activate V1 activate n__u u isList n____ V1 V2 activate V1 __ __ X Y Z __ Y Z U72 tt P activate P U52 tt V1 V2 activate V2 U82 tt V isNePal activate V isNeList n____ V1 V2 isPalListKind activate V1 isNePal n____ I __ P I activate P activate n__e e U45 tt V2 U46 isNeList activate V2 U42 tt V1 V2 activate V2 isNeList n____ V1 V2 activate V2 U55 tt V2 U56 isList activate V2 U91 tt V2 activate V2 activate n__i i isList n____ V1 V2 U21 isPalListKind activate V1 activate V1 activate V2 isNeList V activate V isPalListKind n____ V1 V2 activate V2 isNeList V U31 isPalListKind activate V activate V U41 tt V1 V2 activate V1 U72 tt P isPal activate P U53 tt V1 V2 isPalListKind activate V2 U81 tt V U82 isPalListKind activate V activate V U11 tt V activate V U41 tt V1 V2 activate V2 U42 tt V1 V2 activate V1 isNePal V activate V U22 tt V1 V2 isPalListKind activate V2 U12 tt V isNeList activate V U12 tt V activate V isNeList V activate V isNeList n____ V1 V2 U41 isPalListKind activate V1 activate V1 activate V2 U32 tt V activate V U25 tt V2 U26 isList activate V2 isList n____ V1 V2 activate V1 true U81 tt V U82 isPalListKind activate V activate V U72 tt P isPal activate P U71 tt I P U72 isPalListKind activate I activate P U82 tt V isNePal activate V isNePal n____ I __ P I U71 isQid activate I activate I activate P isPal V U81 isPalListKind activate V activate V true a 0 1 n__a 0 1 U72 2 1 2 11 U32 2 0 U21 3 0 U83 1 0 isPalListKind 1 0 U11 2 0 U24 3 0 n__o 0 1 U24 3 0 U25 2 0 isNeList 1 0 U56 1 0 isPal 1 0 U42 3 0 U91 2 1 0 e 0 0 u 0 1 activate 1 1 1 U26 1 0 U82 2 1 2 2 U71 3 0 U81 2 1 2 5 U92 1 0 u 0 0 isNeList 1 0 U43 3 0 activate 1 0 n__i 0 1 U23 3 0 U53 3 0 __ 2 0 U44 3 0 U55 2 0 U43 3 0 U23 3 0 U63 1 0 isNePal 1 0 U72 2 0 U13 1 0 isQid 1 0 isPal 1 1 9 n__nil 0 1 U52 3 0 U12 2 0 U33 1 0 isQid 1 1 2 U26 1 0 U54 3 0 n____ 2 1 2 10 n__e 0 1 o 0 1 U44 3 0 U54 3 0 U42 3 0 U12 2 0 U62 2 0 U83 1 0 isList 1 0 U73 2 0 U74 1 0 isNePal 1 1 0 U73 2 0 nil 0 2 U25 2 0 n__u 0 1 o 0 0 U62 2 0 U63 1 0 U45 2 0 nil 0 0 isList 1 0 U32 2 0 U33 1 0 U46 1 0 U56 1 0 U46 1 0 i 0 1 U52 3 0 U61 2 0 U51 3 0 e 0 1 U11 2 0 U31 2 0 U92 1 1 0 U41 3 0 a 0 0 U21 3 0 U81 2 0 U82 2 0 U22 3 0 tt 0 1 U71 3 1 2 3 14 U13 1 0 U22 3 0 U45 2 0 U51 3 0 U74 1 0 isPalListKind 1 1 U53 3 0 U41 3 0 U31 2 0 __ 2 1 2 11 U91 2 0 U55 2 0 U61 2 0 i 0 0 isPalListKind n__a tt isPalListKind n__o tt __ __ X Y Z __ X __ Y Z __ nil X X u n__u __ X1 X2 n____ X1 X2 isQid n__o tt e n__e activate n__e e a n__a U92 tt tt isPalListKind n__i tt nil n__nil isPalListKind n____ V1 V2 U91 isPalListKind activate V1 activate V2 activate n__nil nil activate n____ X1 X2 __ X1 X2 activate X X isQid n__a tt isPalListKind n__e tt o n__o isPalListKind n__u tt isQid n__i tt U91 tt V2 U92 isPalListKind activate V2 isQid n__u tt isQid n__e tt activate n__o o activate n__u u activate n__a a isPalListKind n__nil tt activate n__i i i n__i __ X nil X U82 tt V U83 isNePal activate V false isNePal V U61 isPalListKind activate V activate V false U61 tt V U62 isPalListKind activate V activate V false U62 tt V isQid activate V false U61 tt V isPalListKind activate V false U61 tt V activate V false U61 tt V activate V false isNePal V isPalListKind activate V false isNePal V activate V false isNePal V activate V false U72 tt P U73 isPal activate P activate P false U73 tt P isPalListKind activate P false isPal V activate V false isPal V activate V false U72 tt P activate P false U71 tt I P isPalListKind activate I false isNePal n____ I __ P I isQid activate I false isNePal n____ I __ P I activate I false isNePal n____ I __ P I activate I false isNePal n____ I __ P I activate P false U81 tt V isPalListKind activate V false U81 tt V activate V false U71 tt I P activate P false U62 tt V U63 isQid activate V false U73 tt P U74 isPalListKind activate P false U73 tt P activate P false U71 tt I P activate I false U81 tt V activate V false U82 tt V activate V false U62 tt V activate V false isPal V isPalListKind activate V false U72 tt P activate P false isNeList n____ V1 V2 U41 isPalListKind activate V1 activate V1 activate V2 U12 tt V isNeList activate V U54 tt V1 V2 isNeList activate V1 U23 tt V1 V2 U24 isPalListKind activate V2 activate V1 activate V2 U42 tt V1 V2 U43 isPalListKind activate V2 activate V1 activate V2 U44 tt V1 V2 isList activate V1 U54 tt V1 V2 U55 isNeList activate V1 activate V2 isList n____ V1 V2 U21 isPalListKind activate V1 activate V1 activate V2 U24 tt V1 V2 isList activate V1 U25 tt V2 isList activate V2 U55 tt V2 isList activate V2 U52 tt V1 V2 U53 isPalListKind activate V2 activate V1 activate V2 U22 tt V1 V2 U23 isPalListKind activate V2 activate V1 activate V2 U41 tt V1 V2 U42 isPalListKind activate V1 activate V1 activate V2 U51 tt V1 V2 U52 isPalListKind activate V1 activate V1 activate V2 U44 tt V1 V2 U45 isList activate V1 activate V2 U53 tt V1 V2 U54 isPalListKind activate V2 activate V1 activate V2 isList V U11 isPalListKind activate V activate V isNeList n____ V1 V2 U51 isPalListKind activate V1 activate V1 activate V2 U24 tt V1 V2 U25 isList activate V1 activate V2 U11 tt V U12 isPalListKind activate V activate V U43 tt V1 V2 U44 isPalListKind activate V2 activate V1 activate V2 U21 tt V1 V2 U22 isPalListKind activate V1 activate V1 activate V2 U45 tt V2 isNeList activate V2 true a 0 2 n__a 0 1 U72 2 1 2 11 U32 2 0 U21 3 1 2 3 11 U83 1 0 isPalListKind 1 0 U11 2 1 2 4 U24 3 1 2 6 n__o 0 55564 U24 3 1 2 3 15 U25 2 1 0 isNeList 1 1 3 U56 1 1 0 isPal 1 0 U42 3 1 2 3 14 U91 2 1 0 e 0 0 u 0 2 activate 1 1 1 U26 1 1 U82 2 1 2 2 U71 3 0 U81 2 1 2 5 U92 1 0 u 0 0 isNeList 1 1 0 U43 3 1 2 3 12 activate 1 0 n__i 0 1 U23 3 1 2 3 18 U53 3 1 2 3 15 __ 2 0 U44 3 1 2 3 10 U55 2 1 2 6 U43 3 1 2 3 12 U23 3 1 2 3 7 U63 1 0 isNePal 1 0 U72 2 0 U13 1 0 isQid 1 0 isPal 1 1 9 n__nil 0 36350 U52 3 1 2 3 18 U12 2 1 2 3 U33 1 0 isQid 1 1 0 U26 1 0 U54 3 1 2 3 10 n____ 2 1 2 29679 n__e 0 31824 o 0 55565 U44 3 1 2 3 9 U54 3 1 2 3 12 U42 3 1 2 3 15 U12 2 1 2 1 U62 2 0 U83 1 0 isList 1 1 6 U73 2 0 U74 1 0 isNePal 1 1 0 U73 2 0 nil 0 36350 U25 2 1 2 7 n__u 0 1 o 0 0 U62 2 0 U63 1 0 U45 2 1 2 3 nil 0 0 isList 1 1 6 U32 2 1 2 0 U33 1 1 0 U46 1 0 U56 1 0 U46 1 1 0 i 0 1 U52 3 1 2 3 14 U61 2 0 U51 3 1 2 3 21 e 0 31825 U11 2 1 2 3 U31 2 1 2 1 U92 1 1 0 U41 3 1 2 3 18 a 0 0 U21 3 1 2 3 24 U81 2 0 U82 2 0 U22 3 1 2 3 21 tt 0 1 U71 3 1 2 3 14 U13 1 1 0 U22 3 1 2 3 9 U45 2 1 2 1 U51 3 1 2 3 16 U74 1 0 isPalListKind 1 1 U53 3 1 2 3 12 U41 3 1 2 3 16 U31 2 0 __ 2 1 2 29679 U91 2 0 U55 2 1 2 7 U61 2 0 i 0 0 U43 tt V1 V2 U44 isPalListKind activate V2 activate V1 activate V2 isPalListKind n__a tt U11 tt V U12 isPalListKind activate V activate V U33 tt tt U22 tt V1 V2 U23 isPalListKind activate V2 activate V1 activate V2 isPalListKind n__o tt __ __ X Y Z __ X __ Y Z __ nil X X U41 tt V1 V2 U42 isPalListKind activate V1 activate V1 activate V2 U46 tt tt u n__u U55 tt V2 U56 isList activate V2 __ X1 X2 n____ X1 X2 U44 tt V1 V2 U45 isList activate V1 activate V2 U42 tt V1 V2 U43 isPalListKind activate V2 activate V1 activate V2 isQid n__o tt U56 tt tt U51 tt V1 V2 U52 isPalListKind activate V1 activate V1 activate V2 e n__e isNeList n____ V1 V2 U41 isPalListKind activate V1 activate V1 activate V2 U12 tt V U13 isNeList activate V activate n__e e a n__a U24 tt V1 V2 U25 isList activate V1 activate V2 U92 tt tt U21 tt V1 V2 U22 isPalListKind activate V1 activate V1 activate V2 U45 tt V2 U46 isNeList activate V2 U54 tt V1 V2 U55 isNeList activate V1 activate V2 isPalListKind n__i tt nil n__nil U32 tt V U33 isQid activate V isPalListKind n____ V1 V2 U91 isPalListKind activate V1 activate V2 U26 tt tt activate n__nil nil isNeList n____ V1 V2 U51 isPalListKind activate V1 activate V1 activate V2 U52 tt V1 V2 U53 isPalListKind activate V2 activate V1 activate V2 activate n____ X1 X2 __ X1 X2 U53 tt V1 V2 U54 isPalListKind activate V2 activate V1 activate V2 activate X X isQid n__a tt U25 tt V2 U26 isList activate V2 U23 tt V1 V2 U24 isPalListKind activate V2 activate V1 activate V2 U31 tt V U32 isPalListKind activate V activate V isPalListKind n__e tt isList V U11 isPalListKind activate V activate V o n__o isPalListKind n__u tt isQid n__i tt U13 tt tt U91 tt V2 U92 isPalListKind activate V2 isQid n__u tt isQid n__e tt activate n__o o activate n__u u activate n__a a isPalListKind n__nil tt activate n__i i isList n__nil tt isList n____ V1 V2 U21 isPalListKind activate V1 activate V1 activate V2 i n__i isNeList V U31 isPalListKind activate V activate V __ X nil X U45 tt V2 U46 isNeList activate V2 false U45 tt V2 activate V2 false U12 tt V U13 isNeList activate V false U55 tt V2 U56 isList activate V2 false U25 tt V2 U26 isList activate V2 false U25 tt V2 activate V2 false U24 tt V1 V2 activate V1 false U24 tt V1 V2 activate V2 false U23 tt V1 V2 isPalListKind activate V2 false U23 tt V1 V2 activate V2 false U23 tt V1 V2 activate V1 false U23 tt V1 V2 activate V2 false U22 tt V1 V2 isPalListKind activate V2 false U22 tt V1 V2 activate V2 false U22 tt V1 V2 activate V1 false U22 tt V1 V2 activate V2 false U21 tt V1 V2 isPalListKind activate V1 false U21 tt V1 V2 activate V1 false U21 tt V1 V2 activate V1 false U21 tt V1 V2 activate V2 false isList n____ V1 V2 isPalListKind activate V1 false isList n____ V1 V2 activate V1 false isList n____ V1 V2 activate V1 false U55 tt V2 activate V2 false isNeList V U31 isPalListKind activate V activate V false U31 tt V U32 isPalListKind activate V activate V false U32 tt V U33 isQid activate V false U32 tt V isQid activate V false U32 tt V activate V false U31 tt V isPalListKind activate V false U31 tt V activate V false isNeList V activate V false isNeList V activate V false U54 tt V1 V2 activate V1 false U54 tt V1 V2 activate V2 false U53 tt V1 V2 isPalListKind activate V2 false U53 tt V1 V2 activate V2 false U53 tt V1 V2 activate V1 false U53 tt V1 V2 activate V2 false U52 tt V1 V2 isPalListKind activate V2 false U52 tt V1 V2 activate V2 false U52 tt V1 V2 activate V1 false U52 tt V1 V2 activate V2 false U51 tt V1 V2 isPalListKind activate V1 false U51 tt V1 V2 activate V1 false U51 tt V1 V2 activate V1 false U51 tt V1 V2 activate V2 false isNeList n____ V1 V2 isPalListKind activate V1 false isNeList n____ V1 V2 activate V1 false isNeList n____ V1 V2 activate V1 false isNeList n____ V1 V2 activate V2 false U12 tt V activate V false U11 tt V isPalListKind activate V false U11 tt V activate V false U11 tt V activate V false isList V isPalListKind activate V false isList V activate V false isList V activate V false U44 tt V1 V2 activate V1 false U44 tt V1 V2 activate V2 false U43 tt V1 V2 isPalListKind activate V2 false U43 tt V1 V2 activate V2 false U43 tt V1 V2 activate V1 false U43 tt V1 V2 activate V2 false U42 tt V1 V2 isPalListKind activate V2 false U42 tt V1 V2 activate V2 false U42 tt V1 V2 activate V1 false U42 tt V1 V2 activate V2 false U41 tt V1 V2 isPalListKind activate V1 false U41 tt V1 V2 activate V1 false U41 tt V1 V2 activate V1 false U41 tt V1 V2 activate V2 false isNeList n____ V1 V2 isPalListKind activate V1 false isNeList n____ V1 V2 activate V1 false isNeList n____ V1 V2 activate V1 false isNeList n____ V1 V2 activate V2 false U31 tt V activate V false isNeList V isPalListKind activate V false isPalListKind n____ V1 V2 U91 isPalListKind activate V1 activate V2 isPalListKind n____ V1 V2 isPalListKind activate V1 U91 tt V2 isPalListKind activate V2 true a 0 2 n__a 0 1 U72 2 1 2 11 U32 2 0 U21 3 1 2 3 11 U83 1 0 isPalListKind 1 1 0 U11 2 1 2 4 U24 3 1 2 6 n__o 0 1 U24 3 1 2 3 15 U25 2 1 0 isNeList 1 1 3 U56 1 1 0 isPal 1 0 U42 3 1 2 3 14 U91 2 1 0 e 0 0 u 0 2 activate 1 1 1 U26 1 1 U82 2 1 2 2 U71 3 0 U81 2 1 2 5 U92 1 0 u 0 0 isNeList 1 1 0 U43 3 1 2 3 12 activate 1 0 n__i 0 1 U23 3 1 2 3 18 U53 3 1 2 3 15 __ 2 0 U44 3 1 2 3 10 U55 2 1 2 6 U43 3 1 2 3 12 U23 3 1 2 3 7 U63 1 0 isNePal 1 0 U72 2 0 U13 1 0 isQid 1 0 isPal 1 1 9 n__nil 0 52397 U52 3 1 2 3 18 U12 2 1 2 3 U33 1 0 isQid 1 1 0 U26 1 0 U54 3 1 2 3 10 n____ 2 1 2 16 n__e 0 1 o 0 2 U44 3 1 2 3 9 U54 3 1 2 3 12 U42 3 1 2 3 15 U12 2 1 2 1 U62 2 0 U83 1 0 isList 1 1 6 U73 2 0 U74 1 0 isNePal 1 1 0 U73 2 0 nil 0 52397 U25 2 1 2 7 n__u 0 1 o 0 0 U62 2 0 U63 1 0 U45 2 1 2 3 nil 0 0 isList 1 1 6 U32 2 1 2 0 U33 1 1 0 U46 1 0 U56 1 0 U46 1 1 0 i 0 2 U52 3 1 2 3 14 U61 2 0 U51 3 1 2 3 21 e 0 2 U11 2 1 2 3 U31 2 1 2 1 U92 1 1 0 U41 3 1 2 3 18 a 0 0 U21 3 1 2 3 24 U81 2 0 U82 2 0 U22 3 1 2 3 21 tt 0 1 U71 3 1 2 3 14 U13 1 1 0 U22 3 1 2 3 9 U45 2 1 2 1 U51 3 1 2 3 16 U74 1 0 isPalListKind 1 1 U53 3 1 2 3 12 U41 3 1 2 3 16 U31 2 0 __ 2 1 2 16 U91 2 1 2 1 U55 2 1 2 7 U61 2 0 i 0 0 U43 tt V1 V2 U44 isPalListKind activate V2 activate V1 activate V2 isPalListKind n__a tt U11 tt V U12 isPalListKind activate V activate V U33 tt tt U22 tt V1 V2 U23 isPalListKind activate V2 activate V1 activate V2 isPalListKind n__o tt __ __ X Y Z __ X __ Y Z __ nil X X U41 tt V1 V2 U42 isPalListKind activate V1 activate V1 activate V2 U46 tt tt u n__u U55 tt V2 U56 isList activate V2 __ X1 X2 n____ X1 X2 U44 tt V1 V2 U45 isList activate V1 activate V2 U42 tt V1 V2 U43 isPalListKind activate V2 activate V1 activate V2 isQid n__o tt U56 tt tt U51 tt V1 V2 U52 isPalListKind activate V1 activate V1 activate V2 e n__e isNeList n____ V1 V2 U41 isPalListKind activate V1 activate V1 activate V2 U12 tt V U13 isNeList activate V activate n__e e a n__a U24 tt V1 V2 U25 isList activate V1 activate V2 U92 tt tt U21 tt V1 V2 U22 isPalListKind activate V1 activate V1 activate V2 U45 tt V2 U46 isNeList activate V2 U54 tt V1 V2 U55 isNeList activate V1 activate V2 isPalListKind n__i tt nil n__nil U32 tt V U33 isQid activate V isPalListKind n____ V1 V2 U91 isPalListKind activate V1 activate V2 U26 tt tt activate n__nil nil isNeList n____ V1 V2 U51 isPalListKind activate V1 activate V1 activate V2 U52 tt V1 V2 U53 isPalListKind activate V2 activate V1 activate V2 activate n____ X1 X2 __ X1 X2 U53 tt V1 V2 U54 isPalListKind activate V2 activate V1 activate V2 activate X X isQid n__a tt U25 tt V2 U26 isList activate V2 U23 tt V1 V2 U24 isPalListKind activate V2 activate V1 activate V2 U31 tt V U32 isPalListKind activate V activate V isPalListKind n__e tt isList V U11 isPalListKind activate V activate V o n__o isPalListKind n__u tt isQid n__i tt U13 tt tt U91 tt V2 U92 isPalListKind activate V2 isQid n__u tt isQid n__e tt activate n__o o activate n__u u activate n__a a isPalListKind n__nil tt activate n__i i isList n__nil tt isList n____ V1 V2 U21 isPalListKind activate V1 activate V1 activate V2 i n__i isNeList V U31 isPalListKind activate V activate V __ X nil X U91 tt V2 U92 isPalListKind activate V2 false U91 tt V2 activate V2 false isPalListKind n____ V1 V2 activate V1 false isPalListKind n____ V1 V2 activate V2 false isList n____ V1 V2 activate V2 false activate n__i i false activate n__a a false activate n__u u 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 2 1 11 U32 2 0 U21 3 1 2 3 11 U83 1 0 isPalListKind 1 0 U11 2 1 2 4 U24 3 1 2 3 5 n__o 0 1 U24 3 1 15 U25 2 1 isNeList 1 1 3 U56 1 1 isPal 1 0 U42 3 1 2 3 14 U91 2 1 0 e 0 0 u 0 0 activate 1 1 1 U26 1 1 U82 2 1 2 U71 3 0 U81 2 1 5 U92 1 0 u 0 0 isNeList 1 0 U43 3 1 2 3 12 activate 1 0 n__i 0 1 U23 3 1 18 U53 3 1 15 __ 2 1 2 0 U44 3 1 2 3 10 U55 2 2 1 U43 3 1 12 U23 3 1 2 3 7 U63 1 0 isNePal 1 0 U72 2 0 U13 1 0 isQid 1 0 isPal 1 9 n__nil 0 1 U52 3 1 18 U12 2 1 2 3 U33 1 0 isQid 1 1 0 U26 1 0 U54 3 1 2 3 1 n____ 2 1 2 25360 n__e 0 1 o 0 3 U44 3 1 9 U54 3 1 12 U42 3 1 15 U12 2 1 1 U62 2 0 U83 1 0 isList 1 1 6 U73 2 0 U74 1 0 isNePal 1 0 U73 2 0 nil 0 3 U25 2 7 n__u 0 1 o 0 0 U62 2 0 U63 1 0 U45 2 1 2 3 nil 0 0 isList 1 6 U32 2 1 2 0 U33 1 1 U46 1 0 U56 1 0 U46 1 1 0 i 0 3 U52 3 1 2 3 25349 U61 2 0 U51 3 1 21 e 0 3 U11 2 1 3 U31 2 1 2 1 U92 1 1 0 U41 3 1 18 a 0 0 U21 3 1 24 U81 2 0 U82 2 0 U22 3 1 21 tt 0 1 U71 3 14 U13 1 1 0 U22 3 1 2 3 9 U45 2 1 U51 3 1 2 3 25351 U74 1 0 isPalListKind 1 1 U53 3 1 2 3 25347 U41 3 1 2 3 25360 U31 2 0 __ 2 1 2 25360 U91 2 1 1 U55 2 7 U61 2 0 i 0 0 __ __ X Y Z __ X __ Y Z isPalListKind n__a tt U33 tt tt isPalListKind n__o tt __ __ X Y Z __ X __ Y Z __ nil X X U46 tt tt U55 tt V2 U56 isList activate V2 __ X1 X2 n____ X1 X2 isQid n__o tt U56 tt tt U24 tt V1 V2 U25 isList activate V1 activate V2 U92 tt tt isPalListKind n__i tt U32 tt V U33 isQid activate V isPalListKind n____ V1 V2 U91 isPalListKind activate V1 activate V2 U26 tt tt isQid n__a tt U25 tt V2 U26 isList activate V2 isPalListKind n__e tt isPalListKind n__u tt isQid n__i tt U13 tt tt U91 tt V2 U92 isPalListKind activate V2 isQid n__u tt isQid n__e tt isPalListKind n__nil tt isList n__nil tt __ X nil X __ __ X Y Z __ X __ Y Z true a 0 0 n__a 0 1 U72 2 1 11 U32 2 0 U21 3 1 2 3 11 U83 1 0 isPalListKind 1 0 U11 2 1 2 4 U24 3 1 2 3 5 n__o 0 1 U24 3 1 15 U25 2 1 isNeList 1 1 3 U56 1 1 isPal 1 0 U42 3 1 2 3 14 U91 2 1 0 e 0 0 u 0 0 activate 1 1 1 U26 1 1 U82 2 1 2 U71 3 0 U81 2 1 5 U92 1 0 u 0 0 isNeList 1 0 U43 3 1 2 3 12 activate 1 0 n__i 0 54666 U23 3 1 18 U53 3 1 15 __ 2 1 0 U44 3 1 2 3 10 U55 2 2 1 U43 3 1 12 U23 3 1 2 3 7 U63 1 0 isNePal 1 0 U72 2 0 U13 1 0 isQid 1 0 isPal 1 9 n__nil 0 1 U52 3 1 18 U12 2 1 2 3 U33 1 0 isQid 1 1 0 U26 1 0 U54 3 1 2 3 1 n____ 2 1 2 16 n__e 0 1 o 0 3 U44 3 1 9 U54 3 1 12 U42 3 1 15 U12 2 1 1 U62 2 0 U83 1 0 isList 1 1 6 U73 2 0 U74 1 0 isNePal 1 0 U73 2 0 nil 0 3 U25 2 7 n__u 0 1 o 0 0 U62 2 0 U63 1 0 U45 2 1 2 3 nil 0 0 isList 1 6 U32 2 1 2 0 U33 1 1 U46 1 0 U56 1 0 U46 1 1 0 i 0 54668 U52 3 1 2 3 5 U61 2 0 U51 3 1 21 e 0 3 U11 2 1 3 U31 2 1 2 1 U92 1 1 0 U41 3 1 18 a 0 0 U21 3 1 24 U81 2 0 U82 2 0 U22 3 1 21 tt 0 1 U71 3 14 U13 1 1 0 U22 3 1 2 3 9 U45 2 1 U51 3 1 2 3 7 U74 1 0 isPalListKind 1 1 U53 3 1 2 3 3 U41 3 1 2 3 16 U31 2 0 __ 2 1 2 16 U91 2 1 1 U55 2 7 U61 2 0 i 0 0 isPalListKind n__a tt U33 tt tt isPalListKind n__o tt U46 tt tt U55 tt V2 U56 isList activate V2 isQid n__o tt U56 tt tt U24 tt V1 V2 U25 isList activate V1 activate V2 U92 tt tt isPalListKind n__i tt U32 tt V U33 isQid activate V isPalListKind n____ V1 V2 U91 isPalListKind activate V1 activate V2 U26 tt tt isQid n__a tt U25 tt V2 U26 isList activate V2 isPalListKind n__e tt isPalListKind n__u tt isQid n__i tt U13 tt tt U91 tt V2 U92 isPalListKind activate V2 isQid n__u tt isQid n__e tt isPalListKind n__nil tt isList n__nil tt activate n__nil nil false activate n__e e false NaTT certifiable-1.6