)]}'
{
  "id": "72b8f7bfaf3af9ef46907328a5352a359a69c0d0",
  "repo": "bison",
  "revision": "7024830c72e65a2c3ff3839fccdb4673afe47cda",
  "path": "src/counterexample.h"
}