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