YES 2.2 ac2 x y ac2 y x ac2 x ac2 y z ac2 ac2 x y z ac1 x ac1 y z ac1 ac1 x y z ac1 x y ac1 y x ac1 x ac1 y z ac1 ac1 x y z ac1 x ac1 y z ac1 x y ac1 x y ac1 y x ac2 x ac2 y z ac2 x y ac2 x y ac2 y x ac2 x ac2 y z ac2 ac2 x y z ac2 a ac1 b c ac1 a c ac1 a ac2 b c ac2 a c ac2 a ac1 b c ac2 b f ac1 a c ac1 a ac2 b c ac1 b f ac2 a c ac2 ac2 a ac1 b c _1 ac2 ac2 b f ac1 a c _1 ac1 ac1 a ac2 b c _1 ac1 ac1 b f ac2 a c _1 ac2 x ac2 y z ac2 ac2 x y z ac1 a ac2 b c ac1 b f ac2 a c ac2 a ac1 b c ac2 b f ac1 a c ac2 x y ac2 y x ac1 a ac2 b c ac2 a c ac1 x ac1 y z ac1 ac1 x y z ac2 x ac2 y z ac2 x y ac1 x y ac1 y x ac1 x ac1 y z ac1 x y ac2 a ac1 b c ac1 a c true 1 a 0 0 ac1 2 1 2 0 b 0 0 c 0 1 f 1 1 ac1 2 1 2 1 ac2 2 1 2 1 ac2 2 1 2 0 ac2 a ac1 b c ac1 a c ac1 x ac1 y z ac1 x y ac2 x ac2 y z ac2 x y ac1 a ac2 b c ac2 a c ac2 a ac1 b c ac2 b f ac1 a c ac1 a ac2 b c ac1 b f ac2 a c ac1 x y ac1 y x ac1 a ac2 b c ac1 b f ac2 a c ac1 x ac1 y z ac1 ac1 x y z ac2 x ac2 y z ac2 ac2 x y z ac2 x y ac2 y x ac2 a ac1 b c ac2 b f ac1 a c ac1 x y ac1 y x ac1 x ac1 y z ac1 ac1 x y z true ac2 x ac2 y z ac2 ac2 x y z ac2 x y ac2 y x true ac2 x ac2 y z ac2 x y ac2 x y ac2 y x ac2 ac2 a ac1 b c _1 ac2 ac2 b f ac1 a c _1 ac2 x ac2 y z ac2 ac2 x y z true 1 a 0 0 ac1 2 1 2 0 b 0 0 c 0 1 f 1 1 ac1 2 1 2 1 ac2 2 1 2 1 ac2 2 1 2 0 ac2 ac2 a ac1 b c _1 ac2 ac2 b f ac1 a c _1 ac2 x ac2 y z ac2 x y ac1 x y ac1 y x ac1 a ac2 b c ac1 b f ac2 a c ac1 x ac1 y z ac1 ac1 x y z ac2 x ac2 y z ac2 ac2 x y z ac2 x y ac2 y x ac2 a ac1 b c ac2 b f ac1 a c ac2 x ac2 y z ac2 ac2 x y z ac2 x y ac2 y x true ac1 x y ac1 y x ac1 x ac1 y z ac1 ac1 x y z ac1 x ac1 y z ac1 x y ac1 ac1 a ac2 b c _1 ac1 ac1 b f ac2 a c _1 true 1 a 0 0 ac1 2 1 2 0 b 0 0 c 0 1 f 1 1 ac1 2 1 2 1 ac2 2 1 2 1 ac2 2 1 2 0 ac1 ac1 a ac2 b c _1 ac1 ac1 b f ac2 a c _1 ac1 x ac1 y z ac1 x y ac1 x y ac1 y x ac1 a ac2 b c ac1 b f ac2 a c ac1 x ac1 y z ac1 ac1 x y z ac2 x ac2 y z ac2 ac2 x y z ac2 x y ac2 y x ac2 a ac1 b c ac2 b f ac1 a c ac1 x y ac1 y x ac1 x ac1 y z ac1 ac1 x y z true NaTT 1.7