)]}'
{
  "id": "505af77439af8ad67de126e0f890b65387e3d313",
  "repo": "third_party/vtr-verilog-to-routing",
  "revision": "637c3c953181efdb71652479d2a566ef7ff7f4e0",
  "path": "abc/src/proof/live/disjunctiveMonotone.c"
}