a____ __ X Y Z a____ mark X a____ mark Y mark Z a____ X nil mark X a____ nil X mark X a__U11 tt V a__U12 a__isNeList V a__U12 tt tt a__U21 tt V1 V2 a__U22 a__isList V1 V2 a__U22 tt V2 a__U23 a__isList V2 a__U23 tt tt a__U31 tt V a__U32 a__isQid V a__U32 tt tt a__U41 tt V1 V2 a__U42 a__isList V1 V2 a__U42 tt V2 a__U43 a__isNeList V2 a__U43 tt tt a__U51 tt V1 V2 a__U52 a__isNeList V1 V2 a__U52 tt V2 a__U53 a__isList V2 a__U53 tt tt a__U61 tt V a__U62 a__isQid V a__U62 tt tt a__U71 tt V a__U72 a__isNePal V a__U72 tt tt a__and tt X mark X a__isList V a__U11 a__isPalListKind V V a__isList nil tt a__isList __ V1 V2 a__U21 a__and a__isPalListKind V1 isPalListKind V2 V1 V2 a__isNeList V a__U31 a__isPalListKind V V a__isNeList __ V1 V2 a__U41 a__and a__isPalListKind V1 isPalListKind V2 V1 V2 a__isNeList __ V1 V2 a__U51 a__and a__isPalListKind V1 isPalListKind V2 V1 V2 a__isNePal V a__U61 a__isPalListKind V V a__isNePal __ I __ P I a__and a__and a__isQid I isPalListKind I and isPal P isPalListKind P a__isPal V a__U71 a__isPalListKind V V a__isPal nil tt a__isPalListKind a tt a__isPalListKind e tt a__isPalListKind i tt a__isPalListKind nil tt a__isPalListKind o tt a__isPalListKind u tt a__isPalListKind __ V1 V2 a__and a__isPalListKind V1 isPalListKind V2 a__isQid a tt a__isQid e tt a__isQid i tt a__isQid o tt a__isQid u tt mark __ X1 X2 a____ mark X1 mark X2 mark U11 X1 X2 a__U11 mark X1 X2 mark U12 X a__U12 mark X mark isNeList X a__isNeList X mark U21 X1 X2 X3 a__U21 mark X1 X2 X3 mark U22 X1 X2 a__U22 mark X1 X2 mark isList X a__isList X mark U23 X a__U23 mark X mark U31 X1 X2 a__U31 mark X1 X2 mark U32 X a__U32 mark X mark isQid X a__isQid X mark U41 X1 X2 X3 a__U41 mark X1 X2 X3 mark U42 X1 X2 a__U42 mark X1 X2 mark U43 X a__U43 mark X mark U51 X1 X2 X3 a__U51 mark X1 X2 X3 mark U52 X1 X2 a__U52 mark X1 X2 mark U53 X a__U53 mark X mark U61 X1 X2 a__U61 mark X1 X2 mark U62 X a__U62 mark X mark U71 X1 X2 a__U71 mark X1 X2 mark U72 X a__U72 mark X mark isNePal X a__isNePal X mark and X1 X2 a__and mark X1 X2 mark isPalListKind X a__isPalListKind X mark isPal X a__isPal X mark nil nil mark tt tt mark a a mark e e mark i i mark o o mark u u a____ X1 X2 __ X1 X2 a__U11 X1 X2 U11 X1 X2 a__U12 X U12 X a__isNeList X isNeList X a__U21 X1 X2 X3 U21 X1 X2 X3 a__U22 X1 X2 U22 X1 X2 a__isList X isList X a__U23 X U23 X a__U31 X1 X2 U31 X1 X2 a__U32 X U32 X a__isQid X isQid X a__U41 X1 X2 X3 U41 X1 X2 X3 a__U42 X1 X2 U42 X1 X2 a__U43 X U43 X a__U51 X1 X2 X3 U51 X1 X2 X3 a__U52 X1 X2 U52 X1 X2 a__U53 X U53 X a__U61 X1 X2 U61 X1 X2 a__U62 X U62 X a__U71 X1 X2 U71 X1 X2 a__U72 X U72 X a__isNePal X isNePal X a__and X1 X2 and X1 X2 a__isPalListKind X isPalListKind X a__isPal X isPal X 2.2 a__isNePal __ I __ P I a__and a__and a__isQid I isPalListKind I and isPal P isPalListKind P a____ __ X Y Z mark X mark U42 X1 X2 mark X1 a__U31 tt V a__U32 a__isQid V a__isList __ V1 V2 a__U21 a__and a__isPalListKind V1 isPalListKind V2 V1 V2 a__and tt X mark X a__isList V a__U11 a__isPalListKind V V mark U62 X a__U62 mark X mark U42 X1 X2 a__U42 mark X1 X2 mark isList X a__isList X a__U42 tt V2 a__isNeList V2 a__isList __ V1 V2 a__isPalListKind V1 a__U52 tt V2 a__U53 a__isList V2 a__U61 tt V a__U62 a__isQid V mark U62 X mark X mark U22 X1 X2 mark X1 mark U53 X a__U53 mark X a__isPal V a__U71 a__isPalListKind V V a__U71 tt V a__U72 a__isNePal V a__U61 tt V a__isQid V mark U72 X a__U72 mark X mark __ X1 X2 mark X1 mark U11 X1 X2 a__U11 mark X1 X2 mark and X1 X2 mark X1 mark U72 X mark X a__isNeList V a__isPalListKind V a__isList V a__isPalListKind V a__U42 tt V2 a__U43 a__isNeList V2 mark isQid X a__isQid X mark U31 X1 X2 mark X1 mark U21 X1 X2 X3 mark X1 mark isNeList X a__isNeList X mark U32 X mark X a__U22 tt V2 a__isList V2 a__U71 tt V a__isNePal V a__U11 tt V a__isNeList V mark U41 X1 X2 X3 a__U41 mark X1 X2 X3 a__isNeList __ V1 V2 a__isPalListKind V1 mark U52 X1 X2 mark X1 a__isNeList __ V1 V2 a__isPalListKind V1 mark U71 X1 X2 mark X1 a__U51 tt V1 V2 a__isNeList V1 a__isNeList __ V1 V2 a__and a__isPalListKind V1 isPalListKind V2 mark U21 X1 X2 X3 a__U21 mark X1 X2 X3 a__U41 tt V1 V2 a__U42 a__isList V1 V2 a__isNeList __ V1 V2 a__U41 a__and a__isPalListKind V1 isPalListKind V2 V1 V2 a__U22 tt V2 a__U23 a__isList V2 a____ __ X Y Z mark Z mark isPal X a__isPal X mark U51 X1 X2 X3 a__U51 mark X1 X2 X3 mark __ X1 X2 mark X2 a__U31 tt V a__isQid V mark U22 X1 X2 a__U22 mark X1 X2 a__isPal V a__isPalListKind V mark U41 X1 X2 X3 mark X1 a__U21 tt V1 V2 a__U22 a__isList V1 V2 a____ __ X Y Z mark Y mark U12 X a__U12 mark X mark U11 X1 X2 mark X1 mark U32 X a__U32 mark X a__U52 tt V2 a__isList V2 a__U11 tt V a__U12 a__isNeList V a__isNePal V a__U61 a__isPalListKind V V mark U43 X a__U43 mark X mark U53 X mark X mark and X1 X2 a__and mark X1 X2 a__U51 tt V1 V2 a__U52 a__isNeList V1 V2 a__isNePal V a__isPalListKind V mark U23 X mark X mark U52 X1 X2 a__U52 mark X1 X2 mark U43 X mark X a____ nil X mark X a____ __ X Y Z a____ mark Y mark Z mark U23 X a__U23 mark X mark __ X1 X2 a____ mark X1 mark X2 mark U61 X1 X2 mark X1 a__U41 tt V1 V2 a__isList V1 a__isPalListKind __ V1 V2 a__isPalListKind V1 mark isNePal X a__isNePal X mark isPalListKind X a__isPalListKind X a____ __ X Y Z a____ mark X a____ mark Y mark Z a__isNeList __ V1 V2 a__U51 a__and a__isPalListKind V1 isPalListKind V2 V1 V2 a__isList __ V1 V2 a__and a__isPalListKind V1 isPalListKind V2 a__U21 tt V1 V2 a__isList V1 mark U61 X1 X2 a__U61 mark X1 X2 a__isNePal __ I __ P I a__and a__isQid I isPalListKind I mark U71 X1 X2 a__U71 mark X1 X2 a____ X nil mark X a__isNeList V a__U31 a__isPalListKind V V mark U12 X mark X mark U51 X1 X2 X3 mark X1 a__isNePal __ I __ P I a__isQid I a__isNeList __ V1 V2 a__and a__isPalListKind V1 isPalListKind V2 mark U31 X1 X2 a__U31 mark X1 X2 a__isPalListKind __ V1 V2 a__and a__isPalListKind V1 isPalListKind V2 true a__isPalListKind __ V1 V2 a__and a__isPalListKind V1 isPalListKind V2 a__isNeList __ V1 V2 a__and a__isPalListKind V1 isPalListKind V2 mark U41 X1 X2 X3 mark X1 mark U22 X1 X2 a__U22 mark X1 X2 a__isPal V a__isPalListKind V mark __ X1 X2 mark X2 mark U51 X1 X2 X3 a__U51 mark X1 X2 X3 mark isPal X a__isPal X mark U51 X1 X2 X3 mark X1 a____ __ X Y Z mark Z a__isNeList __ V1 V2 a__U41 a__and a__isPalListKind V1 isPalListKind V2 V1 V2 a__U41 tt V1 V2 a__U42 a__isList V1 V2 mark U21 X1 X2 X3 a__U21 mark X1 X2 X3 a__isNeList __ V1 V2 a__and a__isPalListKind V1 isPalListKind V2 mark U12 X mark X a__U51 tt V1 V2 a__isNeList V1 mark U71 X1 X2 mark X1 a__isNeList __ V1 V2 a__isPalListKind V1 a____ X nil mark X mark U52 X1 X2 mark X1 mark U71 X1 X2 a__U71 mark X1 X2 a__isNeList __ V1 V2 a__isPalListKind V1 a__isNePal __ I __ P I a__and a__isQid I isPalListKind I mark U41 X1 X2 X3 a__U41 mark X1 X2 X3 a__U11 tt V a__isNeList V a__U21 tt V1 V2 a__isList V1 a__U71 tt V a__isNePal V a__isList __ V1 V2 a__and a__isPalListKind V1 isPalListKind V2 a__U22 tt V2 a__isList V2 a__isNeList __ V1 V2 a__U51 a__and a__isPalListKind V1 isPalListKind V2 V1 V2 a____ __ X Y Z a____ mark X a____ mark Y mark Z mark isPalListKind X a__isPalListKind X mark U32 X mark X mark isNeList X a__isNeList X mark U21 X1 X2 X3 mark X1 mark isNePal X a__isNePal X mark U31 X1 X2 mark X1 a__U41 tt V1 V2 a__isList V1 a__isPalListKind __ V1 V2 a__isPalListKind V1 mark U61 X1 X2 mark X1 a__isList V a__isPalListKind V a__isNeList V a__isPalListKind V mark __ X1 X2 a____ mark X1 mark X2 mark U72 X mark X mark and X1 X2 mark X1 mark __ X1 X2 mark X1 mark U11 X1 X2 a__U11 mark X1 X2 a____ __ X Y Z a____ mark Y mark Z a____ nil X mark X mark U43 X mark X a__isPal V a__U71 a__isPalListKind V V mark U52 X1 X2 a__U52 mark X1 X2 mark U22 X1 X2 mark X1 mark U23 X mark X a__isNePal V a__isPalListKind V mark U62 X mark X a__U51 tt V1 V2 a__U52 a__isNeList V1 V2 mark and X1 X2 a__and mark X1 X2 mark U53 X mark X a__isList __ V1 V2 a__isPalListKind V1 a__U42 tt V2 a__isNeList V2 mark isList X a__isList X a__U52 tt V2 a__isList V2 mark U42 X1 X2 a__U42 mark X1 X2 a__and tt X mark X a__isList V a__U11 a__isPalListKind V V mark U11 X1 X2 mark X1 a____ __ X Y Z mark Y a__isList __ V1 V2 a__U21 a__and a__isPalListKind V1 isPalListKind V2 V1 V2 a____ __ X Y Z mark X mark U42 X1 X2 mark X1 a__isNePal __ I __ P I a__and a__and a__isQid I isPalListKind I and isPal P isPalListKind P a__U21 tt V1 V2 a__U22 a__isList V1 V2 true a 0 0 a__isNePal 1 1 2 U21 3 1 2 3 4 a__U72 1 0 a__U71 2 2 2 U11 2 1 2 2 a__U31 2 0 a__isNeList 1 1 4 isNeList 1 1 2 a__U23 1 0 isPal 1 1 0 U42 2 1 2 2 u 0 26170 U71 2 1 2 0 a__U62 1 1 0 and 2 1 2 0 a__U43 1 0 a__isPal 1 1 2 U43 1 1 0 a__U51 3 2 3 4 U23 1 1 0 a__U22 2 1 2 2 isNePal 1 1 0 U72 1 1 0 a__U11 2 2 4 a__U31 2 1 2 a__U51 3 1 2 3 4 a____ 2 1 2 0 a__U53 1 0 U12 1 1 0 a__U43 1 1 0 isQid 1 0 a__U62 1 0 a____ 2 1 2 2 a__U42 2 2 4 a__U41 3 1 2 3 4 a__isList 1 1 2 a__isNeList 1 1 2 a__U12 1 0 o 0 0 a__U21 3 2 3 4 a__U61 2 0 mark 1 1 2 isList 1 1 2 a__and 2 2 2 a__U21 3 1 2 3 4 a__U32 1 1 2 nil 0 2 U62 1 1 0 a__isQid 1 0 a__U52 2 2 4 mark 1 1 0 a__U72 1 1 0 a__isNePal 1 1 0 a__U11 2 1 2 2 a__isPalListKind 1 0 U32 1 1 2 a__U53 1 1 0 a__U42 2 1 2 2 a__U52 2 1 2 2 a__U12 1 1 0 i 0 0 U52 2 1 2 2 U61 2 1 0 e 0 0 a__U22 2 2 4 a__isPalListKind 1 2 U31 2 1 2 a__U71 2 1 2 0 a__isPal 1 1 0 a__U61 2 1 0 a__U41 3 2 3 5 tt 0 0 a__isQid 1 0 a__U23 1 1 0 a__isList 1 1 4 U22 2 1 2 2 U51 3 1 2 3 4 a__and 2 1 2 0 isPalListKind 1 0 U53 1 1 0 U41 3 1 2 3 4 a__U32 1 0 __ 2 1 2 2 a__U21 tt V1 V2 a__U22 a__isList V1 V2 a____ __ X Y Z mark X a____ __ X Y Z mark Y a__isList V a__U11 a__isPalListKind V V a__and tt X mark X mark U42 X1 X2 a__U42 mark X1 X2 a__U52 tt V2 a__isList V2 mark isList X a__isList X a__U42 tt V2 a__isNeList V2 mark U53 X mark X mark and X1 X2 a__and mark X1 X2 a__U51 tt V1 V2 a__U52 a__isNeList V1 V2 mark U62 X mark X a__isNePal V a__isPalListKind V mark U23 X mark X mark U52 X1 X2 a__U52 mark X1 X2 a__isPal V a__U71 a__isPalListKind V V mark U43 X mark X a____ nil X mark X mark U11 X1 X2 a__U11 mark X1 X2 mark and X1 X2 mark X1 mark U72 X mark X mark U61 X1 X2 mark X1 a__isPalListKind __ V1 V2 a__isPalListKind V1 mark isNePal X a__isNePal X mark isNeList X a__isNeList X mark isPalListKind X a__isPalListKind X a____ __ X Y Z a____ mark X a____ mark Y mark Z a__U22 tt V2 a__isList V2 a__U71 tt V a__isNePal V a__U21 tt V1 V2 a__isList V1 a__U11 tt V a__isNeList V mark U71 X1 X2 a__U71 mark X1 X2 a____ X nil mark X mark U71 X1 X2 mark X1 a__U51 tt V1 V2 a__isNeList V1 mark U12 X mark X a____ __ X Y Z mark Z mark isPal X a__isPal X a__isPal V a__isPalListKind V mark U22 X1 X2 a__U22 mark X1 X2 a__isPalListKind __ V1 V2 a__and a__isPalListKind V1 isPalListKind V2 a__U62 tt tt mark isList X a__isList X a__U21 X1 X2 X3 U21 X1 X2 X3 a__U11 tt V a__U12 a__isNeList V a__U52 tt V2 a__U53 a__isList V2 a__U23 tt tt mark isQid X a__isQid X a____ __ X Y Z a____ mark X a____ mark Y mark Z a__U11 X1 X2 U11 X1 X2 a____ nil X mark X a__U53 tt tt a__and tt X mark X a__isPalListKind o tt mark isPal X a__isPal X a__U32 X U32 X a__isPal X isPal X a__isNeList __ V1 V2 a__U41 a__and a__isPalListKind V1 isPalListKind V2 V1 V2 mark U71 X1 X2 a__U71 mark X1 X2 a__U71 tt V a__U72 a__isNePal V a__isPalListKind a tt a__U61 tt V a__U62 a__isQid V mark U53 X a__U53 mark X a__isNeList __ V1 V2 a__U51 a__and a__isPalListKind V1 isPalListKind V2 V1 V2 a__U41 X1 X2 X3 U41 X1 X2 X3 a__U31 X1 X2 U31 X1 X2 a__isPalListKind i tt a__isList V a__U11 a__isPalListKind V V a__isNePal V a__U61 a__isPalListKind V V mark isNePal X a__isNePal X mark __ X1 X2 a____ mark X1 mark X2 a__U12 tt tt mark e e a__isPalListKind e tt mark U72 X a__U72 mark X a__U61 X1 X2 U61 X1 X2 a__U53 X U53 X a__U32 tt tt a__isQid a tt a__U22 tt V2 a__U23 a__isList V2 a__U42 X1 X2 U42 X1 X2 a__U72 tt tt a__isNeList V a__U31 a__isPalListKind V V mark U22 X1 X2 a__U22 mark X1 X2 mark U31 X1 X2 a__U31 mark X1 X2 a__isPal V a__U71 a__isPalListKind V V mark U62 X a__U62 mark X a__U51 tt V1 V2 a__U52 a__isNeList V1 V2 a__isList X isList X a__U43 X U43 X mark U42 X1 X2 a__U42 mark X1 X2 a__isNeList X isNeList X a__isPal nil tt a__U42 tt V2 a__U43 a__isNeList V2 mark nil nil a__U72 X U72 X mark U11 X1 X2 a__U11 mark X1 X2 a__U12 X U12 X a__U22 X1 X2 U22 X1 X2 a__isList nil tt mark tt tt a__isList __ V1 V2 a__U21 a__and a__isPalListKind V1 isPalListKind V2 V1 V2 a__U62 X U62 X a____ X1 X2 __ X1 X2 mark U43 X a__U43 mark X a__and X1 X2 and X1 X2 a__U41 tt V1 V2 a__U42 a__isList V1 V2 a__U31 tt V a__U32 a__isQid V a__U43 tt tt mark U23 X a__U23 mark X a__U51 X1 X2 X3 U51 X1 X2 X3 a__isQid e tt mark isPalListKind X a__isPalListKind X mark U41 X1 X2 X3 a__U41 mark X1 X2 X3 mark U52 X1 X2 a__U52 mark X1 X2 a__U21 tt V1 V2 a__U22 a__isList V1 V2 a__isPalListKind __ V1 V2 a__and a__isPalListKind V1 isPalListKind V2 mark U61 X1 X2 a__U61 mark X1 X2 mark U51 X1 X2 X3 a__U51 mark X1 X2 X3 mark o o mark u u mark U21 X1 X2 X3 a__U21 mark X1 X2 X3 mark a a mark U32 X a__U32 mark X mark isNeList X a__isNeList X mark i i a__U52 X1 X2 U52 X1 X2 a__isNePal X isNePal X a__isPalListKind X isPalListKind X a__isPalListKind u tt a__isQid i tt a__U71 X1 X2 U71 X1 X2 a__isQid o tt mark U12 X a__U12 mark X mark and X1 X2 a__and mark X1 X2 a__U23 X U23 X a__isPalListKind nil tt a__isNePal __ I __ P I a__and a__and a__isQid I isPalListKind I and isPal P isPalListKind P a__isQid u tt a__isQid X isQid X a____ X nil mark X a____ __ X Y Z a____ mark X a____ mark Y mark Z true a 0 1 a__isNePal 1 2 U21 3 1 2 a__U72 1 0 a__U71 2 2 U11 2 1 2 a__U31 2 0 a__isNeList 1 4 isNeList 1 2 a__U23 1 0 isPal 1 1 1 U42 2 2 u 0 21822 U71 2 1 1 a__U62 1 1 1 and 2 1 2 0 a__U43 1 0 a__isPal 1 2 U43 1 1 a__U51 3 4 U23 1 0 a__U22 2 1 0 isNePal 1 1 2 U72 1 1 a__U11 2 4 a__U31 2 1 2 a__U51 3 1 2 a____ 2 1 0 a__U53 1 0 U12 1 1 0 a__U43 1 1 isQid 1 1 a__U62 1 0 a____ 2 1 2 38593 a__U42 2 4 a__U41 3 1 2 a__isList 1 2 a__isNeList 1 2 a__U12 1 0 o 0 0 a__U21 3 4 a__U61 2 0 mark 1 2 isList 1 2 a__and 2 2 a__U21 3 1 2 a__U32 1 1 1 nil 0 11453 U62 1 1 1 a__isQid 1 0 a__U52 2 4 mark 1 1 0 a__U72 1 1 a__isNePal 1 1 2 a__U11 2 1 2 a__isPalListKind 1 0 U32 1 1 1 a__U53 1 1 0 a__U42 2 2 a__U52 2 2 a__U12 1 1 0 i 0 43724 U52 2 2 U61 2 1 2 2 e 0 0 a__U22 2 4 a__isPalListKind 1 2 U31 2 1 2 a__U71 2 1 1 a__isPal 1 1 1 a__U61 2 1 2 2 a__U41 3 5 tt 0 0 a__isQid 1 1 a__U23 1 0 a__isList 1 4 U22 2 1 0 U51 3 1 2 a__and 2 1 2 0 isPalListKind 1 0 U53 1 1 0 U41 3 1 2 a__U32 1 0 __ 2 1 2 38593 a__U62 tt tt mark isList X a__isList X a__U21 X1 X2 X3 U21 X1 X2 X3 a__U11 tt V a__U12 a__isNeList V a__U52 tt V2 a__U53 a__isList V2 a__U23 tt tt mark isQid X a__isQid X a____ __ X Y Z a____ mark X a____ mark Y mark Z a__U11 X1 X2 U11 X1 X2 a____ nil X mark X a__U53 tt tt a__and tt X mark X a__isPalListKind o tt mark isPal X a__isPal X a__U32 X U32 X a__isPal X isPal X a__isNeList __ V1 V2 a__U41 a__and a__isPalListKind V1 isPalListKind V2 V1 V2 mark U71 X1 X2 a__U71 mark X1 X2 a__U71 tt V a__U72 a__isNePal V a__isPalListKind a tt a__U61 tt V a__U62 a__isQid V mark U53 X a__U53 mark X a__isNeList __ V1 V2 a__U51 a__and a__isPalListKind V1 isPalListKind V2 V1 V2 a__U41 X1 X2 X3 U41 X1 X2 X3 a__U31 X1 X2 U31 X1 X2 a__isPalListKind i tt a__isList V a__U11 a__isPalListKind V V a__isNePal V a__U61 a__isPalListKind V V mark isNePal X a__isNePal X mark __ X1 X2 a____ mark X1 mark X2 a__U12 tt tt mark e e a__isPalListKind e tt mark U72 X a__U72 mark X a__U61 X1 X2 U61 X1 X2 a__U53 X U53 X a__U32 tt tt a__isQid a tt a__U22 tt V2 a__U23 a__isList V2 a__U42 X1 X2 U42 X1 X2 a__U72 tt tt a__isNeList V a__U31 a__isPalListKind V V mark U22 X1 X2 a__U22 mark X1 X2 mark U31 X1 X2 a__U31 mark X1 X2 a__isPal V a__U71 a__isPalListKind V V mark U62 X a__U62 mark X a__U51 tt V1 V2 a__U52 a__isNeList V1 V2 a__isList X isList X a__U43 X U43 X mark U42 X1 X2 a__U42 mark X1 X2 a__isNeList X isNeList X a__isPal nil tt a__U42 tt V2 a__U43 a__isNeList V2 mark nil nil a__U72 X U72 X mark U11 X1 X2 a__U11 mark X1 X2 a__U12 X U12 X a__U22 X1 X2 U22 X1 X2 a__isList nil tt mark tt tt a__isList __ V1 V2 a__U21 a__and a__isPalListKind V1 isPalListKind V2 V1 V2 a__U62 X U62 X a____ X1 X2 __ X1 X2 mark U43 X a__U43 mark X a__and X1 X2 and X1 X2 a__U41 tt V1 V2 a__U42 a__isList V1 V2 a__U31 tt V a__U32 a__isQid V a__U43 tt tt mark U23 X a__U23 mark X a__U51 X1 X2 X3 U51 X1 X2 X3 a__isQid e tt mark isPalListKind X a__isPalListKind X mark U41 X1 X2 X3 a__U41 mark X1 X2 X3 mark U52 X1 X2 a__U52 mark X1 X2 a__U21 tt V1 V2 a__U22 a__isList V1 V2 a__isPalListKind __ V1 V2 a__and a__isPalListKind V1 isPalListKind V2 mark U61 X1 X2 a__U61 mark X1 X2 mark U51 X1 X2 X3 a__U51 mark X1 X2 X3 mark o o mark u u mark U21 X1 X2 X3 a__U21 mark X1 X2 X3 mark a a mark U32 X a__U32 mark X mark isNeList X a__isNeList X mark i i a__U52 X1 X2 U52 X1 X2 a__isNePal X isNePal X a__isPalListKind X isPalListKind X a__isPalListKind u tt a__isQid i tt a__U71 X1 X2 U71 X1 X2 a__isQid o tt mark U12 X a__U12 mark X mark and X1 X2 a__and mark X1 X2 a__U23 X U23 X a__isPalListKind nil tt a__isNePal __ I __ P I a__and a__and a__isQid I isPalListKind I and isPal P isPalListKind P a__isQid u tt a__isQid X isQid X a____ X nil mark X a____ __ X Y Z mark X false a____ __ X Y Z mark Y false a____ __ X Y Z mark Z false a____ nil X mark X false a__U51 tt V1 V2 a__isNeList V1 false a__U51 tt V1 V2 a__U52 a__isNeList V1 V2 false a__U21 tt V1 V2 a__isList V1 false a__U21 tt V1 V2 a__U22 a__isList V1 V2 false a____ X nil mark X false a__and tt X mark X mark isPal X a__isPal X mark U71 X1 X2 mark X1 mark U71 X1 X2 a__U71 mark X1 X2 a__U71 tt V a__isNePal V mark U53 X mark X a__isNePal V a__isPalListKind V mark isNePal X a__isNePal X mark U72 X mark X a__isPal V a__isPalListKind V a__isPal V a__U71 a__isPalListKind V V mark U62 X mark X mark U43 X mark X mark U23 X mark X mark isPalListKind X a__isPalListKind X a__isPalListKind __ V1 V2 a__isPalListKind V1 a__isPalListKind __ V1 V2 a__and a__isPalListKind V1 isPalListKind V2 mark U61 X1 X2 mark X1 mark U12 X mark X mark and X1 X2 mark X1 mark and X1 X2 a__and mark X1 X2 true a 0 1 a__isNePal 1 3 U21 3 1 2 3 1 a__U72 1 0 a__U71 2 4 U11 2 1 2 0 a__U31 2 0 a__isNeList 1 4 isNeList 1 1 0 a__U23 1 0 isPal 1 4 U42 2 2 1 u 0 10883 U71 2 1 4 a__U62 1 1 1 and 2 1 2 0 a__U43 1 0 a__isPal 1 5 U43 1 1 1 a__U51 3 4 U23 1 1 0 a__U22 2 1 2 0 isNePal 1 4 U72 1 1 0 a__U11 2 4 a__U31 2 1 0 a__U51 3 1 3 1 a____ 2 1 0 a__U53 1 0 U12 1 1 0 a__U43 1 1 1 isQid 1 0 a__U62 1 0 a____ 2 1 2 1 a__U42 2 4 a__U41 3 3 1 a__isList 1 1 0 a__isNeList 1 1 0 a__U12 1 0 o 0 22280 a__U21 3 4 a__U61 2 0 mark 1 1 2 isList 1 1 0 a__and 2 2 2 a__U21 3 1 2 3 1 a__U32 1 1 0 nil 0 11453 U62 1 1 1 a__isQid 1 0 a__U52 2 4 mark 1 1 0 a__U72 1 1 0 a__isNePal 1 4 a__U11 2 1 2 0 a__isPalListKind 1 0 U32 1 1 0 a__U53 1 1 0 a__U42 2 2 1 a__U52 2 2 1 a__U12 1 1 0 i 0 58340 U52 2 2 1 U61 2 1 4 e 0 41861 a__U22 2 4 a__isPalListKind 1 2 U31 2 1 0 a__U71 2 1 4 a__isPal 1 4 a__U61 2 1 4 a__U41 3 5 tt 0 0 a__isQid 1 0 a__U23 1 1 0 a__isList 1 4 U22 2 1 2 0 U51 3 1 3 1 a__and 2 1 2 0 isPalListKind 1 0 U53 1 1 0 U41 3 3 1 a__U32 1 0 __ 2 1 2 1 mark and X1 X2 a__and mark X1 X2 mark and X1 X2 mark X1 mark U12 X mark X a__isPalListKind __ V1 V2 a__and a__isPalListKind V1 isPalListKind V2 a__isPalListKind __ V1 V2 a__isPalListKind V1 mark isPalListKind X a__isPalListKind X mark U23 X mark X mark U72 X mark X mark U53 X mark X a__and tt X mark X a__U62 tt tt mark isList X a__isList X a__U21 X1 X2 X3 U21 X1 X2 X3 a__U11 tt V a__U12 a__isNeList V a__U52 tt V2 a__U53 a__isList V2 a__U23 tt tt mark isQid X a__isQid X a____ __ X Y Z a____ mark X a____ mark Y mark Z a__U11 X1 X2 U11 X1 X2 a____ nil X mark X a__U53 tt tt a__and tt X mark X a__isPalListKind o tt mark isPal X a__isPal X a__U32 X U32 X a__isPal X isPal X a__isNeList __ V1 V2 a__U41 a__and a__isPalListKind V1 isPalListKind V2 V1 V2 mark U71 X1 X2 a__U71 mark X1 X2 a__U71 tt V a__U72 a__isNePal V a__isPalListKind a tt a__U61 tt V a__U62 a__isQid V mark U53 X a__U53 mark X a__isNeList __ V1 V2 a__U51 a__and a__isPalListKind V1 isPalListKind V2 V1 V2 a__U41 X1 X2 X3 U41 X1 X2 X3 a__U31 X1 X2 U31 X1 X2 a__isPalListKind i tt a__isList V a__U11 a__isPalListKind V V a__isNePal V a__U61 a__isPalListKind V V mark isNePal X a__isNePal X mark __ X1 X2 a____ mark X1 mark X2 a__U12 tt tt mark e e a__isPalListKind e tt mark U72 X a__U72 mark X a__U61 X1 X2 U61 X1 X2 a__U53 X U53 X a__U32 tt tt a__isQid a tt a__U22 tt V2 a__U23 a__isList V2 a__U42 X1 X2 U42 X1 X2 a__U72 tt tt a__isNeList V a__U31 a__isPalListKind V V mark U22 X1 X2 a__U22 mark X1 X2 mark U31 X1 X2 a__U31 mark X1 X2 a__isPal V a__U71 a__isPalListKind V V mark U62 X a__U62 mark X a__U51 tt V1 V2 a__U52 a__isNeList V1 V2 a__isList X isList X a__U43 X U43 X mark U42 X1 X2 a__U42 mark X1 X2 a__isNeList X isNeList X a__isPal nil tt a__U42 tt V2 a__U43 a__isNeList V2 mark nil nil a__U72 X U72 X mark U11 X1 X2 a__U11 mark X1 X2 a__U12 X U12 X a__U22 X1 X2 U22 X1 X2 a__isList nil tt mark tt tt a__isList __ V1 V2 a__U21 a__and a__isPalListKind V1 isPalListKind V2 V1 V2 a__U62 X U62 X a____ X1 X2 __ X1 X2 mark U43 X a__U43 mark X a__and X1 X2 and X1 X2 a__U41 tt V1 V2 a__U42 a__isList V1 V2 a__U31 tt V a__U32 a__isQid V a__U43 tt tt mark U23 X a__U23 mark X a__U51 X1 X2 X3 U51 X1 X2 X3 a__isQid e tt mark isPalListKind X a__isPalListKind X mark U41 X1 X2 X3 a__U41 mark X1 X2 X3 mark U52 X1 X2 a__U52 mark X1 X2 a__U21 tt V1 V2 a__U22 a__isList V1 V2 a__isPalListKind __ V1 V2 a__and a__isPalListKind V1 isPalListKind V2 mark U61 X1 X2 a__U61 mark X1 X2 mark U51 X1 X2 X3 a__U51 mark X1 X2 X3 mark o o mark u u mark U21 X1 X2 X3 a__U21 mark X1 X2 X3 mark a a mark U32 X a__U32 mark X mark isNeList X a__isNeList X mark i i a__U52 X1 X2 U52 X1 X2 a__isNePal X isNePal X a__isPalListKind X isPalListKind X a__isPalListKind u tt a__isQid i tt a__U71 X1 X2 U71 X1 X2 a__isQid o tt mark U12 X a__U12 mark X mark and X1 X2 a__and mark X1 X2 a__U23 X U23 X a__isPalListKind nil tt a__isNePal __ I __ P I a__and a__and a__isQid I isPalListKind I and isPal P isPalListKind P a__isQid u tt a__isQid X isQid X a____ X nil mark X a__and tt X mark X mark U53 X mark X mark U72 X mark X mark U23 X mark X mark isPalListKind X a__isPalListKind X a__isPalListKind __ V1 V2 a__isPalListKind V1 a__isPalListKind __ V1 V2 a__and a__isPalListKind V1 isPalListKind V2 mark U12 X mark X mark and X1 X2 mark X1 mark and X1 X2 a__and mark X1 X2 true a 0 2657 a__isNePal 1 3 U21 3 1 2 1 a__U72 1 0 a__U71 2 4 U11 2 35886 a__U31 2 0 a__isNeList 1 4 isNeList 1 1 74345 a__U23 1 0 isPal 1 33230 U42 2 1 2 74348 u 0 2656 U71 2 24066 a__U62 1 35891 and 2 1 2 35890 a__U43 1 0 a__isPal 1 5 U43 1 1 a__U51 3 4 U23 1 1 1 a__U22 2 1 1 isNePal 1 35888 U72 1 1 1 a__U11 2 4 a__U31 2 2 1 a__U51 3 1 2 38461 a____ 2 0 a__U53 1 0 U12 1 1 0 a__U43 1 1 2 isQid 1 1 33227 a__U62 1 0 a____ 2 6 a__U42 2 4 a__U41 3 2 74350 a__isList 1 1 35886 a__isNeList 1 1 74345 a__U12 1 0 o 0 2656 a__U21 3 4 a__U61 2 0 mark 1 1 2 isList 1 35886 a__and 2 2 5 a__U21 3 1 2 3 2 a__U32 1 1 nil 0 2656 U62 1 35892 a__isQid 1 0 a__U52 2 4 mark 1 1 0 a__U72 1 35884 a__isNePal 1 35889 a__U11 2 2 35886 a__isPalListKind 1 1 33229 U32 1 1 0 a__U53 1 2 a__U42 2 74347 a__U52 2 1 2 1 a__U12 1 1 i 0 2656 U52 2 2 U61 2 2 35891 e 0 0 a__U22 2 4 a__isPalListKind 1 1 18407 U31 2 1 2 0 a__U71 2 1 0 a__isPal 1 1 33229 a__U61 2 35890 a__U41 3 5 tt 0 35885 a__isQid 1 1 33228 a__U23 1 35885 a__isList 1 4 U22 2 1 2 1 U51 3 1 3 38460 a__and 2 35889 isPalListKind 1 1 18406 U53 1 1 1 U41 3 2 3 74351 a__U32 1 0 __ 2 1 2 5 mark U12 X mark X mark U12 X mark X true a 0 2657 a__isNePal 1 3 U21 3 1 2 1 a__U72 1 0 a__U71 2 4 U11 2 16964 a__U31 2 0 a__isNeList 1 4 isNeList 1 1 43836 a__U23 1 0 isPal 1 4 U42 2 1 2 96461 u 0 2 U71 2 24066 a__U62 1 52630 and 2 1 2 52629 a__U43 1 0 a__isPal 1 5 U43 1 52623 a__U51 3 4 U23 1 1 1 a__U22 2 1 1 isNePal 1 13704 U72 1 1 2 a__U11 2 4 a__U31 2 2 1 a__U51 3 1 2 43832 a____ 2 0 a__U53 1 0 U12 1 1 1 a__U43 1 1 52624 isQid 1 1 1 a__U62 1 0 a____ 2 52625 a__U42 2 4 a__U41 3 2 96460 a__isList 1 1 16964 a__isNeList 1 1 43836 a__U12 1 0 o 0 2 a__U21 3 4 a__U61 2 0 mark 1 1 2 isList 1 16964 a__and 2 5 a__U21 3 1 2 3 16960 a__U32 1 1 nil 0 2656 U62 1 52631 a__isQid 1 0 a__U52 2 4 mark 1 1 0 a__U72 1 4 a__isNePal 1 52628 a__U11 2 2 16964 a__isPalListKind 1 1 3 U32 1 1 0 a__U53 1 2 a__U42 2 96460 a__U52 2 1 2 0 a__U12 1 2 i 0 2 U52 2 21423 U61 2 2 52630 e 0 0 a__U22 2 4 a__isPalListKind 1 18407 U31 2 1 2 0 a__U71 2 1 0 a__isPal 1 1 3 a__U61 2 52629 a__U41 3 5 tt 0 5 a__isQid 1 1 2 a__U23 1 5 a__isList 1 4 U22 2 1 2 1 U51 3 1 3 15520 a__and 2 52628 isPalListKind 1 1 1 U53 1 1 1 U41 3 2 3 96461 a__U32 1 0 __ 2 1 2 52624 mark isNeList X a__isNeList X false mark U52 X1 X2 a__U52 mark X1 X2 false a__U52 tt V2 a__isList V2 false mark U11 X1 X2 a__U11 mark X1 X2 false mark U42 X1 X2 a__U42 mark X1 X2 false a__U42 tt V2 a__isNeList V2 false mark U22 X1 X2 a__U22 mark X1 X2 false a__U22 tt V2 a__isList V2 false mark isList X a__isList X false a__isList V a__U11 a__isPalListKind V V false a__U11 tt V a__isNeList V false mark U12 X a__U12 mark X false mark U32 X a__U32 mark X false mark U61 X1 X2 a__U61 mark X1 X2 false mark U23 X a__U23 mark X false mark U43 X a__U43 mark X false mark U62 X a__U62 mark X false mark U31 X1 X2 a__U31 mark X1 X2 false a__U22 tt V2 a__U23 a__isList V2 false mark U72 X a__U72 mark X false mark U53 X a__U53 mark X false a__U71 tt V a__U72 a__isNePal V false a__isNePal __ I __ P I a__isQid I false a__isNePal V a__U61 a__isPalListKind V V false a__U61 tt V a__U62 a__isQid V false a__U61 tt V a__isQid V false mark isQid X a__isQid X false a__U11 tt V a__U12 a__isNeList V false a__U42 tt V2 a__U43 a__isNeList V2 false a__U52 tt V2 a__U53 a__isList V2 false a__isNeList V a__U31 a__isPalListKind V V false a__U31 tt V a__U32 a__isQid V false a__U31 tt V a__isQid V false NaTT certifiable-1.6