)]}'
{
  "id": "547d58b03e939c1241ce10eec9376fb4fa9db6cb",
  "repo": "third_party/vtr-verilog-to-routing",
  "revision": "ebaaac88d986bfb2342313a3e3cc1e8a647cffff",
  "path": "abc/src/proof/ssc/sscSat.c"
}