Reduce cache file size

[wtsnjp]

The current format of the cache file is entirely redundant. We can make them smaller.

[wtsnjp]

Issue #113 is an instance of the redundancy.