active f f a mark c f g f a active f X f active X active g X g active X f mark X mark f X g mark X mark g X proper f X f proper X proper a ok a proper c X c proper X proper g X g proper X f ok X ok f X c ok X ok c X g ok X ok g X top mark X top proper X top ok X top active X 2.2 active f X active X top mark X proper X f ok X f X c ok X c X top ok X top active X top ok X active X g mark X g X proper c X c proper X proper g X g proper X g ok X g X top mark X top proper X f mark X f X active f f a c f g f a active f f a g f a proper c X proper X active g X active X proper f X f proper X active f X f active X proper g X proper X active g X g active X proper f X proper X active f f a f g f a true top ok X top active X top mark X top proper X true a 0 7579 top 1 0 top 1 1 0 c 1 51 f 1 1 1 proper 1 1 1 ok 1 1 0 mark 1 1 2 f 1 0 g 1 0 proper 1 0 c 1 0 active 1 1 0 active 1 0 g 1 1 1 top ok X top active X f mark X mark f X proper c X c proper X active f f a mark c f g f a active g X g active X g mark X mark g X f ok X ok f X proper a ok a g ok X ok g X c ok X ok c X proper g X g proper X proper f X f proper X active f X f active X top ok X top active X true a 0 12330 top 1 0 top 1 1 0 c 1 1 25155 f 1 1 1 proper 1 1 56722 ok 1 1 56722 mark 1 1 1 f 1 0 g 1 0 proper 1 0 c 1 0 active 1 1 56721 active 1 0 g 1 1 31565 f mark X mark f X proper c X c proper X active f f a mark c f g f a active g X g active X g mark X mark g X f ok X ok f X proper a ok a g ok X ok g X c ok X ok c X proper g X g proper X proper f X f proper X active f X f active X top mark X proper X false proper f X proper X proper g X proper X proper c X proper X true a 0 1 top 1 0 top 1 1 0 c 1 1 24773 f 1 1 1 proper 1 1 1 ok 1 1 1 mark 1 1 1 f 1 0 g 1 0 proper 1 1 0 c 1 0 active 1 1 52085 active 1 0 g 1 1 27311 f mark X mark f X proper c X c proper X active f f a mark c f g f a active g X g active X g mark X mark g X f ok X ok f X proper a ok a g ok X ok g X c ok X ok c X proper g X g proper X proper f X f proper X active f X f active X proper f X f proper X false top ok X active X false proper g X g proper X false active g X active X active f X active X true a 0 1 top 1 0 top 1 1 0 c 1 1 44049 f 1 1 46876 proper 1 1 1 ok 1 1 1 mark 1 1 1 f 1 0 g 1 0 proper 1 0 c 1 0 active 1 1 44051 active 1 1 0 g 1 1 1 f mark X mark f X proper c X c proper X active f f a mark c f g f a active g X g active X g mark X mark g X f ok X ok f X proper a ok a g ok X ok g X c ok X ok c X proper g X g proper X proper f X f proper X active f X f active X active f X f active X false f ok X f X f mark X f X true a 0 2805 top 1 0 top 1 1 0 c 1 1 33124 f 1 1 1 proper 1 1 1 ok 1 1 1 mark 1 1 1 f 1 1 0 g 1 0 proper 1 0 c 1 0 active 1 1 33126 active 1 0 g 1 1 1 f mark X mark f X proper c X c proper X active f f a mark c f g f a active g X g active X g mark X mark g X f ok X ok f X proper a ok a g ok X ok g X c ok X ok c X proper g X g proper X proper f X f proper X active f X f active X active g X g active X false g mark X g X g ok X g X true a 0 11575 top 1 0 top 1 1 0 c 1 1 35355 f 1 1 1 proper 1 1 1 ok 1 1 1 mark 1 1 1 f 1 0 g 1 1 0 proper 1 0 c 1 0 active 1 1 77360 active 1 0 g 1 1 42004 f mark X mark f X proper c X c proper X active f f a mark c f g f a active g X g active X g mark X mark g X f ok X ok f X proper a ok a g ok X ok g X c ok X ok c X proper g X g proper X proper f X f proper X active f X f active X active f f a c f g f a false active f f a f g f a false active f f a g f a false proper c X c proper X false c ok X c X true a 0 11576 top 1 0 top 1 1 0 c 1 1 1 f 1 1 22313 proper 1 1 25192 ok 1 1 1 mark 1 1 1 f 1 0 g 1 0 proper 1 0 c 1 1 0 active 1 1 26172 active 1 0 g 1 1 26170 f mark X mark f X proper c X c proper X active f f a mark c f g f a active g X g active X g mark X mark g X f ok X ok f X proper a ok a g ok X ok g X c ok X ok c X proper g X g proper X proper f X f proper X active f X f active X NaTT certifiable-1.6