+ x + y z + + x y z + * x y + x z * x + y z + * x y + * x z u + * x + y z u 2.2 + * x y + * x z u + * x + y z u + x + y z + x y + * x y + * x z u + y z + * x y + x z + y z + x + y z + + x y z true + x + y z + + x y z + * x y + x z + y z + * x y + * x z u + y z + x + y z + x y + * x y + * x z u + * x + y z u true + 2 1 2 1 + 2 2 0 * 2 2 23676 + x + y z + + x y z + * x y + * x z u + * x + y z u + * x y + x z * x + y z NaTT certifiable-1.6