__
__
X
Y
Z
__
X
__
Y
Z
__
X
nil
X
__
nil
X
X
and
tt
X
activate
X
isList
V
isNeList
activate
V
isList
n__nil
tt
isList
n____
V1
V2
and
isList
activate
V1
n__isList
activate
V2
isNeList
V
isQid
activate
V
isNeList
n____
V1
V2
and
isList
activate
V1
n__isNeList
activate
V2
isNeList
n____
V1
V2
and
isNeList
activate
V1
n__isList
activate
V2
isNePal
V
isQid
activate
V
isNePal
n____
I
__
P
I
and
isQid
activate
I
n__isPal
activate
P
isPal
V
isNePal
activate
V
isPal
n__nil
tt
isQid
n__a
tt
isQid
n__e
tt
isQid
n__i
tt
isQid
n__o
tt
isQid
n__u
tt
nil
n__nil
__
X1
X2
n____
X1
X2
isList
X
n__isList
X
isNeList
X
n__isNeList
X
isPal
X
n__isPal
X
a
n__a
e
n__e
i
n__i
o
n__o
u
n__u
activate
n__nil
nil
activate
n____
X1
X2
__
X1
X2
activate
n__isList
X
isList
X
activate
n__isNeList
X
isNeList
X
activate
n__isPal
X
isPal
X
activate
n__a
a
activate
n__e
e
activate
n__i
i
activate
n__o
o
activate
n__u
u
activate
X
X
2.2
activate
n__i
i
isList
V
activate
V
isNeList
V
isQid
activate
V
and
tt
X
activate
X
isNeList
n____
V1
V2
and
isList
activate
V1
n__isNeList
activate
V2
isNePal
n____
I
__
P
I
isQid
activate
I
isNeList
n____
V1
V2
activate
V2
isNePal
V
activate
V
isNeList
n____
V1
V2
isNeList
activate
V1
isNeList
n____
V1
V2
and
isNeList
activate
V1
n__isList
activate
V2
isNePal
n____
I
__
P
I
and
isQid
activate
I
n__isPal
activate
P
activate
n__isList
X
isList
X
isNePal
n____
I
__
P
I
activate
I
activate
n__isPal
X
isPal
X
isNeList
n____
V1
V2
activate
V1
isList
n____
V1
V2
activate
V1
isNeList
n____
V1
V2
isList
activate
V1
isNePal
V
isQid
activate
V
__
__
X
Y
Z
__
X
__
Y
Z
isPal
V
activate
V
isList
V
isNeList
activate
V
activate
n__u
u
__
__
X
Y
Z
__
Y
Z
activate
n__isNeList
X
isNeList
X
activate
n__nil
nil
activate
n__e
e
isList
n____
V1
V2
isList
activate
V1
isNeList
n____
V1
V2
activate
V2
isNeList
V
activate
V
isList
n____
V1
V2
activate
V2
activate
n____
X1
X2
__
X1
X2
activate
n__o
o
activate
n__a
a
isNeList
n____
V1
V2
activate
V1
isNePal
n____
I
__
P
I
activate
P
isPal
V
isNePal
activate
V
isList
n____
V1
V2
and
isList
activate
V1
n__isList
activate
V2
true
isList
n____
V1
V2
and
isList
activate
V1
n__isList
activate
V2
isNeList
n____
V1
V2
activate
V1
isPal
V
isNePal
activate
V
activate
n__isPal
X
isPal
X
isNePal
n____
I
__
P
I
activate
I
isNePal
n____
I
__
P
I
activate
P
activate
n__isList
X
isList
X
isNePal
n____
I
__
P
I
and
isQid
activate
I
n__isPal
activate
P
isNeList
n____
V1
V2
activate
V1
isNeList
n____
V1
V2
and
isNeList
activate
V1
n__isList
activate
V2
isNeList
n____
V1
V2
isNeList
activate
V1
isList
n____
V1
V2
activate
V2
isNeList
V
activate
V
isNeList
n____
V1
V2
activate
V2
isNePal
V
activate
V
isNeList
n____
V1
V2
activate
V2
isList
n____
V1
V2
isList
activate
V1
isNeList
n____
V1
V2
and
isList
activate
V1
n__isNeList
activate
V2
activate
n__isNeList
X
isNeList
X
isList
V
isNeList
activate
V
isPal
V
activate
V
and
tt
X
activate
X
isNeList
n____
V1
V2
isList
activate
V1
isList
V
activate
V
isList
n____
V1
V2
activate
V1
true
a
0
1
n__a
0
1
n__o
0
2438
isNeList
1
1
2
isPal
1
1
39471
e
0
0
u
0
10451
activate
1
1
39468
and
2
1
2
39467
u
0
0
n__isNeList
1
1
2
isNeList
1
1
1
activate
1
1
0
n__i
0
11798
__
2
0
n__isList
1
1
39471
isNePal
1
1
1
isQid
1
0
isPal
1
1
39470
n__isPal
1
1
39471
n__nil
0
14219
isQid
1
1
n____
2
1
2
157874
n__e
0
32286
o
0
2438
isList
1
1
39471
isNePal
1
1
1
nil
0
14219
n__u
0
10451
o
0
0
nil
0
0
isList
1
1
39470
i
0
11798
e
0
32286
a
0
0
tt
0
1
and
2
2
78935
__
2
1
2
157874
i
0
0
isQid
n__o
tt
and
tt
X
activate
X
isQid
n__a
tt
isNeList
V
isQid
activate
V
__
__
X
Y
Z
__
X
__
Y
Z
__
nil
X
X
isQid
n__e
tt
__
X1
X2
n____
X1
X2
activate
n__e
e
e
n__e
isQid
n__u
tt
activate
n__isList
X
isList
X
isQid
n__i
tt
i
n__i
activate
n__isPal
X
isPal
X
isList
X
n__isList
X
o
n__o
isList
V
isNeList
activate
V
activate
n__isNeList
X
isNeList
X
isNeList
n____
V1
V2
and
isNeList
activate
V1
n__isList
activate
V2
activate
n__u
u
isList
n____
V1
V2
and
isList
activate
V1
n__isList
activate
V2
nil
n__nil
a
n__a
activate
n__nil
nil
isPal
n__nil
tt
activate
n____
X1
X2
__
X1
X2
isNePal
n____
I
__
P
I
and
isQid
activate
I
n__isPal
activate
P
isNeList
X
n__isNeList
X
isPal
X
n__isPal
X
isNePal
V
isQid
activate
V
isNeList
n____
V1
V2
and
isList
activate
V1
n__isNeList
activate
V2
isPal
V
isNePal
activate
V
activate
X
X
isList
n__nil
tt
activate
n__o
o
activate
n__i
i
activate
n__a
a
u
n__u
__
X
nil
X
isNePal
V
isQid
activate
V
false
isNePal
n____
I
__
P
I
isQid
activate
I
false
isNeList
V
isQid
activate
V
false
activate
n__a
a
false
activate
n__i
i
false
activate
n__o
o
false
activate
n____
X1
X2
__
X1
X2
false
__
__
X
Y
Z
__
Y
Z
__
__
X
Y
Z
__
X
__
Y
Z
true
a
0
2
n__a
0
1
n__o
0
42193
isNeList
1
1
1
isPal
1
1
39471
e
0
0
u
0
46572
activate
1
1
1
and
2
1
2
0
u
0
0
n__isNeList
1
1
1
isNeList
1
1
1
activate
1
0
n__i
0
15922
__
2
1
2
0
n__isList
1
1
2
isNePal
1
1
39467
isQid
1
0
isPal
1
39470
n__isPal
1
1
39471
n__nil
0
1
isQid
1
1
n____
2
1
2
4
n__e
0
47262
o
0
42194
isList
1
1
2
isNePal
1
1
1
nil
0
1
n__u
0
46572
o
0
0
nil
0
0
isList
1
1
39470
i
0
15923
e
0
47263
a
0
0
tt
0
1
and
2
2
78935
__
2
1
2
4
i
0
0
__
__
X
Y
Z
__
X
__
Y
Z
isQid
n__o
tt
and
tt
X
activate
X
isQid
n__a
tt
isNeList
V
isQid
activate
V
__
__
X
Y
Z
__
X
__
Y
Z
__
nil
X
X
isQid
n__e
tt
__
X1
X2
n____
X1
X2
activate
n__e
e
e
n__e
isQid
n__u
tt
activate
n__isList
X
isList
X
isQid
n__i
tt
i
n__i
activate
n__isPal
X
isPal
X
isList
X
n__isList
X
o
n__o
isList
V
isNeList
activate
V
activate
n__isNeList
X
isNeList
X
isNeList
n____
V1
V2
and
isNeList
activate
V1
n__isList
activate
V2
activate
n__u
u
isList
n____
V1
V2
and
isList
activate
V1
n__isList
activate
V2
nil
n__nil
a
n__a
activate
n__nil
nil
isPal
n__nil
tt
activate
n____
X1
X2
__
X1
X2
isNePal
n____
I
__
P
I
and
isQid
activate
I
n__isPal
activate
P
isNeList
X
n__isNeList
X
isPal
X
n__isPal
X
isNePal
V
isQid
activate
V
isNeList
n____
V1
V2
and
isList
activate
V1
n__isNeList
activate
V2
isPal
V
isNePal
activate
V
activate
X
X
isList
n__nil
tt
activate
n__o
o
activate
n__i
i
activate
n__a
a
u
n__u
__
X
nil
X
__
__
X
Y
Z
__
X
__
Y
Z
true
a
0
3
n__a
0
1
n__o
0
46441
isNeList
1
1
1
isPal
1
1
39471
e
0
0
u
0
46572
activate
1
1
2
and
2
1
2
1
u
0
0
n__isNeList
1
1
1
isNeList
1
1
1
activate
1
0
n__i
0
23612
__
2
1
0
n__isList
1
1
1
isNePal
1
1
39466
isQid
1
0
isPal
1
39470
n__isPal
1
1
39471
n__nil
0
1
isQid
1
1
n____
2
1
2
8
n__e
0
47262
o
0
46443
isList
1
1
3
isNePal
1
1
1
nil
0
1
n__u
0
46572
o
0
0
nil
0
0
isList
1
1
39470
i
0
23614
e
0
47264
a
0
0
tt
0
1
and
2
2
78935
__
2
1
2
8
i
0
0
isQid
n__o
tt
and
tt
X
activate
X
isQid
n__a
tt
isNeList
V
isQid
activate
V
__
__
X
Y
Z
__
X
__
Y
Z
__
nil
X
X
isQid
n__e
tt
__
X1
X2
n____
X1
X2
activate
n__e
e
e
n__e
isQid
n__u
tt
activate
n__isList
X
isList
X
isQid
n__i
tt
i
n__i
activate
n__isPal
X
isPal
X
isList
X
n__isList
X
o
n__o
isList
V
isNeList
activate
V
activate
n__isNeList
X
isNeList
X
isNeList
n____
V1
V2
and
isNeList
activate
V1
n__isList
activate
V2
activate
n__u
u
isList
n____
V1
V2
and
isList
activate
V1
n__isList
activate
V2
nil
n__nil
a
n__a
activate
n__nil
nil
isPal
n__nil
tt
activate
n____
X1
X2
__
X1
X2
isNePal
n____
I
__
P
I
and
isQid
activate
I
n__isPal
activate
P
isNeList
X
n__isNeList
X
isPal
X
n__isPal
X
isNePal
V
isQid
activate
V
isNeList
n____
V1
V2
and
isList
activate
V1
n__isNeList
activate
V2
isPal
V
isNePal
activate
V
activate
X
X
isList
n__nil
tt
activate
n__o
o
activate
n__i
i
activate
n__a
a
u
n__u
__
X
nil
X
activate
n__nil
nil
false
activate
n__u
u
false
activate
n__e
e
false
NaTT
certifiable-1.6