)]}'
{
  "id": "31bbc78968ca1dbdc9448c66362223dd1648fb5b",
  "repo": "third_party/vtr-verilog-to-routing",
  "revision": "7b3a490943e2a24f76bcf3a17484192db8cc7382",
  "path": "abc/src/sat/bmc/bmcLoad.c"
}