)]}'
{
  "id": "fceb501fbd5d9d648d287cb7a38c26b0f74a0505",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "eb9e636809a0d312119ea4b8be5c735c165d1828",
      "name": "automata.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0cef64366538c90dab8f76fbf5d2aaacdd61e2e7",
      "name": "da_monitor.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "d4e7a02ede1a3306556bcbfe47871b8189eb299f",
      "name": "instrumentation.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "eff60cd61106f95ed9d607cc3998550f44a83b9c",
      "name": "ltl_monitor.h"
    }
  ]
}