a____
__
X
Y
Z
a____
mark
X
a____
mark
Y
mark
Z
a____
X
nil
mark
X
a____
nil
X
mark
X
a__U11
tt
a__U12
tt
a__U12
tt
tt
a__isNePal
__
I
__
P
I
a__U11
tt
mark
__
X1
X2
a____
mark
X1
mark
X2
mark
U11
X
a__U11
mark
X
mark
U12
X
a__U12
mark
X
mark
isNePal
X
a__isNePal
mark
X
mark
nil
nil
mark
tt
tt
a____
X1
X2
__
X1
X2
a__U11
X
U11
X
a__U12
X
U12
X
a__isNePal
X
isNePal
X
2.2
a__isNePal
__
I
__
P
I
a__U11
tt
mark
__
X1
X2
mark
X1
a____
__
X
Y
Z
a____
mark
Y
mark
Z
mark
isNePal
X
mark
X
a____
__
X
Y
Z
a____
mark
X
a____
mark
Y
mark
Z
a____
__
X
Y
Z
mark
X
a____
__
X
Y
Z
mark
Y
mark
__
X1
X2
mark
X2
a____
nil
X
mark
X
mark
__
X1
X2
a____
mark
X1
mark
X2
mark
U11
X
mark
X
mark
U11
X
a__U11
mark
X
mark
U12
X
a__U12
mark
X
a____
X
nil
mark
X
mark
isNePal
X
a__isNePal
mark
X
a____
__
X
Y
Z
mark
Z
mark
U12
X
mark
X
a__U11
tt
a__U12
tt
true
mark
U12
X
mark
X
a____
__
X
Y
Z
mark
Y
a____
__
X
Y
Z
mark
Z
a____
__
X
Y
Z
mark
X
a____
X
nil
mark
X
a____
__
X
Y
Z
a____
mark
X
a____
mark
Y
mark
Z
mark
isNePal
X
mark
X
a____
__
X
Y
Z
a____
mark
Y
mark
Z
mark
U11
X
mark
X
mark
__
X1
X2
mark
X1
mark
__
X1
X2
a____
mark
X1
mark
X2
a____
nil
X
mark
X
mark
__
X1
X2
mark
X2
true
a__isNePal
1
0
U11
1
1
9709
isNePal
1
1
10451
a__U11
1
0
a____
2
1
2
0
U12
1
1
9709
a____
2
1
2
1
a__U12
1
0
mark
1
1
0
nil
0
5854
mark
1
1
0
a__isNePal
1
1
10451
a__U11
1
1
9709
a__U12
1
1
9709
tt
0
399
__
2
1
2
1
a____
__
X
Y
Z
a____
mark
X
a____
mark
Y
mark
Z
a__U11
tt
a__U12
tt
a__U12
X
U12
X
mark
U11
X
a__U11
mark
X
a____
__
X
Y
Z
a____
mark
X
a____
mark
Y
mark
Z
a____
nil
X
mark
X
a__isNePal
X
isNePal
X
a__U12
tt
tt
mark
isNePal
X
a__isNePal
mark
X
mark
__
X1
X2
a____
mark
X1
mark
X2
a__U11
X
U11
X
mark
tt
tt
mark
nil
nil
mark
U12
X
a__U12
mark
X
a____
X1
X2
__
X1
X2
a__isNePal
__
I
__
P
I
a__U11
tt
a____
X
nil
mark
X
a____
__
X
Y
Z
a____
mark
X
a____
mark
Y
mark
Z
true
a__isNePal
1
0
U11
1
1
9709
isNePal
1
1
29372
a__U11
1
0
a____
2
1
0
U12
1
1
9709
a____
2
1
2
10225
a__U12
1
0
mark
1
0
nil
0
1
mark
1
1
0
a__isNePal
1
1
29372
a__U11
1
1
9709
a__U12
1
1
9709
tt
0
40113
__
2
1
2
10225
a__U11
tt
a__U12
tt
a__U12
X
U12
X
mark
U11
X
a__U11
mark
X
a____
__
X
Y
Z
a____
mark
X
a____
mark
Y
mark
Z
a____
nil
X
mark
X
a__isNePal
X
isNePal
X
a__U12
tt
tt
mark
isNePal
X
a__isNePal
mark
X
mark
__
X1
X2
a____
mark
X1
mark
X2
a__U11
X
U11
X
mark
tt
tt
mark
nil
nil
mark
U12
X
a__U12
mark
X
a____
X1
X2
__
X1
X2
a__isNePal
__
I
__
P
I
a__U11
tt
a____
X
nil
mark
X
mark
U12
X
a__U12
mark
X
false
mark
isNePal
X
a__isNePal
mark
X
false
mark
U11
X
a__U11
mark
X
false
a__isNePal
__
I
__
P
I
a__U11
tt
false
a__U11
tt
a__U12
tt
false
NaTT
certifiable-1.6