Reduce size of json
Following the advise of Raymond Hettinger [1], we can reduce the size of the json dumps. And the reduction is also effective if the result is compressed [2].
[1] https://twitter.com/raymondh/status/842777864193769472
[2] https://twitter.com/nedbat/status/842788746139516928