Stream file: ca7highs.xyz