a__g
X
a__h
X
a__c
d
a__h
d
a__g
c
mark
g
X
a__g
X
mark
h
X
a__h
X
mark
c
a__c
mark
d
d
a__g
X
g
X
a__h
X
h
X
a__c
c
2.2
mark
h
X
a__h
X
mark
g
X
a__g
X
a__h
d
a__g
c
mark
c
a__c
a__g
X
a__h
X
true
mark
c
a__c
false
mark
g
X
a__g
X
false
mark
h
X
a__h
X
false
a__g
X
a__h
X
a__h
d
a__g
c
true
h
1
0
a__g
1
0
a__c
0
0
d
0
3
a__h
1
0
a__g
1
1
1
c
0
1
a__h
1
1
0
mark
1
0
mark
1
0
g
1
0
a__c
0
0
NaTT
certifiable-1.6