Adventures in compressing integer sets

For my webfont subsetting app Glypht, I provide a list of predefined character subsets that the user can choose to include in the output fonts (they're the same ones that Google Fonts uses, taken from googlefonts/nam-fil…