)]}'
{
  "id": "3b76340b3481ad84a629697105be3accd1e2e6ee",
  "repo": "third_party/Surelog",
  "revision": "02e973ec56b12909855c415b143a612e972b1f17",
  "path": "src/Testcases/UnitAmiqEth/top_1.v"
}