active
f
X
g
X
Y
mark
f
Y
Y
Y
active
g
b
mark
c
active
b
mark
c
mark
f
X1
X2
X3
active
f
X1
X2
X3
mark
g
X
active
g
mark
X
mark
b
active
b
mark
c
active
c
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
g
mark
X
g
X
g
active
X
g
X
2.2
mark
b
active
b
f
X1
active
X2
X3
f
X1
X2
X3
active
b
mark
c
f
X1
X2
mark
X3
f
X1
X2
X3
mark
g
X
g
mark
X
mark
g
X
mark
X
active
f
X
g
X
Y
mark
f
Y
Y
Y
g
mark
X
g
X
mark
g
X
active
g
mark
X
f
active
X1
X2
X3
f
X1
X2
X3
g
active
X
g
X
f
mark
X1
X2
X3
f
X1
X2
X3
f
X1
X2
active
X3
f
X1
X2
X3
active
g
b
mark
c
mark
c
active
c
active
f
X
g
X
Y
f
Y
Y
Y
f
X1
mark
X2
X3
f
X1
X2
X3
mark
f
X1
X2
X3
active
f
X1
X2
X3
true
mark
f
X1
X2
X3
active
f
X1
X2
X3
active
f
X
g
X
Y
mark
f
Y
Y
Y
mark
g
X
mark
X
mark
g
X
active
g
mark
X
true
b
0
1
c
0
5
f
3
1
mark
1
1
0
mark
1
1
40651
f
3
0
g
1
0
active
1
1
40652
active
1
1
g
1
1
2
active
f
X
g
X
Y
mark
f
Y
Y
Y
mark
f
X1
X2
X3
active
f
X1
X2
X3
f
mark
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
active
X1
X2
X3
f
X1
X2
X3
f
X1
mark
X2
X3
f
X1
X2
X3
f
X1
X2
active
X3
f
X1
X2
X3
mark
f
X1
X2
X3
active
f
X1
X2
X3
active
f
X
g
X
Y
mark
f
Y
Y
Y
true
Failed!
NaTT
certifiable-1.6