/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES 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__isPalListKind V V a__U12 tt V a__U13 a__isNeList V a__U13 tt tt a__U21 tt V1 V2 a__U22 a__isPalListKind V1 V1 V2 a__U22 tt V1 V2 a__U23 a__isPalListKind V2 V1 V2 a__U23 tt V1 V2 a__U24 a__isPalListKind V2 V1 V2 a__U24 tt V1 V2 a__U25 a__isList V1 V2 a__U25 tt V2 a__U26 a__isList V2 a__U26 tt tt a__U31 tt V a__U32 a__isPalListKind V V a__U32 tt V a__U33 a__isQid V a__U33 tt tt a__U41 tt V1 V2 a__U42 a__isPalListKind V1 V1 V2 a__U42 tt V1 V2 a__U43 a__isPalListKind V2 V1 V2 a__U43 tt V1 V2 a__U44 a__isPalListKind V2 V1 V2 a__U44 tt V1 V2 a__U45 a__isList V1 V2 a__U45 tt V2 a__U46 a__isNeList V2 a__U46 tt tt a__U51 tt V1 V2 a__U52 a__isPalListKind V1 V1 V2 a__U52 tt V1 V2 a__U53 a__isPalListKind V2 V1 V2 a__U53 tt V1 V2 a__U54 a__isPalListKind V2 V1 V2 a__U54 tt V1 V2 a__U55 a__isNeList V1 V2 a__U55 tt V2 a__U56 a__isList V2 a__U56 tt tt a__U61 tt V a__U62 a__isPalListKind V V a__U62 tt V a__U63 a__isQid V a__U63 tt tt a__U71 tt I P a__U72 a__isPalListKind I P a__U72 tt P a__U73 a__isPal P P a__U73 tt P a__U74 a__isPalListKind P a__U74 tt tt a__U81 tt V a__U82 a__isPalListKind V V a__U82 tt V a__U83 a__isNePal V a__U83 tt tt a__U91 tt V2 a__U92 a__isPalListKind V2 a__U92 tt tt a__isList V a__U11 a__isPalListKind V V a__isList nil tt a__isList __ V1 V2 a__U21 a__isPalListKind V1 V1 V2 a__isNeList V a__U31 a__isPalListKind V V a__isNeList __ V1 V2 a__U41 a__isPalListKind V1 V1 V2 a__isNeList __ V1 V2 a__U51 a__isPalListKind V1 V1 V2 a__isNePal V a__U61 a__isPalListKind V V a__isNePal __ I __ P I a__U71 a__isQid I I P a__isPal V a__U81 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__U91 a__isPalListKind V1 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 X1 X2 a__U12 mark X1 X2 mark isPalListKind X a__isPalListKind X mark U13 X a__U13 mark X mark isNeList X a__isNeList X mark U21 X1 X2 X3 a__U21 mark X1 X2 X3 mark U22 X1 X2 X3 a__U22 mark X1 X2 X3 mark U23 X1 X2 X3 a__U23 mark X1 X2 X3 mark U24 X1 X2 X3 a__U24 mark X1 X2 X3 mark U25 X1 X2 a__U25 mark X1 X2 mark isList X a__isList X mark U26 X a__U26 mark X mark U31 X1 X2 a__U31 mark X1 X2 mark U32 X1 X2 a__U32 mark X1 X2 mark U33 X a__U33 mark X mark isQid X a__isQid X mark U41 X1 X2 X3 a__U41 mark X1 X2 X3 mark U42 X1 X2 X3 a__U42 mark X1 X2 X3 mark U43 X1 X2 X3 a__U43 mark X1 X2 X3 mark U44 X1 X2 X3 a__U44 mark X1 X2 X3 mark U45 X1 X2 a__U45 mark X1 X2 mark U46 X a__U46 mark X mark U51 X1 X2 X3 a__U51 mark X1 X2 X3 mark U52 X1 X2 X3 a__U52 mark X1 X2 X3 mark U53 X1 X2 X3 a__U53 mark X1 X2 X3 mark U54 X1 X2 X3 a__U54 mark X1 X2 X3 mark U55 X1 X2 a__U55 mark X1 X2 mark U56 X a__U56 mark X mark U61 X1 X2 a__U61 mark X1 X2 mark U62 X1 X2 a__U62 mark X1 X2 mark U63 X a__U63 mark X mark U71 X1 X2 X3 a__U71 mark X1 X2 X3 mark U72 X1 X2 a__U72 mark X1 X2 mark U73 X1 X2 a__U73 mark X1 X2 mark isPal X a__isPal X mark U74 X a__U74 mark X mark U81 X1 X2 a__U81 mark X1 X2 mark U82 X1 X2 a__U82 mark X1 X2 mark U83 X a__U83 mark X mark isNePal X a__isNePal X mark U91 X1 X2 a__U91 mark X1 X2 mark U92 X a__U92 mark 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 X1 X2 U12 X1 X2 a__isPalListKind X isPalListKind X a__U13 X U13 X a__isNeList X isNeList X a__U21 X1 X2 X3 U21 X1 X2 X3 a__U22 X1 X2 X3 U22 X1 X2 X3 a__U23 X1 X2 X3 U23 X1 X2 X3 a__U24 X1 X2 X3 U24 X1 X2 X3 a__U25 X1 X2 U25 X1 X2 a__isList X isList X a__U26 X U26 X a__U31 X1 X2 U31 X1 X2 a__U32 X1 X2 U32 X1 X2 a__U33 X U33 X a__isQid X isQid X a__U41 X1 X2 X3 U41 X1 X2 X3 a__U42 X1 X2 X3 U42 X1 X2 X3 a__U43 X1 X2 X3 U43 X1 X2 X3 a__U44 X1 X2 X3 U44 X1 X2 X3 a__U45 X1 X2 U45 X1 X2 a__U46 X U46 X a__U51 X1 X2 X3 U51 X1 X2 X3 a__U52 X1 X2 X3 U52 X1 X2 X3 a__U53 X1 X2 X3 U53 X1 X2 X3 a__U54 X1 X2 X3 U54 X1 X2 X3 a__U55 X1 X2 U55 X1 X2 a__U56 X U56 X a__U61 X1 X2 U61 X1 X2 a__U62 X1 X2 U62 X1 X2 a__U63 X U63 X a__U71 X1 X2 X3 U71 X1 X2 X3 a__U72 X1 X2 U72 X1 X2 a__U73 X1 X2 U73 X1 X2 a__isPal X isPal X a__U74 X U74 X a__U81 X1 X2 U81 X1 X2 a__U82 X1 X2 U82 X1 X2 a__U83 X U83 X a__isNePal X isNePal X a__U91 X1 X2 U91 X1 X2 a__U92 X U92 X 2.2 mark U52 X1 X2 X3 a__U52 mark X1 X2 X3 mark __ X1 X2 mark X2 a__U31 tt V a__U32 a__isPalListKind V V mark U24 X1 X2 X3 mark X1 mark U26 X mark X a__U32 tt V a__isQid V mark U73 X1 X2 a__U73 mark X1 X2 a__U23 tt V1 V2 a__isPalListKind V2 mark U56 X mark X a__U51 tt V1 V2 a__isPalListKind V1 a__U22 tt V1 V2 a__isPalListKind V2 a__U24 tt V1 V2 a__U25 a__isList V1 V2 mark U56 X a__U56 mark X a__U91 tt V2 a__isPalListKind V2 a__U51 tt V1 V2 a__U52 a__isPalListKind V1 V1 V2 mark U63 X a__U63 mark X mark U62 X1 X2 a__U62 mark X1 X2 mark U54 X1 X2 X3 a__U54 mark X1 X2 X3 a__U71 tt I P a__isPalListKind I a__U25 tt V2 a__U26 a__isList V2 mark U71 X1 X2 X3 a__U71 mark X1 X2 X3 mark U83 X mark X a____ __ X Y Z mark Z a__U41 tt V1 V2 a__isPalListKind V1 a__U25 tt V2 a__isList V2 a__U72 tt P a__isPal P mark U41 X1 X2 X3 mark X1 a__U61 tt V a__U62 a__isPalListKind V V mark U41 X1 X2 X3 a__U41 mark X1 X2 X3 mark U23 X1 X2 X3 mark X1 a__U41 tt V1 V2 a__U42 a__isPalListKind V1 V1 V2 a__U61 tt V a__isPalListKind V mark U42 X1 X2 X3 mark X1 mark U43 X1 X2 X3 a__U43 mark X1 X2 X3 mark isNeList X a__isNeList X mark U91 X1 X2 a__U91 mark X1 X2 a__U11 tt V a__isPalListKind V mark U46 X a__U46 mark X mark U92 X a__U92 mark X a__U62 tt V a__U63 a__isQid V a__U52 tt V1 V2 a__U53 a__isPalListKind V2 V1 V2 a__isNeList __ V1 V2 a__isPalListKind V1 mark U51 X1 X2 X3 a__U51 mark X1 X2 X3 a__U53 tt V1 V2 a__U54 a__isPalListKind V2 V1 V2 mark U73 X1 X2 mark X1 a__isList V a__isPalListKind V a__U45 tt V2 a__isNeList V2 a____ __ X Y Z mark Y a__U12 tt V a__U13 a__isNeList V mark U32 X1 X2 a__U32 mark X1 X2 mark U13 X mark X a__U81 tt V a__isPalListKind V mark U45 X1 X2 mark X1 mark U62 X1 X2 mark X1 mark U92 X mark X mark U23 X1 X2 X3 a__U23 mark X1 X2 X3 a__isPalListKind __ V1 V2 a__U91 a__isPalListKind V1 V2 a__isNeList __ V1 V2 a__U41 a__isPalListKind V1 V1 V2 a__U21 tt V1 V2 a__isPalListKind V1 mark U61 X1 X2 mark X1 mark U21 X1 X2 X3 a__U21 mark X1 X2 X3 mark U83 X a__U83 mark X mark U61 X1 X2 a__U61 mark X1 X2 a__U55 tt V2 a__U56 a__isList V2 mark U44 X1 X2 X3 mark X1 mark U53 X1 X2 X3 a__U53 mark X1 X2 X3 mark U55 X1 X2 a__U55 mark X1 X2 a__U23 tt V1 V2 a__U24 a__isPalListKind V2 V1 V2 a__U24 tt V1 V2 a__isList V1 mark U22 X1 X2 X3 mark X1 mark U12 X1 X2 a__U12 mark X1 X2 mark U13 X a__U13 mark X a__isPal V a__isPalListKind V mark U55 X1 X2 mark X1 a__U53 tt V1 V2 a__isPalListKind V2 a__U45 tt V2 a__U46 a__isNeList V2 mark U51 X1 X2 X3 mark X1 a__U32 tt V a__U33 a__isQid V mark isPalListKind X a__isPalListKind X a__isNePal V a__U61 a__isPalListKind V V mark U25 X1 X2 mark X1 mark U43 X1 X2 X3 mark X1 a__isPal V a__U81 a__isPalListKind V V mark U32 X1 X2 mark X1 mark U74 X a__U74 mark X mark isList X a__isList X mark U82 X1 X2 a__U82 mark X1 X2 a__U12 tt V a__isNeList V a__U55 tt V2 a__isList V2 mark U81 X1 X2 a__U81 mark X1 X2 mark U11 X1 X2 a__U11 mark X1 X2 a__U54 tt V1 V2 a__isNeList V1 a__U62 tt V a__isQid V a__isList V a__U11 a__isPalListKind V V a__U11 tt V a__U12 a__isPalListKind V V a__U82 tt V a__U83 a__isNePal V mark U45 X1 X2 a__U45 mark X1 X2 mark U54 X1 X2 X3 mark X1 mark U53 X1 X2 X3 mark X1 a__U21 tt V1 V2 a__U22 a__isPalListKind V1 V1 V2 a__isNeList __ V1 V2 a__U51 a__isPalListKind V1 V1 V2 mark U31 X1 X2 mark X1 a__U71 tt I P a__U72 a__isPalListKind I P a__U42 tt V1 V2 a__U43 a__isPalListKind V2 V1 V2 a__isNeList V a__isPalListKind V a__U31 tt V a__isPalListKind V a__isNeList __ V1 V2 a__isPalListKind V1 a__U22 tt V1 V2 a__U23 a__isPalListKind V2 V1 V2 mark U24 X1 X2 X3 a__U24 mark X1 X2 X3 mark isPal X a__isPal X mark U11 X1 X2 mark X1 mark U26 X a__U26 mark X mark __ X1 X2 a____ mark X1 mark X2 a__U54 tt V1 V2 a__U55 a__isNeList V1 V2 mark U42 X1 X2 X3 a__U42 mark X1 X2 X3 a__isNePal __ I __ P I a__isQid I a__U82 tt V a__isNePal V a____ __ X Y Z mark X mark U33 X mark X mark isNePal X a__isNePal X a__U52 tt V1 V2 a__isPalListKind V2 mark U46 X mark X a__isList __ V1 V2 a__isPalListKind V1 mark U31 X1 X2 a__U31 mark X1 X2 mark U72 X1 X2 mark X1 a____ __ X Y Z a____ mark X a____ mark Y mark Z a__U44 tt V1 V2 a__isList V1 mark isQid X a__isQid X mark U21 X1 X2 X3 mark X1 mark U25 X1 X2 a__U25 mark X1 X2 a__isNePal __ I __ P I a__U71 a__isQid I I P mark U63 X mark X mark __ X1 X2 mark X1 a__U72 tt P a__U73 a__isPal P P mark U22 X1 X2 X3 a__U22 mark X1 X2 X3 mark U82 X1 X2 mark X1 a__U91 tt V2 a__U92 a__isPalListKind V2 mark U81 X1 X2 mark X1 a__isList __ V1 V2 a__U21 a__isPalListKind V1 V1 V2 mark U52 X1 X2 X3 mark X1 a__U43 tt V1 V2 a__U44 a__isPalListKind V2 V1 V2 a__isPalListKind __ V1 V2 a__isPalListKind V1 a____ X nil mark X a____ nil X mark X a__U44 tt V1 V2 a__U45 a__isList V1 V2 mark U71 X1 X2 X3 mark X1 a__U43 tt V1 V2 a__isPalListKind V2 a__U81 tt V a__U82 a__isPalListKind V V mark U91 X1 X2 mark X1 mark U33 X a__U33 mark X a__U42 tt V1 V2 a__isPalListKind V2 a__isNePal V a__isPalListKind V a____ __ X Y Z a____ mark Y mark Z mark U12 X1 X2 mark X1 a__U73 tt P a__U74 a__isPalListKind P a__isNeList V a__U31 a__isPalListKind V V a__U73 tt P a__isPalListKind P mark U44 X1 X2 X3 a__U44 mark X1 X2 X3 mark U74 X mark X mark U72 X1 X2 a__U72 mark X1 X2 true mark U74 X mark X mark U32 X1 X2 mark X1 mark U43 X1 X2 X3 mark X1 mark U25 X1 X2 mark X1 mark U12 X1 X2 mark X1 a____ __ X Y Z a____ mark Y mark Z mark U51 X1 X2 X3 mark X1 mark U55 X1 X2 mark X1 mark U22 X1 X2 X3 mark X1 mark U91 X1 X2 mark X1 mark U71 X1 X2 X3 mark X1 a____ nil X mark X mark U44 X1 X2 X3 mark X1 a____ X nil mark X mark U52 X1 X2 X3 mark X1 mark U61 X1 X2 mark X1 mark U81 X1 X2 mark X1 mark U82 X1 X2 mark X1 mark U92 X mark X mark __ X1 X2 mark X1 mark U63 X mark X mark U62 X1 X2 mark X1 mark U45 X1 X2 mark X1 mark U21 X1 X2 X3 mark X1 mark U13 X mark X a____ __ X Y Z mark Y a____ __ X Y Z a____ mark X a____ mark Y mark Z mark U72 X1 X2 mark X1 mark U73 X1 X2 mark X1 mark U46 X mark X a____ __ X Y Z mark X mark U33 X mark X mark U42 X1 X2 X3 mark X1 mark U23 X1 X2 X3 mark X1 mark __ X1 X2 a____ mark X1 mark X2 mark U41 X1 X2 X3 mark X1 a____ __ X Y Z mark Z mark U11 X1 X2 mark X1 mark U83 X mark X mark U31 X1 X2 mark X1 mark U53 X1 X2 X3 mark X1 mark U54 X1 X2 X3 mark X1 mark U56 X mark X mark U26 X mark X mark U24 X1 X2 X3 mark X1 mark __ X1 X2 mark X2 true a__U83 1 1 1 a 0 1 a__isNePal 1 0 a__U73 2 0 a__U63 1 1 1 U21 3 1 2 3 5 a__U82 2 0 a__U45 2 1 2 2 a__U72 2 0 a__U71 3 0 U11 2 1 2 2 a__U92 1 0 a__U24 3 1 2 3 5 a__U31 2 0 a__U33 1 0 U24 3 1 2 3 5 a__U33 1 1 1 a__U24 3 0 a__U26 1 0 U25 2 1 2 3 a__isNeList 1 0 isNeList 1 1 2 U56 1 1 1 a__U23 3 0 a__U55 2 1 2 3 isPal 1 1 3 U42 3 1 2 3 4 U91 2 1 0 a__U73 2 1 1 u 0 9084 U26 1 1 1 a__U82 2 1 2 2 U71 3 1 2 3 3 a__U62 2 1 1 a__U44 3 1 2 3 4 a__U43 3 0 a__isPal 1 0 U43 3 1 2 3 4 a__U13 1 0 a__U44 3 0 U44 3 1 2 3 4 U55 2 1 2 3 a__U46 1 0 a__U51 3 0 U23 3 1 2 3 5 U63 1 1 1 a__U56 1 0 a__U22 3 1 2 3 5 isNePal 1 1 2 U72 2 1 2 3 a__U11 2 0 a__U31 2 1 2 1 a__U51 3 1 2 3 4 a____ 2 1 2 0 a__U81 2 1 2 2 a__U53 3 0 U12 2 1 2 2 a__U43 3 1 2 3 4 isQid 1 1 a__U62 2 0 a____ 2 1 2 3 U54 3 1 2 3 4 a__U42 3 0 a__U41 3 1 2 3 4 a__isList 1 1 3 a__U26 1 1 1 a__isNeList 1 1 2 a__U12 2 0 o 0 22280 a__U21 3 0 a__U81 2 0 a__U61 2 0 U83 1 1 1 mark 1 1 0 isList 1 1 3 U73 2 1 1 a__U21 3 1 2 3 5 a__U32 2 1 1 a__U91 2 1 0 a__U74 1 0 nil 0 1 U62 2 1 1 a__isQid 1 0 a__U52 3 0 U45 2 1 2 2 mark 1 1 0 a__U56 1 1 1 a__U72 2 1 2 3 a__isNePal 1 1 2 a__U11 2 1 2 2 a__isPalListKind 1 1 U32 2 1 1 a__U53 3 1 2 3 4 a__U42 3 1 2 3 4 U33 1 1 1 a__U45 2 0 a__U52 3 1 2 3 4 a__U54 3 0 a__U12 2 1 2 2 a__U63 1 0 U46 1 1 1 i 0 48689 U52 3 1 2 3 4 U61 2 1 1 a__U25 2 0 a__U46 1 1 1 e 0 24847 a__U22 3 0 a__isPalListKind 1 0 a__U13 1 1 1 U31 2 1 2 1 a__U83 1 0 a__U71 3 1 2 3 3 U92 1 1 0 a__isPal 1 1 3 a__U92 1 1 0 a__U61 2 1 1 U81 2 1 2 2 a__U41 3 0 U82 2 1 2 2 tt 0 1 a__isQid 1 1 U13 1 1 1 a__U23 3 1 2 3 5 a__isList 1 0 U22 3 1 2 3 5 U51 3 1 2 3 4 U74 1 1 1 isPalListKind 1 1 a__U54 3 1 2 3 4 U53 3 1 2 3 4 a__U55 2 0 U41 3 1 2 3 4 a__U32 2 0 __ 2 1 2 3 a__U91 2 0 a__U74 1 1 1 a__U25 2 1 2 3 a____ __ X Y Z a____ mark X a____ mark Y mark Z mark U92 X mark X mark U91 X1 X2 mark X1 a__U43 tt V1 V2 a__U44 a__isPalListKind V2 V1 V2 a__isPalListKind a tt mark U42 X1 X2 X3 a__U42 mark X1 X2 X3 mark U92 X a__U92 mark X a__U11 tt V a__U12 a__isPalListKind V V mark U91 X1 X2 a__U91 mark X1 X2 mark isNePal X a__isNePal X a__U72 X1 X2 U72 X1 X2 a__U33 tt tt a__U24 X1 X2 X3 U24 X1 X2 X3 a__U61 X1 X2 U61 X1 X2 a__isNePal X isNePal X a__U22 tt V1 V2 a__U23 a__isPalListKind V2 V1 V2 a__isPalListKind o tt a__U26 X U26 X a__U56 X U56 X a____ __ X Y Z a____ mark X a____ mark Y mark Z mark U33 X a__U33 mark X a____ nil X mark X a__U41 tt V1 V2 a__U42 a__isPalListKind V1 V1 V2 a__U46 tt tt a__U82 tt V a__U83 a__isNePal V a__U43 X1 X2 X3 U43 X1 X2 X3 mark U21 X1 X2 X3 a__U21 mark X1 X2 X3 a__U25 X1 X2 U25 X1 X2 mark U51 X1 X2 X3 a__U51 mark X1 X2 X3 mark U82 X1 X2 a__U82 mark X1 X2 a__U55 tt V2 a__U56 a__isList V2 mark nil nil a__U51 X1 X2 X3 U51 X1 X2 X3 mark U11 X1 X2 a__U11 mark X1 X2 a__U31 X1 X2 U31 X1 X2 a__U63 X U63 X a__U44 tt V1 V2 a__U45 a__isList V1 V2 a__U72 tt P a__U73 a__isPal P P a__U42 tt V1 V2 a__U43 a__isPalListKind V2 V1 V2 a__isNeList X isNeList X a__isQid o tt a__U82 X1 X2 U82 X1 X2 a__U62 X1 X2 U62 X1 X2 a__U71 X1 X2 X3 U71 X1 X2 X3 a__U53 X1 X2 X3 U53 X1 X2 X3 a__U56 tt tt mark U53 X1 X2 X3 a__U53 mark X1 X2 X3 mark U46 X a__U46 mark X a__U74 tt tt a__U33 X U33 X a__U51 tt V1 V2 a__U52 a__isPalListKind V1 V1 V2 a__U61 tt V a__U62 a__isPalListKind V V a__U74 X U74 X mark isPalListKind X a__isPalListKind X a__isNeList __ V1 V2 a__U41 a__isPalListKind V1 V1 V2 a__U12 tt V a__U13 a__isNeList V a__U23 X1 X2 X3 U23 X1 X2 X3 mark U25 X1 X2 a__U25 mark X1 X2 a__U73 tt P a__U74 a__isPalListKind P mark U12 X1 X2 a__U12 mark X1 X2 mark U63 X a__U63 mark X a__U22 X1 X2 X3 U22 X1 X2 X3 mark U62 X1 X2 a__U62 mark X1 X2 a__U24 tt V1 V2 a__U25 a__isList V1 V2 a__U52 X1 X2 X3 U52 X1 X2 X3 a__U91 X1 X2 U91 X1 X2 a__U92 tt tt a__U21 tt V1 V2 a__U22 a__isPalListKind V1 V1 V2 mark U54 X1 X2 X3 a__U54 mark X1 X2 X3 a__U32 X1 X2 U32 X1 X2 a__U45 tt V2 a__U46 a__isNeList V2 a__U41 X1 X2 X3 U41 X1 X2 X3 mark e e a__U42 X1 X2 X3 U42 X1 X2 X3 a__U54 tt V1 V2 a__U55 a__isNeList V1 V2 a__isPal nil tt a__isPalListKind i tt a__U63 tt tt mark __ X1 X2 a____ mark X1 mark X2 mark tt tt a__U32 tt V a__U33 a__isQid V mark u u mark U44 X1 X2 X3 a__U44 mark X1 X2 X3 a__U45 X1 X2 U45 X1 X2 mark U55 X1 X2 a__U55 mark X1 X2 a__isPalListKind __ V1 V2 a__U91 a__isPalListKind V1 V2 mark U41 X1 X2 X3 a__U41 mark X1 X2 X3 a__U71 tt I P a__U72 a__isPalListKind I P a__U26 tt tt mark U83 X a__U83 mark X mark U22 X1 X2 X3 a__U22 mark X1 X2 X3 mark U73 X1 X2 a__U73 mark X1 X2 a__isNeList __ V1 V2 a__U51 a__isPalListKind V1 V1 V2 mark isQid X a__isQid X a__U21 X1 X2 X3 U21 X1 X2 X3 mark U43 X1 X2 X3 a__U43 mark X1 X2 X3 a__isQid X isQid X a__U52 tt V1 V2 a__U53 a__isPalListKind V2 V1 V2 mark U23 X1 X2 X3 a__U23 mark X1 X2 X3 a__U46 X U46 X a__U53 tt V1 V2 a__U54 a__isPalListKind V2 V1 V2 mark U71 X1 X2 X3 a__U71 mark X1 X2 X3 mark i i mark U32 X1 X2 a__U32 mark X1 X2 a__isQid a tt mark U74 X a__U74 mark X a__U25 tt V2 a__U26 a__isList V2 a__U23 tt V1 V2 a__U24 a__isPalListKind V2 V1 V2 a__U31 tt V a__U32 a__isPalListKind V V a__isPalListKind e tt mark a a a__U73 X1 X2 U73 X1 X2 mark U56 X a__U56 mark X a__isList V a__U11 a__isPalListKind V V mark isNeList X a__isNeList X a__isPalListKind u tt a__U44 X1 X2 X3 U44 X1 X2 X3 mark o o a__isQid i tt a__U13 tt tt a__U13 X U13 X a__U92 X U92 X a__U83 X U83 X a__U91 tt V2 a__U92 a__isPalListKind V2 a__isQid u tt a__U11 X1 X2 U11 X1 X2 a__U54 X1 X2 X3 U54 X1 X2 X3 a__isQid e tt mark U26 X a__U26 mark X a____ X1 X2 __ X1 X2 mark U31 X1 X2 a__U31 mark X1 X2 a__isList X isList X a__isPal V a__U81 a__isPalListKind V V a__U55 X1 X2 U55 X1 X2 a__isPal X isPal X mark U24 X1 X2 X3 a__U24 mark X1 X2 X3 a__isPalListKind nil tt a__isNePal __ I __ P I a__U71 a__isQid I I P mark isList X a__isList X mark U61 X1 X2 a__U61 mark X1 X2 mark isPal X a__isPal X mark U81 X1 X2 a__U81 mark X1 X2 a__U12 X1 X2 U12 X1 X2 a__U83 tt tt a__isList nil tt mark U72 X1 X2 a__U72 mark X1 X2 a__U81 X1 X2 U81 X1 X2 a__isPalListKind X isPalListKind X a__isList __ V1 V2 a__U21 a__isPalListKind V1 V1 V2 a__isNePal V a__U61 a__isPalListKind V V mark U13 X a__U13 mark X mark U45 X1 X2 a__U45 mark X1 X2 a__U81 tt V a__U82 a__isPalListKind V V a__U62 tt V a__U63 a__isQid V a__isNeList V a__U31 a__isPalListKind V V mark U52 X1 X2 X3 a__U52 mark X1 X2 X3 a____ X nil mark X mark U92 X mark X mark U91 X1 X2 mark X1 true a__U83 1 1 a 0 1 a__isNePal 1 0 a__U73 2 0 a__U63 1 1 1 U21 3 2 3 62919 a__U82 2 0 a__U45 2 1 2 2 a__U72 2 0 a__U71 3 0 U11 2 2 38138 a__U92 1 0 a__U24 3 2 3 62919 a__U31 2 0 a__U33 1 0 U24 3 2 3 62919 a__U33 1 1 1 a__U24 3 0 a__U26 1 0 U25 2 2 62919 a__isNeList 1 0 isNeList 1 1 2 U56 1 1 2 a__U23 3 0 a__U55 2 2 50954 isPal 1 15796 U42 3 2 3 50954 U91 2 1 2 2655 a__U73 2 2 31968 u 0 1 U26 1 1 11967 a__U82 2 1 1 U71 3 1 2 3 117923 a__U62 2 2 a__U44 3 2 3 50954 a__U43 3 0 a__isPal 1 0 U43 3 2 3 50954 a__U13 1 0 a__U44 3 0 U44 3 2 3 50954 U55 2 2 50954 a__U46 1 0 a__U51 3 0 U23 3 2 3 62919 U63 1 1 1 a__U56 1 0 a__U22 3 2 3 62919 isNePal 1 1 16020 U72 2 1 2 117923 a__U11 2 0 a__U31 2 1 1 a__U51 3 2 3 50954 a____ 2 0 a__U81 2 1 2 1 a__U53 3 0 U12 2 2 38138 a__U43 3 2 3 50954 isQid 1 1 a__U62 2 0 a____ 2 1 2 50952 U54 3 2 3 50954 a__U42 3 0 a__U41 3 2 3 50954 a__isList 1 1 50952 a__U26 1 1 11967 a__isNeList 1 1 2 a__U12 2 0 o 0 57261 a__U21 3 0 a__U81 2 0 a__U61 2 0 U83 1 1 mark 1 1 0 isList 1 1 50952 U73 2 2 31968 a__U21 3 2 3 62919 a__U32 2 2 a__U91 2 1 2 2655 a__U74 1 0 nil 0 35329 U62 2 2 a__isQid 1 0 a__U52 3 0 U45 2 1 2 2 mark 1 1 0 a__U56 1 1 2 a__U72 2 1 2 117923 a__isNePal 1 1 16020 a__U11 2 2 38138 a__isPalListKind 1 1 1 U32 2 2 a__U53 3 2 3 50954 a__U42 3 2 3 50954 U33 1 1 1 a__U45 2 0 a__U52 3 2 3 50954 a__U54 3 0 a__U12 2 2 38138 a__U63 1 0 U46 1 1 1 i 0 38658 U52 3 2 3 50954 U61 2 1 1 a__U25 2 0 a__U46 1 1 1 e 0 28702 a__U22 3 0 a__isPalListKind 1 0 a__U13 1 1 25559 U31 2 1 1 a__U83 1 0 a__U71 3 1 2 3 117923 U92 1 1 0 a__isPal 1 15796 a__U92 1 1 0 a__U61 2 1 1 U81 2 2 1 a__U41 3 0 U82 2 1 1 tt 0 1 a__isQid 1 1 U13 1 1 25559 a__U23 3 2 3 62919 a__isList 1 0 U22 3 2 3 62919 U51 3 2 3 50954 U74 1 1 1373 isPalListKind 1 1 1 a__U54 3 2 3 50954 U53 3 2 3 50954 a__U55 2 0 U41 3 2 3 50954 a__U32 2 0 __ 2 1 2 50952 a__U91 2 0 a__U74 1 1 1373 a__U25 2 2 62919 mark U92 X mark X a__U43 tt V1 V2 a__U44 a__isPalListKind V2 V1 V2 a__isPalListKind a tt mark U42 X1 X2 X3 a__U42 mark X1 X2 X3 a__U11 tt V a__U12 a__isPalListKind V V a__U72 X1 X2 U72 X1 X2 a__U33 tt tt a__U24 X1 X2 X3 U24 X1 X2 X3 a__U61 X1 X2 U61 X1 X2 a__isNePal X isNePal X a__U22 tt V1 V2 a__U23 a__isPalListKind V2 V1 V2 a__isPalListKind o tt a__U26 X U26 X a__U56 X U56 X a__U41 tt V1 V2 a__U42 a__isPalListKind V1 V1 V2 a__U46 tt tt a__U82 tt V a__U83 a__isNePal V a__U43 X1 X2 X3 U43 X1 X2 X3 mark U21 X1 X2 X3 a__U21 mark X1 X2 X3 a__U25 X1 X2 U25 X1 X2 mark U51 X1 X2 X3 a__U51 mark X1 X2 X3 a__U55 tt V2 a__U56 a__isList V2 mark nil nil a__U51 X1 X2 X3 U51 X1 X2 X3 mark U11 X1 X2 a__U11 mark X1 X2 a__U31 X1 X2 U31 X1 X2 a__U63 X U63 X a__U44 tt V1 V2 a__U45 a__isList V1 V2 a__U72 tt P a__U73 a__isPal P P a__U42 tt V1 V2 a__U43 a__isPalListKind V2 V1 V2 a__isNeList X isNeList X a__isQid o tt a__U82 X1 X2 U82 X1 X2 a__U62 X1 X2 U62 X1 X2 a__U71 X1 X2 X3 U71 X1 X2 X3 a__U53 X1 X2 X3 U53 X1 X2 X3 a__U56 tt tt mark U53 X1 X2 X3 a__U53 mark X1 X2 X3 a__U74 tt tt a__U33 X U33 X a__U51 tt V1 V2 a__U52 a__isPalListKind V1 V1 V2 a__U61 tt V a__U62 a__isPalListKind V V a__U74 X U74 X mark isPalListKind X a__isPalListKind X a__isNeList __ V1 V2 a__U41 a__isPalListKind V1 V1 V2 a__U12 tt V a__U13 a__isNeList V a__U23 X1 X2 X3 U23 X1 X2 X3 mark U25 X1 X2 a__U25 mark X1 X2 a__U73 tt P a__U74 a__isPalListKind P mark U12 X1 X2 a__U12 mark X1 X2 a__U22 X1 X2 X3 U22 X1 X2 X3 mark U62 X1 X2 a__U62 mark X1 X2 a__U24 tt V1 V2 a__U25 a__isList V1 V2 a__U52 X1 X2 X3 U52 X1 X2 X3 a__U91 X1 X2 U91 X1 X2 a__U92 tt tt a__U21 tt V1 V2 a__U22 a__isPalListKind V1 V1 V2 mark U54 X1 X2 X3 a__U54 mark X1 X2 X3 a__U32 X1 X2 U32 X1 X2 a__U45 tt V2 a__U46 a__isNeList V2 a__U41 X1 X2 X3 U41 X1 X2 X3 mark e e a__U42 X1 X2 X3 U42 X1 X2 X3 a__U54 tt V1 V2 a__U55 a__isNeList V1 V2 a__isPal nil tt a__isPalListKind i tt a__U63 tt tt mark tt tt a__U32 tt V a__U33 a__isQid V mark u u mark U44 X1 X2 X3 a__U44 mark X1 X2 X3 a__U45 X1 X2 U45 X1 X2 mark U55 X1 X2 a__U55 mark X1 X2 a__isPalListKind __ V1 V2 a__U91 a__isPalListKind V1 V2 mark U41 X1 X2 X3 a__U41 mark X1 X2 X3 a__U71 tt I P a__U72 a__isPalListKind I P a__U26 tt tt mark U83 X a__U83 mark X mark U22 X1 X2 X3 a__U22 mark X1 X2 X3 a__isNeList __ V1 V2 a__U51 a__isPalListKind V1 V1 V2 mark isQid X a__isQid X a__U21 X1 X2 X3 U21 X1 X2 X3 mark U43 X1 X2 X3 a__U43 mark X1 X2 X3 a__isQid X isQid X a__U52 tt V1 V2 a__U53 a__isPalListKind V2 V1 V2 mark U23 X1 X2 X3 a__U23 mark X1 X2 X3 a__U46 X U46 X a__U53 tt V1 V2 a__U54 a__isPalListKind V2 V1 V2 mark i i a__isQid a tt a__U25 tt V2 a__U26 a__isList V2 a__U23 tt V1 V2 a__U24 a__isPalListKind V2 V1 V2 a__U31 tt V a__U32 a__isPalListKind V V a__isPalListKind e tt mark a a a__U73 X1 X2 U73 X1 X2 a__isList V a__U11 a__isPalListKind V V mark isNeList X a__isNeList X a__isPalListKind u tt a__U44 X1 X2 X3 U44 X1 X2 X3 mark o o a__isQid i tt a__U13 tt tt a__U13 X U13 X a__U92 X U92 X a__U83 X U83 X a__U91 tt V2 a__U92 a__isPalListKind V2 a__isQid u tt a__U11 X1 X2 U11 X1 X2 a__U54 X1 X2 X3 U54 X1 X2 X3 a__isQid e tt a____ X1 X2 __ X1 X2 a__isList X isList X a__U55 X1 X2 U55 X1 X2 a__isPal X isPal X mark U24 X1 X2 X3 a__U24 mark X1 X2 X3 a__isPalListKind nil tt a__isNePal __ I __ P I a__U71 a__isQid I I P mark isList X a__isList X a__U12 X1 X2 U12 X1 X2 a__U83 tt tt a__isList nil tt a__U81 X1 X2 U81 X1 X2 a__isPalListKind X isPalListKind X a__isList __ V1 V2 a__U21 a__isPalListKind V1 V1 V2 a__isNePal V a__U61 a__isPalListKind V V a__U81 tt V a__U82 a__isPalListKind V V a__U62 tt V a__U63 a__isQid V a__isNeList V a__U31 a__isPalListKind V V mark U52 X1 X2 X3 a__U52 mark X1 X2 X3 mark U92 X mark X true a__U83 1 26732 a 0 26731 a__isNePal 1 0 a__U73 2 0 a__U63 1 1 0 U21 3 2 3 1 a__U82 2 0 a__U45 2 1 2 0 a__U72 2 0 a__U71 3 0 U11 2 2 1 a__U92 1 0 a__U24 3 2 0 a__U31 2 0 a__U33 1 0 U24 3 2 3 1 a__U33 1 2 a__U24 3 0 a__U26 1 0 U25 2 1 1 a__isNeList 1 0 isNeList 1 1 1 U56 1 1 5 a__U23 3 0 a__U55 2 3 isPal 1 1 U42 3 2 3 1 U91 2 1 2 2 a__U73 2 1 2 0 u 0 1 U26 1 0 a__U82 2 26732 U71 3 1 2 3 0 a__U62 2 26738 a__U44 3 3 26738 a__U43 3 0 a__isPal 1 0 U43 3 1 2 3 26738 a__U13 1 0 a__U44 3 0 U44 3 1 2 3 26739 U55 2 1 2 4 a__U46 1 0 a__U51 3 0 U23 3 2 3 1 U63 1 1 0 a__U56 1 0 a__U22 3 2 3 5 isNePal 1 1 1 U72 2 1 2 0 a__U11 2 0 a__U31 2 1 a__U51 3 2 26735 a____ 2 0 a__U81 2 1 2 0 a__U53 3 0 U12 2 1 2 2 a__U43 3 3 26737 isQid 1 1 a__U62 2 0 a____ 2 26738 U54 3 1 2 3 3 a__U42 3 0 a__U41 3 2 26735 a__isList 1 1 2 a__U26 1 1 0 a__isNeList 1 1 26733 a__U12 2 0 o 0 1 a__U21 3 0 a__U81 2 0 a__U61 2 0 U83 1 1 mark 1 1 0 isList 1 1 3 U73 2 2 0 a__U21 3 2 3 4 a__U32 2 1 a__U91 2 2 a__U74 1 0 nil 0 1 U62 2 2 a__isQid 1 0 a__U52 3 0 U45 2 1 2 1 mark 1 26738 a__U56 1 4 a__U72 2 1 2 0 a__isNePal 1 1 26738 a__U11 2 2 1 a__isPalListKind 1 1 1 U32 2 1 a__U53 3 2 3 1 a__U42 3 2 3 26736 U33 1 1 2 a__U45 2 0 a__U52 3 2 3 26736 a__U54 3 0 a__U12 2 1 a__U63 1 0 U46 1 1 1 i 0 2 U52 3 2 3 26737 U61 2 26738 a__U25 2 0 a__U46 1 1 0 e 0 1 a__U22 3 0 a__isPalListKind 1 0 a__U13 1 1 U31 2 1 1 a__U83 1 0 a__U71 3 1 2 3 0 U92 1 1 1 a__isPal 1 26732 a__U92 1 1 a__U61 2 26738 U81 2 2 1 a__U41 3 0 U82 2 1 tt 0 26732 a__isQid 1 26732 U13 1 1 1 a__U23 3 3 6 a__isList 1 0 U22 3 1 2 3 6 U51 3 1 2 3 26736 U74 1 1 1 isPalListKind 1 1 1 a__U54 3 3 2 U53 3 2 3 1 a__U55 2 0 U41 3 1 2 3 26736 a__U32 2 0 __ 2 1 2 1 a__U91 2 0 a__U74 1 26732 a__U25 2 1 a__U72 X1 X2 U72 X1 X2 a__U61 X1 X2 U61 X1 X2 a__isNePal X isNePal X a__U46 tt tt a__U82 tt V a__U83 a__isNePal V mark nil nil a__U63 X U63 X a__isQid o tt a__U82 X1 X2 U82 X1 X2 a__U62 X1 X2 U62 X1 X2 a__U71 X1 X2 X3 U71 X1 X2 X3 a__U53 X1 X2 X3 U53 X1 X2 X3 a__U74 tt tt a__U61 tt V a__U62 a__isPalListKind V V mark U62 X1 X2 a__U62 mark X1 X2 mark e e a__isPal nil tt a__U63 tt tt mark tt tt mark u u mark U83 X a__U83 mark X mark isQid X a__isQid X a__isQid X isQid X mark i i a__isQid a tt mark a a a__U73 X1 X2 U73 X1 X2 mark o o a__isQid i tt a__U83 X U83 X a__isQid u tt a__isQid e tt a__isPal X isPal X a__U83 tt tt a__isNePal V a__U61 a__isPalListKind V V a__U62 tt V a__U63 a__isQid V a____ __ X Y Z a____ mark X a____ mark Y mark Z true a__U83 1 5595 a 0 1 a__isNePal 1 0 a__U73 2 0 a__U63 1 1527 U21 3 1 3 38075 a__U82 2 0 a__U45 2 2 30235 a__U72 2 0 a__U71 3 0 U11 2 2 38075 a__U92 1 0 a__U24 3 3 38076 a__U31 2 0 a__U33 1 0 U24 3 3 38076 a__U33 1 601 a__U24 3 0 a__U26 1 0 U25 2 2 38076 a__isNeList 1 0 isNeList 1 1 30234 U56 1 5580 a__U23 3 0 a__U55 2 5580 isPal 1 17944 U42 3 3 30235 U91 2 2 2 a__U73 2 1 u 0 1 U26 1 1 1 a__U82 2 5595 U71 3 1 2 3 1 a__U62 2 4514 a__U44 3 3 30235 a__U43 3 0 a__isPal 1 0 U43 3 3 30235 a__U13 1 0 a__U44 3 0 U44 3 3 30235 U55 2 5580 a__U46 1 0 a__U51 3 0 U23 3 3 38076 U63 1 1527 a__U56 1 0 a__U22 3 3 38076 isNePal 1 1 8093 U72 2 1 2 1 a__U11 2 0 a__U31 2 2 30234 a__U51 3 2 3 30235 a____ 2 1 0 a__U81 2 17944 a__U53 3 0 U12 2 2 38075 a__U43 3 3 30235 isQid 1 1 2122 a__U62 2 0 a____ 2 1 2 1 U54 3 3 5580 a__U42 3 0 a__U41 3 2 3 30235 a__isList 1 1 38075 a__U26 1 1 1 a__isNeList 1 1 30234 a__U12 2 0 o 0 1 a__U21 3 0 a__U81 2 0 a__U61 2 0 U83 1 5595 mark 1 0 isList 1 1 38075 U73 2 1 a__U21 3 1 3 38075 a__U32 2 1 5999 a__U91 2 2 2 a__U74 1 0 nil 0 1 U62 2 4514 a__isQid 1 0 a__U52 3 0 U45 2 2 30235 mark 1 1 0 a__U56 1 5580 a__U72 2 1 2 1 a__isNePal 1 1 8093 a__U11 2 2 38075 a__isPalListKind 1 1 1 U32 2 1 5999 a__U53 3 3 5580 a__U42 3 3 30235 U33 1 601 a__U45 2 0 a__U52 3 2 3 30235 a__U54 3 0 a__U12 2 2 38075 a__U63 1 0 U46 1 1 1 i 0 1 U52 3 2 3 30235 U61 2 4514 a__U25 2 0 a__U46 1 1 1 e 0 1 a__U22 3 0 a__isPalListKind 1 0 a__U13 1 5609 U31 2 2 30234 a__U83 1 0 a__U71 3 1 2 3 1 U92 1 1 a__isPal 1 17944 a__U92 1 1 a__U61 2 4514 U81 2 17944 a__U41 3 0 U82 2 5595 tt 0 1 a__isQid 1 1 2122 U13 1 5609 a__U23 3 3 38076 a__isList 1 0 U22 3 3 38076 U51 3 2 3 30235 U74 1 1 isPalListKind 1 1 1 a__U54 3 3 5580 U53 3 3 5580 a__U55 2 0 U41 3 2 3 30235 a__U32 2 0 __ 2 1 2 1 a__U91 2 0 a__U74 1 1 a__U25 2 2 38076 a__U43 tt V1 V2 a__U44 a__isPalListKind V2 V1 V2 a__isPalListKind a tt mark U42 X1 X2 X3 a__U42 mark X1 X2 X3 mark U92 X a__U92 mark X a__U11 tt V a__U12 a__isPalListKind V V mark U91 X1 X2 a__U91 mark X1 X2 mark isNePal X a__isNePal X a__U72 X1 X2 U72 X1 X2 a__U33 tt tt a__U24 X1 X2 X3 U24 X1 X2 X3 a__U61 X1 X2 U61 X1 X2 a__isNePal X isNePal X a__U22 tt V1 V2 a__U23 a__isPalListKind V2 V1 V2 a__isPalListKind o tt a__U26 X U26 X a__U56 X U56 X a____ __ X Y Z a____ mark X a____ mark Y mark Z mark U33 X a__U33 mark X a____ nil X mark X a__U41 tt V1 V2 a__U42 a__isPalListKind V1 V1 V2 a__U46 tt tt a__U82 tt V a__U83 a__isNePal V a__U43 X1 X2 X3 U43 X1 X2 X3 mark U21 X1 X2 X3 a__U21 mark X1 X2 X3 a__U25 X1 X2 U25 X1 X2 mark U51 X1 X2 X3 a__U51 mark X1 X2 X3 mark U82 X1 X2 a__U82 mark X1 X2 a__U55 tt V2 a__U56 a__isList V2 mark nil nil a__U51 X1 X2 X3 U51 X1 X2 X3 mark U11 X1 X2 a__U11 mark X1 X2 a__U31 X1 X2 U31 X1 X2 a__U63 X U63 X a__U44 tt V1 V2 a__U45 a__isList V1 V2 a__U72 tt P a__U73 a__isPal P P a__U42 tt V1 V2 a__U43 a__isPalListKind V2 V1 V2 a__isNeList X isNeList X a__isQid o tt a__U82 X1 X2 U82 X1 X2 a__U62 X1 X2 U62 X1 X2 a__U71 X1 X2 X3 U71 X1 X2 X3 a__U53 X1 X2 X3 U53 X1 X2 X3 a__U56 tt tt mark U53 X1 X2 X3 a__U53 mark X1 X2 X3 mark U46 X a__U46 mark X a__U74 tt tt a__U33 X U33 X a__U51 tt V1 V2 a__U52 a__isPalListKind V1 V1 V2 a__U61 tt V a__U62 a__isPalListKind V V a__U74 X U74 X mark isPalListKind X a__isPalListKind X a__isNeList __ V1 V2 a__U41 a__isPalListKind V1 V1 V2 a__U12 tt V a__U13 a__isNeList V a__U23 X1 X2 X3 U23 X1 X2 X3 mark U25 X1 X2 a__U25 mark X1 X2 a__U73 tt P a__U74 a__isPalListKind P mark U12 X1 X2 a__U12 mark X1 X2 mark U63 X a__U63 mark X a__U22 X1 X2 X3 U22 X1 X2 X3 mark U62 X1 X2 a__U62 mark X1 X2 a__U24 tt V1 V2 a__U25 a__isList V1 V2 a__U52 X1 X2 X3 U52 X1 X2 X3 a__U91 X1 X2 U91 X1 X2 a__U92 tt tt a__U21 tt V1 V2 a__U22 a__isPalListKind V1 V1 V2 mark U54 X1 X2 X3 a__U54 mark X1 X2 X3 a__U32 X1 X2 U32 X1 X2 a__U45 tt V2 a__U46 a__isNeList V2 a__U41 X1 X2 X3 U41 X1 X2 X3 mark e e a__U42 X1 X2 X3 U42 X1 X2 X3 a__U54 tt V1 V2 a__U55 a__isNeList V1 V2 a__isPal nil tt a__isPalListKind i tt a__U63 tt tt mark __ X1 X2 a____ mark X1 mark X2 mark tt tt a__U32 tt V a__U33 a__isQid V mark u u mark U44 X1 X2 X3 a__U44 mark X1 X2 X3 a__U45 X1 X2 U45 X1 X2 mark U55 X1 X2 a__U55 mark X1 X2 a__isPalListKind __ V1 V2 a__U91 a__isPalListKind V1 V2 mark U41 X1 X2 X3 a__U41 mark X1 X2 X3 a__U71 tt I P a__U72 a__isPalListKind I P a__U26 tt tt mark U83 X a__U83 mark X mark U22 X1 X2 X3 a__U22 mark X1 X2 X3 mark U73 X1 X2 a__U73 mark X1 X2 a__isNeList __ V1 V2 a__U51 a__isPalListKind V1 V1 V2 mark isQid X a__isQid X a__U21 X1 X2 X3 U21 X1 X2 X3 mark U43 X1 X2 X3 a__U43 mark X1 X2 X3 a__isQid X isQid X a__U52 tt V1 V2 a__U53 a__isPalListKind V2 V1 V2 mark U23 X1 X2 X3 a__U23 mark X1 X2 X3 a__U46 X U46 X a__U53 tt V1 V2 a__U54 a__isPalListKind V2 V1 V2 mark U71 X1 X2 X3 a__U71 mark X1 X2 X3 mark i i mark U32 X1 X2 a__U32 mark X1 X2 a__isQid a tt mark U74 X a__U74 mark X a__U25 tt V2 a__U26 a__isList V2 a__U23 tt V1 V2 a__U24 a__isPalListKind V2 V1 V2 a__U31 tt V a__U32 a__isPalListKind V V a__isPalListKind e tt mark a a a__U73 X1 X2 U73 X1 X2 mark U56 X a__U56 mark X a__isList V a__U11 a__isPalListKind V V mark isNeList X a__isNeList X a__isPalListKind u tt a__U44 X1 X2 X3 U44 X1 X2 X3 mark o o a__isQid i tt a__U13 tt tt a__U13 X U13 X a__U92 X U92 X a__U83 X U83 X a__U91 tt V2 a__U92 a__isPalListKind V2 a__isQid u tt a__U11 X1 X2 U11 X1 X2 a__U54 X1 X2 X3 U54 X1 X2 X3 a__isQid e tt mark U26 X a__U26 mark X a____ X1 X2 __ X1 X2 mark U31 X1 X2 a__U31 mark X1 X2 a__isList X isList X a__isPal V a__U81 a__isPalListKind V V a__U55 X1 X2 U55 X1 X2 a__isPal X isPal X mark U24 X1 X2 X3 a__U24 mark X1 X2 X3 a__isPalListKind nil tt a__isNePal __ I __ P I a__U71 a__isQid I I P mark isList X a__isList X mark U61 X1 X2 a__U61 mark X1 X2 mark isPal X a__isPal X mark U81 X1 X2 a__U81 mark X1 X2 a__U12 X1 X2 U12 X1 X2 a__U83 tt tt a__isList nil tt mark U72 X1 X2 a__U72 mark X1 X2 a__U81 X1 X2 U81 X1 X2 a__isPalListKind X isPalListKind X a__isList __ V1 V2 a__U21 a__isPalListKind V1 V1 V2 a__isNePal V a__U61 a__isPalListKind V V mark U13 X a__U13 mark X mark U45 X1 X2 a__U45 mark X1 X2 a__U81 tt V a__U82 a__isPalListKind V V a__U62 tt V a__U63 a__isQid V a__isNeList V a__U31 a__isPalListKind V V mark U52 X1 X2 X3 a__U52 mark X1 X2 X3 a____ X nil mark X mark U45 X1 X2 a__U45 mark X1 X2 false mark U13 X a__U13 mark X false mark U72 X1 X2 a__U72 mark X1 X2 false mark isPal X a__isPal X false mark U61 X1 X2 a__U61 mark X1 X2 false mark isList X a__isList X false mark U24 X1 X2 X3 a__U24 mark X1 X2 X3 false mark U31 X1 X2 a__U31 mark X1 X2 false mark U26 X a__U26 mark X false mark isNeList X a__isNeList X false mark U56 X a__U56 mark X false mark U74 X a__U74 mark X false mark U32 X1 X2 a__U32 mark X1 X2 false mark U71 X1 X2 X3 a__U71 mark X1 X2 X3 false mark U23 X1 X2 X3 a__U23 mark X1 X2 X3 false mark U43 X1 X2 X3 a__U43 mark X1 X2 X3 false mark isQid X a__isQid X false mark U73 X1 X2 a__U73 mark X1 X2 false mark U22 X1 X2 X3 a__U22 mark X1 X2 X3 false mark U83 X a__U83 mark X false mark U41 X1 X2 X3 a__U41 mark X1 X2 X3 false mark U55 X1 X2 a__U55 mark X1 X2 false mark U44 X1 X2 X3 a__U44 mark X1 X2 X3 false mark U54 X1 X2 X3 a__U54 mark X1 X2 X3 false mark U62 X1 X2 a__U62 mark X1 X2 false mark U63 X a__U63 mark X false mark U12 X1 X2 a__U12 mark X1 X2 false mark U25 X1 X2 a__U25 mark X1 X2 false mark isPalListKind X a__isPalListKind X false mark U46 X a__U46 mark X false mark U53 X1 X2 X3 a__U53 mark X1 X2 X3 false mark U11 X1 X2 a__U11 mark X1 X2 false mark U82 X1 X2 a__U82 mark X1 X2 false mark U51 X1 X2 X3 a__U51 mark X1 X2 X3 false mark U21 X1 X2 X3 a__U21 mark X1 X2 X3 false mark U33 X a__U33 mark X false mark isNePal X a__isNePal X false mark U91 X1 X2 a__U91 mark X1 X2 false mark U92 X a__U92 mark X false mark U42 X1 X2 X3 a__U42 mark X1 X2 X3 false mark U52 X1 X2 X3 a__U52 mark X1 X2 X3 false a__U55 tt V2 a__isList V2 a__U12 tt V a__isNeList V a__U24 tt V1 V2 a__isList V1 a__U23 tt V1 V2 a__U24 a__isPalListKind V2 V1 V2 a__U44 tt V1 V2 a__U45 a__isList V1 V2 a__U43 tt V1 V2 a__U44 a__isPalListKind V2 V1 V2 a__isList __ V1 V2 a__U21 a__isPalListKind V1 V1 V2 a__isNeList __ V1 V2 a__U41 a__isPalListKind V1 V1 V2 a__U44 tt V1 V2 a__isList V1 a__U45 tt V2 a__isNeList V2 a__U53 tt V1 V2 a__U54 a__isPalListKind V2 V1 V2 a__U52 tt V1 V2 a__U53 a__isPalListKind V2 V1 V2 a__U54 tt V1 V2 a__U55 a__isNeList V1 V2 a__U41 tt V1 V2 a__U42 a__isPalListKind V1 V1 V2 a__U25 tt V2 a__isList V2 a__U22 tt V1 V2 a__U23 a__isPalListKind V2 V1 V2 a__U42 tt V1 V2 a__U43 a__isPalListKind V2 V1 V2 a__U51 tt V1 V2 a__U52 a__isPalListKind V1 V1 V2 a__isNeList __ V1 V2 a__U51 a__isPalListKind V1 V1 V2 a__U21 tt V1 V2 a__U22 a__isPalListKind V1 V1 V2 a__U24 tt V1 V2 a__U25 a__isList V1 V2 a__U11 tt V a__U12 a__isPalListKind V V a__isList V a__U11 a__isPalListKind V V a__U54 tt V1 V2 a__isNeList V1 true a__U83 1 25871 a 0 1 a__isNePal 1 0 a__U73 2 0 a__U63 1 1 22923 U21 3 1 3 891 a__U82 2 0 a__U45 2 2 37516 a__U72 2 0 a__U71 3 0 U11 2 23365 a__U92 1 0 a__U24 3 1 2 3 56027 a__U31 2 0 a__U33 1 0 U24 3 56026 a__U33 1 25399 a__U24 3 2 3 5 a__U26 1 0 U25 2 2 93547 a__isNeList 1 1 0 isNeList 1 1 2473 U56 1 15044 a__U23 3 2 3 6 a__U55 2 37516 isPal 1 1 14183 U42 3 2 2912 U91 2 2 24902 a__U73 2 72609 u 0 403 U26 1 70183 a__U82 2 2 25870 U71 3 3 16348 a__U62 2 1 22390 a__U44 3 1 2 3 57607 a__U43 3 2 3 5 a__isPal 1 0 U43 3 1 2 3 60036 a__U13 1 0 a__U44 3 2 3 4 U44 3 12115 U55 2 1 2 37517 a__U46 1 0 a__U51 3 2 3 22470 U23 3 2 35982 U63 1 22924 a__U56 1 0 a__U22 3 1 2 20936 isNePal 1 1 2344 U72 2 13507 a__U11 2 2 2 a__U31 2 1 2 44 a__U51 3 1 2 22515 a____ 2 0 a__U81 2 25869 a__U53 3 2 3 22468 U12 2 892 a__U43 3 60035 isQid 1 60465 a__U62 2 0 a____ 2 1 0 U54 3 1 2 37516 a__U42 3 2 3 6 a__U41 3 1 2 3 22515 a__isList 1 23363 a__U26 1 1 70184 a__isNeList 1 1 2472 a__U12 2 2 1 o 0 531 a__U21 3 2 3 8 a__U81 2 0 a__U61 2 0 U83 1 1 49906 mark 1 0 isList 1 1 889 U73 2 72610 a__U21 3 23364 a__U32 2 0 a__U91 2 24901 a__U74 1 0 nil 0 7 U62 2 2 22389 a__isQid 1 0 a__U52 3 2 3 22469 U45 2 15043 mark 1 1 22472 a__U56 1 37517 a__U72 2 1 2 35090 a__isNePal 1 24817 a__U11 2 2 23364 a__isPalListKind 1 1 2429 U32 2 1 2 16060 a__U53 3 37514 a__U42 3 3 60034 U33 1 1 2926 a__U45 2 2 3 a__U52 3 3 37513 a__U54 3 2 3 5 a__U12 2 2 23365 a__U63 1 0 U46 1 1 15040 i 0 167 U52 3 2 15040 U61 2 1 24819 a__U25 2 2 4 a__U46 1 37517 e 0 404 a__U22 3 2 3 7 a__isPalListKind 1 0 a__U13 1 23366 U31 2 45 a__U83 1 0 a__U71 3 1 2 0 U92 1 1 24903 a__isPal 1 1 a__U92 1 24902 a__U61 2 2 24818 U81 2 1 2 3396 a__U41 3 2 3 7 U82 2 1 1166 tt 0 37518 a__isQid 1 1 36986 U13 1 1 23367 a__U23 3 3 58455 a__isList 1 1 3 U22 3 20935 U51 3 2 3 22514 U74 1 37518 isPalListKind 1 20052 a__U54 3 3 37515 U53 3 2 3 3213 a__U55 2 2 4 U41 3 22514 a__U32 2 0 __ 2 1 2 22471 a__U91 2 0 a__U74 1 37517 a__U25 2 93546 a__U55 tt V2 a__U56 a__isList V2 false a__U45 tt V2 a__U46 a__isNeList V2 false a__U25 tt V2 a__U26 a__isList V2 false a__U23 tt V1 V2 a__isPalListKind V2 false a__U22 tt V1 V2 a__isPalListKind V2 false a__U21 tt V1 V2 a__isPalListKind V1 false a__isList __ V1 V2 a__isPalListKind V1 false a__U12 tt V a__U13 a__isNeList V false a__isNeList V a__U31 a__isPalListKind V V false a__U31 tt V a__U32 a__isPalListKind V V false a__U32 tt V a__U33 a__isQid V false a__U32 tt V a__isQid V false a__U31 tt V a__isPalListKind V false a__isNeList V a__isPalListKind V false a__U51 tt V1 V2 a__isPalListKind V1 false a__isNeList __ V1 V2 a__isPalListKind V1 false a__U11 tt V a__isPalListKind V false a__isList V a__isPalListKind V false a__U43 tt V1 V2 a__isPalListKind V2 false a__U42 tt V1 V2 a__isPalListKind V2 false a__U41 tt V1 V2 a__isPalListKind V1 false a__isNeList __ V1 V2 a__isPalListKind V1 false a__U53 tt V1 V2 a__isPalListKind V2 false a__U52 tt V1 V2 a__isPalListKind V2 false mark U81 X1 X2 a__U81 mark X1 X2 false a__isPal V a__U81 a__isPalListKind V V a__U81 tt V a__U82 a__isPalListKind V V a__isNePal __ I __ P I a__U71 a__isQid I I P a__U82 tt V a__isNePal V a__U72 tt P a__isPal P a__U71 tt I P a__U72 a__isPalListKind I P true a__U83 1 7 a 0 0 a__isNePal 1 1 0 a__U73 2 0 a__U63 1 1 0 U21 3 1 3 0 a__U82 2 2 1 a__U45 2 2 6 a__U72 2 2 4 a__U71 3 3 5 U11 2 7 a__U92 1 0 a__U24 3 1 2 3 7 a__U31 2 0 a__U33 1 0 U24 3 8 a__U33 1 5 a__U24 3 5 a__U26 1 0 U25 2 2 5 a__isNeList 1 0 isNeList 1 1 2 U56 1 11 a__U23 3 6 a__U55 2 9 isPal 1 1 2 U42 3 2 14 U91 2 2 4 a__U73 2 23 u 0 0 U26 1 0 a__U82 2 2 6 U71 3 3 13 a__U62 2 7 a__U44 3 2 5 a__U43 3 5 a__isPal 1 1 3 U43 3 1 2 3 15 a__U13 1 0 a__U44 3 4 U44 3 1 0 U55 2 1 2 10 a__U46 1 0 a__U51 3 22470 U23 3 2 9 U63 1 1 a__U56 1 0 a__U22 3 2 7 isNePal 1 1 0 U72 2 12 a__U11 2 2 a__U31 2 1 0 a__U51 3 2 5 a____ 2 0 a__U81 2 5 a__U53 3 22468 U12 2 1 a__U43 3 14 isQid 1 9 a__U62 2 0 a____ 2 1 1 U54 3 1 2 0 a__U42 3 6 a__U41 3 1 1 a__isList 1 5 a__U26 1 1 1 a__isNeList 1 1 a__U12 2 1 o 0 1 a__U21 3 8 a__U81 2 2 2 a__U61 2 0 U83 1 1 8 mark 1 0 isList 1 1 0 U73 2 24 a__U21 3 6 a__U32 2 0 a__U91 2 3 a__U74 1 0 nil 0 2 U62 2 2 0 a__isQid 1 0 a__U52 3 22469 U45 2 1 0 mark 1 4 a__U56 1 10 a__U72 2 1 2 11 a__isNePal 1 1 5 a__U11 2 2 6 a__isPalListKind 1 2 U32 2 1 2 1 a__U53 3 7 a__U42 3 3 13 U33 1 1 6 a__U45 2 3 a__U52 3 3 6 a__U54 3 5 a__U12 2 1 5 a__U63 1 0 U46 1 1 8 i 0 1 U52 3 1 2 0 U61 2 1 7 a__U25 2 4 a__U46 1 7 e 0 1 a__U22 3 7 a__isPalListKind 1 0 a__U13 1 17 U31 2 1 a__U83 1 0 a__U71 3 2 12 U92 1 1 0 a__isPal 1 1 a__U92 1 4 a__U61 2 6 U81 2 1 2 0 a__U41 3 7 U82 2 1 0 tt 0 11 a__isQid 1 1 8 U13 1 1 18 a__U23 3 3 8 a__isList 1 3 U22 3 8 U51 3 1 2 3 0 U74 1 1 isPalListKind 1 3 a__U54 3 3 8 U53 3 1 2 3 8 a__U55 2 4 U41 3 0 a__U32 2 0 __ 2 1 2 3 a__U91 2 0 a__U74 1 0 a__U25 2 4 a__U82 tt V a__U83 a__isNePal V false a__isNePal V a__U61 a__isPalListKind V V false a__U61 tt V a__U62 a__isPalListKind V V false a__U62 tt V a__U63 a__isQid V false a__U62 tt V a__isQid V false a__U61 tt V a__isPalListKind V false a__isNePal V a__isPalListKind V false a__U72 tt P a__U73 a__isPal P P false a__U73 tt P a__U74 a__isPalListKind P false a__U73 tt P a__isPalListKind P false a__isPal V a__isPalListKind V false a__U71 tt I P a__isPalListKind I false a__isNePal __ I __ P I a__isQid I false a__U81 tt V a__isPalListKind V false a__isPalListKind __ V1 V2 a__isPalListKind V1 a__isPalListKind __ V1 V2 a__U91 a__isPalListKind V1 V2 a__U91 tt V2 a__isPalListKind V2 true a__U83 1 7 a 0 0 a__isNePal 1 0 a__U73 2 0 a__U63 1 1 0 U21 3 1 3 0 a__U82 2 1 a__U45 2 2 6 a__U72 2 4 a__U71 3 5 U11 2 7 a__U92 1 0 a__U24 3 1 2 3 7 a__U31 2 0 a__U33 1 0 U24 3 8 a__U33 1 5 a__U24 3 5 a__U26 1 0 U25 2 2 1 a__isNeList 1 0 isNeList 1 1 2 U56 1 11 a__U23 3 6 a__U55 2 9 isPal 1 1 2 U42 3 2 14 U91 2 2 4 a__U73 2 23 u 0 0 U26 1 0 a__U82 2 2 6 U71 3 3 11 a__U62 2 7 a__U44 3 2 5 a__U43 3 5 a__isPal 1 3 U43 3 1 2 3 15 a__U13 1 0 a__U44 3 4 U44 3 1 0 U55 2 1 2 10 a__U46 1 0 a__U51 3 22470 U23 3 2 9 U63 1 1 a__U56 1 0 a__U22 3 2 7 isNePal 1 1 0 U72 2 12 a__U11 2 2 a__U31 2 1 0 a__U51 3 2 5 a____ 2 0 a__U81 2 5 a__U53 3 22468 U12 2 1 a__U43 3 14 isQid 1 9 a__U62 2 0 a____ 2 1 1 U54 3 1 2 0 a__U42 3 6 a__U41 3 1 1 a__isList 1 5 a__U26 1 1 1 a__isNeList 1 1 a__U12 2 1 o 0 1 a__U21 3 8 a__U81 2 2 a__U61 2 0 U83 1 1 8 mark 1 0 isList 1 1 0 U73 2 24 a__U21 3 6 a__U32 2 0 a__U91 2 3 a__U74 1 0 nil 0 2 U62 2 2 0 a__isQid 1 0 a__U52 3 22469 U45 2 1 0 mark 1 4 a__U56 1 10 a__U72 2 1 2 11 a__isNePal 1 1 5 a__U11 2 2 6 a__isPalListKind 1 2 U32 2 1 2 1 a__U53 3 7 a__U42 3 3 13 U33 1 1 6 a__U45 2 3 a__U52 3 3 6 a__U54 3 5 a__U12 2 1 5 a__U63 1 0 U46 1 1 8 i 0 1 U52 3 1 2 0 U61 2 1 7 a__U25 2 4 a__U46 1 7 e 0 2 a__U22 3 7 a__isPalListKind 1 1 0 a__U13 1 17 U31 2 1 a__U83 1 0 a__U71 3 2 10 U92 1 1 0 a__isPal 1 1 a__U92 1 4 a__U61 2 6 U81 2 1 2 0 a__U41 3 7 U82 2 1 0 tt 0 11 a__isQid 1 1 8 U13 1 1 18 a__U23 3 3 8 a__isList 1 3 U22 3 8 U51 3 1 2 3 0 U74 1 1 isPalListKind 1 3 a__U54 3 3 8 U53 3 1 2 3 8 a__U55 2 4 U41 3 0 a__U32 2 0 __ 2 1 2 2 a__U91 2 2 1 a__U74 1 0 a__U25 2 0 a__U91 tt V2 a__U92 a__isPalListKind V2 false NaTT certifiable-1.6