)]}'
{
  "id": "b2eaa2c76769eebcb0f23514e7a0cb80d32f6473",
  "repo": "third_party/vtr-verilog-to-routing",
  "revision": "393978e9c55f4cc97b1753d7be3a87f79db54a67",
  "path": "abc/src/proof/pdr/pdrUtil.c"
}