)]}'
{
  "id": "bb0b3780ff324f144fd1e8481c6a972a2295aadf",
  "repo": "third_party/yosys",
  "revision": "a3a7bb9bf7160d434db7a4737e68f6b015b221ef",
  "path": "manual/PRESENTATION_ExSyn/abc_01.ys"
}