active f X mark g h f X active f X f active X active h X h active X f mark X mark f X h mark X mark h X proper f X f proper X proper g X g proper X proper h X h proper X f ok X ok f X g ok X ok g X h ok X ok h X top mark X top proper X top ok X top active X 2.2 active f X active X top ok X active X g ok X g X top mark X top proper X proper g X g proper X proper g X proper X h mark X h X proper h X proper X f ok X f X top mark X proper X top ok X top active X active f X g h f X proper h X h proper X f mark X f X active h X active X proper f X f proper X active f X f active X h ok X h X active h X h active X proper f X proper X active f X h f X true top mark X top proper X top ok X top active X true h 1 1 1 top 1 0 top 1 1 0 f 1 1 1 proper 1 1 1 ok 1 1 5 h 1 0 mark 1 1 2 f 1 0 g 1 0 proper 1 0 active 1 1 4 active 1 0 g 1 1 1 f mark X mark f X proper h X h proper X active f X mark g h f X active h X h active X h mark X mark h X g ok X ok g X proper g X g proper X h ok X ok h X f ok X ok f X proper f X f proper X active f X f active X top ok X active X false top mark X proper X false active h X active X active f X active X true h 1 1 1 top 1 0 top 1 1 0 f 1 1 1 proper 1 1 1 ok 1 1 5 h 1 0 mark 1 1 1 f 1 0 g 1 0 proper 1 0 active 1 1 3 active 1 1 0 g 1 1 1 f mark X mark f X proper h X h proper X active f X mark g h f X active h X h active X h mark X mark h X g ok X ok g X proper g X g proper X h ok X ok h X f ok X ok f X proper f X f proper X active f X f active X active f X f active X false active h X h active X false active f X g h f X false active f X h f X false proper f X proper X proper g X proper X proper h X proper X true h 1 1 1 top 1 0 top 1 1 0 f 1 1 28382 proper 1 1 21680 ok 1 1 5 h 1 0 mark 1 1 1 f 1 0 g 1 0 proper 1 1 0 active 1 1 3 active 1 0 g 1 1 1 f mark X mark f X proper h X h proper X active f X mark g h f X active h X h active X h mark X mark h X g ok X ok g X proper g X g proper X h ok X ok h X f ok X ok f X proper f X f proper X active f X f active X proper f X f proper X false f mark X f X f ok X f X true h 1 1 1 top 1 0 top 1 1 0 f 1 1 1 proper 1 1 1 ok 1 1 5 h 1 0 mark 1 1 1 f 1 1 0 g 1 0 proper 1 0 active 1 1 3 active 1 0 g 1 1 1 f mark X mark f X proper h X h proper X active f X mark g h f X active h X h active X h mark X mark h X g ok X ok g X proper g X g proper X h ok X ok h X f ok X ok f X proper f X f proper X active f X f active X proper g X g proper X false g ok X g X true h 1 1 1 top 1 0 top 1 1 0 f 1 1 1 proper 1 1 1 ok 1 1 1 h 1 0 mark 1 1 1 f 1 0 g 1 1 0 proper 1 0 active 1 1 35659 active 1 0 g 1 1 35657 f mark X mark f X proper h X h proper X active f X mark g h f X active h X h active X h mark X mark h X g ok X ok g X proper g X g proper X h ok X ok h X f ok X ok f X proper f X f proper X active f X f active X proper h X h proper X false h mark X h X h ok X h X true h 1 1 1 top 1 0 top 1 1 0 f 1 1 12172 proper 1 1 1 ok 1 1 1 h 1 1 0 mark 1 1 1 f 1 0 g 1 0 proper 1 0 active 1 1 32871 active 1 0 g 1 1 32869 f mark X mark f X proper h X h proper X active f X mark g h f X active h X h active X h mark X mark h X g ok X ok g X proper g X g proper X h ok X ok h X f ok X ok f X proper f X f proper X active f X f active X NaTT certifiable-1.6