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__isNePal
__
I
__
P
I
tt
mark
__
X1
X2
a____
mark
X1
mark
X2
mark
and
X1
X2
a__and
mark
X1
X2
mark
isNePal
X
a__isNePal
mark
X
mark
nil
nil
mark
tt
tt
a____
X1
X2
__
X1
X2
a__and
X1
X2
and
X1
X2
a__isNePal
X
isNePal
X
2.2
mark
__
X1
X2
a____
mark
X1
mark
X2
mark
and
X1
X2
mark
X1
mark
isNePal
X
a__isNePal
mark
X
a____
__
X
Y
Z
mark
X
a____
__
X
Y
Z
mark
Y
a____
__
X
Y
Z
mark
Z
mark
isNePal
X
mark
X
a____
nil
X
mark
X
a____
__
X
Y
Z
a____
mark
Y
mark
Z
mark
and
X1
X2
a__and
mark
X1
X2
mark
__
X1
X2
mark
X1
a____
X
nil
mark
X
a____
__
X
Y
Z
a____
mark
X
a____
mark
Y
mark
Z
a__and
tt
X
mark
X
mark
__
X1
X2
mark
X2
true
mark
__
X1
X2
mark
X2
mark
isNePal
X
mark
X
a__and
tt
X
mark
X
a____
__
X
Y
Z
mark
Z
a____
__
X
Y
Z
a____
mark
X
a____
mark
Y
mark
Z
a____
X
nil
mark
X
mark
__
X1
X2
mark
X1
a____
__
X
Y
Z
mark
Y
a____
__
X
Y
Z
mark
X
mark
and
X1
X2
mark
X1
mark
and
X1
X2
a__and
mark
X1
X2
a____
__
X
Y
Z
a____
mark
Y
mark
Z
a____
nil
X
mark
X
mark
__
X1
X2
a____
mark
X1
mark
X2
true
a__isNePal
1
0
and
2
1
2
1
isNePal
1
1
2438
a____
2
1
2
0
a____
2
1
2
1
mark
1
1
0
a__and
2
1
2
0
nil
0
8856
mark
1
1
0
a__isNePal
1
1
2438
tt
0
1
a__and
2
1
2
1
__
2
1
2
1
a____
__
X
Y
Z
a____
mark
X
a____
mark
Y
mark
Z
a__and
tt
X
mark
X
mark
isNePal
X
a__isNePal
mark
X
a____
__
X
Y
Z
a____
mark
X
a____
mark
Y
mark
Z
a____
nil
X
mark
X
a__isNePal
__
I
__
P
I
tt
mark
tt
tt
mark
and
X1
X2
a__and
mark
X1
X2
a__and
X1
X2
and
X1
X2
a____
X1
X2
__
X1
X2
mark
nil
nil
a__isNePal
X
isNePal
X
mark
__
X1
X2
a____
mark
X1
mark
X2
a____
X
nil
mark
X
a____
__
X
Y
Z
a____
mark
X
a____
mark
Y
mark
Z
true
a__isNePal
1
0
and
2
1
2
1
isNePal
1
1
2438
a____
2
1
0
a____
2
1
2
1
mark
1
0
a__and
2
0
nil
0
50349
mark
1
1
0
a__isNePal
1
1
2438
tt
0
1507
a__and
2
1
2
1
__
2
1
2
1
a__and
tt
X
mark
X
mark
isNePal
X
a__isNePal
mark
X
a____
__
X
Y
Z
a____
mark
X
a____
mark
Y
mark
Z
a____
nil
X
mark
X
a__isNePal
__
I
__
P
I
tt
mark
tt
tt
mark
and
X1
X2
a__and
mark
X1
X2
a__and
X1
X2
and
X1
X2
a____
X1
X2
__
X1
X2
mark
nil
nil
a__isNePal
X
isNePal
X
mark
__
X1
X2
a____
mark
X1
mark
X2
a____
X
nil
mark
X
mark
isNePal
X
a__isNePal
mark
X
false
NaTT
certifiable-1.6