p p b a x0 x1 p x2 x3 p p b x2 a a b x1 p x3 x0 2.2 p p b a x0 x1 p x2 x3 p b x2 a a b x1 p p b a x0 x1 p x2 x3 p x3 x0 p p b a x0 x1 p x2 x3 p p b x2 a a b x1 p x3 x0 true p p b a x0 x1 p x2 x3 p p b x2 a a b x1 p x3 x0 p p b a x0 x1 p x2 x3 p x3 x0 true a 1 1 0 b 1 1 0 p 2 1 2 0 p 2 1 2 20653 p p b a x0 x1 p x2 x3 p p b x2 a a b x1 p x3 x0 p p b a x0 x1 p x2 x3 p p b x2 a a b x1 p x3 x0 p p b a x0 x1 p x2 x3 p p b x2 a a b x1 p x3 x0 true Failed! NaTT certifiable-1.6