active __ __ X Y Z mark __ X __ Y Z active __ X nil mark X active __ nil X mark X active and tt X mark X active isList V mark isNeList V active isList nil mark tt active isList __ V1 V2 mark and isList V1 isList V2 active isNeList V mark isQid V active isNeList __ V1 V2 mark and isList V1 isNeList V2 active isNeList __ V1 V2 mark and isNeList V1 isList V2 active isNePal V mark isQid V active isNePal __ I __ P I mark and isQid I isPal P active isPal V mark isNePal V active isPal nil mark tt active isQid a mark tt active isQid e mark tt active isQid i mark tt active isQid o mark tt active isQid u mark tt mark __ X1 X2 active __ mark X1 mark X2 mark nil active nil mark and X1 X2 active and mark X1 X2 mark tt active tt mark isList X active isList X mark isNeList X active isNeList X mark isQid X active isQid X mark isNePal X active isNePal X mark isPal X active isPal X mark a active a mark e active e mark i active i mark o active o mark u active u __ mark X1 X2 __ X1 X2 __ X1 mark X2 __ X1 X2 __ active X1 X2 __ X1 X2 __ X1 active X2 __ X1 X2 and mark X1 X2 and X1 X2 and X1 mark X2 and X1 X2 and active X1 X2 and X1 X2 and X1 active X2 and X1 X2 isList mark X isList X isList active X isList X isNeList mark X isNeList X isNeList active X isNeList X isQid mark X isQid X isQid active X isQid X isNePal mark X isNePal X isNePal active X isNePal X isPal mark X isPal X isPal active X isPal X 2.2 isList active X isList X and X1 mark X2 and X1 X2 active isNePal __ I __ P I isPal P mark __ X1 X2 active __ mark X1 mark X2 active __ __ X Y Z mark __ X __ Y Z active isNeList __ V1 V2 isNeList V1 active isList __ V1 V2 isList V2 active isList __ V1 V2 isList V1 mark __ X1 X2 mark X1 isPal mark X isPal X active isNeList __ V1 V2 isList V2 mark and X1 X2 active and mark X1 X2 active isQid a mark tt mark u active u active isQid o mark tt active isQid i mark tt mark isQid X active isQid X mark __ X1 X2 mark X2 isList mark X isList X mark o active o mark and X1 X2 mark X1 active __ __ X Y Z __ X __ Y Z active isList __ V1 V2 and isList V1 isList V2 isNeList mark X isNeList X and active X1 X2 and X1 X2 isQid active X isQid X and mark X1 X2 and X1 X2 mark isNePal X active isNePal X mark tt active tt active isNeList V isQid V mark isList X active isList X active isNeList __ V1 V2 and isNeList V1 isList V2 active isNeList V mark isQid V active isList nil mark tt active isPal nil mark tt __ mark X1 X2 __ X1 X2 isPal active X isPal X __ active X1 X2 __ X1 X2 mark i active i mark isPal X active isPal X active isList V mark isNeList V isNeList active X isNeList X active isNeList __ V1 V2 isNeList V2 and X1 active X2 and X1 X2 active isList __ V1 V2 mark and isList V1 isList V2 isNePal mark X isNePal X active isQid e mark tt isNePal active X isNePal X active and tt X mark X isQid mark X isQid X active isNeList __ V1 V2 mark and isNeList V1 isList V2 active __ nil X mark X active isNePal __ I __ P I isQid I active isNePal V isQid V mark isNeList X active isNeList X active isNePal __ I __ P I and isQid I isPal P active isQid u mark tt active isNeList __ V1 V2 mark and isList V1 isNeList V2 mark e active e active isNeList __ V1 V2 isList V1 mark nil active nil active isNePal __ I __ P I mark and isQid I isPal P active __ __ X Y Z __ Y Z mark __ X1 X2 __ mark X1 mark X2 active isNePal V mark isQid V active isPal V isNePal V mark a active a active __ X nil mark X mark and X1 X2 and mark X1 X2 __ X1 active X2 __ X1 X2 active isPal V mark isNePal V __ X1 mark X2 __ X1 X2 active isList V isNeList V active isNeList __ V1 V2 and isList V1 isNeList V2 true mark isPal X active isPal X active isList V mark isNeList V active isPal V mark isNePal V active isNeList V mark isQid V active __ X nil mark X mark isList X active isList X active isNePal V mark isQid V mark isNePal X active isNePal X active isNePal __ I __ P I mark and isQid I isPal P active isNeList __ V1 V2 mark and isList V1 isNeList V2 mark and X1 X2 mark X1 mark isQid X active isQid X mark __ X1 X2 mark X2 mark isNeList X active isNeList X mark and X1 X2 active and mark X1 X2 active __ nil X mark X active isNeList __ V1 V2 mark and isNeList V1 isList V2 active and tt X mark X mark __ X1 X2 mark X1 active __ __ X Y Z mark __ X __ Y Z active isList __ V1 V2 mark and isList V1 isList V2 mark __ X1 X2 active __ mark X1 mark X2 true a 0 1 isNeList 1 2 isPal 1 2 u 0 1 and 2 2 isNeList 1 0 __ 2 0 isNePal 1 2 isQid 1 0 isPal 1 0 isQid 1 1 o 0 1 mark 1 2 isList 1 2 isNePal 1 0 nil 0 1 mark 1 1 1 isList 1 0 i 0 1 e 0 1 active 1 4 active 1 1 0 tt 0 4 and 2 0 __ 2 2 mark __ X1 X2 active __ mark X1 mark X2 active isList __ V1 V2 mark and isList V1 isList V2 active __ __ X Y Z mark __ X __ Y Z mark __ X1 X2 mark X1 active and tt X mark X active isNeList __ V1 V2 mark and isNeList V1 isList V2 active __ nil X mark X mark and X1 X2 active and mark X1 X2 mark isNeList X active isNeList X mark __ X1 X2 mark X2 mark and X1 X2 mark X1 active isNeList __ V1 V2 mark and isList V1 isNeList V2 active isNePal __ I __ P I mark and isQid I isPal P mark isNePal X active isNePal X active isNePal V mark isQid V mark isList X active isList X active __ X nil mark X active isNeList V mark isQid V active isPal V mark isNePal V active isList V mark isNeList V mark isPal X active isPal X isPal mark X isPal X __ active X1 X2 __ X1 X2 __ mark X1 X2 __ X1 X2 isNeList mark X isNeList X and X1 mark X2 and X1 X2 isNePal active X isNePal X isNeList active X isNeList X isPal active X isPal X and active X1 X2 and X1 X2 and mark X1 X2 and X1 X2 isNePal mark X isNePal X isQid active X isQid X __ X1 active X2 __ X1 X2 and X1 active X2 and X1 X2 isList mark X isList X isQid mark X isQid X __ X1 mark X2 __ X1 X2 isList active X isList X active and tt X mark X active isNeList V mark isQid V active __ __ X Y Z mark __ X __ Y Z active __ nil X mark X mark isNePal X active isNePal X mark and X1 X2 mark X1 mark and X1 X2 active and mark X1 X2 mark isPal X active isPal X active isList V mark isNeList V active isNeList __ V1 V2 mark and isNeList V1 isList V2 active isList __ V1 V2 mark and isList V1 isList V2 mark __ X1 X2 mark X2 mark __ X1 X2 mark X1 mark __ X1 X2 active __ mark X1 mark X2 mark isNeList X active isNeList X active isNePal __ I __ P I mark and isQid I isPal P mark isList X active isList X active isNePal V mark isQid V active isNeList __ V1 V2 mark and isList V1 isNeList V2 active isPal V mark isNePal V active __ X nil mark X true a 0 1 isNeList 1 1 34106 isPal 1 1 34107 u 0 0 and 2 1 2 12330 isNeList 1 0 __ 2 0 isNePal 1 1 34106 isQid 1 0 isPal 1 0 isQid 1 34105 o 0 0 mark 1 1 0 isList 1 1 34107 isNePal 1 0 nil 0 1 mark 1 1 0 isList 1 0 i 0 16468 e 0 0 active 1 1 0 active 1 1 0 tt 0 584 and 2 0 __ 2 1 2 46438 mark isList X active isList X mark isNeList X active isNeList X mark __ X1 X2 active __ mark X1 mark X2 mark isPal X active isPal X mark and X1 X2 active and mark X1 X2 mark isNePal X active isNePal X active __ __ X Y Z mark __ X __ Y Z active isQid o mark tt isPal mark X isPal X active and tt X mark X active isQid a mark tt active isNeList V mark isQid V active __ __ X Y Z mark __ X __ Y Z active __ nil X mark X active isQid e mark tt mark nil active nil __ active X1 X2 __ X1 X2 mark isQid X active isQid X active isQid u mark tt mark o active o active isQid i mark tt mark isNePal X active isNePal X __ mark X1 X2 __ X1 X2 mark and X1 X2 active and mark X1 X2 mark isPal X active isPal X isNeList mark X isNeList X active isList V mark isNeList V mark u active u active isNeList __ V1 V2 mark and isNeList V1 isList V2 and X1 mark X2 and X1 X2 active isList __ V1 V2 mark and isList V1 isList V2 mark __ X1 X2 active __ mark X1 mark X2 mark isNeList X active isNeList X isNePal active X isNePal X mark e active e active isPal nil mark tt mark i active i active isNePal __ I __ P I mark and isQid I isPal P isNeList active X isNeList X mark tt active tt mark isList X active isList X active isNePal V mark isQid V active isNeList __ V1 V2 mark and isList V1 isNeList V2 active isPal V mark isNePal V isPal active X isPal X and active X1 X2 and X1 X2 active isList nil mark tt and mark X1 X2 and X1 X2 isNePal mark X isNePal X isQid active X isQid X __ X1 active X2 __ X1 X2 and X1 active X2 and X1 X2 isList mark X isList X isQid mark X isQid X __ X1 mark X2 __ X1 X2 mark a active a isList active X isList X active __ X nil mark X active __ __ X Y Z mark __ X __ Y Z mark isNePal X active isNePal X mark and X1 X2 active and mark X1 X2 mark isPal X active isPal X mark __ X1 X2 active __ mark X1 mark X2 mark isNeList X active isNeList X mark isList X active isList X true a 0 1 isNeList 1 1 isPal 1 625 u 0 1 and 2 7066 isNeList 1 0 __ 2 0 isNePal 1 2034 isQid 1 0 isPal 1 0 isQid 1 1 o 0 1 mark 1 25537 isList 1 25536 isNePal 1 0 nil 0 1 mark 1 1 isList 1 0 i 0 12330 e 0 0 active 1 1 active 1 1 0 tt 0 0 and 2 0 __ 2 25537 mark __ X1 X2 active __ mark X1 mark X2 active __ __ X Y Z mark __ X __ Y Z active isQid o mark tt isPal mark X isPal X active and tt X mark X active isQid a mark tt active isNeList V mark isQid V active __ __ X Y Z mark __ X __ Y Z active __ nil X mark X active isQid e mark tt mark nil active nil __ active X1 X2 __ X1 X2 mark isQid X active isQid X active isQid u mark tt mark o active o active isQid i mark tt mark isNePal X active isNePal X __ mark X1 X2 __ X1 X2 mark and X1 X2 active and mark X1 X2 mark isPal X active isPal X isNeList mark X isNeList X active isList V mark isNeList V mark u active u active isNeList __ V1 V2 mark and isNeList V1 isList V2 and X1 mark X2 and X1 X2 active isList __ V1 V2 mark and isList V1 isList V2 mark __ X1 X2 active __ mark X1 mark X2 mark isNeList X active isNeList X isNePal active X isNePal X mark e active e active isPal nil mark tt mark i active i active isNePal __ I __ P I mark and isQid I isPal P isNeList active X isNeList X mark tt active tt mark isList X active isList X active isNePal V mark isQid V active isNeList __ V1 V2 mark and isList V1 isNeList V2 active isPal V mark isNePal V isPal active X isPal X and active X1 X2 and X1 X2 active isList nil mark tt and mark X1 X2 and X1 X2 isNePal mark X isNePal X isQid active X isQid X __ X1 active X2 __ X1 X2 and X1 active X2 and X1 X2 isList mark X isList X isQid mark X isQid X __ X1 mark X2 __ X1 X2 mark a active a isList active X isList X active __ X nil mark X active __ __ X Y Z mark __ X __ Y Z mark __ X1 X2 active __ mark X1 mark X2 true and 2 2 __ 2 1 isNePal 1 1 mark 1 1 isList 1 1 active 1 1 active 1 1 and 2 1 a 0 3 isNeList 1 0 isPal 1 2 u 0 3 isNeList 1 0 isNePal 1 2 isQid 1 0 isPal 1 0 isQid 1 0 o 0 2 mark 1 1 1 isList 1 0 nil 0 1 i 0 2 e 0 3 tt 0 0 __ 2 2 1 2 a 0 0 isNeList 1 0 isPal 1 0 u 0 0 isNeList 1 0 isNePal 1 0 isQid 1 0 isPal 1 0 isQid 1 0 o 0 0 mark 1 1 0 isList 1 0 nil 0 0 i 0 0 e 0 0 tt 0 0 __ 2 1 0 2 0 0 active isQid o mark tt isPal mark X isPal X active and tt X mark X active isQid a mark tt active isNeList V mark isQid V active __ __ X Y Z mark __ X __ Y Z active __ nil X mark X active isQid e mark tt mark nil active nil __ active X1 X2 __ X1 X2 mark isQid X active isQid X active isQid u mark tt mark o active o active isQid i mark tt mark isNePal X active isNePal X __ mark X1 X2 __ X1 X2 mark and X1 X2 active and mark X1 X2 mark isPal X active isPal X isNeList mark X isNeList X active isList V mark isNeList V mark u active u active isNeList __ V1 V2 mark and isNeList V1 isList V2 and X1 mark X2 and X1 X2 active isList __ V1 V2 mark and isList V1 isList V2 mark __ X1 X2 active __ mark X1 mark X2 mark isNeList X active isNeList X isNePal active X isNePal X mark e active e active isPal nil mark tt mark i active i active isNePal __ I __ P I mark and isQid I isPal P isNeList active X isNeList X mark tt active tt mark isList X active isList X active isNePal V mark isQid V active isNeList __ V1 V2 mark and isList V1 isNeList V2 active isPal V mark isNePal V isPal active X isPal X and active X1 X2 and X1 X2 active isList nil mark tt and mark X1 X2 and X1 X2 isNePal mark X isNePal X isQid active X isQid X __ X1 active X2 __ X1 X2 and X1 active X2 and X1 X2 isList mark X isList X isQid mark X isQid X __ X1 mark X2 __ X1 X2 mark a active a isList active X isList X active __ X nil mark X active isList nil mark tt false active isPal V isNePal V false isNePal active X isNePal X isNePal mark X isNePal X true a 0 0 isNeList 1 437 isPal 1 0 u 0 0 and 2 0 isNeList 1 0 __ 2 0 isNePal 1 1 isQid 1 0 isPal 1 0 isQid 1 32573 o 0 0 mark 1 0 isList 1 0 isNePal 1 1 0 nil 0 25532 mark 1 1 1 isList 1 0 i 0 14459 e 0 29273 active 1 1 2 active 1 0 tt 0 32575 and 2 0 __ 2 59112 isNeList mark X isNeList X isNeList active X isNeList X active isNeList __ V1 V2 and isList V1 isNeList V2 false active isNeList __ V1 V2 isList V1 false active isNePal V isQid V false active isNePal __ I __ P I and isQid I isPal P false active isNePal __ I __ P I isQid I false active isPal nil mark tt false mark a active a false active isList __ V1 V2 and isList V1 isList V2 false active isList __ V1 V2 isList V1 false active isList __ V1 V2 isList V2 false mark i active i false mark e active e false active isNeList __ V1 V2 and isNeList V1 isList V2 false active isNeList __ V1 V2 isNeList V1 false active isNeList __ V1 V2 isList V2 false mark __ X1 X2 __ mark X1 mark X2 false mark u active u false active isList V isNeList V false active isQid i mark tt false active isQid u mark tt false active isQid e mark tt false mark and X1 X2 and mark X1 X2 false active __ __ X Y Z __ X __ Y Z false active __ __ X Y Z __ Y Z false __ X1 mark X2 __ X1 X2 __ active X1 X2 __ X1 X2 __ mark X1 X2 __ X1 X2 __ X1 active X2 __ X1 X2 true a 0 0 isNeList 1 21096 isPal 1 0 u 0 0 and 2 0 isNeList 1 0 __ 2 1 2 0 isNePal 1 1 isQid 1 0 isPal 1 0 isQid 1 32573 o 0 0 mark 1 0 isList 1 0 isNePal 1 0 nil 0 25532 mark 1 1 1 isList 1 0 i 0 5592 e 0 29273 active 1 1 2 active 1 0 tt 0 32575 and 2 0 __ 2 59112 isNeList mark X isNeList X isNeList active X isNeList X mark o active o false active isNeList V isQid V false isQid active X isQid X isQid mark X isQid X true a 0 0 isNeList 1 15082 isPal 1 0 u 0 0 and 2 0 isNeList 1 0 __ 2 0 isNePal 1 1 isQid 1 1 0 isPal 1 0 isQid 1 16146 o 0 0 mark 1 0 isList 1 0 isNePal 1 0 nil 0 35774 mark 1 1 1 isList 1 0 i 0 25011 e 0 23641 active 1 1 2 active 1 0 tt 0 16148 and 2 0 __ 2 1 isNeList mark X isNeList X isNeList active X isNeList X active isQid a mark tt false mark nil active nil false active isQid o mark tt false mark tt active tt false active isNePal __ I __ P I isPal P false isPal active X isPal X isPal mark X isPal X true a 0 0 isNeList 1 28472 isPal 1 0 u 0 0 and 2 0 isNeList 1 0 __ 2 0 isNePal 1 1 isQid 1 0 isPal 1 1 0 isQid 1 56944 o 0 0 mark 1 0 isList 1 0 isNePal 1 0 nil 0 11592 mark 1 1 1 isList 1 0 i 0 52626 e 0 28255 active 1 1 28472 active 1 0 tt 0 85416 and 2 0 __ 2 1 isNeList mark X isNeList X isNeList active X isNeList X and mark X1 X2 and X1 X2 and active X1 X2 and X1 X2 and X1 active X2 and X1 X2 and X1 mark X2 and X1 X2 true a 0 0 isNeList 1 6438 isPal 1 0 u 0 0 and 2 0 isNeList 1 0 __ 2 0 isNePal 1 1 isQid 1 0 isPal 1 0 isQid 1 26351 o 0 0 mark 1 0 isList 1 0 isNePal 1 0 nil 0 24928 mark 1 1 1 isList 1 0 i 0 30968 e 0 28255 active 1 1 2 active 1 0 tt 0 26353 and 2 2 0 __ 2 32157 and active X1 X2 and X1 X2 and mark X1 X2 and X1 X2 isNeList mark X isNeList X isNeList active X isNeList X and active X1 X2 and X1 X2 and mark X1 X2 and X1 X2 true a 0 0 isNeList 1 14757 isPal 1 0 u 0 0 and 2 0 isNeList 1 0 __ 2 0 isNePal 1 1 isQid 1 0 isPal 1 0 isQid 1 23613 o 0 0 mark 1 0 isList 1 0 isNePal 1 0 nil 0 37749 mark 1 1 1 isList 1 0 i 0 15289 e 0 18841 active 1 1 2 active 1 0 tt 0 23615 and 2 1 0 __ 2 32157 isNeList mark X isNeList X isNeList active X isNeList X isList mark X isList X isList active X isList X true a 0 0 isNeList 1 30216 isPal 1 0 u 0 0 and 2 0 isNeList 1 0 __ 2 0 isNePal 1 1 isQid 1 0 isPal 1 0 isQid 1 62219 o 0 0 mark 1 0 isList 1 0 isNePal 1 0 nil 0 12095 mark 1 1 1 isList 1 1 0 i 0 15289 e 0 24817 active 1 1 2 active 1 0 tt 0 62221 and 2 0 __ 2 26557 isNeList mark X isNeList X isNeList active X isNeList X active isNeList __ V1 V2 isNeList V2 false isNeList active X isNeList X isNeList mark X isNeList X true a 0 0 isNeList 1 24848 isPal 1 0 u 0 0 and 2 0 isNeList 1 1 0 __ 2 0 isNePal 1 1 isQid 1 0 isPal 1 0 isQid 1 24850 o 0 0 mark 1 0 isList 1 0 isNePal 1 0 nil 0 41566 mark 1 1 1 isList 1 0 i 0 10883 e 0 22280 active 1 1 2 active 1 0 tt 0 24852 and 2 0 __ 2 31675 isNeList mark X isNeList X isNeList active X isNeList X NaTT certifiable-1.6