. 1 x x . x 1 x . i x x 1 . x i x 1 i 1 1 i i x x . i y . y z z . y . i y z z . . x y z . x . y z i . x y . i y i x 2.2 . . x y z . y z i . x y i x i . x y . i y i x . . x y z . x . y z i . x y i y true i . x y i y i . x y i x true 1 0 0 . 2 0 . 2 1 2 1 i 1 0 i 1 1 0 i . x y . i y i x false . . x y z . x . y z . . x y z . y z true 1 0 7760 . 2 1 0 . 2 1 2 1 i 1 7758 i 1 0 NaTT certifiable-1.6