)]}'
{
  "id": "d46af4f12f4e8e79261ba753e0498a2b999faa6f",
  "repo": "bison",
  "revision": "2ceaf03d694d1af3fcfdebdabceb026a87162351",
  "path": "src/counterexample.c"
}