active
f
X
X
mark
f
a
b
active
b
mark
a
mark
f
X1
X2
active
f
mark
X1
X2
mark
a
active
a
mark
b
active
b
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
2.2
f
mark
X1
X2
f
X1
X2
mark
f
X1
X2
active
f
mark
X1
X2
active
f
X
X
mark
f
a
b
f
active
X1
X2
f
X1
X2
mark
a
active
a
mark
f
X1
X2
f
mark
X1
X2
active
f
X
X
f
a
b
mark
b
active
b
f
X1
active
X2
f
X1
X2
active
b
mark
a
mark
f
X1
X2
mark
X1
f
X1
mark
X2
f
X1
X2
true
mark
f
X1
X2
mark
X1
active
f
X
X
mark
f
a
b
mark
f
X1
X2
active
f
mark
X1
X2
true
a
0
0
b
0
1
f
2
1
41063
mark
1
1
2
mark
1
1
3
f
2
0
active
1
1
1
active
1
41065
mark
f
X1
X2
active
f
mark
X1
X2
active
f
X
X
mark
f
a
b
f
active
X1
X2
f
X1
X2
f
X1
mark
X2
f
X1
X2
f
X1
active
X2
f
X1
X2
f
mark
X1
X2
f
X1
X2
active
f
X
X
mark
f
a
b
mark
f
X1
X2
active
f
mark
X1
X2
true
Failed!
NaTT
certifiable-1.6