YES 2.2 1 h 1 1 0 f 2 1 2 1 g 1 1 1 f g f h x x x f h x f x x f g h x f x f x y f g f h x y x f x y f y x f x f y z f f x y z f x y f y x f x f y z f f x y z f x f y z f x y f g g x x f g x g x f h x g x f g h x x f f h x g x _1 f f g h x x _1 f f g g x x _1 f f g x g x _1 f x f y z f x y f h x g x f g h x x f x f y z f f x y z f g g x x f g x g x f x y f y x true 1 h 1 1 1 f 2 1 2 1 f 2 1 2 0 g 1 1 1 f x f y z f x y f g g x x f g x g x f x f y z f f x y z f x y f y x f h x g x f g h x x f g g x x f g x g x f x f y z f f x y z f x y f y x f h x g x f g h x x true 1 h 1 1 1 f 2 1 2 1 f 2 1 2 0 g 1 0 f h x g x f g h x x f g g x x f g x g x f x f y z f f x y z f x y f y x f h x g x f g h x x f g g x x f g x g x f x f y z f f x y z f x y f y x true 2 1 h 1 0 0 f 2 1 2 0 0 f 2 1 2 0 0 g 1 1111 1 1 1 f g g x x f g x g x f g g x x f g x g x f x f y z f f x y z f x y f y x f h x g x f g h x x f x f y z f f x y z f x y f y x true f x f y z f f x y z f x f y z f x y f f h x g x _1 f f g h x x _1 f f g g x x _1 f f g x g x _1 f x y f y x true 1 h 1 1 1 f 2 1 2 1 f 2 1 2 0 g 1 1 1 f x f y z f x y f g g x x f g x g x f x f y z f f x y z f x y f y x f h x g x f g h x x f f g g x x _1 f f g x g x _1 f x f y z f f x y z f x y f y x f f h x g x _1 f f g h x x _1 true 1 h 1 1 1 f 2 1 2 1 f 2 1 2 0 g 1 0 f f h x g x _1 f f g h x x _1 f g g x x f g x g x f x f y z f f x y z f x y f y x f h x g x f g h x x f f g g x x _1 f f g x g x _1 f x f y z f f x y z f x y f y x true 2 1 h 1 0 0 f 2 1 2 0 0 f 2 1 2 0 0 g 1 1111 1 1 1 f f g gx x _1 f f g x g x _1 f g g x x f g x g x f x f y z f f x y z f x y f y x f h x g x f g h x x f x f y z f f x y z f x y f y x true NaTT 1.7