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