)]}'
{
  "id": "e1d688fc8b6ff579b2a50d98124530b2377f77d7",
  "repo": "third_party/github.com/leanprover/lean4",
  "revision": "00e3004ce5152c4182c9d046f59e3b72f714e4cd",
  "path": "src/kernel/level.cpp"
}