)]}'
{
  "id": "2b6d39c302cae31237967c85f1741b50bf7eb37a",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "6c67c7b57811183a80f1fff727896d7ab4a1536e",
      "name": "da_monitor_instrumentation.rst"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0dbdcd1e62b907918b0124a8a2215a85eb866d9c",
      "name": "da_monitor_synthesis.rst"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "d0638f95a455edc29852bfd5844ce646e1d4fb1e",
      "name": "deterministic_automata.rst"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "15fa966102c01c5006e116a10532507f8bcb1d01",
      "name": "index.rst"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a95763438c4821fbd00d171f509255012d9be2be",
      "name": "monitor_wip.rst"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "80f1777b85aacbbed31b8ccbe11c768c2b40b41c",
      "name": "monitor_wwnr.rst"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c46b6149470ef1854c66a5c47ad8b9ff90b31a16",
      "name": "runtime-verification.rst"
    }
  ]
}