active f a X X mark f X b b active b mark a active f X1 X2 X3 f X1 active X2 X3 f X1 mark X2 X3 mark f X1 X2 X3 proper f X1 X2 X3 f proper X1 proper X2 proper X3 proper a ok a proper b ok b f ok X1 ok X2 ok X3 ok f X1 X2 X3 top mark X top proper X top ok X top active X 2.2 top mark X proper X proper f X1 X2 X3 proper X1 f X1 mark X2 X3 f X1 X2 X3 active f X1 X2 X3 f X1 active X2 X3 active f a X X f X b b f ok X1 ok X2 ok X3 f X1 X2 X3 proper f X1 X2 X3 proper X2 active f X1 X2 X3 active X2 proper f X1 X2 X3 f proper X1 proper X2 proper X3 top ok X top active X top mark X top proper X proper f X1 X2 X3 proper X3 top ok X active X true top mark X top proper X top ok X top active X true 2 1 a 0 36291 1 b 0 0 18146 top 1 0 0 top 1 0 0 1 0 1 0 0 f 3 1 1 0 0 1 0 0 0 1 2 0 1 0 0 3 1 1 proper 1 1 0 27571 ok 1 1 0 27571 mark 1 0 0 0 1 1 1 27572 f 3 0 0 proper 1 0 0 active 1 0 0 1 1 1 0 9427 active 1 0 0 f X1 mark X2 X3 mark f X1 X2 X3 f ok X1 ok X2 ok X3 ok f X1 X2 X3 active f a X X mark f X b b active f X1 X2 X3 f X1 active X2 X3 proper f X1 X2 X3 f proper X1 proper X2 proper X3 proper b ok b proper a ok a active b mark a top ok X active X false active f X1 X2 X3 active X2 true a 0 3 b 0 1 top 1 0 top 1 0 f 3 1 2 3 1 proper 1 1 ok 1 2 mark 1 32275 f 3 0 proper 1 0 active 1 24696 active 1 1 0 active f X1 X2 X3 f X1 active X2 X3 false active f a X X f X b b false top mark X proper X false proper f X1 X2 X3 proper X3 proper f X1 X2 X3 proper X1 proper f X1 X2 X3 proper X2 true a 0 3 b 0 1 top 1 0 top 1 0 f 3 1 2 3 1 proper 1 26720 ok 1 26721 mark 1 31156 f 3 0 proper 1 1 0 active 1 19506 active 1 0 proper f X1 X2 X3 f proper X1 proper X2 proper X3 false f ok X1 ok X2 ok X3 f X1 X2 X3 f X1 mark X2 X3 f X1 X2 X3 true a 0 1 b 0 1 top 1 0 top 1 0 f 3 1 2 3 1 proper 1 1 ok 1 1 1 mark 1 50520 f 3 3 0 proper 1 0 active 1 38870 active 1 0 f X1 mark X2 X3 f X1 X2 X3 f X1 mark X2 X3 f X1 X2 X3 true a 0 1 b 0 1 top 1 0 top 1 0 f 3 1 2 3 1 proper 1 28872 ok 1 1 30123 mark 1 1 11648 f 3 2 0 proper 1 0 active 1 1 active 1 0 NaTT certifiable-1.6