b x y c a c y a 0 x a y x y a y c b a 0 x 0 b a c b 0 y x 0 2.2 a y c b a 0 x 0 a c b 0 y x b x y a 0 x a y c b a 0 x 0 b 0 y a y c b a 0 x 0 b a c b 0 y x 0 b x y a c y a 0 x true b x y a c y a 0 x a y c b a 0 x 0 b a c b 0 y x 0 a y c b a 0 x 0 b 0 y b x y a 0 x a y c b a 0 x 0 a c b 0 y x true 2 1 a 2 1 0 1 1 1 1 1 1 0 2 0 2 b 2 1 1 1 1 1 0 0 0 1 2 86123 1 c 1 0 0 1 0 1 1 1 0 0 43057 43062 a 2 0 0 1 0 1 1 0 0 0 2 0 0 b 2 1 0 1 0 1 86121 0 b x y c a c y a 0 x a y c b a 0 x 0 b a c b 0 y x 0 a y x y NaTT certifiable-1.6