)]}'
{
  "id": "01728c81e6ca66616a7c8086a61ac4cc3f98a203",
  "repo": "third_party/vtr-verilog-to-routing",
  "revision": "637c3c953181efdb71652479d2a566ef7ff7f4e0",
  "path": "abc/src/sat/cnf/cnf.h"
}