A JSON compression algorithm.