a__f
g
X
Y
a__f
mark
X
f
g
X
Y
mark
f
X1
X2
a__f
mark
X1
X2
mark
g
X
g
mark
X
a__f
X1
X2
f
X1
X2
2.2
mark
f
X1
X2
mark
X1
a__f
g
X
Y
mark
X
mark
g
X
mark
X
mark
f
X1
X2
a__f
mark
X1
X2
a__f
g
X
Y
a__f
mark
X
f
g
X
Y
true
a__f
g
X
Y
a__f
mark
X
f
g
X
Y
mark
f
X1
X2
a__f
mark
X1
X2
mark
g
X
mark
X
a__f
g
X
Y
mark
X
mark
f
X1
X2
mark
X1
true
a__f
2
1
1
f
2
1
1
mark
1
1
23676
mark
1
1
23676
a__f
2
1
0
g
1
1
23677
a__f
X1
X2
f
X1
X2
a__f
g
X
Y
a__f
mark
X
f
g
X
Y
mark
g
X
g
mark
X
mark
f
X1
X2
a__f
mark
X1
X2
NaTT
certifiable-1.6