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 tt a__U21 tt V2 a__U22 a__isList V2 a__U22 tt tt a__U31 tt tt a__U41 tt V2 a__U42 a__isNeList V2 a__U42 tt tt a__U51 tt V2 a__U52 a__isList V2 a__U52 tt tt a__U61 tt tt a__U71 tt P a__U72 a__isPal P a__U72 tt tt a__U81 tt tt a__isList V a__U11 a__isNeList V a__isList nil tt a__isList __ V1 V2 a__U21 a__isList V1 V2 a__isNeList V a__U31 a__isQid V a__isNeList __ V1 V2 a__U41 a__isList V1 V2 a__isNeList __ V1 V2 a__U51 a__isNeList V1 V2 a__isNePal V a__U61 a__isQid V a__isNePal __ I __ P I a__U71 a__isQid I P a__isPal V a__U81 a__isNePal V a__isPal nil tt 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 X a__U11 mark X mark U21 X1 X2 a__U21 mark X1 X2 mark U22 X a__U22 mark X mark isList X a__isList X mark U31 X a__U31 mark X mark U41 X1 X2 a__U41 mark X1 X2 mark U42 X a__U42 mark X mark isNeList X a__isNeList X mark U51 X1 X2 a__U51 mark X1 X2 mark U52 X a__U52 mark X mark U61 X a__U61 mark X mark U71 X1 X2 a__U71 mark X1 X2 mark U72 X a__U72 mark X mark isPal X a__isPal X mark U81 X a__U81 mark X mark isQid X a__isQid X mark isNePal X a__isNePal 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 X U11 X a__U21 X1 X2 U21 X1 X2 a__U22 X U22 X a__isList X isList X a__U31 X U31 X a__U41 X1 X2 U41 X1 X2 a__U42 X U42 X a__isNeList X isNeList X a__U51 X1 X2 U51 X1 X2 a__U52 X U52 X a__U61 X U61 X a__U71 X1 X2 U71 X1 X2 a__U72 X U72 X a__isPal X isPal X a__U81 X U81 X a__isQid X isQid X a__isNePal X isNePal X 2.2 mark U71 X1 X2 a__U71 mark X1 X2 mark U22 X mark X a__isNeList __ V1 V2 a__U41 a__isList V1 V2 mark U21 X1 X2 mark X1 a__isNeList V a__U31 a__isQid V mark U22 X a__U22 mark X a__isNePal V a__isQid V a__U21 tt V2 a__isList V2 a__isNeList V a__isQid V a__isList V a__isNeList V mark U31 X a__U31 mark X a____ __ X Y Z mark Y a__U41 tt V2 a__isNeList V2 mark U72 X a__U72 mark X mark U81 X mark X a____ __ X Y Z mark Z a____ __ X Y Z a____ mark X a____ mark Y mark Z a__isNePal V a__U61 a__isQid V a__isNeList __ V1 V2 a__isNeList V1 mark isQid X a__isQid X mark U52 X a__U52 mark X mark U41 X1 X2 a__U41 mark X1 X2 a____ __ X Y Z a____ mark Y mark Z a__isNePal __ I __ P I a__isQid I a__isNePal __ I __ P I a__U71 a__isQid I P mark U11 X mark X mark U41 X1 X2 mark X1 mark isNeList X a__isNeList X a____ __ X Y Z mark X mark isNePal X a__isNePal X a__isList __ V1 V2 a__U21 a__isList V1 V2 a__isNeList __ V1 V2 a__isList V1 a__isList V a__U11 a__isNeList V mark U31 X mark X mark isPal X a__isPal X a__U71 tt P a__isPal P mark U61 X a__U61 mark X mark U72 X mark X mark U52 X mark X a__U51 tt V2 a__isList V2 mark U81 X a__U81 mark X mark U11 X a__U11 mark X mark __ X1 X2 mark X2 a__isPal V a__isNePal V mark U21 X1 X2 a__U21 mark X1 X2 mark __ X1 X2 mark X1 a__U41 tt V2 a__U42 a__isNeList V2 mark U51 X1 X2 a__U51 mark X1 X2 a__U51 tt V2 a__U52 a__isList V2 a__U71 tt P a__U72 a__isPal P a__isList __ V1 V2 a__isList V1 mark __ X1 X2 a____ mark X1 mark X2 a__U21 tt V2 a__U22 a__isList V2 a__isPal V a__U81 a__isNePal V mark U42 X mark X mark U71 X1 X2 mark X1 a____ X nil mark X a____ nil X mark X mark U61 X mark X mark U42 X a__U42 mark X mark isList X a__isList X a__isNeList __ V1 V2 a__U51 a__isNeList V1 V2 mark U51 X1 X2 mark X1 true mark U51 X1 X2 mark X1 mark U31 X mark X a____ __ X Y Z mark X mark U41 X1 X2 mark X1 mark U61 X mark X mark U11 X mark X a____ nil X mark X a____ X nil mark X mark U71 X1 X2 mark X1 mark U42 X mark X a____ __ X Y Z a____ mark Y mark Z mark __ X1 X2 a____ mark X1 mark X2 a____ __ X Y Z a____ mark X a____ mark Y mark Z a____ __ X Y Z mark Z mark U81 X mark X mark __ X1 X2 mark X1 a____ __ X Y Z mark Y mark __ X1 X2 mark X2 mark U52 X mark X mark U72 X mark X mark U21 X1 X2 mark X1 mark U22 X mark X true a 0 1 a__isNePal 1 0 U21 2 1 2 62952 a__U72 1 0 a__U71 2 0 U11 1 1 25907 a__U31 1 0 a__isNeList 1 0 isNeList 1 1 90561 isPal 1 1 133103 U42 1 1 1 u 0 13941 U71 2 1 2 89312 a__isPal 1 0 a__U51 2 0 a__U22 1 1 1 isNePal 1 1 56347 U72 1 1 9726 a__U11 1 0 a__U31 1 1 37045 a__U51 2 1 2 62952 a____ 2 1 2 62951 a__U81 1 1 16908 isQid 1 1 53516 a____ 2 1 2 62952 a__U42 1 0 a__U41 2 1 2 37045 a__isList 1 1 116468 a__isNeList 1 1 90561 o 0 1 a__U21 2 0 a__U81 1 0 a__U61 1 0 mark 1 1 0 isList 1 1 116468 a__U21 2 1 2 62952 nil 0 1 a__isQid 1 0 a__U52 1 0 mark 1 1 0 a__U72 1 1 9726 a__isNePal 1 1 56347 a__U11 1 1 25907 a__U42 1 1 1 a__U52 1 1 1 i 0 26058 U52 1 1 1 U61 1 1 2831 e 0 843 a__U22 1 0 U31 1 1 37045 a__U71 2 1 2 89312 a__isPal 1 1 133103 a__U61 1 1 2831 U81 1 1 16908 a__U41 2 0 tt 0 53517 a__isQid 1 1 53516 a__isList 1 0 U22 1 1 1 U51 2 1 2 62952 U41 2 1 2 37045 __ 2 1 2 62952 a____ __ X Y Z a____ mark X a____ mark Y mark Z a__isList __ V1 V2 a__U21 a__isList V1 V2 mark tt tt a__U11 tt tt a__U81 tt tt a__U41 tt V2 a__U42 a__isNeList V2 mark o o a____ __ X Y Z a____ mark X a____ mark Y mark Z a____ nil X mark X a__isList V a__U11 a__isNeList V a__isNeList __ V1 V2 a__U51 a__isNeList V1 V2 mark U31 X a__U31 mark X a__U71 X1 X2 U71 X1 X2 a__isQid a tt a__U42 X U42 X a__isNeList V a__U31 a__isQid V mark U11 X a__U11 mark X a__isList nil tt a__isList X isList X a__isQid e tt mark U22 X a__U22 mark X a__isNePal V a__U61 a__isQid V a__isQid i tt a__U51 X1 X2 U51 X1 X2 mark U72 X a__U72 mark X a__U21 tt V2 a__U22 a__isList V2 a__isQid X isQid X mark U21 X1 X2 a__U21 mark X1 X2 a__isNeList X isNeList X a__U51 tt V2 a__U52 a__isList V2 mark isNeList X a__isNeList X a__U31 tt tt a__isNeList __ V1 V2 a__U41 a__isList V1 V2 a__isPal nil tt mark nil nil mark e e a__isQid u tt a__U41 X1 X2 U41 X1 X2 a__U72 tt tt a____ X1 X2 __ X1 X2 mark __ X1 X2 a____ mark X1 mark X2 a__U61 tt tt a__U72 X U72 X mark isPal X a__isPal X a__isNePal __ I __ P I a__U71 a__isQid I P a__isPal X isPal X a__isPal V a__U81 a__isNePal V a__U11 X U11 X a__U52 tt tt a__U42 tt tt a__U71 tt P a__U72 a__isPal P mark a a mark U51 X1 X2 a__U51 mark X1 X2 a__U61 X U61 X mark u u a__U22 X U22 X a__U22 tt tt mark U42 X a__U42 mark X a__U31 X U31 X a__U21 X1 X2 U21 X1 X2 mark isNePal X a__isNePal X a__U81 X U81 X mark i i mark isQid X a__isQid X a__isNePal X isNePal X mark U41 X1 X2 a__U41 mark X1 X2 mark U52 X a__U52 mark X mark U61 X a__U61 mark X mark U81 X a__U81 mark X a__U52 X U52 X mark isList X a__isList X a__isQid o tt mark U71 X1 X2 a__U71 mark X1 X2 a____ X nil mark X a____ __ X Y Z a____ mark X a____ mark Y mark Z true a 0 1 a__isNePal 1 0 U21 2 14098 a__U72 1 0 a__U71 2 0 U11 1 1 32527 a__U31 1 0 a__isNeList 1 0 isNeList 1 1 28959 isPal 1 1 2 U42 1 13214 u 0 1 U71 2 1 1 a__isPal 1 0 a__U51 2 0 a__U22 1 1 isNePal 1 1 1 U72 1 1 a__U11 1 0 a__U31 1 1 28959 a__U51 2 16704 a____ 2 1 62951 a__U81 1 1 1 isQid 1 1 0 a____ 2 1 2 61548 a__U42 1 0 a__U41 2 1 2 29021 a__isList 1 1 61486 a__isNeList 1 1 28959 o 0 1 a__U21 2 0 a__U81 1 0 a__U61 1 0 mark 1 0 isList 1 1 61486 a__U21 2 14098 nil 0 1 a__isQid 1 0 a__U52 1 0 mark 1 1 0 a__U72 1 1 a__isNePal 1 1 1 a__U11 1 1 32527 a__U42 1 13214 a__U52 1 16704 i 0 1 U52 1 16704 U61 1 1 e 0 33177 a__U22 1 0 U31 1 1 28959 a__U71 2 1 1 a__isPal 1 1 2 a__U61 1 1 U81 1 1 1 a__U41 2 0 tt 0 0 a__isQid 1 1 0 a__isList 1 0 U22 1 1 U51 2 16704 U41 2 1 2 29021 __ 2 1 2 61548 a__isList __ V1 V2 a__U21 a__isList V1 V2 mark tt tt a__U11 tt tt a__U81 tt tt a__U41 tt V2 a__U42 a__isNeList V2 mark o o a____ __ X Y Z a____ mark X a____ mark Y mark Z a____ nil X mark X a__isList V a__U11 a__isNeList V a__isNeList __ V1 V2 a__U51 a__isNeList V1 V2 mark U31 X a__U31 mark X a__U71 X1 X2 U71 X1 X2 a__isQid a tt a__U42 X U42 X a__isNeList V a__U31 a__isQid V mark U11 X a__U11 mark X a__isList nil tt a__isList X isList X a__isQid e tt mark U22 X a__U22 mark X a__isNePal V a__U61 a__isQid V a__isQid i tt a__U51 X1 X2 U51 X1 X2 mark U72 X a__U72 mark X a__U21 tt V2 a__U22 a__isList V2 a__isQid X isQid X mark U21 X1 X2 a__U21 mark X1 X2 a__isNeList X isNeList X a__U51 tt V2 a__U52 a__isList V2 mark isNeList X a__isNeList X a__U31 tt tt a__isNeList __ V1 V2 a__U41 a__isList V1 V2 a__isPal nil tt mark nil nil mark e e a__isQid u tt a__U41 X1 X2 U41 X1 X2 a__U72 tt tt a____ X1 X2 __ X1 X2 mark __ X1 X2 a____ mark X1 mark X2 a__U61 tt tt a__U72 X U72 X mark isPal X a__isPal X a__isNePal __ I __ P I a__U71 a__isQid I P a__isPal X isPal X a__isPal V a__U81 a__isNePal V a__U11 X U11 X a__U52 tt tt a__U42 tt tt a__U71 tt P a__U72 a__isPal P mark a a mark U51 X1 X2 a__U51 mark X1 X2 a__U61 X U61 X mark u u a__U22 X U22 X a__U22 tt tt mark U42 X a__U42 mark X a__U31 X U31 X a__U21 X1 X2 U21 X1 X2 mark isNePal X a__isNePal X a__U81 X U81 X mark i i mark isQid X a__isQid X a__isNePal X isNePal X mark U41 X1 X2 a__U41 mark X1 X2 mark U52 X a__U52 mark X mark U61 X a__U61 mark X mark U81 X a__U81 mark X a__U52 X U52 X mark isList X a__isList X a__isQid o tt mark U71 X1 X2 a__U71 mark X1 X2 a____ X nil mark X mark isList X a__isList X false mark U81 X a__U81 mark X false mark U61 X a__U61 mark X false mark U52 X a__U52 mark X false mark U41 X1 X2 a__U41 mark X1 X2 false mark isQid X a__isQid X false mark isNePal X a__isNePal X false mark U42 X a__U42 mark X false mark U51 X1 X2 a__U51 mark X1 X2 false mark isPal X a__isPal X false mark isNeList X a__isNeList X false mark U21 X1 X2 a__U21 mark X1 X2 false a__isNeList __ V1 V2 a__U51 a__isNeList V1 V2 a__isList __ V1 V2 a__U21 a__isList V1 V2 a__isNeList __ V1 V2 a__isList V1 a__isList __ V1 V2 a__isList V1 a__isNeList __ V1 V2 a__isNeList V1 a__U41 tt V2 a__isNeList V2 a__isList V a__isNeList V a__U21 tt V2 a__isList V2 a__U51 tt V2 a__isList V2 a__isNeList __ V1 V2 a__U41 a__isList V1 V2 true a 0 1 a__isNePal 1 0 U21 2 1 a__U72 1 0 a__U71 2 0 U11 1 1 a__U31 1 0 a__isNeList 1 1 0 isNeList 1 1 1 isPal 1 1 40513 U42 1 1 u 0 21633 U71 2 1 9 a__isPal 1 0 a__U51 2 1 2 2 a__U22 1 1 isNePal 1 1 1 U72 1 5 a__U11 1 0 a__U31 1 1 1 a__U51 2 4 a____ 2 1 62951 a__U81 1 1 40512 isQid 1 1 0 a____ 2 1 2 4 a__U42 1 0 a__U41 2 1 2 4 a__isList 1 1 a__isNeList 1 1 1 o 0 1 a__U21 2 2 2 a__U81 1 0 a__U61 1 0 mark 1 0 isList 1 1 a__U21 2 1 nil 0 1 a__isQid 1 0 a__U52 1 0 mark 1 1 0 a__U72 1 5 a__isNePal 1 1 1 a__U11 1 1 a__U42 1 1 a__U52 1 4 i 0 13140 U52 1 4 U61 1 1 e 0 1 a__U22 1 0 U31 1 1 1 a__U71 2 1 9 a__isPal 1 1 40513 a__U61 1 1 U81 1 1 40512 a__U41 2 2 3 tt 0 0 a__isQid 1 1 0 a__isList 1 1 1 U22 1 1 U51 2 4 U41 2 1 2 4 __ 2 1 2 4 a__isList __ V1 V2 a__U21 a__isList V1 V2 mark tt tt a__U11 tt tt a__U81 tt tt a__U41 tt V2 a__U42 a__isNeList V2 mark o o a____ __ X Y Z a____ mark X a____ mark Y mark Z a____ nil X mark X a__isList V a__U11 a__isNeList V a__isNeList __ V1 V2 a__U51 a__isNeList V1 V2 mark U31 X a__U31 mark X a__U71 X1 X2 U71 X1 X2 a__isQid a tt a__U42 X U42 X a__isNeList V a__U31 a__isQid V mark U11 X a__U11 mark X a__isList nil tt a__isList X isList X a__isQid e tt mark U22 X a__U22 mark X a__isNePal V a__U61 a__isQid V a__isQid i tt a__U51 X1 X2 U51 X1 X2 mark U72 X a__U72 mark X a__U21 tt V2 a__U22 a__isList V2 a__isQid X isQid X mark U21 X1 X2 a__U21 mark X1 X2 a__isNeList X isNeList X a__U51 tt V2 a__U52 a__isList V2 mark isNeList X a__isNeList X a__U31 tt tt a__isNeList __ V1 V2 a__U41 a__isList V1 V2 a__isPal nil tt mark nil nil mark e e a__isQid u tt a__U41 X1 X2 U41 X1 X2 a__U72 tt tt a____ X1 X2 __ X1 X2 mark __ X1 X2 a____ mark X1 mark X2 a__U61 tt tt a__U72 X U72 X mark isPal X a__isPal X a__isNePal __ I __ P I a__U71 a__isQid I P a__isPal X isPal X a__isPal V a__U81 a__isNePal V a__U11 X U11 X a__U52 tt tt a__U42 tt tt a__U71 tt P a__U72 a__isPal P mark a a mark U51 X1 X2 a__U51 mark X1 X2 a__U61 X U61 X mark u u a__U22 X U22 X a__U22 tt tt mark U42 X a__U42 mark X a__U31 X U31 X a__U21 X1 X2 U21 X1 X2 mark isNePal X a__isNePal X a__U81 X U81 X mark i i mark isQid X a__isQid X a__isNePal X isNePal X mark U41 X1 X2 a__U41 mark X1 X2 mark U52 X a__U52 mark X mark U61 X a__U61 mark X mark U81 X a__U81 mark X a__U52 X U52 X mark isList X a__isList X a__isQid o tt mark U71 X1 X2 a__U71 mark X1 X2 a____ X nil mark X a__U41 tt V2 a__U42 a__isNeList V2 false a__isNeList V a__U31 a__isQid V false a__isNeList V a__isQid V false a__U51 tt V2 a__U52 a__isList V2 false a__isList V a__U11 a__isNeList V false a__U21 tt V2 a__U22 a__isList V2 false mark U72 X a__U72 mark X false mark U22 X a__U22 mark X false mark U11 X a__U11 mark X false mark U31 X a__U31 mark X false mark U71 X1 X2 a__U71 mark X1 X2 false a__isNePal __ I __ P I a__U71 a__isQid I P a__isPal V a__isNePal V a__U71 tt P a__isPal P true a 0 1 a__isNePal 1 1 0 U21 2 1 a__U72 1 0 a__U71 2 2 2 U11 1 1 a__U31 1 0 a__isNeList 1 0 isNeList 1 1 12780 isPal 1 1 19913 U42 1 1 u 0 1 U71 2 1 11941 a__isPal 1 1 1 a__U51 2 1 0 a__U22 1 1 isNePal 1 1 1 U72 1 11941 a__U11 1 0 a__U31 1 1 4745 a__U51 2 1 a____ 2 1 0 a__U81 1 1 19912 isQid 1 1 0 a____ 2 1 2 5970 a__U42 1 0 a__U41 2 1 2 1 a__isList 1 1 a__isNeList 1 1 12780 o 0 1 a__U21 2 0 a__U81 1 0 a__U61 1 0 mark 1 0 isList 1 1 a__U21 2 1 nil 0 1 a__isQid 1 0 a__U52 1 0 mark 1 1 0 a__U72 1 11941 a__isNePal 1 1 1 a__U11 1 1 a__U42 1 1 a__U52 1 1 i 0 1 U52 1 1 U61 1 1 e 0 1 a__U22 1 0 U31 1 1 4745 a__U71 2 1 11941 a__isPal 1 1 19913 a__U61 1 1 U81 1 1 19912 a__U41 2 0 tt 0 0 a__isQid 1 1 0 a__isList 1 0 U22 1 1 U51 2 1 U41 2 1 2 1 __ 2 1 2 5970 a__isList __ V1 V2 a__U21 a__isList V1 V2 mark tt tt a__U11 tt tt a__U81 tt tt a__U41 tt V2 a__U42 a__isNeList V2 mark o o a____ __ X Y Z a____ mark X a____ mark Y mark Z a____ nil X mark X a__isList V a__U11 a__isNeList V a__isNeList __ V1 V2 a__U51 a__isNeList V1 V2 mark U31 X a__U31 mark X a__U71 X1 X2 U71 X1 X2 a__isQid a tt a__U42 X U42 X a__isNeList V a__U31 a__isQid V mark U11 X a__U11 mark X a__isList nil tt a__isList X isList X a__isQid e tt mark U22 X a__U22 mark X a__isNePal V a__U61 a__isQid V a__isQid i tt a__U51 X1 X2 U51 X1 X2 mark U72 X a__U72 mark X a__U21 tt V2 a__U22 a__isList V2 a__isQid X isQid X mark U21 X1 X2 a__U21 mark X1 X2 a__isNeList X isNeList X a__U51 tt V2 a__U52 a__isList V2 mark isNeList X a__isNeList X a__U31 tt tt a__isNeList __ V1 V2 a__U41 a__isList V1 V2 a__isPal nil tt mark nil nil mark e e a__isQid u tt a__U41 X1 X2 U41 X1 X2 a__U72 tt tt a____ X1 X2 __ X1 X2 mark __ X1 X2 a____ mark X1 mark X2 a__U61 tt tt a__U72 X U72 X mark isPal X a__isPal X a__isNePal __ I __ P I a__U71 a__isQid I P a__isPal X isPal X a__isPal V a__U81 a__isNePal V a__U11 X U11 X a__U52 tt tt a__U42 tt tt a__U71 tt P a__U72 a__isPal P mark a a mark U51 X1 X2 a__U51 mark X1 X2 a__U61 X U61 X mark u u a__U22 X U22 X a__U22 tt tt mark U42 X a__U42 mark X a__U31 X U31 X a__U21 X1 X2 U21 X1 X2 mark isNePal X a__isNePal X a__U81 X U81 X mark i i mark isQid X a__isQid X a__isNePal X isNePal X mark U41 X1 X2 a__U41 mark X1 X2 mark U52 X a__U52 mark X mark U61 X a__U61 mark X mark U81 X a__U81 mark X a__U52 X U52 X mark isList X a__isList X a__isQid o tt mark U71 X1 X2 a__U71 mark X1 X2 a____ X nil mark X a__isPal V a__U81 a__isNePal V false a__U71 tt P a__U72 a__isPal P false a__isNePal __ I __ P I a__isQid I false a__isNePal V a__U61 a__isQid V false a__isNePal V a__isQid V false NaTT certifiable-1.6