a____ __ X Y Z a____ mark X a____ mark Y mark Z a____ X nil mark X a____ nil X mark X a__and tt X mark X a__isList V a__isNeList V a__isList nil tt a__isList __ V1 V2 a__and a__isList V1 isList V2 a__isNeList V a__isQid V a__isNeList __ V1 V2 a__and a__isList V1 isNeList V2 a__isNeList __ V1 V2 a__and a__isNeList V1 isList V2 a__isNePal V a__isQid V a__isNePal __ I __ P I a__and a__isQid I isPal P a__isPal V 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 and X1 X2 a__and mark X1 X2 mark isList X a__isList X mark isNeList X a__isNeList X mark isQid X a__isQid X mark isNePal X a__isNePal 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__and X1 X2 and X1 X2 a__isList X isList X a__isNeList X isNeList X a__isQid X isQid X a__isNePal X isNePal X a__isPal X isPal X 2.2 a__isPal V a__isNePal V a__isNeList V a__isQid V mark isQid X a__isQid X mark __ X1 X2 mark X2 a__isNePal __ I __ P I a__isQid I mark __ X1 X2 a____ mark X1 mark X2 a____ __ X Y Z a____ mark X a____ mark Y mark Z a____ nil X mark X mark __ X1 X2 mark X1 a__isList __ V1 V2 a__and a__isList V1 isList V2 a__and tt X mark X a____ __ X Y Z mark X mark isPal X a__isPal X mark isNeList X a__isNeList X mark isNePal X a__isNePal X a__isNePal V a__isQid V a____ __ X Y Z mark Z mark and X1 X2 mark X1 a____ __ X Y Z mark Y a__isNeList __ V1 V2 a__isNeList V1 mark isList X a__isList X a____ __ X Y Z a____ mark Y mark Z mark and X1 X2 a__and mark X1 X2 a__isNeList __ V1 V2 a__and a__isNeList V1 isList V2 a__isNeList __ V1 V2 a__and a__isList V1 isNeList V2 a____ X nil mark X a__isNePal __ I __ P I a__and a__isQid I isPal P a__isList __ V1 V2 a__isList V1 a__isNeList __ V1 V2 a__isList V1 a__isList V a__isNeList V true a__isList V a__isNeList V a____ __ X Y Z mark X a__isNeList __ V1 V2 a__isList V1 a__and tt X mark X a__isList __ V1 V2 a__and a__isList V1 isList V2 a__isList __ V1 V2 a__isList V1 mark __ X1 X2 mark X1 a__isNePal __ I __ P I a__and a__isQid I isPal P a____ X nil mark X a____ nil X mark X a__isNeList __ V1 V2 a__and a__isList V1 isNeList V2 a____ __ X Y Z a____ mark X a____ mark Y mark Z a__isNeList __ V1 V2 a__and a__isNeList V1 isList V2 mark and X1 X2 a__and mark X1 X2 a____ __ X Y Z a____ mark Y mark Z mark __ X1 X2 a____ mark X1 mark X2 mark __ X1 X2 mark X2 mark isList X a__isList X a__isNeList __ V1 V2 a__isNeList V1 a____ __ X Y Z mark Y mark and X1 X2 mark X1 a____ __ X Y Z mark Z mark isNePal X a__isNePal X mark isNeList X a__isNeList X a__isPal V a__isNePal V mark isPal X a__isPal X true a 0 1 a__isNePal 1 1 0 a__isNeList 1 1 0 isNeList 1 1 1 isPal 1 1 1 u 0 51150 and 2 1 2 283 a__isPal 1 1 1 isNePal 1 1 1 a____ 2 1 2 285 isQid 1 1 1 a____ 2 1 2 285 a__isList 1 1 1 a__isNeList 1 1 1 o 0 1 mark 1 1 1 isList 1 1 1 a__and 2 2 283 nil 0 1 a__isQid 1 0 mark 1 1 0 a__isNePal 1 1 1 i 0 21775 e 0 1 a__isPal 1 1 1 tt 0 1 a__isQid 1 1 1 a__isList 1 1 1 a__and 2 1 2 283 __ 2 1 2 285 a____ __ X Y Z a____ mark X a____ mark Y mark Z a__isQid o tt a__and tt X mark X a__isQid a tt a__isNeList V a__isQid V a____ __ X Y Z a____ mark X a____ mark Y mark Z a____ nil X mark X a__isQid e tt mark and X1 X2 a__and mark X1 X2 a__isList X isList X mark isPal X a__isPal X a__isQid u tt mark o o a__isQid i tt mark nil nil a____ X1 X2 __ X1 X2 mark isList X a__isList X mark tt tt a__isList V a__isNeList V mark u u a__isNeList __ V1 V2 a__and a__isNeList V1 isList V2 a__isNePal X isNePal X a__isList __ V1 V2 a__and a__isList V1 isList V2 mark __ X1 X2 a____ mark X1 mark X2 mark isNePal X a__isNePal X mark e e a__isPal nil tt mark i i a__isNePal __ I __ P I a__and a__isQid I isPal P mark isNeList X a__isNeList X mark isQid X a__isQid X a__isNePal V a__isQid V a__isNeList __ V1 V2 a__and a__isList V1 isNeList V2 a__isPal V a__isNePal V a__isPal X isPal X a__isList nil tt a__isQid X isQid X a__isNeList X isNeList X a__and X1 X2 and X1 X2 mark a a 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 a__isNeList 1 0 isNeList 1 1 1 isPal 1 1 21238 u 0 1 and 2 1 2 1 a__isPal 1 1 isNePal 1 1 21238 a____ 2 1 285 isQid 1 1 1 a____ 2 1 2 2 a__isList 1 1 1 a__isNeList 1 1 1 o 0 1 mark 1 1 isList 1 1 1 a__and 2 283 nil 0 1 a__isQid 1 0 mark 1 1 0 a__isNePal 1 1 21238 i 0 1 e 0 1 a__isPal 1 1 21238 tt 0 2 a__isQid 1 1 1 a__isList 1 1 a__and 2 1 2 1 __ 2 1 2 2 a__isQid o tt a__and tt X mark X a__isQid a tt a__isNeList V a__isQid V a____ __ X Y Z a____ mark X a____ mark Y mark Z a____ nil X mark X a__isQid e tt mark and X1 X2 a__and mark X1 X2 a__isList X isList X mark isPal X a__isPal X a__isQid u tt mark o o a__isQid i tt mark nil nil a____ X1 X2 __ X1 X2 mark isList X a__isList X mark tt tt a__isList V a__isNeList V mark u u a__isNeList __ V1 V2 a__and a__isNeList V1 isList V2 a__isNePal X isNePal X a__isList __ V1 V2 a__and a__isList V1 isList V2 mark __ X1 X2 a____ mark X1 mark X2 mark isNePal X a__isNePal X mark e e a__isPal nil tt mark i i a__isNePal __ I __ P I a__and a__isQid I isPal P mark isNeList X a__isNeList X mark isQid X a__isQid X a__isNePal V a__isQid V a__isNeList __ V1 V2 a__and a__isList V1 isNeList V2 a__isPal V a__isNePal V a__isPal X isPal X a__isList nil tt a__isQid X isQid X a__isNeList X isNeList X a__and X1 X2 and X1 X2 mark a a a____ X nil mark X mark isQid X a__isQid X false a__isNePal V a__isQid V false a__isNeList V a__isQid V false a__isNePal __ I __ P I a__isQid I false NaTT certifiable-1.6