)]}'
{
  "id": "2b3fb8e7cfe3d801767e7d25c732e88fb194d61d",
  "repo": "third_party/github.com/leanprover/lean4",
  "revision": "e8a2786d6d4defa29f8991eb03e1dd975311e5ae",
  "path": "src/runtime/io.cpp"
}