Post #1393930

@admin @mhoye Should be about 1GB compressed assuming nothing weird data wise. Can share that over a google drive Dropbox, S3 bucket. Not hard. Not a big dataset by any means.