f a g y g g y f g x a f x g a f g x g y h g y x g y h g x y z f y h x y z h a y z z 2.2 f g x g y h g y x g y h g x y z f y h x y z f g x a f x g a h g x y z h x y z true h g x y z h x y z f g x a f x g a h g x y z f y h x y z f g x g y h g y x g y true a 0 1 h 3 1 3 f 2 1 2 h 3 2 1 f 2 1 0 g 1 1 2 h g x y z h x y z h g x y z h x y z true a 0 1 h 3 1 1 f 2 1 0 h 3 1 1 f 2 0 g 1 1 1 NaTT certifiable-1.6