__ __ X Y Z __ X __ Y Z __ X nil X __ nil X X U11 tt tt U21 tt U22 isList U22 tt tt U31 tt tt U41 tt U42 isNeList U42 tt tt U51 tt U52 isList U52 tt tt U61 tt tt U71 tt U72 isPal U72 tt tt U81 tt tt isList U11 isNeList isList tt isList U21 isList isNeList U31 isQid isNeList U41 isList isNeList U51 isNeList isNePal U61 isQid isNePal U71 isQid isPal U81 isNePal isPal tt isQid tt 2.2 U71 tt isPal isNePal isQid isNePal U61 isQid U51 tt U52 isList U21 tt U22 isList U41 tt isNeList U41 tt U42 isNeList U21 tt isList isNePal isQid isList U21 isList isList isNeList isNeList U41 isList U51 tt isList isNePal U71 isQid __ __ X Y Z __ Y Z isNeList U51 isNeList isList U11 isNeList isList isList __ __ X Y Z __ X __ Y Z isNeList isQid isPal U81 isNePal U71 tt U72 isPal isNeList isList isNeList U31 isQid isPal isNePal isNeList isNeList true __ __ X Y Z __ X __ Y Z __ __ X Y Z __ Y Z true U72 1 0 U21 1 0 U11 1 0 isNeList 0 0 isPal 0 0 U42 1 0 U71 1 0 U81 1 0 isNeList 0 0 __ 2 1 0 isNePal 0 0 U72 1 0 isQid 0 0 isPal 0 0 U52 1 0 isQid 0 0 U42 1 0 isList 0 0 isNePal 0 0 nil 0 1 isList 0 0 U52 1 0 U61 1 0 U51 1 0 U11 1 0 U31 1 0 U41 1 0 U21 1 0 U81 1 0 U22 1 0 tt 0 0 U71 1 0 U22 1 0 U51 1 0 U41 1 0 U31 1 0 __ 2 1 2 1 U61 1 0 isPal isNePal isNePal U71 isQid U71 tt isPal true Failed! NaTT certifiable-1.6