active f g X Y mark f X f g X Y active f X1 X2 f active X1 X2 active g X g active X f mark X1 X2 mark f X1 X2 g mark X mark g X proper f X1 X2 f proper X1 proper X2 proper g X g proper X f ok X1 ok X2 ok f X1 X2 g ok X ok g X top mark X top proper X top ok X top active X 2.2 active f X1 X2 active X1 g ok X g X g mark X g X proper g X g proper X top mark X top proper X top mark X proper X active g X g active X top ok X top active X proper g X proper X proper f X1 X2 proper X2 f ok X1 ok X2 f X1 X2 active f g X Y f X f g X Y proper f X1 X2 f proper X1 proper X2 active f X1 X2 f active X1 X2 top ok X active X active g X active X proper f X1 X2 proper X1 f mark X1 X2 f X1 X2 true top mark X top proper X top ok X top active X true top 1 0 top 1 1 0 f 2 1 0 proper 1 1 1 ok 1 1 2 mark 1 1 2 f 2 0 g 1 0 proper 1 0 active 1 1 1 active 1 0 g 1 1 1 f mark X1 X2 mark f X1 X2 f ok X1 ok X2 ok f X1 X2 active f g X Y mark f X f g X Y active g X g active X g mark X mark g X proper g X g proper X g ok X ok g X proper f X1 X2 f proper X1 proper X2 active f X1 X2 f active X1 X2 top ok X active X false top mark X proper X false proper f X1 X2 proper X1 proper f X1 X2 proper X2 proper g X proper X true top 1 0 top 1 1 0 f 2 1 2 0 proper 1 1 0 ok 1 1 1 mark 1 6295 f 2 0 g 1 0 proper 1 1 0 active 1 1 46572 active 1 0 g 1 1 1 proper f X1 X2 proper X2 proper f X1 X2 proper X1 f mark X1 X2 mark f X1 X2 f ok X1 ok X2 ok f X1 X2 active f g X Y mark f X f g X Y active g X g active X g mark X mark g X proper g X g proper X g ok X ok g X proper f X1 X2 f proper X1 proper X2 active f X1 X2 f active X1 X2 proper f X1 X2 proper X2 proper f X1 X2 proper X1 true top 1 0 top 1 1 0 f 2 1 2 1 proper 1 1 0 ok 1 1 1 mark 1 42006 f 2 0 g 1 0 proper 1 1 0 active 1 1 42004 active 1 0 g 1 1 1 f mark X1 X2 mark f X1 X2 f ok X1 ok X2 ok f X1 X2 active f g X Y mark f X f g X Y active g X g active X g mark X mark g X proper g X g proper X g ok X ok g X proper f X1 X2 f proper X1 proper X2 active f X1 X2 f active X1 X2 proper f X1 X2 f proper X1 proper X2 false proper g X g proper X false active g X active X active f X1 X2 active X1 true top 1 0 top 1 1 0 f 2 1 2 1 proper 1 1 0 ok 1 1 1 mark 1 16908 f 2 0 g 1 0 proper 1 0 active 1 1 39825 active 1 1 0 g 1 1 1 f mark X1 X2 mark f X1 X2 f ok X1 ok X2 ok f X1 X2 active f g X Y mark f X f g X Y active g X g active X g mark X mark g X proper g X g proper X g ok X ok g X proper f X1 X2 f proper X1 proper X2 active f X1 X2 f active X1 X2 active f X1 X2 f active X1 X2 false active g X g active X false g mark X g X g ok X g X true top 1 0 top 1 0 f 2 1 2 0 proper 1 0 ok 1 1 1 mark 1 1 16908 f 2 0 g 1 1 0 proper 1 0 active 1 981 active 1 0 g 1 1 0 active f g X Y f X f g X Y false f mark X1 X2 f X1 X2 f ok X1 ok X2 f X1 X2 true top 1 0 top 1 0 f 2 1 2 0 proper 1 0 ok 1 1 1 mark 1 1 16908 f 2 1 2 0 g 1 0 proper 1 0 active 1 12213 active 1 0 g 1 1 0 NaTT certifiable-1.6