YES 2.2 + x + y z + + x y z + x y + y x + x + y z + x y + x y + y x + x + y z + + x y z + g x g y + x y + g x g y + g a + x y + + g x g y _1 + g + g a + x y _1 + g x g y + g a + x y + x + y z + + x y z + x y + y x + g x g y + x y + x + y z + x y true 1 a 0 0 + 2 1 2 0 g 1 1 1 + 2 1 2 0 + g x g y + x y + g x g y + g a + x y + g x g y g + g a + x y + x y + y x + x + y z + + x y z + x y + y x + x + y z + x y + x + y z + + x y z true + x y + y x + + g x g y _1 + g + g a + x y _1 + x + y z + + x y z + x + y z + x y true 1 a 0 1 + 2 1 2 1 g 1 1 + 2 1 2 0 + x + y z + x y + + g x g y _1 + g + g a + x y _1 + g x g y g + g a + x y + x y + y x + x + y z + + x y z + x y + y x + x + y z + + x y z true NaTT 1.7