active c mark f g c active f g X mark g X proper c ok c proper f X f proper X proper g X g proper X f ok X ok f X g ok X ok g X top mark X top proper X top ok X top active X 2.2 top ok X top active X proper g X proper X top mark X top proper X proper f X f proper X proper f X proper X active c f g c top mark X proper X proper g X g proper X top ok X active X f ok X f X active c g c g ok X g X true top mark X top proper X top ok X top active X true top 1 0 top 1 1 0 c 0 41655 f 1 1 2999 proper 1 1 1 ok 1 1 0 mark 1 1 2999 f 1 0 g 1 0 proper 1 0 active 1 1 0 active 1 0 g 1 35657 top ok X top active X proper f X f proper X active c mark f g c proper c ok c proper g X g proper X g ok X ok g X f ok X ok f X active f g X mark g X top ok X top active X true top 1 0 top 1 1 0 c 0 41655 f 1 1 2241 proper 1 1 31124 ok 1 1 31124 mark 1 1 0 f 1 0 g 1 0 proper 1 0 active 1 1 2242 active 1 0 g 1 1 1 proper f X f proper X active c mark f g c proper c ok c proper g X g proper X g ok X ok g X f ok X ok f X active f g X mark g X top ok X active X false active c f g c false active c g c false top mark X proper X false proper f X proper X proper g X proper X true top 1 0 top 1 1 0 c 0 1 f 1 1 2241 proper 1 1 3037 ok 1 1 3037 mark 1 1 0 f 1 0 g 1 0 proper 1 1 0 active 1 1 2242 active 1 0 g 1 1 1 proper f X f proper X active c mark f g c proper c ok c proper g X g proper X g ok X ok g X f ok X ok f X active f g X mark g X proper g X g proper X false g ok X g X true top 1 0 top 1 1 0 c 0 1 f 1 1 1 proper 1 1 38145 ok 1 1 38145 mark 1 1 0 f 1 0 g 1 1 0 proper 1 0 active 1 1 36230 active 1 0 g 1 1 36229 proper f X f proper X active c mark f g c proper c ok c proper g X g proper X g ok X ok g X f ok X ok f X active f g X mark g X proper f X f proper X false f ok X f X true top 1 0 top 1 1 0 c 0 1 f 1 1 1 proper 1 1 38145 ok 1 1 38145 mark 1 1 0 f 1 1 0 g 1 0 proper 1 0 active 1 1 49486 active 1 0 g 1 1 49485 proper f X f proper X active c mark f g c proper c ok c proper g X g proper X g ok X ok g X f ok X ok f X active f g X mark g X NaTT certifiable-1.6