https://github.com/joaquintides/semistable_vector

gzip: stdin: not in gzip format