)]}'
{
  "id": "5418581228a12e04ea8ae042395090e8e5ea0d0d",
  "repo": "prolog-cafe",
  "revision": "d8e4e7e8b5d5fff9765ca75994fb12dbe6bde1be",
  "path": "examples/benchmarks/holmer/prover.in"
}