)]}'
{
  "id": "2d8b3d646d102c483a449daa03e3ec81c3545400",
  "repo": "third_party/vtr-verilog-to-routing",
  "revision": "637c3c953181efdb71652479d2a566ef7ff7f4e0",
  "path": "abc/src/proof/fra/fraLcr.c"
}