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