3 ms·

I think JSON is not really so good either way, due to problems with the data and with the file format.