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