)]}'
{
  "id": "6ce72c9acd4b1f909f0a5f0c40864d5ab739aabb",
  "repo": "bison",
  "revision": "4e89da6e5d1d67e5a6652ada21f97ead079702f3",
  "path": "src/counterexample.c"
}