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