active g X mark h X active c mark d active h d mark g c proper g X g proper X proper h X h proper X proper c ok c proper d ok d 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 top ok X top active X proper h X h proper X active g X h X proper g X g proper X proper g X proper X proper h X proper X g ok X g X top mark X proper X top ok X active X h ok X h X active h d g c top mark X top proper X true top mark X top proper X top ok X top active X true 2 1 h 1 0 1 1 0 1 1 16182 d 0 31160 1 top 1 0 0 top 1 1 1 0 0 1 0 0 c 0 102 15530 proper 1 0 1 1 0 1 31171 47352 ok 1 0 1 1 0 1 31171 47352 h 1 0 0 mark 1 0 0 1 0 1 31172 1 g 1 0 0 proper 1 0 0 active 1 0 0 1 1 1 15643 1 active 1 0 0 g 1 0 1 1 0 1 15530 31711 proper g X g proper X g ok X ok g X active g X mark h X active h d mark g c proper h X h proper X proper d ok d h ok X ok h X proper c ok c active c mark d top ok X active X false active h d g c false active g X h X false top mark X proper X false proper g X proper X proper h X proper X true h 1 1 1 d 0 1 top 1 0 top 1 0 c 0 42004 proper 1 1 ok 1 2 h 1 0 mark 1 1 g 1 0 proper 1 1 0 active 1 0 active 1 0 g 1 1 1 proper h X h proper X false h ok X h X true h 1 1 1 d 0 23684 top 1 0 top 1 0 c 0 1 proper 1 267 ok 1 1 591 h 1 1 0 mark 1 1 g 1 0 proper 1 0 active 1 0 active 1 0 g 1 1 17748 proper g X g proper X false g ok X g X true h 1 1 1 d 0 19496 top 1 0 top 1 0 c 0 12457 proper 1 3440 ok 1 1 591 h 1 0 mark 1 1 g 1 1 0 proper 1 0 active 1 0 active 1 0 g 1 1 1 NaTT certifiable-1.6