)]}'
{
  "id": "6cdaa24887299bf8b4babd309ae1313b799e052e",
  "repo": "third_party/vtr-verilog-to-routing",
  "revision": "f98a99ffc7d63c92e4d87d6b024e649c80a4c681",
  "path": "abc/src/proof/fra/fraCec.c"
}
