)]}'
{
  "id": "a6f4339d6e489db6830a35b51585377869de2d6b",
  "repo": "rust-lang/rustc-dev-guide",
  "revision": "refs/heads/autodiff-doc-updates",
  "path": "src/solve/proof-trees.md"
}