- x 0 x - s x s y - x y + 0 y y + s x y s + x y * x 0 0 * x s y + x * x y p s x x f s x f - p * s x s x * s x s x 2.2 * x s y + x * x y f s x p * s x s x + s x y + x y f s x * s x s x f s x - p * s x s x * s x s x * x s y * x y - s x s y - x y f s x * s x s x f s x f - p * s x s x * s x s x true f s x f - p * s x s x * s x s x true Failed! NaTT certifiable-1.6