)]}'
{
  "id": "f39fb2a4f682b96abd66c617d845599b02f87c5f",
  "repo": "third_party/vtr-verilog-to-routing",
  "revision": "7573a0fb9e86218ce3dc964c22a672fd303900a9",
  "path": "abc/src/proof/cec/cecSeq.c"
}