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