active f f X mark c f g f X active c X mark d X active h X mark c d 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 c X c proper X proper g X g proper X proper d X d proper X proper h X h proper X f ok X ok f X c ok X ok c X g ok X ok g X d ok X ok d X h ok X ok h X top mark X top proper X top ok X top active X 2.2 f mark X f X active f X active X proper d X d proper X proper g X proper X proper h X proper X h mark X h X active f f X g f X active f f X f g f X proper g X g proper X top mark X proper X active h X h active X top mark X top proper X proper f X f proper X active h X c d X proper d X proper X c ok X c X proper c X proper X active f X f active X active f f X c f g f X g ok X g X top ok X top active X d ok X d X proper f X proper X active h X d X h ok X h X f ok X f X active c X d X proper h X h proper X active h X active X proper c X c proper X top ok X active X true top mark X top proper X top ok X top active X true h 1 1 1 d 1 1 1 top 1 0 top 1 1 0 c 1 1 48638 f 1 1 1424 proper 1 1 1 ok 1 1 48642 h 1 0 d 1 0 mark 1 1 2 f 1 0 g 1 0 proper 1 0 c 1 0 active 1 1 48641 active 1 0 g 1 1 1 active f X f active X g ok X ok g X proper f X f proper X active f f X mark c f g f X active h X mark c d X d ok X ok d X h ok X ok h X active h X h active X proper g X g proper X h mark X mark h X c ok X ok c X proper h X h proper X proper d X d proper X proper c X c proper X f ok X ok f X f mark X mark f X active c X mark d X top ok X active X false top mark X proper X false proper f X proper X proper h X proper X proper g X proper X proper c X proper X proper d X proper X true h 1 1 1 d 1 1 1 top 1 0 top 1 1 0 c 1 1 1 f 1 1 1 proper 1 1 17678 ok 1 1 1 h 1 0 d 1 0 mark 1 1 1 f 1 0 g 1 0 proper 1 1 0 c 1 0 active 1 1 3 active 1 0 g 1 1 1 active f X f active X g ok X ok g X proper f X f proper X active f f X mark c f g f X active h X mark c d X d ok X ok d X h ok X ok h X active h X h active X proper g X g proper X h mark X mark h X c ok X ok c X proper h X h proper X proper d X d proper X proper c X c proper X f ok X ok f X f mark X mark f X active c X mark d X proper c X c proper X false proper d X d proper X false proper h X h proper X false proper g X g proper X false proper f X f proper X false active h X active X active f X active X true h 1 1 1 d 1 1 1 top 1 0 top 1 1 0 c 1 1 1 f 1 1 1 proper 1 1 34519 ok 1 1 1 h 1 0 d 1 0 mark 1 1 1 f 1 0 g 1 0 proper 1 0 c 1 0 active 1 1 12174 active 1 1 0 g 1 1 12172 active f X f active X g ok X ok g X proper f X f proper X active f f X mark c f g f X active h X mark c d X d ok X ok d X h ok X ok h X active h X h active X proper g X g proper X h mark X mark h X c ok X ok c X proper h X h proper X proper d X d proper X proper c X c proper X f ok X ok f X f mark X mark f X active c X mark d X active c X d X false active h X h active X false h ok X h X h mark X h X true h 1 1 1 d 1 1 2 top 1 0 top 1 1 0 c 1 1 1 f 1 1 1 proper 1 1 1 ok 1 1 1 h 1 1 0 d 1 0 mark 1 1 1 f 1 0 g 1 0 proper 1 0 c 1 0 active 1 1 3 active 1 0 g 1 1 1 active f X f active X g ok X ok g X proper f X f proper X active f f X mark c f g f X active h X mark c d X d ok X ok d X h ok X ok h X active h X h active X proper g X g proper X h mark X mark h X c ok X ok c X proper h X h proper X proper d X d proper X proper c X c proper X f ok X ok f X f mark X mark f X active c X mark d X active h X d X false d ok X d X true h 1 1 1 d 1 1 1 top 1 0 top 1 1 0 c 1 1 1 f 1 1 1 proper 1 1 1 ok 1 1 29405 h 1 0 d 1 1 0 mark 1 1 1 f 1 0 g 1 0 proper 1 0 c 1 0 active 1 1 3 active 1 0 g 1 1 1 active f X f active X g ok X ok g X proper f X f proper X active f f X mark c f g f X active h X mark c d X d ok X ok d X h ok X ok h X active h X h active X proper g X g proper X h mark X mark h X c ok X ok c X proper h X h proper X proper d X d proper X proper c X c proper X f ok X ok f X f mark X mark f X active c X mark d X active f f X c f g f X false active f f X f g f X false active f f X g f X false g ok X g X true h 1 1 1 d 1 1 1 top 1 0 top 1 1 0 c 1 1 1 f 1 1 1 proper 1 1 1 ok 1 1 1 h 1 0 d 1 0 mark 1 1 1 f 1 0 g 1 1 0 proper 1 0 c 1 0 active 1 1 3 active 1 0 g 1 1 1 active f X f active X g ok X ok g X proper f X f proper X active f f X mark c f g f X active h X mark c d X d ok X ok d X h ok X ok h X active h X h active X proper g X g proper X h mark X mark h X c ok X ok c X proper h X h proper X proper d X d proper X proper c X c proper X f ok X ok f X f mark X mark f X active c X mark d X active f X f active X false f ok X f X f mark X f X true h 1 1 1 d 1 1 top 1 0 top 1 1 0 c 1 1 1 f 1 1 1 proper 1 1 1 ok 1 1 0 h 1 0 d 1 0 mark 1 1 1 f 1 1 0 g 1 0 proper 1 0 c 1 0 active 1 1 3 active 1 0 g 1 1 1 f ok X f X active f X f active X g ok X ok g X proper f X f proper X active f f X mark c f g f X active h X mark c d X d ok X ok d X h ok X ok h X active h X h active X proper g X g proper X h mark X mark h X c ok X ok c X proper h X h proper X proper d X d proper X proper c X c proper X f ok X ok f X f mark X mark f X active c X mark d X f ok X f X true h 1 1 2 d 1 1 37832 top 1 0 top 1 1 0 c 1 1 1 f 1 1 1 proper 1 1 40691 ok 1 1 1 h 1 0 d 1 0 mark 1 1 1 f 1 1 0 g 1 0 proper 1 0 c 1 0 active 1 1 37832 active 1 0 g 1 1 19826 active f X f active X g ok X ok g X proper f X f proper X active f f X mark c f g f X active h X mark c d X d ok X ok d X h ok X ok h X active h X h active X proper g X g proper X h mark X mark h X c ok X ok c X proper h X h proper X proper d X d proper X proper c X c proper X f ok X ok f X f mark X mark f X active c X mark d X active h X c d X false c ok X c X true h 1 1 2 d 1 1 3 top 1 0 top 1 1 0 c 1 1 1 f 1 1 1 proper 1 1 1 ok 1 1 1 h 1 0 d 1 0 mark 1 1 31742 f 1 0 g 1 0 proper 1 0 c 1 1 0 active 1 1 31744 active 1 0 g 1 1 1 active f X f active X g ok X ok g X proper f X f proper X active f f X mark c f g f X active h X mark c d X d ok X ok d X h ok X ok h X active h X h active X proper g X g proper X h mark X mark h X c ok X ok c X proper h X h proper X proper d X d proper X proper c X c proper X f ok X ok f X f mark X mark f X active c X mark d X NaTT certifiable-1.6