active
f
a
X
X
mark
f
X
b
b
active
b
mark
a
mark
f
X1
X2
X3
active
f
X1
mark
X2
X3
mark
a
active
a
mark
b
active
b
f
mark
X1
X2
X3
f
X1
X2
X3
f
X1
mark
X2
X3
f
X1
X2
X3
f
X1
X2
mark
X3
f
X1
X2
X3
f
active
X1
X2
X3
f
X1
X2
X3
f
X1
active
X2
X3
f
X1
X2
X3
f
X1
X2
active
X3
f
X1
X2
X3
2.2
f
mark
X1
X2
X3
f
X1
X2
X3
f
X1
active
X2
X3
f
X1
X2
X3
f
X1
X2
mark
X3
f
X1
X2
X3
mark
f
X1
X2
X3
f
X1
mark
X2
X3
active
f
a
X
X
mark
f
X
b
b
active
f
a
X
X
f
X
b
b
mark
a
active
a
mark
b
active
b
mark
f
X1
X2
X3
mark
X2
f
X1
mark
X2
X3
f
X1
X2
X3
f
active
X1
X2
X3
f
X1
X2
X3
active
b
mark
a
mark
f
X1
X2
X3
active
f
X1
mark
X2
X3
f
X1
X2
active
X3
f
X1
X2
X3
true
mark
f
X1
X2
X3
active
f
X1
mark
X2
X3
active
f
a
X
X
mark
f
X
b
b
mark
f
X1
X2
X3
mark
X2
true
a
0
2438
b
0
2438
f
3
1
2
8856
mark
1
1
0
mark
1
1
0
f
3
0
active
1
1
0
active
1
1
0
active
f
a
X
X
mark
f
X
b
b
mark
f
X1
X2
X3
active
f
X1
mark
X2
X3
mark
a
active
a
f
X1
X2
mark
X3
f
X1
X2
X3
active
f
a
X
X
mark
f
X
b
b
mark
f
X1
X2
X3
active
f
X1
mark
X2
X3
mark
b
active
b
f
X1
active
X2
X3
f
X1
X2
X3
f
X1
mark
X2
X3
f
X1
X2
X3
f
X1
X2
active
X3
f
X1
X2
X3
f
active
X1
X2
X3
f
X1
X2
X3
f
mark
X1
X2
X3
f
X1
X2
X3
active
b
mark
a
active
f
a
X
X
mark
f
X
b
b
mark
f
X1
X2
X3
active
f
X1
mark
X2
X3
true
a
0
3
b
0
1
f
3
1
3
47562
mark
1
1
1
mark
1
1
1
f
3
0
active
1
1
2
active
1
1
0
f
X1
X2
mark
X3
f
X1
X2
X3
f
X1
active
X2
X3
f
X1
X2
X3
f
X1
mark
X2
X3
f
X1
X2
X3
f
X1
X2
active
X3
f
X1
X2
X3
f
active
X1
X2
X3
f
X1
X2
X3
f
mark
X1
X2
X3
f
X1
X2
X3
active
f
a
X
X
f
X
b
b
false
mark
f
X1
X2
X3
f
X1
mark
X2
X3
false
mark
b
active
b
false
active
b
mark
a
false
mark
a
active
a
false
f
X1
X2
active
X3
f
X1
X2
X3
f
active
X1
X2
X3
f
X1
X2
X3
f
X1
X2
mark
X3
f
X1
X2
X3
f
X1
active
X2
X3
f
X1
X2
X3
f
X1
mark
X2
X3
f
X1
X2
X3
f
mark
X1
X2
X3
f
X1
X2
X3
true
a
0
3
b
0
1
f
3
1
3
47562
mark
1
1
1
mark
1
1
1
f
3
1
2
3
0
active
1
1
2
active
1
1
0
f
X1
X2
mark
X3
f
X1
X2
X3
f
X1
active
X2
X3
f
X1
X2
X3
f
X1
mark
X2
X3
f
X1
X2
X3
f
X1
X2
active
X3
f
X1
X2
X3
f
active
X1
X2
X3
f
X1
X2
X3
f
mark
X1
X2
X3
f
X1
X2
X3
NaTT
certifiable-1.6