)]}'
{
  "id": "45654fa5bc9599ddd9b7a472cc074168a7d2738b",
  "repo": "third_party/Surelog",
  "revision": "e2529f92cedbbcb87ff4328ff53705669050198d",
  "path": "src/Testcases/Google/chapter-12/12.5--case.sv"
}