)]}'
{
  "id": "7671e7a3e4a5f772456d6bd655d1c814854806af",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "4a4eb40cf09aa5a11fcf56b06dd7f3d06c60e82b",
      "name": "automata.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "db11d41bb438b1eb8bb9cf6c2d93e5f674123a51",
      "name": "da_monitor.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "d4e7a02ede1a3306556bcbfe47871b8189eb299f",
      "name": "instrumentation.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "eff60cd61106f95ed9d607cc3998550f44a83b9c",
      "name": "ltl_monitor.h"
    }
  ]
}