)]}'
{
  "id": "edfdd67ff9b05f066ecb4874b7bfeeb65161c3fb",
  "repo": "3p/nicta/cogent",
  "revision": "refs/heads/master",
  "path": "cogent/examples/system-abstract-verif/main.ac"
}