Or just any properly implemented JSON parser. That's a laughable small amount of JSON, which should easily be parsed in milliseconds.