a____
__
X
Y
Z
a____
mark
X
a____
mark
Y
mark
Z
a____
X
nil
mark
X
a____
nil
X
mark
X
a__and
tt
X
mark
X
a__isList
V
a__isNeList
V
a__isList
nil
tt
a__isList
__
V1
V2
a__and
a__isList
V1
isList
V2
a__isNeList
V
a__isQid
V
a__isNeList
__
V1
V2
a__and
a__isList
V1
isNeList
V2
a__isNeList
__
V1
V2
a__and
a__isNeList
V1
isList
V2
a__isNePal
V
a__isQid
V
a__isNePal
__
I
__
P
I
a__and
a__isQid
I
isPal
P
a__isPal
V
a__isNePal
V
a__isPal
nil
tt
a__isQid
a
tt
a__isQid
e
tt
a__isQid
i
tt
a__isQid
o
tt
a__isQid
u
tt
mark
__
X1
X2
a____
mark
X1
mark
X2
mark
and
X1
X2
a__and
mark
X1
X2
mark
isList
X
a__isList
X
mark
isNeList
X
a__isNeList
X
mark
isQid
X
a__isQid
X
mark
isNePal
X
a__isNePal
X
mark
isPal
X
a__isPal
X
mark
nil
nil
mark
tt
tt
mark
a
a
mark
e
e
mark
i
i
mark
o
o
mark
u
u
a____
X1
X2
__
X1
X2
a__and
X1
X2
and
X1
X2
a__isList
X
isList
X
a__isNeList
X
isNeList
X
a__isQid
X
isQid
X
a__isNePal
X
isNePal
X
a__isPal
X
isPal
X
2.2
a__isPal
V
a__isNePal
V
a__isNeList
V
a__isQid
V
mark
isQid
X
a__isQid
X
mark
__
X1
X2
mark
X2
a__isNePal
__
I
__
P
I
a__isQid
I
mark
__
X1
X2
a____
mark
X1
mark
X2
a____
__
X
Y
Z
a____
mark
X
a____
mark
Y
mark
Z
a____
nil
X
mark
X
mark
__
X1
X2
mark
X1
a__isList
__
V1
V2
a__and
a__isList
V1
isList
V2
a__and
tt
X
mark
X
a____
__
X
Y
Z
mark
X
mark
isPal
X
a__isPal
X
mark
isNeList
X
a__isNeList
X
mark
isNePal
X
a__isNePal
X
a__isNePal
V
a__isQid
V
a____
__
X
Y
Z
mark
Z
mark
and
X1
X2
mark
X1
a____
__
X
Y
Z
mark
Y
a__isNeList
__
V1
V2
a__isNeList
V1
mark
isList
X
a__isList
X
a____
__
X
Y
Z
a____
mark
Y
mark
Z
mark
and
X1
X2
a__and
mark
X1
X2
a__isNeList
__
V1
V2
a__and
a__isNeList
V1
isList
V2
a__isNeList
__
V1
V2
a__and
a__isList
V1
isNeList
V2
a____
X
nil
mark
X
a__isNePal
__
I
__
P
I
a__and
a__isQid
I
isPal
P
a__isList
__
V1
V2
a__isList
V1
a__isNeList
__
V1
V2
a__isList
V1
a__isList
V
a__isNeList
V
true
a__isList
V
a__isNeList
V
a____
__
X
Y
Z
mark
X
a__isNeList
__
V1
V2
a__isList
V1
a__and
tt
X
mark
X
a__isList
__
V1
V2
a__and
a__isList
V1
isList
V2
a__isList
__
V1
V2
a__isList
V1
mark
__
X1
X2
mark
X1
a__isNePal
__
I
__
P
I
a__and
a__isQid
I
isPal
P
a____
X
nil
mark
X
a____
nil
X
mark
X
a__isNeList
__
V1
V2
a__and
a__isList
V1
isNeList
V2
a____
__
X
Y
Z
a____
mark
X
a____
mark
Y
mark
Z
a__isNeList
__
V1
V2
a__and
a__isNeList
V1
isList
V2
mark
and
X1
X2
a__and
mark
X1
X2
a____
__
X
Y
Z
a____
mark
Y
mark
Z
mark
__
X1
X2
a____
mark
X1
mark
X2
mark
__
X1
X2
mark
X2
mark
isList
X
a__isList
X
a__isNeList
__
V1
V2
a__isNeList
V1
a____
__
X
Y
Z
mark
Y
mark
and
X1
X2
mark
X1
a____
__
X
Y
Z
mark
Z
mark
isNePal
X
a__isNePal
X
mark
isNeList
X
a__isNeList
X
a__isPal
V
a__isNePal
V
mark
isPal
X
a__isPal
X
true
a
0
1
a__isNePal
1
1
0
a__isNeList
1
1
0
isNeList
1
1
1
isPal
1
1
1
u
0
51150
and
2
1
2
283
a__isPal
1
1
1
isNePal
1
1
1
a____
2
1
2
285
isQid
1
1
1
a____
2
1
2
285
a__isList
1
1
1
a__isNeList
1
1
1
o
0
1
mark
1
1
1
isList
1
1
1
a__and
2
2
283
nil
0
1
a__isQid
1
0
mark
1
1
0
a__isNePal
1
1
1
i
0
21775
e
0
1
a__isPal
1
1
1
tt
0
1
a__isQid
1
1
1
a__isList
1
1
1
a__and
2
1
2
283
__
2
1
2
285
a____
__
X
Y
Z
a____
mark
X
a____
mark
Y
mark
Z
a__isQid
o
tt
a__and
tt
X
mark
X
a__isQid
a
tt
a__isNeList
V
a__isQid
V
a____
__
X
Y
Z
a____
mark
X
a____
mark
Y
mark
Z
a____
nil
X
mark
X
a__isQid
e
tt
mark
and
X1
X2
a__and
mark
X1
X2
a__isList
X
isList
X
mark
isPal
X
a__isPal
X
a__isQid
u
tt
mark
o
o
a__isQid
i
tt
mark
nil
nil
a____
X1
X2
__
X1
X2
mark
isList
X
a__isList
X
mark
tt
tt
a__isList
V
a__isNeList
V
mark
u
u
a__isNeList
__
V1
V2
a__and
a__isNeList
V1
isList
V2
a__isNePal
X
isNePal
X
a__isList
__
V1
V2
a__and
a__isList
V1
isList
V2
mark
__
X1
X2
a____
mark
X1
mark
X2
mark
isNePal
X
a__isNePal
X
mark
e
e
a__isPal
nil
tt
mark
i
i
a__isNePal
__
I
__
P
I
a__and
a__isQid
I
isPal
P
mark
isNeList
X
a__isNeList
X
mark
isQid
X
a__isQid
X
a__isNePal
V
a__isQid
V
a__isNeList
__
V1
V2
a__and
a__isList
V1
isNeList
V2
a__isPal
V
a__isNePal
V
a__isPal
X
isPal
X
a__isList
nil
tt
a__isQid
X
isQid
X
a__isNeList
X
isNeList
X
a__and
X1
X2
and
X1
X2
mark
a
a
a____
X
nil
mark
X
a____
__
X
Y
Z
a____
mark
X
a____
mark
Y
mark
Z
true
a
0
1
a__isNePal
1
0
a__isNeList
1
0
isNeList
1
1
1
isPal
1
1
21238
u
0
1
and
2
1
2
1
a__isPal
1
1
isNePal
1
1
21238
a____
2
1
285
isQid
1
1
1
a____
2
1
2
2
a__isList
1
1
1
a__isNeList
1
1
1
o
0
1
mark
1
1
isList
1
1
1
a__and
2
283
nil
0
1
a__isQid
1
0
mark
1
1
0
a__isNePal
1
1
21238
i
0
1
e
0
1
a__isPal
1
1
21238
tt
0
2
a__isQid
1
1
1
a__isList
1
1
a__and
2
1
2
1
__
2
1
2
2
a__isQid
o
tt
a__and
tt
X
mark
X
a__isQid
a
tt
a__isNeList
V
a__isQid
V
a____
__
X
Y
Z
a____
mark
X
a____
mark
Y
mark
Z
a____
nil
X
mark
X
a__isQid
e
tt
mark
and
X1
X2
a__and
mark
X1
X2
a__isList
X
isList
X
mark
isPal
X
a__isPal
X
a__isQid
u
tt
mark
o
o
a__isQid
i
tt
mark
nil
nil
a____
X1
X2
__
X1
X2
mark
isList
X
a__isList
X
mark
tt
tt
a__isList
V
a__isNeList
V
mark
u
u
a__isNeList
__
V1
V2
a__and
a__isNeList
V1
isList
V2
a__isNePal
X
isNePal
X
a__isList
__
V1
V2
a__and
a__isList
V1
isList
V2
mark
__
X1
X2
a____
mark
X1
mark
X2
mark
isNePal
X
a__isNePal
X
mark
e
e
a__isPal
nil
tt
mark
i
i
a__isNePal
__
I
__
P
I
a__and
a__isQid
I
isPal
P
mark
isNeList
X
a__isNeList
X
mark
isQid
X
a__isQid
X
a__isNePal
V
a__isQid
V
a__isNeList
__
V1
V2
a__and
a__isList
V1
isNeList
V2
a__isPal
V
a__isNePal
V
a__isPal
X
isPal
X
a__isList
nil
tt
a__isQid
X
isQid
X
a__isNeList
X
isNeList
X
a__and
X1
X2
and
X1
X2
mark
a
a
a____
X
nil
mark
X
mark
isQid
X
a__isQid
X
false
a__isNePal
V
a__isQid
V
false
a__isNeList
V
a__isQid
V
false
a__isNePal
__
I
__
P
I
a__isQid
I
false
NaTT
certifiable-1.6