)]}'
{
  "id": "90c009ef4211e63aa48b1c1e4cba05e6ef018a0e",
  "repo": "third_party/vtr-verilog-to-routing",
  "revision": "1fd353a8a8abd438c82cf9a8fcdcf00f44b6a2ea",
  "path": "abc/src/proof/fraig/fraigMan.c"
}