)]}'
{
  "id": "b0619b4ab2db8d6e05b1a0bc0fcf73afdcf186e5",
  "repo": "prjxray",
  "revision": "d5a6726e3019fa60e368dbf2275aee3a472d4be6",
  "path": "fuzzers/010-lutinit/top.v"
}