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