VSEncoding: efficient coding and fast decoding of integer lists via dynamic programming