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