p p b a x0 x1 p x2 x3 p p x3 a x2 p b a x1 b x0 2.2 p p b a x0 x1 p x2 x3 p x3 a x2 p p b a x0 x1 p x2 x3 p b a x1 b x0 p p b a x0 x1 p x2 x3 p p x3 a x2 p b a x1 b x0 true p p b a x0 x1 p x2 x3 p p x3 a x2 p b a x1 b x0 true Failed! NaTT certifiable-1.6