)]}'
{
  "id": "f6880971c9cd449ee2ae990ded371d024918056e",
  "repo": "prjtrellis",
  "revision": "6eae4a634935b0e49275508196c4dc0c6cf290ef",
  "path": "timing/resource/nescore.v"
}
