a__f X g X Y a__f Y Y Y a__g b c a__b c mark f X1 X2 X3 a__f X1 X2 X3 mark g X a__g mark X mark b a__b mark c c a__f X1 X2 X3 f X1 X2 X3 a__g X g X a__b b 2.2 mark g X a__g mark X mark f X1 X2 X3 a__f X1 X2 X3 mark g X mark X mark b a__b a__f X g X Y a__f Y Y Y true mark g X mark X true a__g 1 0 b 0 0 a__b 0 0 a__g 1 0 a__f 3 0 c 0 0 a__b 0 0 f 3 0 mark 1 1 0 mark 1 0 a__f 3 0 g 1 1 1 mark b a__b false mark f X1 X2 X3 a__f X1 X2 X3 false a__f X g X Y a__f Y Y Y true Failed! NaTT certifiable-1.6