a__h
X
a__g
mark
X
X
a__g
a
X
a__f
b
X
a__f
X
X
a__h
a__a
a__a
b
mark
h
X
a__h
mark
X
mark
g
X1
X2
a__g
mark
X1
X2
mark
a
a__a
mark
f
X1
X2
a__f
mark
X1
X2
mark
b
b
a__h
X
h
X
a__g
X1
X2
g
X1
X2
a__a
a
a__f
X1
X2
f
X1
X2
2.2
mark
g
X1
X2
a__g
mark
X1
X2
mark
h
X
mark
X
a__h
X
a__g
mark
X
X
mark
f
X1
X2
a__f
mark
X1
X2
mark
f
X1
X2
mark
X1
a__f
X
X
a__h
a__a
a__h
X
mark
X
mark
h
X
a__h
mark
X
mark
g
X1
X2
mark
X1
a__g
a
X
a__f
b
X
a__f
X
X
a__a
mark
a
a__a
true
mark
f
X1
X2
mark
X1
a__g
a
X
a__f
b
X
mark
g
X1
X2
mark
X1
mark
f
X1
X2
a__f
mark
X1
X2
a__h
X
a__g
mark
X
X
mark
h
X
mark
X
mark
h
X
a__h
mark
X
a__h
X
mark
X
a__f
X
X
a__h
a__a
mark
g
X1
X2
a__g
mark
X1
X2
true
a
0
0
h
1
1
30614
a__g
2
1
30614
a__h
1
1
30614
b
0
0
a__g
2
1
a__a
0
0
a__f
2
1
30614
a__h
1
1
1
f
2
1
30614
mark
1
1
0
a__a
0
0
mark
1
1
0
a__f
2
1
g
2
1
30614
a__f
X
X
a__h
a__a
a__h
X
a__g
mark
X
X
a__g
a
X
a__f
b
X
a__a
b
mark
f
X1
X2
a__f
mark
X1
X2
a__h
X
a__g
mark
X
X
a__f
X
X
a__h
a__a
mark
h
X
a__h
mark
X
a__h
X
h
X
mark
a
a__a
a__a
a
a__g
X1
X2
g
X1
X2
mark
b
b
a__f
X1
X2
f
X1
X2
mark
g
X1
X2
a__g
mark
X1
X2
a__g
a
X
a__f
b
X
a__h
X
a__g
mark
X
X
a__f
X
X
a__h
a__a
a__g
a
X
a__f
b
X
true
Failed!
NaTT
certifiable-1.6