YES 2.2 1 a 0 0 h 2 1 2 0 b 0 0 f 1 1 0 plus 2 1 2 0 g 1 1 1 h a g g a h g a f a plus x y plus y x plus x plus y z plus plus x y z plus x plus y z plus plus x y z plus x plus y z plus x y plus x y plus y x h g a a h a g b plus f a g b f b h a b h b a f plus x y plus f x y plus f a g b plus f b g a plus g x y plus x y f plus x y f x h g a b h a g a plus plus g x y _1 plus g plus x y _1 plus plus f a g b _1 plus plus f b g a _1 h g a b h a g a false f plus x y f x true 1 a 0 0 h 2 0 b 0 0 plus 2 0 f 1 0 h 2 0 f 1 1 0 plus 2 1 2 1 g 1 0 f plus x y f x h a b h b a false f plus x y plus f x y false plus g x y plus x y plus x y plus y x plus x plus y z plus plus x y z plus f a g b plus f b g a plus x plus y z plus x y true 1 a 0 1 h 2 0 b 0 2 plus 2 1 2 0 f 1 0 h 2 0 f 1 0 plus 2 1 2 1 g 1 1 1 plus x plus y z plus x y plus f a g b plus f b g a plus g x y plus x y plus x plus y z plus plus x y z plus f a g b plus f b g a plus x y plus y x plus g x y g plus x y plus x plus y z plus plus x y z plus x y plus y x true plus f a g b f b false h g a a h a g b false plus plus f a g b _1 plus plus f b g a _1 plus x plus y z plus plus x y z plus plus g x y _1 plus g plus x y _1 plus x plus y z plus x y plus x y plus y x true 1 a 0 1 h 2 0 b 0 0 plus 2 1 2 0 f 1 1 1 h 2 0 f 1 0 plus 2 1 2 1 g 1 1 plus x plus y z plus x y plus plus g x y _1 plus g plus x y _1 plus plus f a g b _1 plus plus f b g a _1 plus x plus y z plus plus x y z plus f a g b plus f b g a plus x y plus y x plus g x y g plus x y plus x plus y z plus plus x y z plus x y plus y x true NaTT 1.7