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