active
__
__
X
Y
Z
mark
__
X
__
Y
Z
active
__
X
nil
mark
X
active
__
nil
X
mark
X
active
U11
tt
mark
U12
tt
active
U12
tt
mark
tt
active
isNePal
__
I
__
P
I
mark
U11
tt
mark
__
X1
X2
active
__
mark
X1
mark
X2
mark
nil
active
nil
mark
U11
X
active
U11
mark
X
mark
tt
active
tt
mark
U12
X
active
U12
mark
X
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
U11
mark
X
U11
X
U11
active
X
U11
X
U12
mark
X
U12
X
U12
active
X
U12
X
isNePal
mark
X
isNePal
X
isNePal
active
X
isNePal
X
2.2
active
isNePal
__
I
__
P
I
mark
U11
tt
active
__
__
X
Y
Z
__
X
__
Y
Z
U11
active
X
U11
X
mark
U11
X
U11
mark
X
mark
isNePal
X
mark
X
mark
U12
X
U12
mark
X
mark
isNePal
X
active
isNePal
mark
X
U12
mark
X
U12
X
U11
mark
X
U11
X
mark
isNePal
X
isNePal
mark
X
mark
nil
active
nil
__
X1
mark
X2
__
X1
X2
active
__
__
X
Y
Z
__
Y
Z
isNePal
mark
X
isNePal
X
mark
tt
active
tt
mark
U11
X
mark
X
mark
U12
X
mark
X
active
U11
tt
mark
U12
tt
mark
U11
X
active
U11
mark
X
active
__
__
X
Y
Z
mark
__
X
__
Y
Z
isNePal
active
X
isNePal
X
active
U11
tt
U12
tt
active
__
nil
X
mark
X
mark
__
X1
X2
__
mark
X1
mark
X2
__
active
X1
X2
__
X1
X2
mark
__
X1
X2
mark
X2
__
X1
active
X2
__
X1
X2
active
U12
tt
mark
tt
mark
__
X1
X2
active
__
mark
X1
mark
X2
active
isNePal
__
I
__
P
I
U11
tt
active
__
X
nil
mark
X
mark
U12
X
active
U12
mark
X
U12
active
X
U12
X
__
mark
X1
X2
__
X1
X2
mark
__
X1
X2
mark
X1
true
mark
__
X1
X2
mark
X1
mark
U12
X
active
U12
mark
X
active
__
X
nil
mark
X
mark
__
X1
X2
active
__
mark
X1
mark
X2
mark
isNePal
X
active
isNePal
mark
X
mark
isNePal
X
mark
X
mark
__
X1
X2
mark
X2
active
__
nil
X
mark
X
active
__
__
X
Y
Z
mark
__
X
__
Y
Z
mark
U11
X
active
U11
mark
X
active
U11
tt
mark
U12
tt
mark
U12
X
mark
X
mark
U11
X
mark
X
active
isNePal
__
I
__
P
I
mark
U11
tt
true
U11
1
1
26634
__
2
0
isNePal
1
1
28740
U12
1
1
26633
U12
1
0
mark
1
1
0
isNePal
1
0
nil
0
50866
mark
1
1
0
U11
1
0
active
1
1
0
active
1
1
0
tt
0
3287
__
2
1
2
591
mark
U11
X
active
U11
mark
X
active
__
__
X
Y
Z
mark
__
X
__
Y
Z
mark
isNePal
X
active
isNePal
mark
X
mark
__
X1
X2
active
__
mark
X1
mark
X2
mark
U12
X
active
U12
mark
X
U11
active
X
U11
X
active
U11
tt
mark
U12
tt
__
active
X1
X2
__
X1
X2
mark
nil
active
nil
active
__
__
X
Y
Z
mark
__
X
__
Y
Z
active
__
nil
X
mark
X
__
X1
active
X2
__
X1
X2
isNePal
mark
X
isNePal
X
U12
mark
X
U12
X
U11
mark
X
U11
X
isNePal
active
X
isNePal
X
active
U12
tt
mark
tt
mark
tt
active
tt
mark
__
X1
X2
active
__
mark
X1
mark
X2
U12
active
X
U12
X
__
X1
mark
X2
__
X1
X2
mark
isNePal
X
active
isNePal
mark
X
mark
U12
X
active
U12
mark
X
mark
U11
X
active
U11
mark
X
__
mark
X1
X2
__
X1
X2
active
isNePal
__
I
__
P
I
mark
U11
tt
active
__
X
nil
mark
X
active
__
__
X
Y
Z
mark
__
X
__
Y
Z
mark
__
X1
X2
active
__
mark
X1
mark
X2
mark
isNePal
X
active
isNePal
mark
X
mark
U12
X
active
U12
mark
X
mark
U11
X
active
U11
mark
X
true
U11
1
4709
__
2
0
isNePal
1
1
U12
1
7630
U12
1
0
mark
1
24697
isNePal
1
0
nil
0
51457
mark
1
1
U11
1
0
active
1
1
active
1
1
0
tt
0
1
__
2
24697
mark
__
X1
X2
active
__
mark
X1
mark
X2
active
__
__
X
Y
Z
mark
__
X
__
Y
Z
U11
active
X
U11
X
active
U11
tt
mark
U12
tt
__
active
X1
X2
__
X1
X2
mark
nil
active
nil
active
__
__
X
Y
Z
mark
__
X
__
Y
Z
active
__
nil
X
mark
X
__
X1
active
X2
__
X1
X2
isNePal
mark
X
isNePal
X
U12
mark
X
U12
X
U11
mark
X
U11
X
isNePal
active
X
isNePal
X
active
U12
tt
mark
tt
mark
tt
active
tt
mark
__
X1
X2
active
__
mark
X1
mark
X2
U12
active
X
U12
X
__
X1
mark
X2
__
X1
X2
mark
isNePal
X
active
isNePal
mark
X
mark
U12
X
active
U12
mark
X
mark
U11
X
active
U11
mark
X
__
mark
X1
X2
__
X1
X2
active
isNePal
__
I
__
P
I
mark
U11
tt
active
__
X
nil
mark
X
active
__
__
X
Y
Z
mark
__
X
__
Y
Z
mark
__
X1
X2
active
__
mark
X1
mark
X2
true
__
2
1
U12
1
1
mark
1
1
active
1
1
U11
1
2
isNePal
1
2
U12
1
0
mark
1
1
1
isNePal
1
0
nil
0
3
U11
1
0
active
1
1
1
tt
0
1
__
2
2
1
2
U11
1
0
isNePal
1
0
U12
1
0
mark
1
1
0
isNePal
1
0
nil
0
0
U11
1
0
active
1
1
0
tt
0
0
__
2
1
0
2
0
0
mark
__
X1
X2
active
__
mark
X1
mark
X2
U11
active
X
U11
X
active
U11
tt
mark
U12
tt
__
active
X1
X2
__
X1
X2
mark
nil
active
nil
active
__
__
X
Y
Z
mark
__
X
__
Y
Z
active
__
nil
X
mark
X
__
X1
active
X2
__
X1
X2
isNePal
mark
X
isNePal
X
U12
mark
X
U12
X
U11
mark
X
U11
X
isNePal
active
X
isNePal
X
active
U12
tt
mark
tt
mark
tt
active
tt
mark
__
X1
X2
active
__
mark
X1
mark
X2
U12
active
X
U12
X
__
X1
mark
X2
__
X1
X2
mark
isNePal
X
active
isNePal
mark
X
mark
U12
X
active
U12
mark
X
mark
U11
X
active
U11
mark
X
__
mark
X1
X2
__
X1
X2
active
isNePal
__
I
__
P
I
mark
U11
tt
active
__
X
nil
mark
X
mark
__
X1
X2
active
__
mark
X1
mark
X2
false
active
isNePal
__
I
__
P
I
U11
tt
false
active
U12
tt
mark
tt
false
mark
U11
X
U11
mark
X
false
U11
mark
X
U11
X
U11
active
X
U11
X
true
U11
1
1
15261
__
2
0
isNePal
1
21387
U12
1
1
15263
U12
1
0
mark
1
0
isNePal
1
0
nil
0
0
mark
1
1
1
U11
1
1
0
active
1
1
2
active
1
1
tt
0
6128
__
2
1
mark
U12
X
U12
mark
X
false
U12
active
X
U12
X
U12
mark
X
U12
X
true
U11
1
1
3154
__
2
0
isNePal
1
3153
U12
1
1
3156
U12
1
1
0
mark
1
0
isNePal
1
0
nil
0
0
mark
1
1
1
U11
1
0
active
1
1
2
active
1
1
tt
0
1
__
2
45545
active
__
__
X
Y
Z
__
X
__
Y
Z
false
active
__
__
X
Y
Z
__
Y
Z
false
mark
isNePal
X
isNePal
mark
X
false
isNePal
mark
X
isNePal
X
isNePal
active
X
isNePal
X
true
U11
1
1
4187
__
2
0
isNePal
1
23744
U12
1
1
4189
U12
1
0
mark
1
0
isNePal
1
1
0
nil
0
0
mark
1
1
1
U11
1
0
active
1
1
2
active
1
1
tt
0
19559
__
2
45545
active
U11
tt
U12
tt
false
mark
__
X1
X2
__
mark
X1
mark
X2
false
__
mark
X1
X2
__
X1
X2
__
X1
mark
X2
__
X1
X2
__
X1
active
X2
__
X1
X2
__
active
X1
X2
__
X1
X2
true
U11
1
1
10197
__
2
1
0
isNePal
1
31729
U12
1
1
10199
U12
1
0
mark
1
0
isNePal
1
0
nil
0
0
mark
1
1
1
U11
1
0
active
1
1
2
active
1
1
tt
0
21534
__
2
1
__
X1
active
X2
__
X1
X2
__
X1
mark
X2
__
X1
X2
__
X1
active
X2
__
X1
X2
__
X1
mark
X2
__
X1
X2
true
U11
1
1
40401
__
2
2
0
isNePal
1
40400
U12
1
1
40403
U12
1
0
mark
1
0
isNePal
1
0
nil
0
0
mark
1
1
1
U11
1
0
active
1
1
2
active
1
1
tt
0
1
__
2
7690
mark
nil
active
nil
false
mark
tt
active
tt
false
NaTT
certifiable-1.6