active f f a mark f g f a active g X g active X g mark X mark g X proper f X f proper X proper a ok a 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 active g X active X top mark X proper X g ok X g X top ok X active X active f f a f g f a active f f a g f a proper f X f proper X f ok X f X g mark X g X top mark X top proper X proper g X g proper X active g X g active X top ok X top active X proper f X proper X proper g X proper X true top ok X top active X top mark X top proper X true 2 1 a 0 1 1 top 1 0 0 top 1 0 0 1 0 1 0 0 f 1 0 1 0 1 1 24898 1 proper 1 1 0 38631 ok 1 1 0 38631 mark 1 0 0 0 1 1 1 38632 f 1 0 0 g 1 0 0 proper 1 0 0 active 1 1 0 1 1 1 1 38630 active 1 0 0 g 1 0 0 0 1 1 1 0 proper f X f proper X g ok X ok g X active f f a mark f g f a g mark X mark g X proper a ok a f ok X ok f X proper g X g proper X active g X g active X top mark X proper X false proper g X proper X proper f X proper X true a 0 1 top 1 0 top 1 0 f 1 1 591 proper 1 4687 ok 1 4688 mark 1 42845 f 1 0 g 1 0 proper 1 1 0 active 1 33119 active 1 0 g 1 1 1 proper g X g proper X false proper f X f proper X false top ok X active X false f ok X f X true a 0 1 top 1 0 top 1 0 f 1 1 0 proper 1 12457 ok 1 1 12618 mark 1 42845 f 1 1 0 g 1 0 proper 1 0 active 1 33119 active 1 0 g 1 1 0 active g X active X true a 0 1 top 1 0 top 1 0 f 1 1 0 proper 1 33041 ok 1 1 33041 mark 1 53050 f 1 0 g 1 0 proper 1 0 active 1 43324 active 1 1 0 g 1 1 1 active g X g active X false g ok X g X g mark X g X true a 0 11650 top 1 0 top 1 0 f 1 1 0 proper 1 48683 ok 1 1 37034 mark 1 1 24609 f 1 0 g 1 1 0 proper 1 0 active 1 7177 active 1 0 g 1 1 24389 active f f a f g f a false active f f a g f a false NaTT certifiable-1.6