Added checking an octahedron on 3-isometric encoding