f f x y z u f x y v f x y f z u v f x y y y f x y g y x f x x y x f g x x y y 2.2 f f x y z u f x y v f z u v f f x y z u f x y v f x y f z u v true f f x y z u f x y v f x y f z u v f f x y z u f x y v f z u v true f 3 1 2 3 1 f 3 1 2 3 0 g 1 23676 f x x y x f f x y z u f x y v f x y f z u v f x y g y x f g x x y y f x y y y NaTT certifiable-1.6