)]}'
{
  "id": "8625791d6a1251e575606f9f573634e2d2d88464",
  "repo": "third_party/vtr-verilog-to-routing",
  "revision": "51c5513da5925df425f6f6ff1fb5b2c74df21d4b",
  "path": "abc/src/bool/kit/kitBdd.c"
}