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