__
__
X
Y
Z
__
X
__
Y
Z
__
X
nil
X
__
nil
X
X
U11
tt
U12
isPalListKind
U12
tt
U13
isNeList
U13
tt
tt
U21
tt
U22
isPalListKind
U22
tt
U23
isPalListKind
U23
tt
U24
isPalListKind
U24
tt
U25
isList
U25
tt
U26
isList
U26
tt
tt
U31
tt
U32
isPalListKind
U32
tt
U33
isQid
U33
tt
tt
U41
tt
U42
isPalListKind
U42
tt
U43
isPalListKind
U43
tt
U44
isPalListKind
U44
tt
U45
isList
U45
tt
U46
isNeList
U46
tt
tt
U51
tt
U52
isPalListKind
U52
tt
U53
isPalListKind
U53
tt
U54
isPalListKind
U54
tt
U55
isNeList
U55
tt
U56
isList
U56
tt
tt
U61
tt
U62
isPalListKind
U62
tt
U63
isQid
U63
tt
tt
U71
tt
U72
isPalListKind
U72
tt
U73
isPal
U73
tt
U74
isPalListKind
U74
tt
tt
U81
tt
U82
isPalListKind
U82
tt
U83
isNePal
U83
tt
tt
U91
tt
U92
isPalListKind
U92
tt
tt
isList
U11
isPalListKind
isList
tt
isList
U21
isPalListKind
isNeList
U31
isPalListKind
isNeList
U41
isPalListKind
isNeList
U51
isPalListKind
isNePal
U61
isPalListKind
isNePal
U71
isQid
isPal
U81
isPalListKind
isPal
tt
isPalListKind
tt
isPalListKind
U91
isPalListKind
isQid
tt
2.2
isNeList
isPalListKind
U24
tt
U25
isList
U52
tt
U53
isPalListKind
U32
tt
U33
isQid
U41
tt
isPalListKind
U73
tt
isPalListKind
U21
tt
isPalListKind
U21
tt
U22
isPalListKind
U54
tt
U55
isNeList
U43
tt
U44
isPalListKind
U12
tt
U13
isNeList
U51
tt
U52
isPalListKind
U11
tt
U12
isPalListKind
U12
tt
isNeList
U43
tt
isPalListKind
U72
tt
isPal
U55
tt
U56
isList
U54
tt
isNeList
U81
tt
isPalListKind
U44
tt
U45
isList
U42
tt
U43
isPalListKind
__
__
X
Y
Z
__
X
__
Y
Z
U45
tt
isNeList
U61
tt
U62
isPalListKind
isPal
U81
isPalListKind
isList
U21
isPalListKind
isNePal
U71
isQid
U72
tt
U73
isPal
U23
tt
isPalListKind
U22
tt
isPalListKind
U23
tt
U24
isPalListKind
U73
tt
U74
isPalListKind
U22
tt
U23
isPalListKind
isNePal
isQid
isNeList
U51
isPalListKind
U42
tt
isPalListKind
isPal
isPalListKind
U55
tt
isList
U52
tt
isPalListKind
U61
tt
isPalListKind
isNeList
U41
isPalListKind
U25
tt
U26
isList
isPalListKind
isPalListKind
isNePal
U61
isPalListKind
U45
tt
U46
isNeList
isList
isPalListKind
U82
tt
isNePal
U71
tt
U72
isPalListKind
U11
tt
isPalListKind
U81
tt
U82
isPalListKind
U24
tt
isList
U41
tt
U42
isPalListKind
U53
tt
isPalListKind
U31
tt
isPalListKind
U71
tt
isPalListKind
U53
tt
U54
isPalListKind
U44
tt
isList
isList
U11
isPalListKind
isNeList
isPalListKind
isPalListKind
U91
isPalListKind
U82
tt
U83
isNePal
U25
tt
isList
__
__
X
Y
Z
__
Y
Z
U32
tt
isQid
U31
tt
U32
isPalListKind
U91
tt
isPalListKind
U62
tt
U63
isQid
isNeList
U31
isPalListKind
U51
tt
isPalListKind
isNePal
isPalListKind
U91
tt
U92
isPalListKind
U62
tt
isQid
isNeList
isPalListKind
isList
isPalListKind
true
__
__
X
Y
Z
__
Y
Z
__
__
X
Y
Z
__
X
__
Y
Z
true
U72
1
0
U32
1
0
U21
1
0
U83
1
0
isPalListKind
0
0
U11
1
0
U24
1
0
U24
1
0
U25
1
0
isNeList
0
0
U56
1
0
isPal
0
0
U42
1
0
U91
1
0
U26
1
0
U82
1
0
U71
1
0
U81
1
0
U92
1
0
isNeList
0
0
U43
1
0
U23
1
0
U53
1
0
__
2
1
0
U44
1
0
U55
1
0
U43
1
0
U23
1
0
U63
1
0
isNePal
0
0
U72
1
0
U13
1
0
isQid
0
0
isPal
0
0
U52
1
0
U12
1
0
U33
1
0
isQid
0
0
U26
1
0
U54
1
0
U44
1
0
U54
1
0
U42
1
0
U12
1
0
U62
1
0
U83
1
0
isList
0
0
U73
1
0
U74
1
0
isNePal
0
0
U73
1
0
nil
0
1
U25
1
0
U62
1
0
U63
1
0
U45
1
0
isList
0
0
U32
1
0
U33
1
0
U46
1
0
U56
1
0
U46
1
0
U52
1
0
U61
1
0
U51
1
0
U11
1
0
U31
1
0
U92
1
0
U41
1
0
U21
1
0
U81
1
0
U82
1
0
U22
1
0
tt
0
0
U71
1
0
U13
1
0
U22
1
0
U45
1
0
U51
1
0
U74
1
0
isPalListKind
0
0
U53
1
0
U41
1
0
U31
1
0
__
2
1
2
1
U91
1
0
U55
1
0
U61
1
0
isNePal
U71
isQid
isPal
U81
isPalListKind
U72
tt
isPal
U81
tt
U82
isPalListKind
U82
tt
isNePal
U71
tt
U72
isPalListKind
true
Failed!
NaTT
certifiable-1.6