)]}'
{
  "id": "056a17ad8012351cb3328442d25e146a479c521d",
  "repo": "llvm-project",
  "revision": "c71bbd50a10d733dc066db8f83638f9454c9705d",
  "path": "llvm/lib/Support/Z3Solver.cpp"
}