)]}'
{
  "id": "f2acb37b2776d5e8f5f15f1e4a7062a08c428f4c",
  "repo": "third_party/vtr-verilog-to-routing",
  "revision": "86cd42e31d9cc53e26547986dbd428b78ec4ee52",
  "path": "abc/src/proof/acec/acecNorm.c"
}