YES 2.2 1 h 1 1 0 f 2 1 2 0 g 1 1 1 f f x x g x f x h x f x f y z f f x y z f x y f y x f x f y z f x y f x f y z f f x y z f x y f y x f g g x x f g x g x f f g g x x _1 f f g x g x _1 f x y f y x f x f y z f f x y z f g g x x f g x g x f x f y z f x y true 1 h 1 0 f 2 1 2 1 f 2 1 2 0 g 1 1 1 f x f y z f x y f x y f y 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 g g x x f g x g x f x f y z f f x y z true 2 1 h 1 0 0 f 2 1 2 0 0 f 2 1 2 0 0 g 1 1 1 1 1 1 1 1 f g g x x f g x g x f x y f y 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 x f y z f f x y z true f x y f y x f x f y z f x y f x f y z f f x y z f f g g x x _1 f f g x g x _1 true 1 h 1 0 f 2 1 2 1 f 2 1 2 0 g 1 1 1 f x f y z f x y f x y f y 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 f g g x x _1 f f g x g x _1 f x f y z f f x y z true 2 1 h 1 0 0 f 2 1 2 0 0 f 2 1 2 0 0 g 1 1 1 1 1 1 1 1 f f g g x x _1 f f g x g x _1 f x y f y 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 x f y z f f x y z true NaTT 1.7