{"note":"This file is an internal implementation detail to speed up HTML report generation. Its format can change at any time. You might be looking for the JSON report: https://coverage.rtfd.io/cmd.html#cmd-json","format":5,"version":"7.7.1","globals":"85eccb7d9e99339812e0d2836f4d87ac","files":{"server_py":{"hash":"96b231479807fb2341d68b8037c31dcd","index":{"url":"server_py.html","file":"server.py","description":"","nums":{"precision":0,"n_files":1,"n_statements":573,"n_excluded":0,"n_missing":162,"n_branches":0,"n_partial_branches":0,"n_missing_branches":0}}}}}