a__f
X
g
X
Y
a__f
Y
Y
Y
a__g
b
c
a__b
c
mark
f
X1
X2
X3
a__f
X1
X2
X3
mark
g
X
a__g
mark
X
mark
b
a__b
mark
c
c
a__f
X1
X2
X3
f
X1
X2
X3
a__g
X
g
X
a__b
b
2.2
mark
g
X
a__g
mark
X
mark
f
X1
X2
X3
a__f
X1
X2
X3
mark
g
X
mark
X
mark
b
a__b
a__f
X
g
X
Y
a__f
Y
Y
Y
true
mark
g
X
mark
X
true
a__g
1
0
b
0
0
a__b
0
0
a__g
1
0
a__f
3
0
c
0
0
a__b
0
0
f
3
0
mark
1
1
0
mark
1
0
a__f
3
0
g
1
1
1
mark
b
a__b
false
mark
f
X1
X2
X3
a__f
X1
X2
X3
false
a__f
X
g
X
Y
a__f
Y
Y
Y
true
Failed!
NaTT
certifiable-1.6