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
active
__
X1
X2
__
active
X1
X2
active
__
X1
X2
__
X1
active
X2
active
U11
X
U11
active
X
active
U12
X
U12
active
X
active
isNePal
X
isNePal
active
X
__
mark
X1
X2
mark
__
X1
X2
__
X1
mark
X2
mark
__
X1
X2
U11
mark
X
mark
U11
X
U12
mark
X
mark
U12
X
isNePal
mark
X
mark
isNePal
X
proper
__
X1
X2
__
proper
X1
proper
X2
proper
nil
ok
nil
proper
U11
X
U11
proper
X
proper
tt
ok
tt
proper
U12
X
U12
proper
X
proper
isNePal
X
isNePal
proper
X
__
ok
X1
ok
X2
ok
__
X1
X2
U11
ok
X
ok
U11
X
U12
ok
X
ok
U12
X
isNePal
ok
X
ok
isNePal
X
top
mark
X
top
proper
X
top
ok
X
top
active
X
2.2
__
X1
mark
X2
__
X1
X2
proper
U12
X
proper
X
U12
mark
X
U12
X
active
isNePal
X
active
X
active
__
X1
X2
active
X1
__
mark
X1
X2
__
X1
X2
U12
ok
X
U12
X
proper
__
X1
X2
proper
X2
proper
__
X1
X2
proper
X1
active
__
X1
X2
__
active
X1
X2
active
__
__
X
Y
Z
__
X
__
Y
Z
active
U12
X
U12
active
X
isNePal
mark
X
isNePal
X
proper
U11
X
U11
proper
X
top
mark
X
top
proper
X
U11
ok
X
U11
X
U11
mark
X
U11
X
active
__
X1
X2
__
X1
active
X2
active
isNePal
X
isNePal
active
X
proper
U12
X
U12
proper
X
proper
__
X1
X2
__
proper
X1
proper
X2
active
__
X1
X2
active
X2
isNePal
ok
X
isNePal
X
top
ok
X
active
X
active
__
__
X
Y
Z
__
Y
Z
proper
isNePal
X
proper
X
proper
U11
X
proper
X
active
U11
tt
U12
tt
top
mark
X
proper
X
top
ok
X
top
active
X
active
U11
X
U11
active
X
active
isNePal
__
I
__
P
I
U11
tt
__
ok
X1
ok
X2
__
X1
X2
active
U12
X
active
X
active
U11
X
active
X
proper
isNePal
X
isNePal
proper
X
true
top
ok
X
top
active
X
top
mark
X
top
proper
X
true
top
1
1
__
2
1
isNePal
1
1
U12
1
1
proper
1
1
ok
1
1
active
1
1
U11
1
2
1
top
1
0
U12
1
1
1
isNePal
1
0
nil
0
0
mark
1
1
1
proper
1
0
U11
1
0
active
1
0
tt
0
3
__
2
5
1
2
U11
1
1
0
top
1
0
U12
1
1
0
isNePal
1
0
nil
0
0
mark
1
1
0
proper
1
0
U11
1
0
active
1
0
tt
0
0
__
2
1
0
2
0
0
top
ok
X
top
active
X
proper
nil
ok
nil
active
U11
tt
mark
U12
tt
U12
mark
X
mark
U12
X
active
__
X1
X2
__
X1
active
X2
active
__
__
X
Y
Z
mark
__
X
__
Y
Z
active
__
nil
X
mark
X
isNePal
mark
X
mark
isNePal
X
proper
U12
X
U12
proper
X
isNePal
ok
X
ok
isNePal
X
proper
U11
X
U11
proper
X
proper
__
X1
X2
__
proper
X1
proper
X2
proper
isNePal
X
isNePal
proper
X
active
U12
tt
mark
tt
active
U12
X
U12
active
X
active
__
X1
X2
__
active
X1
X2
proper
tt
ok
tt
U12
ok
X
ok
U12
X
U11
mark
X
mark
U11
X
__
mark
X1
X2
mark
__
X1
X2
__
ok
X1
ok
X2
ok
__
X1
X2
U11
ok
X
ok
U11
X
active
isNePal
X
isNePal
active
X
active
U11
X
U11
active
X
__
X1
mark
X2
mark
__
X1
X2
active
isNePal
__
I
__
P
I
mark
U11
tt
active
__
X
nil
mark
X
top
ok
X
top
active
X
true
U11
1
1
0
top
1
0
top
1
1
0
__
2
0
isNePal
1
1
0
U12
1
1
0
U12
1
0
proper
1
48699
ok
1
1
30802
isNePal
1
0
nil
0
15261
mark
1
0
proper
1
0
U11
1
0
active
1
1
30801
active
1
0
tt
0
17897
__
2
2
0
proper
nil
ok
nil
active
U11
tt
mark
U12
tt
U12
mark
X
mark
U12
X
active
__
X1
X2
__
X1
active
X2
active
__
__
X
Y
Z
mark
__
X
__
Y
Z
active
__
nil
X
mark
X
isNePal
mark
X
mark
isNePal
X
proper
U12
X
U12
proper
X
isNePal
ok
X
ok
isNePal
X
proper
U11
X
U11
proper
X
proper
__
X1
X2
__
proper
X1
proper
X2
proper
isNePal
X
isNePal
proper
X
active
U12
tt
mark
tt
active
U12
X
U12
active
X
active
__
X1
X2
__
active
X1
X2
proper
tt
ok
tt
U12
ok
X
ok
U12
X
U11
mark
X
mark
U11
X
__
mark
X1
X2
mark
__
X1
X2
__
ok
X1
ok
X2
ok
__
X1
X2
U11
ok
X
ok
U11
X
active
isNePal
X
isNePal
active
X
active
U11
X
U11
active
X
__
X1
mark
X2
mark
__
X1
X2
active
isNePal
__
I
__
P
I
mark
U11
tt
active
__
X
nil
mark
X
top
ok
X
active
X
false
active
U11
X
active
X
active
U12
X
active
X
active
__
X1
X2
active
X1
active
isNePal
X
active
X
active
__
X1
X2
active
X2
true
U11
1
1
1
top
1
0
top
1
0
__
2
0
isNePal
1
1
1
U12
1
1
1
U12
1
0
proper
1
899
ok
1
1
24198
isNePal
1
0
nil
0
28938
mark
1
1
19045
proper
1
0
U11
1
0
active
1
19044
active
1
1
0
tt
0
1
__
2
1
2
1
U12
mark
X
mark
U12
X
U12
ok
X
ok
U12
X
__
mark
X1
X2
mark
__
X1
X2
__
ok
X1
ok
X2
ok
__
X1
X2
__
X1
mark
X2
mark
__
X1
X2
active
isNePal
__
I
__
P
I
U11
tt
false
active
U11
X
U11
active
X
false
active
isNePal
X
isNePal
active
X
false
active
__
X1
X2
__
active
X1
X2
false
active
U12
X
U12
active
X
false
active
__
__
X
Y
Z
__
X
__
Y
Z
false
active
__
__
X
Y
Z
__
Y
Z
false
active
__
X1
X2
__
X1
active
X2
false
active
U11
tt
U12
tt
false
top
mark
X
proper
X
false
proper
__
X1
X2
proper
X1
proper
__
X1
X2
proper
X2
proper
U11
X
proper
X
proper
isNePal
X
proper
X
proper
U12
X
proper
X
true
U11
1
1
1
top
1
0
top
1
0
__
2
0
isNePal
1
1
1
U12
1
1
1
U12
1
0
proper
1
1
ok
1
1
1
isNePal
1
0
nil
0
1
mark
1
1
2
proper
1
1
0
U11
1
0
active
1
1
active
1
0
tt
0
1
__
2
1
2
1
U12
mark
X
mark
U12
X
U12
ok
X
ok
U12
X
__
mark
X1
X2
mark
__
X1
X2
__
ok
X1
ok
X2
ok
__
X1
X2
__
X1
mark
X2
mark
__
X1
X2
proper
isNePal
X
isNePal
proper
X
false
isNePal
mark
X
isNePal
X
isNePal
ok
X
isNePal
X
true
U11
1
1
15620
top
1
0
top
1
0
__
2
0
isNePal
1
1
24168
U12
1
1
1
U12
1
0
proper
1
1
ok
1
1
12237
isNePal
1
1
0
nil
0
54886
mark
1
1
2
proper
1
0
U11
1
0
active
1
1
active
1
0
tt
0
1
__
2
1
2
1
U12
mark
X
mark
U12
X
U12
ok
X
ok
U12
X
__
mark
X1
X2
mark
__
X1
X2
__
ok
X1
ok
X2
ok
__
X1
X2
__
X1
mark
X2
mark
__
X1
X2
proper
__
X1
X2
__
proper
X1
proper
X2
false
__
ok
X1
ok
X2
__
X1
X2
__
mark
X1
X2
__
X1
X2
__
X1
mark
X2
__
X1
X2
true
U11
1
1
1
top
1
0
top
1
0
__
2
1
2
0
isNePal
1
1
24168
U12
1
1
1
U12
1
0
proper
1
1
ok
1
1
3566
isNePal
1
0
nil
0
3247
mark
1
1
2
proper
1
0
U11
1
0
active
1
1
active
1
0
tt
0
1
__
2
1
2
1
U12
mark
X
mark
U12
X
U12
ok
X
ok
U12
X
__
mark
X1
X2
mark
__
X1
X2
__
ok
X1
ok
X2
ok
__
X1
X2
__
X1
mark
X2
mark
__
X1
X2
proper
U11
X
U11
proper
X
false
U11
mark
X
U11
X
U11
ok
X
U11
X
true
U11
1
1
19621
top
1
0
top
1
0
__
2
0
isNePal
1
1
24168
U12
1
1
1
U12
1
0
proper
1
1
ok
1
1
3566
isNePal
1
0
nil
0
1
mark
1
1
3
proper
1
0
U11
1
1
0
active
1
1
active
1
0
tt
0
1
__
2
1
2
1
U12
mark
X
mark
U12
X
U12
ok
X
ok
U12
X
__
mark
X1
X2
mark
__
X1
X2
__
ok
X1
ok
X2
ok
__
X1
X2
__
X1
mark
X2
mark
__
X1
X2
proper
U12
X
U12
proper
X
false
U12
ok
X
U12
X
U12
mark
X
U12
X
true
U11
1
1
1
top
1
0
top
1
0
__
2
0
isNePal
1
1
24168
U12
1
1
3578
U12
1
1
0
proper
1
1
ok
1
1
3566
isNePal
1
0
nil
0
1
mark
1
1
2
proper
1
0
U11
1
0
active
1
1
active
1
0
tt
0
1
__
2
1
2
1
U12
mark
X
mark
U12
X
U12
ok
X
ok
U12
X
__
mark
X1
X2
mark
__
X1
X2
__
ok
X1
ok
X2
ok
__
X1
X2
__
X1
mark
X2
mark
__
X1
X2
NaTT
certifiable-1.6