)]}'
{
  "id": "8e5a09a6cab1e1ca7d5cf2eb45a36fdac6223128",
  "repo": "rust-lang/rustc-dev-guide",
  "revision": "refs/heads/offload-usage-update",
  "path": "src/solve/coinduction.md"
}