)]}'
{
  "id": "1d8f8f288cbe74db6700852521eacfe7c38aba60",
  "repo": "3p/lowrisc/opentitan",
  "revision": "663e858750332e7a5f2fcb4d9a1d60b88715fb24",
  "path": "hw/formal/.lec_sv2v.do.swp"
}