These files are taken from version 3.10.5 of nlohmann/json https://github.com/nlohmann/json/releases/tag/v3.10.5
See https://json.nlohmann.me/api/basic_json/ for documentation and use examples