active
__
__
X
Y
Z
mark
__
X
__
Y
Z
active
__
X
nil
mark
X
active
__
nil
X
mark
X
active
and
tt
X
mark
X
active
isNePal
__
I
__
P
I
mark
tt
mark
__
X1
X2
active
__
mark
X1
mark
X2
mark
nil
active
nil
mark
and
X1
X2
active
and
mark
X1
X2
mark
tt
active
tt
mark
isNePal
X
active
isNePal
mark
X
__
mark
X1
X2
__
X1
X2
__
X1
mark
X2
__
X1
X2
__
active
X1
X2
__
X1
X2
__
X1
active
X2
__
X1
X2
and
mark
X1
X2
and
X1
X2
and
X1
mark
X2
and
X1
X2
and
active
X1
X2
and
X1
X2
and
X1
active
X2
and
X1
X2
isNePal
mark
X
isNePal
X
isNePal
active
X
isNePal
X
2.2
mark
__
X1
X2
active
__
mark
X1
mark
X2
and
X1
active
X2
and
X1
X2
__
active
X1
X2
__
X1
X2
mark
isNePal
X
active
isNePal
mark
X
__
X1
mark
X2
__
X1
X2
isNePal
active
X
isNePal
X
mark
and
X1
X2
active
and
mark
X1
X2
active
__
__
X
Y
Z
__
Y
Z
mark
nil
active
nil
mark
isNePal
X
isNePal
mark
X
mark
and
X1
X2
and
mark
X1
X2
active
__
nil
X
mark
X
mark
tt
active
tt
__
X1
active
X2
__
X1
X2
mark
__
X1
X2
mark
X2
active
and
tt
X
mark
X
active
__
__
X
Y
Z
__
X
__
Y
Z
and
mark
X1
X2
and
X1
X2
and
active
X1
X2
and
X1
X2
and
X1
mark
X2
and
X1
X2
mark
and
X1
X2
mark
X1
active
__
__
X
Y
Z
mark
__
X
__
Y
Z
active
isNePal
__
I
__
P
I
mark
tt
mark
__
X1
X2
__
mark
X1
mark
X2
active
__
X
nil
mark
X
__
mark
X1
X2
__
X1
X2
mark
isNePal
X
mark
X
mark
__
X1
X2
mark
X1
isNePal
mark
X
isNePal
X
true
mark
__
X1
X2
mark
X1
mark
isNePal
X
mark
X
active
__
X
nil
mark
X
mark
and
X1
X2
active
and
mark
X1
X2
active
__
__
X
Y
Z
mark
__
X
__
Y
Z
mark
and
X1
X2
mark
X1
mark
isNePal
X
active
isNePal
mark
X
active
and
tt
X
mark
X
mark
__
X1
X2
mark
X2
mark
__
X1
X2
active
__
mark
X1
mark
X2
active
__
nil
X
mark
X
true
and
2
8368
__
2
0
isNePal
1
8366
mark
1
8368
isNePal
1
0
nil
0
8368
mark
1
8367
active
1
1
0
active
1
1
0
tt
0
20165
and
2
0
__
2
8368
active
__
nil
X
mark
X
mark
__
X1
X2
active
__
mark
X1
mark
X2
mark
__
X1
X2
mark
X2
active
and
tt
X
mark
X
mark
and
X1
X2
mark
X1
active
__
__
X
Y
Z
mark
__
X
__
Y
Z
mark
and
X1
X2
active
and
mark
X1
X2
active
__
X
nil
mark
X
mark
isNePal
X
mark
X
mark
__
X1
X2
mark
X1
and
X1
active
X2
and
X1
X2
and
mark
X1
X2
and
X1
X2
and
X1
mark
X2
and
X1
X2
isNePal
mark
X
isNePal
X
and
active
X1
X2
and
X1
X2
isNePal
active
X
isNePal
X
__
X1
active
X2
__
X1
X2
__
X1
mark
X2
__
X1
X2
__
mark
X1
X2
__
X1
X2
__
active
X1
X2
__
X1
X2
active
and
tt
X
mark
X
mark
and
X1
X2
mark
X1
mark
and
X1
X2
active
and
mark
X1
X2
active
__
__
X
Y
Z
mark
__
X
__
Y
Z
active
__
nil
X
mark
X
mark
isNePal
X
mark
X
mark
__
X1
X2
mark
X2
mark
__
X1
X2
mark
X1
mark
__
X1
X2
active
__
mark
X1
mark
X2
active
__
X
nil
mark
X
true
and
2
1
2
2998
__
2
0
isNePal
1
1
23046
mark
1
1
0
isNePal
1
0
nil
0
41514
mark
1
1
0
active
1
1
0
active
1
1
0
tt
0
28
and
2
0
__
2
1
2
8946
mark
__
X1
X2
active
__
mark
X1
mark
X2
active
__
__
X
Y
Z
mark
__
X
__
Y
Z
mark
and
X1
X2
active
and
mark
X1
X2
and
X1
active
X2
and
X1
X2
active
and
tt
X
mark
X
and
mark
X1
X2
and
X1
X2
mark
and
X1
X2
active
and
mark
X1
X2
active
__
__
X
Y
Z
mark
__
X
__
Y
Z
active
__
nil
X
mark
X
and
X1
mark
X2
and
X1
X2
isNePal
mark
X
isNePal
X
and
active
X1
X2
and
X1
X2
active
isNePal
__
I
__
P
I
mark
tt
mark
isNePal
X
active
isNePal
mark
X
mark
nil
active
nil
isNePal
active
X
isNePal
X
__
X1
active
X2
__
X1
X2
__
X1
mark
X2
__
X1
X2
__
mark
X1
X2
__
X1
X2
mark
tt
active
tt
__
active
X1
X2
__
X1
X2
mark
__
X1
X2
active
__
mark
X1
mark
X2
active
__
X
nil
mark
X
mark
and
X1
X2
active
and
mark
X1
X2
active
__
__
X
Y
Z
mark
__
X
__
Y
Z
mark
__
X1
X2
active
__
mark
X1
mark
X2
true
and
2
28882
__
2
0
isNePal
1
2241
mark
1
28883
isNePal
1
0
nil
0
9726
mark
1
1
1
active
1
28885
active
1
1
0
tt
0
28885
and
2
0
__
2
28883
mark
__
X1
X2
active
__
mark
X1
mark
X2
active
__
__
X
Y
Z
mark
__
X
__
Y
Z
and
X1
active
X2
and
X1
X2
and
mark
X1
X2
and
X1
X2
and
X1
mark
X2
and
X1
X2
isNePal
mark
X
isNePal
X
and
active
X1
X2
and
X1
X2
isNePal
active
X
isNePal
X
__
X1
active
X2
__
X1
X2
__
X1
mark
X2
__
X1
X2
__
mark
X1
X2
__
X1
X2
__
active
X1
X2
__
X1
X2
active
__
__
X
Y
Z
mark
__
X
__
Y
Z
mark
__
X1
X2
active
__
mark
X1
mark
X2
true
mark
1
1
isNePal
1
1
mark
1
1
active
1
1
active
1
1
and
2
1
1
2
__
2
0
1
2
isNePal
1
1
nil
0
2
tt
0
0
and
2
0
2
1
__
2
1
1
2
and
2
1
0
2
0
0
__
2
1
0
2
0
0
isNePal
1
0
nil
0
0
tt
0
0
and
2
1
0
2
0
0
__
2
1
0
2
0
0
mark
__
X1
X2
active
__
mark
X1
mark
X2
and
X1
active
X2
and
X1
X2
active
and
tt
X
mark
X
and
mark
X1
X2
and
X1
X2
mark
and
X1
X2
active
and
mark
X1
X2
active
__
__
X
Y
Z
mark
__
X
__
Y
Z
active
__
nil
X
mark
X
and
X1
mark
X2
and
X1
X2
isNePal
mark
X
isNePal
X
and
active
X1
X2
and
X1
X2
active
isNePal
__
I
__
P
I
mark
tt
mark
isNePal
X
active
isNePal
mark
X
mark
nil
active
nil
isNePal
active
X
isNePal
X
__
X1
active
X2
__
X1
X2
__
X1
mark
X2
__
X1
X2
__
mark
X1
X2
__
X1
X2
mark
tt
active
tt
__
active
X1
X2
__
X1
X2
mark
__
X1
X2
active
__
mark
X1
mark
X2
active
__
X
nil
mark
X
mark
__
X1
X2
active
__
mark
X1
mark
X2
false
active
isNePal
__
I
__
P
I
mark
tt
false
mark
__
X1
X2
__
mark
X1
mark
X2
false
mark
tt
active
tt
false
mark
nil
active
nil
false
active
__
__
X
Y
Z
__
X
__
Y
Z
false
active
__
__
X
Y
Z
__
Y
Z
false
__
mark
X1
X2
__
X1
X2
__
X1
mark
X2
__
X1
X2
__
active
X1
X2
__
X1
X2
__
X1
active
X2
__
X1
X2
true
and
2
1
2
1
__
2
1
2
0
isNePal
1
1
2
mark
1
0
isNePal
1
0
nil
0
42910
mark
1
1
4
active
1
1
1
active
1
0
tt
0
1
and
2
0
__
2
1
mark
isNePal
X
isNePal
mark
X
false
isNePal
mark
X
isNePal
X
isNePal
active
X
isNePal
X
true
and
2
1
2
1
__
2
0
isNePal
1
1
1
mark
1
0
isNePal
1
1
0
nil
0
42910
mark
1
1
4
active
1
1
1
active
1
0
tt
0
1
and
2
0
__
2
1
mark
and
X1
X2
and
mark
X1
X2
false
and
X1
mark
X2
and
X1
X2
and
active
X1
X2
and
X1
X2
and
mark
X1
X2
and
X1
X2
and
X1
active
X2
and
X1
X2
true
and
2
1
2
1
__
2
0
isNePal
1
1
1
mark
1
0
isNePal
1
0
nil
0
41065
mark
1
1
4
active
1
1
1
active
1
0
tt
0
1
and
2
1
0
__
2
1
and
X1
active
X2
and
X1
X2
and
X1
mark
X2
and
X1
X2
and
X1
active
X2
and
X1
X2
and
X1
mark
X2
and
X1
X2
true
and
2
1
2
1
__
2
0
isNePal
1
1
1
mark
1
0
isNePal
1
0
nil
0
52629
mark
1
1
4
active
1
1
1
active
1
0
tt
0
1
and
2
2
0
__
2
2
NaTT
certifiable-1.6