active
f
g
X
Y
mark
f
X
f
g
X
Y
mark
f
X1
X2
active
f
mark
X1
X2
mark
g
X
active
g
mark
X
f
mark
X1
X2
f
X1
X2
f
X1
mark
X2
f
X1
X2
f
active
X1
X2
f
X1
X2
f
X1
active
X2
f
X1
X2
g
mark
X
g
X
g
active
X
g
X
2.2
mark
f
X1
X2
f
mark
X1
X2
f
X1
active
X2
f
X1
X2
g
mark
X
g
X
mark
g
X
g
mark
X
active
f
g
X
Y
mark
f
X
f
g
X
Y
active
f
g
X
Y
f
X
f
g
X
Y
f
mark
X1
X2
f
X1
X2
f
X1
mark
X2
f
X1
X2
mark
g
X
mark
X
g
active
X
g
X
mark
f
X1
X2
mark
X1
mark
f
X1
X2
active
f
mark
X1
X2
mark
g
X
active
g
mark
X
f
active
X1
X2
f
X1
X2
true
mark
g
X
active
g
mark
X
mark
f
X1
X2
active
f
mark
X1
X2
mark
f
X1
X2
mark
X1
active
f
g
X
Y
mark
f
X
f
g
X
Y
mark
g
X
mark
X
true
f
2
1
2438
mark
1
1
30095
mark
1
1
30094
f
2
0
g
1
0
active
1
1
0
active
1
1
0
g
1
1
30096
f
mark
X1
X2
f
X1
X2
g
mark
X
g
X
active
f
g
X
Y
mark
f
X
f
g
X
Y
mark
g
X
active
g
mark
X
f
X1
mark
X2
f
X1
X2
f
X1
active
X2
f
X1
X2
g
active
X
g
X
f
active
X1
X2
f
X1
X2
mark
f
X1
X2
active
f
mark
X1
X2
active
f
g
X
Y
f
X
f
g
X
Y
false
mark
g
X
g
mark
X
false
g
mark
X
g
X
g
active
X
g
X
true
f
2
1
8366
mark
1
1
30095
mark
1
1
1
f
2
0
g
1
1
0
active
1
1
0
active
1
1
0
g
1
1
1
g
active
X
g
X
f
mark
X1
X2
f
X1
X2
g
mark
X
g
X
active
f
g
X
Y
mark
f
X
f
g
X
Y
mark
g
X
active
g
mark
X
f
X1
mark
X2
f
X1
X2
f
X1
active
X2
f
X1
X2
g
active
X
g
X
f
active
X1
X2
f
X1
X2
mark
f
X1
X2
active
f
mark
X1
X2
g
active
X
g
X
true
f
2
1
35657
mark
1
1
30095
mark
1
1
1
f
2
0
g
1
1
0
active
1
1
1
active
1
0
g
1
29283
f
mark
X1
X2
f
X1
X2
g
mark
X
g
X
f
X1
mark
X2
f
X1
X2
f
X1
active
X2
f
X1
X2
g
active
X
g
X
f
active
X1
X2
f
X1
X2
mark
f
X1
X2
f
mark
X1
X2
false
f
active
X1
X2
f
X1
X2
f
mark
X1
X2
f
X1
X2
f
X1
active
X2
f
X1
X2
f
X1
mark
X2
f
X1
X2
true
f
2
1
1324
mark
1
1
30095
mark
1
1
1
f
2
2
0
g
1
0
active
1
1
1
active
1
0
g
1
47339
f
mark
X1
X2
f
X1
X2
f
active
X1
X2
f
X1
X2
f
mark
X1
X2
f
X1
X2
g
mark
X
g
X
f
X1
mark
X2
f
X1
X2
f
X1
active
X2
f
X1
X2
g
active
X
g
X
f
active
X1
X2
f
X1
X2
f
mark
X1
X2
f
X1
X2
f
active
X1
X2
f
X1
X2
true
f
2
1
1324
mark
1
1
30095
mark
1
1
1
f
2
1
0
g
1
0
active
1
1
1
active
1
0
g
1
34725
f
mark
X1
X2
f
X1
X2
g
mark
X
g
X
f
X1
mark
X2
f
X1
X2
f
X1
active
X2
f
X1
X2
g
active
X
g
X
f
active
X1
X2
f
X1
X2
NaTT
certifiable-1.6