/export/starexec/sandbox/solver/bin/starexec_run_Certifiable /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES active __ __ X Y Z mark __ X __ Y Z active __ X nil mark X active __ nil X mark X active U11 tt mark tt active U21 tt V2 mark U22 isList V2 active U22 tt mark tt active U31 tt mark tt active U41 tt V2 mark U42 isNeList V2 active U42 tt mark tt active U51 tt V2 mark U52 isList V2 active U52 tt mark tt active U61 tt mark tt active U71 tt P mark U72 isPal P active U72 tt mark tt active U81 tt mark tt active isList V mark U11 isNeList V active isList nil mark tt active isList __ V1 V2 mark U21 isList V1 V2 active isNeList V mark U31 isQid V active isNeList __ V1 V2 mark U41 isList V1 V2 active isNeList __ V1 V2 mark U51 isNeList V1 V2 active isNePal V mark U61 isQid V active isNePal __ I __ P I mark U71 isQid I P active isPal V mark U81 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 U11 X active U11 mark X mark tt active tt mark U21 X1 X2 active U21 mark X1 X2 mark U22 X active U22 mark X mark isList X active isList X mark U31 X active U31 mark X mark U41 X1 X2 active U41 mark X1 X2 mark U42 X active U42 mark X mark isNeList X active isNeList X mark U51 X1 X2 active U51 mark X1 X2 mark U52 X active U52 mark X mark U61 X active U61 mark X mark U71 X1 X2 active U71 mark X1 X2 mark U72 X active U72 mark X mark isPal X active isPal X mark U81 X active U81 mark X mark isQid X active isQid X mark isNePal X active isNePal 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 U11 mark X U11 X U11 active X U11 X U21 mark X1 X2 U21 X1 X2 U21 X1 mark X2 U21 X1 X2 U21 active X1 X2 U21 X1 X2 U21 X1 active X2 U21 X1 X2 U22 mark X U22 X U22 active X U22 X isList mark X isList X isList active X isList X U31 mark X U31 X U31 active X U31 X U41 mark X1 X2 U41 X1 X2 U41 X1 mark X2 U41 X1 X2 U41 active X1 X2 U41 X1 X2 U41 X1 active X2 U41 X1 X2 U42 mark X U42 X U42 active X U42 X isNeList mark X isNeList X isNeList active X isNeList X U51 mark X1 X2 U51 X1 X2 U51 X1 mark X2 U51 X1 X2 U51 active X1 X2 U51 X1 X2 U51 X1 active X2 U51 X1 X2 U52 mark X U52 X U52 active X U52 X U61 mark X U61 X U61 active X U61 X U71 mark X1 X2 U71 X1 X2 U71 X1 mark X2 U71 X1 X2 U71 active X1 X2 U71 X1 X2 U71 X1 active X2 U71 X1 X2 U72 mark X U72 X U72 active X U72 X isPal mark X isPal X isPal active X isPal X U81 mark X U81 X U81 active X U81 X isQid mark X isQid X isQid active X isQid X isNePal mark X isNePal X isNePal active X isNePal X 2.2 U61 mark X U61 X active isNeList __ V1 V2 mark U41 isList V1 V2 mark U42 X U42 mark X mark U81 X U81 mark X mark U31 X active U31 mark X mark e active e mark U71 X1 X2 U71 mark X1 X2 mark a active a mark U42 X active U42 mark X mark tt active tt active U11 tt mark tt active U51 tt V2 U52 isList V2 U22 active X U22 X mark U31 X mark X active isNePal V isQid V U21 active X1 X2 U21 X1 X2 U72 mark X U72 X mark U41 X1 X2 active U41 mark X1 X2 mark __ X1 X2 __ mark X1 mark X2 active U71 tt P mark U72 isPal P __ X1 mark X2 __ X1 X2 active U61 tt mark tt active U41 tt V2 isNeList V2 active __ nil X mark X active U71 tt P U72 isPal P active isNeList V U31 isQid V mark __ X1 X2 mark X2 active isNePal V mark U61 isQid V mark __ X1 X2 mark X1 active isPal V isNePal V active isList V isNeList V active isNePal V U61 isQid V active isNePal __ I __ P I U71 isQid I P active U22 tt mark tt mark isNePal X active isNePal X active isList __ V1 V2 isList V1 U52 mark X U52 X active isQid o mark tt U31 mark X U31 X U21 X1 active X2 U21 X1 X2 mark U22 X mark X isPal mark X isPal X mark U71 X1 X2 mark X1 mark u active u active U31 tt mark tt active U41 tt V2 U42 isNeList V2 mark U61 X active U61 mark X active U52 tt mark tt mark U72 X U72 mark X mark U21 X1 X2 mark X1 U22 mark X U22 X U72 active X U72 X active isPal V U81 isNePal V isNeList active X isNeList X mark U61 X mark X active U51 tt V2 mark U52 isList V2 U41 X1 mark X2 U41 X1 X2 active isNeList __ V1 V2 U51 isNeList V1 V2 isNePal active X isNePal X U71 X1 active X2 U71 X1 X2 U52 active X U52 X U21 mark X1 X2 U21 X1 X2 active isQid e mark tt U71 X1 mark X2 U71 X1 X2 U71 active X1 X2 U71 X1 X2 active U51 tt V2 isList V2 isList active X isList X mark U11 X U11 mark X mark U72 X active U72 mark X U41 X1 active X2 U41 X1 X2 U51 active X1 X2 U51 X1 X2 active isPal V mark U81 isNePal V U71 mark X1 X2 U71 X1 X2 active isNeList __ V1 V2 mark U51 isNeList V1 V2 active isQid u mark tt active isQid i mark tt mark U72 X mark X active U21 tt V2 isList V2 active isNePal __ I __ P I isQid I mark U81 X mark X isQid mark X isQid X active U71 tt P isPal P mark isPal X active isPal X mark U22 X active U22 mark X mark U61 X U61 mark X isList mark X isList X mark isList X active isList X active isQid a mark tt active isNeList __ V1 V2 isList V1 mark U21 X1 X2 active U21 mark X1 X2 __ X1 active X2 __ X1 X2 active isList __ V1 V2 U21 isList V1 V2 active isList V mark U11 isNeList V U51 X1 active X2 U51 X1 X2 mark U41 X1 X2 U41 mark X1 X2 U11 mark X U11 X mark U41 X1 X2 mark X1 isNeList mark X isNeList X __ active X1 X2 __ X1 X2 mark __ X1 X2 active __ mark X1 mark X2 active isList nil mark tt mark U52 X mark X mark U42 X mark X mark U71 X1 X2 active U71 mark X1 X2 active U81 tt mark tt mark U81 X active U81 mark X U81 active X U81 X isNePal mark X isNePal X U11 active X U11 X mark isQid X active isQid X active isNeList __ V1 V2 U41 isList V1 V2 U31 active X U31 X active isList V U11 isNeList V mark o active o active __ __ X Y Z __ X __ Y Z U51 mark X1 X2 U51 X1 X2 active isNePal __ I __ P I mark U71 isQid I P U61 active X U61 X mark U51 X1 X2 mark X1 U41 active X1 X2 U41 X1 X2 mark isNeList X active isNeList X active __ __ X Y Z __ Y Z U21 X1 mark X2 U21 X1 X2 U51 X1 mark X2 U51 X1 X2 active isNeList __ V1 V2 isNeList V1 active U21 tt V2 U22 isList V2 mark i active i mark U11 X active U11 mark X active isPal nil mark tt active isNeList V mark U31 isQid V U81 mark X U81 X mark U22 X U22 mark X mark U31 X U31 mark X isQid active X isQid X mark U51 X1 X2 U51 mark X1 X2 mark U52 X active U52 mark X __ mark X1 X2 __ X1 X2 active __ X nil mark X U42 active X U42 X active isNeList V isQid V U42 mark X U42 X mark U21 X1 X2 U21 mark X1 X2 active isList __ V1 V2 mark U21 isList V1 V2 active __ __ X Y Z mark __ X __ Y Z mark nil active nil mark U51 X1 X2 active U51 mark X1 X2 active U41 tt V2 mark U42 isNeList V2 mark U11 X mark X U41 mark X1 X2 U41 X1 X2 mark U52 X U52 mark X active U21 tt V2 mark U22 isList V2 active U72 tt mark tt active U42 tt mark tt isPal active X isPal X true mark U22 X active U22 mark X active U21 tt V2 mark U22 isList V2 mark isPal X active isPal X mark U81 X mark X mark U11 X mark X mark U72 X mark X active U41 tt V2 mark U42 isNeList V2 mark U51 X1 X2 active U51 mark X1 X2 active isNeList __ V1 V2 mark U51 isNeList V1 V2 active isPal V mark U81 isNePal V mark U72 X active U72 mark X active __ __ X Y Z mark __ X __ Y Z active isList __ V1 V2 mark U21 isList V1 V2 active __ X nil mark X mark U52 X active U52 mark X mark U61 X mark X active U51 tt V2 mark U52 isList V2 active isNeList V mark U31 isQid V mark U11 X active U11 mark X mark U21 X1 X2 mark X1 mark U61 X active U61 mark X mark isNeList X active isNeList X mark U51 X1 X2 mark X1 mark U71 X1 X2 mark X1 mark U22 X mark X active isNePal __ I __ P I mark U71 isQid I P mark isNePal X active isNePal X mark isQid X active isQid X active isNePal V mark U61 isQid V mark __ X1 X2 mark X1 mark __ X1 X2 mark X2 active __ nil X mark X mark U81 X active U81 mark X mark U71 X1 X2 active U71 mark X1 X2 active U71 tt P mark U72 isPal P mark U42 X mark X mark U41 X1 X2 active U41 mark X1 X2 mark U52 X mark X mark __ X1 X2 active __ mark X1 mark X2 mark U31 X mark X mark U41 X1 X2 mark X1 mark U42 X active U42 mark X active isList V mark U11 isNeList V mark U21 X1 X2 active U21 mark X1 X2 mark U31 X active U31 mark X active isNeList __ V1 V2 mark U41 isList V1 V2 mark isList X active isList X true a 0 1 U72 1 0 U21 2 283 U11 1 118 isNeList 1 283 isPal 1 283 U42 1 245 u 0 1 U71 2 283 U81 1 0 isNeList 1 0 __ 2 0 isNePal 1 283 U72 1 138 isQid 1 0 isPal 1 0 U52 1 0 isQid 1 282 o 0 1 U42 1 0 mark 1 283 isList 1 283 isNePal 1 0 nil 0 1 mark 1 1 isList 1 0 i 0 1 U52 1 267 U61 1 196 U51 2 0 e 0 1 U11 1 0 active 1 0 U31 1 224 U41 2 0 active 1 1 0 U21 2 0 U81 1 128 U22 1 0 tt 0 1 U71 2 0 U22 1 131 U51 2 283 U41 2 283 U31 1 0 __ 2 283 U61 1 0 mark isList X active isList X active isNeList __ V1 V2 mark U41 isList V1 V2 mark U21 X1 X2 active U21 mark X1 X2 active isList V mark U11 isNeList V mark U41 X1 X2 mark X1 mark U31 X mark X mark __ X1 X2 active __ mark X1 mark X2 mark U52 X mark X mark U41 X1 X2 active U41 mark X1 X2 mark U42 X mark X active U71 tt P mark U72 isPal P mark U71 X1 X2 active U71 mark X1 X2 active __ nil X mark X mark __ X1 X2 mark X2 mark __ X1 X2 mark X1 active isNePal V mark U61 isQid V mark isNePal X active isNePal X active isNePal __ I __ P I mark U71 isQid I P mark U22 X mark X mark U71 X1 X2 mark X1 mark U51 X1 X2 mark X1 mark isNeList X active isNeList X mark U21 X1 X2 mark X1 active isNeList V mark U31 isQid V active U51 tt V2 mark U52 isList V2 mark U61 X mark X active __ X nil mark X active isList __ V1 V2 mark U21 isList V1 V2 active __ __ X Y Z mark __ X __ Y Z active isPal V mark U81 isNePal V active isNeList __ V1 V2 mark U51 isNeList V1 V2 mark U51 X1 X2 active U51 mark X1 X2 active U41 tt V2 mark U42 isNeList V2 mark U72 X mark X mark U11 X mark X mark U81 X mark X mark isPal X active isPal X active U21 tt V2 mark U22 isList V2 U51 mark X1 X2 U51 X1 X2 U42 active X U42 X isList mark X isList X U52 active X U52 X isNePal mark X isNePal X U21 X1 mark X2 U21 X1 X2 U11 mark X U11 X U61 active X U61 X U52 mark X U52 X U21 X1 active X2 U21 X1 X2 U41 mark X1 X2 U41 X1 X2 U21 active X1 X2 U21 X1 X2 U72 active X U72 X U72 mark X U72 X U71 mark X1 X2 U71 X1 X2 U21 mark X1 X2 U21 X1 X2 U51 active X1 X2 U51 X1 X2 U71 X1 mark X2 U71 X1 X2 __ mark X1 X2 __ X1 X2 isNeList active X isNeList X isNePal active X isNePal X isList active X isList X U81 mark X U81 X isNeList mark X isNeList X U51 X1 mark X2 U51 X1 X2 U31 mark X U31 X isPal mark X isPal X U42 mark X U42 X __ X1 mark X2 __ X1 X2 isQid mark X isQid X U71 active X1 X2 U71 X1 X2 U22 active X U22 X __ X1 active X2 __ X1 X2 U11 active X U11 X __ active X1 X2 __ X1 X2 U41 active X1 X2 U41 X1 X2 U41 X1 active X2 U41 X1 X2 U31 active X U31 X U41 X1 mark X2 U41 X1 X2 U71 X1 active X2 U71 X1 X2 U81 active X U81 X isQid active X isQid X isPal active X isPal X U22 mark X U22 X U51 X1 active X2 U51 X1 X2 U61 mark X U61 X active isList __ V1 V2 mark U21 isList V1 V2 mark isNePal X active isNePal X active U41 tt V2 mark U42 isNeList V2 active __ __ X Y Z mark __ X __ Y Z active __ nil X mark X active isList V mark U11 isNeList V active isNeList __ V1 V2 mark U51 isNeList V1 V2 mark U22 X mark X active isNeList V mark U31 isQid V active isNePal V mark U61 isQid V mark U61 X mark X active U21 tt V2 mark U22 isList V2 mark U11 X mark X active U51 tt V2 mark U52 isList V2 mark U41 X1 X2 mark X1 mark U41 X1 X2 active U41 mark X1 X2 active isNeList __ V1 V2 mark U41 isList V1 V2 mark __ X1 X2 mark X2 mark __ X1 X2 mark X1 mark __ X1 X2 active __ mark X1 mark X2 mark U71 X1 X2 mark X1 mark U71 X1 X2 active U71 mark X1 X2 active isNePal __ I __ P I mark U71 isQid I P active isPal V mark U81 isNePal V active U71 tt P mark U72 isPal P mark U42 X mark X mark U31 X mark X mark U81 X mark X mark isPal X active isPal X mark isList X active isList X mark isNeList X active isNeList X mark U51 X1 X2 mark X1 mark U51 X1 X2 active U51 mark X1 X2 mark U72 X mark X mark U21 X1 X2 mark X1 mark U21 X1 X2 active U21 mark X1 X2 mark U52 X mark X active __ X nil mark X true a 0 4684 U72 1 0 U21 2 1 2 28239 U11 1 1 14137 isNeList 1 1 14100 isPal 1 1 33845 U42 1 1 1 u 0 42871 U71 2 1 2 55498 U81 1 0 isNeList 1 0 __ 2 0 isNePal 1 1 28961 U72 1 1 21653 isQid 1 0 isPal 1 0 U52 1 0 isQid 1 1 1 o 0 0 U42 1 0 mark 1 1 0 isList 1 1 28238 isNePal 1 0 nil 0 21618 mark 1 1 0 isList 1 0 i 0 39598 U52 1 1 1 U61 1 1 28959 U51 2 0 e 0 22302 U11 1 0 active 1 1 0 U31 1 1 1 U41 2 0 active 1 1 0 U21 2 0 U81 1 1 4883 U22 1 0 tt 0 1 U71 2 0 U22 1 1 1 U51 2 1 2 28239 U41 2 1 2 14101 U31 1 0 __ 2 1 2 28240 U61 1 0 mark U21 X1 X2 active U21 mark X1 X2 mark U51 X1 X2 active U51 mark X1 X2 mark isNeList X active isNeList X mark isList X active isList X mark isPal X active isPal X mark U71 X1 X2 active U71 mark X1 X2 mark __ X1 X2 active __ mark X1 mark X2 mark U41 X1 X2 active U41 mark X1 X2 active __ __ X Y Z mark __ X __ Y Z mark isNePal X active isNePal X active isList __ V1 V2 mark U21 isList V1 V2 mark isNePal X active isNePal X U51 mark X1 X2 U51 X1 X2 active U11 tt mark tt active U81 tt mark tt active U41 tt V2 mark U42 isNeList V2 mark o active o active __ __ X Y Z mark __ X __ Y Z U42 active X U42 X active __ nil X mark X active isList V mark U11 isNeList V active isNeList __ V1 V2 mark U51 isNeList V1 V2 mark U22 X active U22 mark X isList mark X isList X U52 active X U52 X isNePal mark X isNePal X active isQid a mark tt U21 X1 mark X2 U21 X1 X2 active isNeList V mark U31 isQid V mark nil active nil active isList nil mark tt U11 mark X U11 X active isQid e mark tt U61 active X U61 X U52 mark X U52 X mark tt active tt active isNePal V mark U61 isQid V active isQid i mark tt U21 X1 active X2 U21 X1 X2 mark U61 X active U61 mark X active U21 tt V2 mark U22 isList V2 U41 mark X1 X2 U41 X1 X2 mark U11 X active U11 mark X U21 active X1 X2 U21 X1 X2 U72 active X U72 X U72 mark X U72 X active U51 tt V2 mark U52 isList V2 mark U41 X1 X2 active U41 mark X1 X2 active U31 tt mark tt U71 mark X1 X2 U71 X1 X2 active isNeList __ V1 V2 mark U41 isList V1 V2 active isPal nil mark tt mark isQid X active isQid X mark e active e active isQid u mark tt U21 mark X1 X2 U21 X1 X2 active U72 tt mark tt U51 active X1 X2 U51 X1 X2 U71 X1 mark X2 U71 X1 X2 __ mark X1 X2 __ X1 X2 isNeList active X isNeList X mark __ X1 X2 active __ mark X1 mark X2 active U61 tt mark tt isNePal active X isNePal X isList active X isList X U81 mark X U81 X mark U71 X1 X2 active U71 mark X1 X2 isNeList mark X isNeList X U51 X1 mark X2 U51 X1 X2 active isNePal __ I __ P I mark U71 isQid I P U31 mark X U31 X active isPal V mark U81 isNePal V isPal mark X isPal X U42 mark X U42 X __ X1 mark X2 __ X1 X2 isQid mark X isQid X active U52 tt mark tt active U42 tt mark tt active U71 tt P mark U72 isPal P mark a active a U71 active X1 X2 U71 X1 X2 mark U42 X active U42 mark X U22 active X U22 X mark u active u __ X1 active X2 __ X1 X2 active U22 tt mark tt mark U31 X active U31 mark X U11 active X U11 X __ active X1 X2 __ X1 X2 U41 active X1 X2 U41 X1 X2 U41 X1 active X2 U41 X1 X2 mark U81 X active U81 mark X U31 active X U31 X mark i active i mark isPal X active isPal X U41 X1 mark X2 U41 X1 X2 U71 X1 active X2 U71 X1 X2 U81 active X U81 X isQid active X isQid X mark isList X active isList X mark isNeList X active isNeList X isPal active X isPal X mark U51 X1 X2 active U51 mark X1 X2 mark U72 X active U72 mark X U22 mark X U22 X U51 X1 active X2 U51 X1 X2 mark U21 X1 X2 active U21 mark X1 X2 active isQid o mark tt mark U52 X active U52 mark X U61 mark X U61 X active __ X nil mark X mark isNePal X active isNePal X active __ __ X Y Z mark __ X __ Y Z mark U41 X1 X2 active U41 mark X1 X2 mark __ X1 X2 active __ mark X1 mark X2 mark U71 X1 X2 active U71 mark X1 X2 mark isPal X active isPal X mark isList X active isList X mark isNeList X active isNeList X mark U51 X1 X2 active U51 mark X1 X2 mark U21 X1 X2 active U21 mark X1 X2 true a 0 2 U72 1 0 U21 2 1 2 2 U11 1 1 2 isNeList 1 1 2 isPal 1 1 2 U42 1 1 1 u 0 2 U71 2 1 4 U81 1 0 isNeList 1 0 __ 2 0 isNePal 1 1 3 U72 1 1 1 isQid 1 0 isPal 1 0 U52 1 0 isQid 1 1 1 o 0 0 U42 1 0 mark 1 1 0 isList 1 1 2 isNePal 1 0 nil 0 1 mark 1 1 4 isList 1 0 i 0 1 U52 1 1 2 U61 1 1 2 U51 2 0 e 0 1 U11 1 0 active 1 1 1 U31 1 1 2 U41 2 0 active 1 1 U21 2 0 U81 1 1 2 U22 1 0 tt 0 1 U71 2 0 U22 1 1 U51 2 1 2 3 U41 2 1 2 3 U31 1 0 __ 2 1 U61 1 0 mark __ X1 X2 active __ mark X1 mark X2 active __ __ X Y Z mark __ X __ Y Z U51 mark X1 X2 U51 X1 X2 U42 active X U42 X isList mark X isList X U52 active X U52 X isNePal mark X isNePal X U21 X1 mark X2 U21 X1 X2 U11 mark X U11 X U61 active X U61 X U52 mark X U52 X U21 X1 active X2 U21 X1 X2 U41 mark X1 X2 U41 X1 X2 U21 active X1 X2 U21 X1 X2 U72 active X U72 X U72 mark X U72 X U71 mark X1 X2 U71 X1 X2 U21 mark X1 X2 U21 X1 X2 U51 active X1 X2 U51 X1 X2 U71 X1 mark X2 U71 X1 X2 __ mark X1 X2 __ X1 X2 isNeList active X isNeList X isNePal active X isNePal X isList active X isList X U81 mark X U81 X isNeList mark X isNeList X U51 X1 mark X2 U51 X1 X2 U31 mark X U31 X isPal mark X isPal X U42 mark X U42 X __ X1 mark X2 __ X1 X2 isQid mark X isQid X U71 active X1 X2 U71 X1 X2 U22 active X U22 X __ X1 active X2 __ X1 X2 U11 active X U11 X __ active X1 X2 __ X1 X2 U41 active X1 X2 U41 X1 X2 U41 X1 active X2 U41 X1 X2 U31 active X U31 X U41 X1 mark X2 U41 X1 X2 U71 X1 active X2 U71 X1 X2 U81 active X U81 X isQid active X isQid X isPal active X isPal X U22 mark X U22 X U51 X1 active X2 U51 X1 X2 U61 mark X U61 X active __ __ X Y Z mark __ X __ Y Z mark __ X1 X2 active __ mark X1 mark X2 true isPal 1 1 U71 2 2 isNeList 1 1 isNePal 1 1 U72 1 1 isPal 1 1 isQid 1 1 mark 1 1 isNePal 1 1 mark 1 1 U61 1 1 U51 2 2 active 1 1 active 1 1 U81 1 1 a 0 5 U72 1 0 U21 2 2 2 U11 1 1 isNeList 1 5 1 U42 1 1 u 0 5 U81 1 0 __ 2 0 1 2 isQid 1 0 U52 1 0 o 0 1 U42 1 0 isList 1 1 1 nil 0 1 isList 1 0 i 0 5 U52 1 5 e 0 5 U11 1 0 U31 1 4 U41 2 0 U21 2 0 2 1 U22 1 0 tt 0 1 U71 2 0 2 1 U22 1 1 U51 2 5 U41 2 3 U31 1 0 __ 2 3 1 2 U61 1 0 a 0 0 U72 1 0 U21 2 2 0 0 U11 1 0 isNeList 1 1 0 U42 1 0 u 0 0 U81 1 0 __ 2 1 0 2 0 0 isQid 1 0 U52 1 0 o 0 0 U42 1 0 isList 1 1 0 nil 0 0 isList 1 0 i 0 0 U52 1 0 e 0 0 U11 1 0 U31 1 0 U41 2 0 U21 2 1 0 2 0 0 U22 1 0 tt 0 0 U71 2 1 0 2 0 0 U22 1 0 U51 2 0 U41 2 0 U31 1 0 __ 2 1 0 2 0 0 U61 1 0 mark __ X1 X2 active __ mark X1 mark X2 active isList __ V1 V2 mark U21 isList V1 V2 mark isNePal X active isNePal X U51 mark X1 X2 U51 X1 X2 active U11 tt mark tt active U81 tt mark tt active U41 tt V2 mark U42 isNeList V2 mark o active o active __ __ X Y Z mark __ X __ Y Z U42 active X U42 X active __ nil X mark X active isList V mark U11 isNeList V active isNeList __ V1 V2 mark U51 isNeList V1 V2 mark U22 X active U22 mark X isList mark X isList X U52 active X U52 X isNePal mark X isNePal X active isQid a mark tt U21 X1 mark X2 U21 X1 X2 active isNeList V mark U31 isQid V mark nil active nil active isList nil mark tt U11 mark X U11 X active isQid e mark tt U61 active X U61 X U52 mark X U52 X mark tt active tt active isNePal V mark U61 isQid V active isQid i mark tt U21 X1 active X2 U21 X1 X2 mark U61 X active U61 mark X active U21 tt V2 mark U22 isList V2 U41 mark X1 X2 U41 X1 X2 mark U11 X active U11 mark X U21 active X1 X2 U21 X1 X2 U72 active X U72 X U72 mark X U72 X active U51 tt V2 mark U52 isList V2 mark U41 X1 X2 active U41 mark X1 X2 active U31 tt mark tt U71 mark X1 X2 U71 X1 X2 active isNeList __ V1 V2 mark U41 isList V1 V2 active isPal nil mark tt mark isQid X active isQid X mark e active e active isQid u mark tt U21 mark X1 X2 U21 X1 X2 active U72 tt mark tt U51 active X1 X2 U51 X1 X2 U71 X1 mark X2 U71 X1 X2 __ mark X1 X2 __ X1 X2 isNeList active X isNeList X mark __ X1 X2 active __ mark X1 mark X2 active U61 tt mark tt isNePal active X isNePal X isList active X isList X U81 mark X U81 X mark U71 X1 X2 active U71 mark X1 X2 isNeList mark X isNeList X U51 X1 mark X2 U51 X1 X2 active isNePal __ I __ P I mark U71 isQid I P U31 mark X U31 X active isPal V mark U81 isNePal V isPal mark X isPal X U42 mark X U42 X __ X1 mark X2 __ X1 X2 isQid mark X isQid X active U52 tt mark tt active U42 tt mark tt active U71 tt P mark U72 isPal P mark a active a U71 active X1 X2 U71 X1 X2 mark U42 X active U42 mark X U22 active X U22 X mark u active u __ X1 active X2 __ X1 X2 active U22 tt mark tt mark U31 X active U31 mark X U11 active X U11 X __ active X1 X2 __ X1 X2 U41 active X1 X2 U41 X1 X2 U41 X1 active X2 U41 X1 X2 mark U81 X active U81 mark X U31 active X U31 X mark i active i mark isPal X active isPal X U41 X1 mark X2 U41 X1 X2 U71 X1 active X2 U71 X1 X2 U81 active X U81 X isQid active X isQid X mark isList X active isList X mark isNeList X active isNeList X isPal active X isPal X mark U51 X1 X2 active U51 mark X1 X2 mark U72 X active U72 mark X U22 mark X U22 X U51 X1 active X2 U51 X1 X2 mark U21 X1 X2 active U21 mark X1 X2 active isQid o mark tt mark U52 X active U52 mark X U61 mark X U61 X active __ X nil mark X mark __ X1 X2 active __ mark X1 mark X2 false mark U52 X U52 mark X false mark U21 X1 X2 U21 mark X1 X2 false mark U72 X U72 mark X false active isQid o mark tt false active U22 tt mark tt false mark U51 X1 X2 U51 mark X1 X2 false active U71 tt P U72 isPal P false U72 active X U72 X U72 mark X U72 X true a 0 900 U72 1 1 0 U21 2 1 19505 U11 1 1 3590 isNeList 1 1 1 isPal 1 3012 U42 1 3708 u 0 1 U71 2 1 2 6 U81 1 0 isNeList 1 0 __ 2 0 isNePal 1 1 4 U72 1 463 isQid 1 0 isPal 1 0 U52 1 0 isQid 1 1 1 o 0 0 U42 1 0 mark 1 1 isList 1 1 3589 isNePal 1 0 nil 0 1 mark 1 1 1 isList 1 0 i 0 936 U52 1 1 11 U61 1 1 5 U51 2 0 e 0 1 U11 1 0 active 1 1 2 U31 1 1 13705 U41 2 0 active 1 1 U21 2 0 U81 1 1 3010 U22 1 0 tt 0 3593 U71 2 0 U22 1 1 19511 U51 2 1 2 5 U41 2 1 2 113 U31 1 0 __ 2 1 U61 1 0 isPal mark X isPal X isPal active X isPal X active U71 tt P isPal P false isPal active X isPal X isPal mark X isPal X true a 0 1 U72 1 0 U21 2 1 11251 U11 1 1 7362 isNeList 1 1 2 isPal 1 1 U42 1 10 u 0 1 U71 2 1 2 3 U81 1 0 isNeList 1 0 __ 2 0 isNePal 1 1 1 U72 1 2 isQid 1 0 isPal 1 1 0 U52 1 0 isQid 1 1 1 o 0 0 U42 1 0 mark 1 1 isList 1 1 1 isNePal 1 0 nil 0 1 mark 1 1 1 isList 1 0 i 0 1 U52 1 1 17580 U61 1 1 2 U51 2 0 e 0 1 U11 1 0 active 1 1 2 U31 1 1 3 U41 2 0 active 1 1 U21 2 0 U81 1 1 2 U22 1 0 tt 0 4 U71 2 0 U22 1 1 19511 U51 2 1 2 17575 U41 2 1 2 4 U31 1 0 __ 2 1 U61 1 0 isPal mark X isPal X isPal active X isPal X active U42 tt mark tt false active U52 tt mark tt false active isPal V U81 isNePal V false active isPal V isNePal V false isNePal active X isNePal X isNePal mark X isNePal X true a 0 1 U72 1 0 U21 2 1 925 U11 1 1 405 isNeList 1 1 732 isPal 1 1185 U42 1 4779 u 0 1 U71 2 1 2 1353 U81 1 0 isNeList 1 0 __ 2 0 isNePal 1 1 1914 U72 1 655 isQid 1 0 isPal 1 0 U52 1 0 isQid 1 1 1486 o 0 0 U42 1 0 mark 1 1 isList 1 1 213 isNePal 1 1 0 nil 0 1274 mark 1 1 1 isList 1 0 i 0 1 U52 1 1 4047 U61 1 1 1352 U51 2 0 e 0 1 U11 1 0 active 1 1 924 U31 1 1 170 U41 2 0 active 1 1 U21 2 0 U81 1 1 195 U22 1 0 tt 0 2411 U71 2 0 U22 1 1 11257 U51 2 1 2 925 U41 2 1 2 1444 U31 1 0 __ 2 1 U61 1 0 isPal mark X isPal X isPal active X isPal X mark i active i false active isNePal __ I __ P I U71 isQid I P false active isNePal __ I __ P I isQid I false active U61 tt mark tt false active U72 tt mark tt false active isQid u mark tt false active isPal nil mark tt false mark U81 X U81 mark X false U81 mark X U81 X U81 active X U81 X true a 0 1 U72 1 0 U21 2 1 21953 U11 1 1 967 isNeList 1 1 1629 isPal 1 2 U42 1 23365 u 0 1 U71 2 1 2 5753 U81 1 1 0 isNeList 1 0 __ 2 0 isNePal 1 1 5751 U72 1 2 isQid 1 0 isPal 1 0 U52 1 0 isQid 1 1 1 o 0 0 U42 1 0 mark 1 1 isList 1 1 1 isNePal 1 0 nil 0 1 mark 1 1 1 isList 1 0 i 0 1 U52 1 1 8 U61 1 1 5752 U51 2 0 e 0 1 U11 1 0 active 1 1 2 U31 1 1 1630 U41 2 0 active 1 1 U21 2 0 U81 1 1 21541 U22 1 0 tt 0 4 U71 2 0 U22 1 1 21958 U51 2 1 2 3 U41 2 1 2 1631 U31 1 0 __ 2 1 U61 1 0 isPal mark X isPal X isPal active X isPal X active isNeList __ V1 V2 U41 isList V1 V2 false active isNeList __ V1 V2 isList V1 false active U31 tt mark tt false mark U31 X U31 mark X false mark u active u false active U51 tt V2 U52 isList V2 false U52 active X U52 X U52 mark X U52 X true a 0 37351 U72 1 0 U21 2 1 24636 U11 1 1 20178 isNeList 1 1 29993 isPal 1 17065 U42 1 60933 u 0 13963 U71 2 1 2 14432 U81 1 0 isNeList 1 0 __ 2 0 isNePal 1 1 2 U72 1 30383 isQid 1 0 isPal 1 0 U52 1 1 0 isQid 1 1 1304 o 0 0 U42 1 0 mark 1 1 isList 1 1 7722 isNePal 1 0 nil 0 30933 mark 1 1 1 isList 1 0 i 0 12063 U52 1 1 46958 U61 1 1 9501 U51 2 0 e 0 37351 U11 1 0 active 1 1 2 U31 1 1 28691 U41 2 0 active 1 1 U21 2 0 U81 1 1 17065 U22 1 0 tt 0 38657 U71 2 0 U22 1 1 55573 U51 2 1 2 16021 U41 2 1 2 22274 U31 1 0 __ 2 1 U61 1 0 isPal mark X isPal X isPal active X isPal X active U51 tt V2 isList V2 false mark U42 X U42 mark X false mark a active a false active U21 tt V2 U22 isList V2 false active U21 tt V2 isList V2 false active isQid i mark tt false mark U71 X1 X2 U71 mark X1 X2 false U71 mark X1 X2 U71 X1 X2 U71 active X1 X2 U71 X1 X2 U71 X1 mark X2 U71 X1 X2 U71 X1 active X2 U71 X1 X2 true a 0 1 U72 1 0 U21 2 1 23810 U11 1 1 9299 isNeList 1 1 1 isPal 1 1 U42 1 24368 u 0 1 U71 2 1 2 28474 U81 1 0 isNeList 1 0 __ 2 0 isNePal 1 1 1 U72 1 2 isQid 1 0 isPal 1 0 U52 1 0 isQid 1 1 1 o 0 0 U42 1 0 mark 1 1 isList 1 1 1 isNePal 1 0 nil 0 1 mark 1 1 1 isList 1 0 i 0 1 U52 1 1 8 U61 1 1 9501 U51 2 0 e 0 1 U11 1 0 active 1 1 2 U31 1 1 23033 U41 2 0 active 1 1 U21 2 0 U81 1 1 2 U22 1 0 tt 0 4 U71 2 1 0 U22 1 1 42512 U51 2 1 2 3 U41 2 1 2 24362 U31 1 0 __ 2 1 U61 1 0 U71 X1 active X2 U71 X1 X2 U71 X1 mark X2 U71 X1 X2 isPal mark X isPal X isPal active X isPal X U71 X1 mark X2 U71 X1 X2 U71 X1 active X2 U71 X1 X2 true a 0 1 U72 1 0 U21 2 1 19692 U11 1 1 36092 isNeList 1 1 1 isPal 1 1 U42 1 2774 u 0 1 U71 2 1 2 25515 U81 1 0 isNeList 1 0 __ 2 0 isNePal 1 1 1 U72 1 2 isQid 1 0 isPal 1 0 U52 1 0 isQid 1 1 1 o 0 0 U42 1 0 mark 1 1 isList 1 1 0 isNePal 1 0 nil 0 1 mark 1 1 1 isList 1 0 i 0 1 U52 1 1 9563 U61 1 1 9501 U51 2 0 e 0 1 U11 1 0 active 1 1 2 U31 1 1 15808 U41 2 0 active 1 1 U21 2 0 U81 1 1 2 U22 1 0 tt 0 4 U71 2 2 0 U22 1 24027 U51 2 1 2 9557 U41 2 1 2 2768 U31 1 0 __ 2 1 U61 1 0 isPal mark X isPal X isPal active X isPal X active isNePal V U61 isQid V false active isNePal V isQid V false active isQid e mark tt false active isList nil mark tt false mark __ X1 X2 __ mark X1 mark X2 false mark e active e false active isNeList V U31 isQid V false U31 mark X U31 X U31 active X U31 X true a 0 1 U72 1 0 U21 2 1 19073 U11 1 1 16546 isNeList 1 1 1682 isPal 1 1 U42 1 1691 u 0 1 U71 2 1 2 5969 U81 1 0 isNeList 1 0 __ 2 0 isNePal 1 1 1 U72 1 2 isQid 1 0 isPal 1 0 U52 1 0 isQid 1 1 1 o 0 0 U42 1 0 mark 1 1 isList 1 1 0 isNePal 1 0 nil 0 2 mark 1 1 1 isList 1 0 i 0 1 U52 1 1 21661 U61 1 1 2 U51 2 0 e 0 1 U11 1 0 active 1 1 2 U31 1 1 15808 U41 2 0 active 1 1 U21 2 0 U81 1 1 31223 U22 1 0 tt 0 4 U71 2 0 U22 1 50686 U51 2 1 2 8197 U41 2 1 2 1685 U31 1 1 0 __ 2 1 U61 1 0 isPal mark X isPal X isPal active X isPal X active isNeList V isQid V false isQid mark X isQid X isQid active X isQid X true a 0 1 U72 1 0 U21 2 2 18311 U11 1 1 18308 isNeList 1 1 2 isPal 1 16844 U42 1 25751 u 0 31594 U71 2 1 19208 U81 1 0 isNeList 1 0 __ 2 0 isNePal 1 1 6338 U72 1 17271 isQid 1 1 0 isPal 1 0 U52 1 0 isQid 1 6 o 0 8924 U42 1 0 mark 1 1 isList 1 1 5436 isNePal 1 0 nil 0 1 mark 1 1 1 isList 1 0 i 0 1 U52 1 25751 U61 1 1 19206 U51 2 0 e 0 54370 U11 1 0 active 1 1 12874 U31 1 12876 U41 2 0 active 1 1 U21 2 0 U81 1 1 23380 U22 1 0 tt 0 38625 U71 2 0 U22 1 1 25749 U51 2 12877 U41 2 12877 U31 1 0 __ 2 1 2 1 U61 1 0 U31 mark X U31 X U31 active X U31 X active isQid a mark tt false active isNeList __ V1 V2 U51 isNeList V1 V2 false U51 active X1 X2 U51 X1 X2 U51 X1 mark X2 U51 X1 X2 U51 mark X1 X2 U51 X1 X2 U51 X1 active X2 U51 X1 X2 true a 0 1 U72 1 0 U21 2 72857 U11 1 1 20350 isNeList 1 52507 isPal 1 1 10470 U42 1 1 61310 u 0 30545 U71 2 1 2 4025 U81 1 0 isNeList 1 0 __ 2 0 isNePal 1 1 4581 U72 1 1 100502 isQid 1 0 isPal 1 0 U52 1 0 isQid 1 14167 o 0 29345 U42 1 0 mark 1 1 isList 1 59247 isNePal 1 0 nil 0 1 mark 1 1 1 isList 1 0 i 0 34832 U52 1 79727 U61 1 1 30998 U51 2 1 2 0 e 0 34638 U11 1 0 active 1 1 13610 U31 1 66117 U41 2 0 active 1 1 U21 2 0 U81 1 1 19499 U22 1 0 tt 0 93337 U71 2 0 U22 1 1 27220 U51 2 2 66117 U41 2 1 2 6870 U31 1 0 __ 2 1 1 U61 1 0 isNeList active X isNeList X isNeList mark X isNeList X active isNeList __ V1 V2 isNeList V1 false mark U41 X1 X2 U41 mark X1 X2 false U41 mark X1 X2 U41 X1 X2 U41 X1 active X2 U41 X1 X2 U41 X1 mark X2 U41 X1 X2 U41 active X1 X2 U41 X1 X2 true a 0 1 U72 1 0 U21 2 5530 U11 1 1 5529 isNeList 1 1 isPal 1 1 6245 U42 1 1 106948 u 0 30545 U71 2 1 2 39899 U81 1 0 isNeList 1 0 __ 2 0 isNePal 1 1 36199 U72 1 1 54739 isQid 1 0 isPal 1 0 U52 1 0 isQid 1 1572 o 0 29345 U42 1 0 mark 1 1 isList 1 259 isNePal 1 0 nil 0 934 mark 1 1 1 isList 1 0 i 0 1 U52 1 10543 U61 1 1 39898 U51 2 0 e 0 56444 U11 1 0 active 1 1 5271 U31 1 5272 U41 2 1 0 active 1 1 U21 2 0 U81 1 1 77524 U22 1 0 tt 0 15814 U71 2 0 U22 1 1 10542 U51 2 2 5272 U41 2 1 2 5013 U31 1 0 __ 2 1 1 U61 1 0 U41 X1 mark X2 U41 X1 X2 U41 X1 active X2 U41 X1 X2 isNeList active X isNeList X isNeList mark X isNeList X U41 X1 active X2 U41 X1 X2 U41 X1 mark X2 U41 X1 X2 true a 0 1 U72 1 0 U21 2 62834 U11 1 1 2 isNeList 1 32785 isPal 1 1 16794 U42 1 1 10 u 0 23250 U71 2 1 2 2 U81 1 0 isNeList 1 0 __ 2 0 isNePal 1 1 1366 U72 1 1 16001 isQid 1 0 isPal 1 0 U52 1 0 isQid 1 1367 o 0 10128 U42 1 0 mark 1 1 isList 1 32785 isNePal 1 0 nil 0 1 mark 1 1 1 isList 1 0 i 0 8083 U52 1 32789 U61 1 1 21303 U51 2 0 e 0 56444 U11 1 0 active 1 1 2 U31 1 32787 U41 2 2 0 active 1 1 U21 2 0 U81 1 1 15430 U22 1 0 tt 0 32791 U71 2 0 U22 1 1 30051 U51 2 2 32787 U41 2 1 2 2 U31 1 0 __ 2 1 1 U61 1 0 isNeList active X isNeList X isNeList mark X isNeList X active isList V U11 isNeList V false active isList V isNeList V false mark U11 X U11 mark X false U11 active X U11 X U11 mark X U11 X true a 0 1 U72 1 0 U21 2 52788 U11 1 1 1 isNeList 1 21894 isPal 1 1 17468 U42 1 1 11 u 0 7758 U71 2 1 2 53 U81 1 0 isNeList 1 0 __ 2 0 isNePal 1 1 476 U72 1 1 4487 isQid 1 0 isPal 1 0 U52 1 0 isQid 1 426 o 0 6753 U42 1 0 mark 1 1 isList 1 21893 isNePal 1 0 nil 0 1 mark 1 1 1 isList 1 0 i 0 50450 U52 1 21898 U61 1 1 18324 U51 2 0 e 0 29324 U11 1 1 0 active 1 1 2 U31 1 21896 U41 2 0 active 1 1 U21 2 0 U81 1 1 16994 U22 1 0 tt 0 21900 U71 2 0 U22 1 1 30897 U51 2 2 21896 U41 2 1 2 3 U31 1 0 __ 2 1 1 U61 1 0 isNeList active X isNeList X isNeList mark X isNeList X mark U61 X U61 mark X false U61 active X U61 X U61 mark X U61 X true a 0 1 U72 1 0 U21 2 8910 U11 1 1 8296 isNeList 1 3736 isPal 1 1 3739 U42 1 1 3745 u 0 17957 U71 2 1 2 2 U81 1 0 isNeList 1 0 __ 2 0 isNePal 1 1 1 U72 1 1 7 isQid 1 0 isPal 1 0 U52 1 0 isQid 1 2 o 0 29267 U42 1 0 mark 1 1 isList 1 1 isNePal 1 0 nil 0 1 mark 1 1 1 isList 1 0 i 0 38208 U52 1 3740 U61 1 1 21955 U51 2 0 e 0 33272 U11 1 0 active 1 1 2 U31 1 3738 U41 2 0 active 1 1 U21 2 0 U81 1 1 3740 U22 1 0 tt 0 3742 U71 2 0 U22 1 1 8911 U51 2 2 3738 U41 2 1 2 3737 U31 1 0 __ 2 1 1 U61 1 1 0 isNeList active X isNeList X isNeList mark X isNeList X mark nil active nil false active __ __ X Y Z __ X __ Y Z false active __ __ X Y Z __ Y Z false __ mark X1 X2 __ X1 X2 __ X1 mark X2 __ X1 X2 __ active X1 X2 __ X1 X2 __ X1 active X2 __ X1 X2 true a 0 1 U72 1 0 U21 2 2653 U11 1 1 2 isNeList 1 1 isPal 1 1 1 U42 1 1 10 u 0 1 U71 2 1 2 7164 U81 1 0 isNeList 1 0 __ 2 2 0 isNePal 1 1 2 U72 1 1 7172 isQid 1 0 isPal 1 0 U52 1 0 isQid 1 1 o 0 21587 U42 1 0 mark 1 1 isList 1 1 isNePal 1 0 nil 0 1 mark 1 1 1 isList 1 0 i 0 1 U52 1 5 U61 1 1 3 U51 2 0 e 0 1 U11 1 0 active 1 1 2 U31 1 3 U41 2 0 active 1 1 U21 2 0 U81 1 1 3740 U22 1 0 tt 0 7 U71 2 0 U22 1 1 2654 U51 2 2 3 U41 2 1 2 2 U31 1 0 __ 2 1 1 U61 1 0 __ active X1 X2 __ X1 X2 __ mark X1 X2 __ X1 X2 isNeList active X isNeList X isNeList mark X isNeList X __ mark X1 X2 __ X1 X2 __ active X1 X2 __ X1 X2 true a 0 1 U72 1 0 U21 2 35289 U11 1 1 11448 isNeList 1 23841 isPal 1 1 69048 U42 1 1 124176 u 0 27008 U71 2 1 2 4495 U81 1 0 isNeList 1 0 __ 2 1 0 isNePal 1 1 2869 U72 1 1 49704 isQid 1 0 isPal 1 0 U52 1 0 isQid 1 20979 o 0 22183 U42 1 0 mark 1 1 isList 1 12685 isNePal 1 0 nil 0 1 mark 1 1 1 isList 1 0 i 0 26131 U52 1 69049 U61 1 1 34182 U51 2 0 e 0 27326 U11 1 0 active 1 1 22604 U31 1 46445 U41 2 0 active 1 1 U21 2 0 U81 1 1 88783 U22 1 0 tt 0 91653 U71 2 0 U22 1 1 45208 U51 2 2 46445 U41 2 1 2 33760 U31 1 0 __ 2 1 1 U61 1 0 isNeList active X isNeList X isNeList mark X isNeList X mark U22 X U22 mark X false U22 mark X U22 X U22 active X U22 X true a 0 1 U72 1 0 U21 2 32783 U11 1 1 2 isNeList 1 32781 isPal 1 1 7506 U42 1 1 10 u 0 15500 U71 2 1 2 1 U81 1 0 isNeList 1 0 __ 2 0 isNePal 1 1 5319 U72 1 1 25284 isQid 1 0 isPal 1 0 U52 1 0 isQid 1 5321 o 0 23986 U42 1 0 mark 1 1 isList 1 32781 isNePal 1 0 nil 0 1 mark 1 1 1 isList 1 0 i 0 18888 U52 1 32785 U61 1 1 24066 U51 2 0 e 0 12394 U11 1 0 active 1 1 2 U31 1 32783 U41 2 0 active 1 1 U21 2 0 U81 1 1 2189 U22 1 1 0 tt 0 32787 U71 2 0 U22 1 1 21290 U51 2 2 32783 U41 2 1 2 2 U31 1 0 __ 2 1 1 U61 1 0 isNeList active X isNeList X isNeList mark X isNeList X mark o active o false active U41 tt V2 U42 isNeList V2 false U42 mark X U42 X U42 active X U42 X true a 0 1 U72 1 0 U21 2 5 U11 1 1 4 isNeList 1 1 isPal 1 1 2 U42 1 1 9 u 0 44156 U71 2 1 2 1 U81 1 0 isNeList 1 0 __ 2 0 isNePal 1 1 3 U72 1 1 8 isQid 1 0 isPal 1 0 U52 1 0 isQid 1 5 o 0 15190 U42 1 1 0 mark 1 1 isList 1 3 isNePal 1 0 nil 0 1 mark 1 1 1 isList 1 0 i 0 56385 U52 1 5 U61 1 1 21992 U51 2 0 e 0 9232 U11 1 0 active 1 1 2 U31 1 3 U41 2 0 active 1 1 U21 2 0 U81 1 1 1 U22 1 0 tt 0 7 U71 2 0 U22 1 1 12015 U51 2 2 3 U41 2 1 2 1 U31 1 0 __ 2 1 1 U61 1 0 isNeList active X isNeList X isNeList mark X isNeList X active U41 tt V2 isNeList V2 false isNeList active X isNeList X isNeList mark X isNeList X true a 0 1 U72 1 0 U21 2 1 2 659 U11 1 8076 isNeList 1 1 10430 isPal 1 12512 U42 1 1 28171 u 0 1 U71 2 2 19023 U81 1 0 isNeList 1 1 0 __ 2 0 isNePal 1 1 U72 1 19025 isQid 1 0 isPal 1 0 U52 1 0 isQid 1 10658 o 0 25514 U42 1 0 mark 1 1 isList 1 8074 isNePal 1 0 nil 0 1 mark 1 1 1 isList 1 0 i 0 41775 U52 1 21964 U61 1 3 U51 2 0 e 0 23708 U11 1 0 active 1 1 2 U31 1 10432 U41 2 0 active 1 1 U21 2 0 U81 1 1 12513 U22 1 0 tt 0 19027 U71 2 0 U22 1 1 11614 U51 2 1 2 2935 U41 2 38599 U31 1 0 __ 2 1 1 U61 1 0 U42 active X U42 X U52 active X U52 X isNePal mark X isNePal X U11 mark X U11 X U61 active X U61 X U52 mark X U52 X isNeList active X isNeList X isNePal active X isNePal X isNeList mark X isNeList X U31 mark X U31 X U42 mark X U42 X U11 active X U11 X U31 active X U31 X U61 mark X U61 X active U81 tt mark tt false active U11 tt mark tt false mark tt active tt false active isList __ V1 V2 U21 isList V1 V2 false U21 mark X1 X2 U21 X1 X2 U21 X1 mark X2 U21 X1 X2 U21 X1 active X2 U21 X1 X2 U21 active X1 X2 U21 X1 X2 true a 0 1 U72 1 0 U21 2 2 5083 U11 1 3 isNeList 1 51923 isPal 1 16531 U42 1 51927 u 0 423 U71 2 2 13620 U81 1 0 isNeList 1 0 __ 2 0 isNePal 1 1 U72 1 13622 isQid 1 0 isPal 1 0 U52 1 0 isQid 1 1 31188 o 0 19455 U42 1 0 mark 1 1 isList 1 1 isNePal 1 0 nil 0 41865 mark 1 1 1 isList 1 0 i 0 1431 U52 1 51927 U61 1 3 U51 2 0 e 0 1907 U11 1 0 active 1 1 2 U31 1 1 20737 U41 2 0 active 1 1 U21 2 1 0 U81 1 16533 U22 1 0 tt 0 51929 U71 2 0 U22 1 5085 U51 2 2 51925 U41 2 2 51925 U31 1 0 __ 2 7382 U61 1 0 U21 X1 active X2 U21 X1 X2 U21 X1 mark X2 U21 X1 X2 U52 active X U52 X U52 mark X U52 X U81 mark X U81 X U31 mark X U31 X isQid mark X isQid X U22 active X U22 X U31 active X U31 X U81 active X U81 X isQid active X isQid X U22 mark X U22 X U21 X1 mark X2 U21 X1 X2 U21 X1 active X2 U21 X1 X2 true a 0 1 U72 1 0 U21 2 2 2156 U11 1 2158 isNeList 1 399 isPal 1 1 U42 1 9115 u 0 1 U71 2 2 12269 U81 1 0 isNeList 1 0 __ 2 0 isNePal 1 12267 U72 1 12271 isQid 1 0 isPal 1 0 U52 1 0 isQid 1 1 201 o 0 1 U42 1 0 mark 1 1 isList 1 2154 isNePal 1 0 nil 0 1 mark 1 1 1 isList 1 0 i 0 8031 U52 1 10063 U61 1 12269 U51 2 0 e 0 1 U11 1 0 active 1 1 2 U31 1 1 200 U41 2 0 active 1 1 U21 2 2 0 U81 1 3 U22 1 0 tt 0 12273 U71 2 0 U22 1 2158 U51 2 2 1544 U41 2 2 9113 U31 1 0 __ 2 16254 U61 1 0 U52 active X U52 X U52 mark X U52 X U81 mark X U81 X U31 mark X U31 X isQid mark X isQid X U22 active X U22 X U31 active X U31 X U81 active X U81 X isQid active X isQid X U22 mark X U22 X active isList __ V1 V2 isList V1 false isList mark X isList X isList active X isList X true a 0 1 U72 1 0 U21 2 2 1612 U11 1 1612 isNeList 1 4116 isPal 1 1 U42 1 4120 u 0 1 U71 2 2 9036 U81 1 0 isNeList 1 0 __ 2 0 isNePal 1 9034 U72 1 9038 isQid 1 0 isPal 1 0 U52 1 0 isQid 1 1 1918 o 0 1 U42 1 0 mark 1 1 isList 1 1610 isNePal 1 0 nil 0 38565 mark 1 1 33781 isList 1 1 0 i 0 4875 U52 1 4120 U61 1 9036 U51 2 0 e 0 1 U11 1 0 active 1 1 33782 U31 1 1 2200 U41 2 0 active 1 1 U21 2 0 U81 1 3693 U22 1 0 tt 0 12273 U71 2 0 U22 1 1614 U51 2 2 4118 U41 2 2 4118 U31 1 0 __ 2 5372 U61 1 0 U52 active X U52 X U52 mark X U52 X U81 mark X U81 X U31 mark X U31 X isQid mark X isQid X U22 active X U22 X U31 active X U31 X U81 active X U81 X isQid active X isQid X U22 mark X U22 X NaTT certifiable-1.6