and
tt
X
__
__
X
Y
Z
__
X
__
Y
Z
__
X
nil
X
__
nil
X
X
U11
tt
U12
isNeList
U12
tt
tt
U21
tt
U22
isList
U22
tt
U23
isList
U23
tt
tt
U31
tt
U32
isQid
U32
tt
tt
U41
tt
U42
isList
U42
tt
U43
isNeList
U43
tt
tt
U51
tt
U52
isNeList
U52
tt
U53
isList
U53
tt
tt
U61
tt
U62
isQid
U62
tt
tt
U71
tt
U72
isNePal
U72
tt
tt
isList
U11
isPalListKind
isList
tt
isList
U21
and
isPalListKind
isNeList
U31
isPalListKind
isNeList
U41
and
isPalListKind
isNeList
U51
and
isPalListKind
isNePal
U61
isPalListKind
isNePal
and
and
isQid
isPal
U71
isPalListKind
isPal
tt
isPalListKind
tt
isPalListKind
and
isPalListKind
isQid
tt
and
1
tt
0
__
2
nil
0
U11
1
U12
1
isNeList
0
U21
1
U22
1
isList
0
U23
1
U31
1
U32
1
isQid
0
U41
1
U42
1
U43
1
U51
1
U52
1
U53
1
U61
1
U62
1
U71
1
U72
1
isNePal
0
isPalListKind
0
isPal
0
FULL