__
__
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