)]}'
{
  "id": "53728f9b695350cc3ba6cd1a4372812d4f595453",
  "repo": "bison",
  "revision": "3661ebbb2c7b8ef45e4f5df38d57ece098251be6",
  "path": "src/counterexample.h"
}