)]}'
{
  "id": "293b492fc25e999ecd6e590ad4ef43744a43c269",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "4a4eb40cf09aa5a11fcf56b06dd7f3d06c60e82b",
      "name": "automata.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "7511f5464c48bf0c05a576b0638dfdc93680e809",
      "name": "da_monitor.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "d4e7a02ede1a3306556bcbfe47871b8189eb299f",
      "name": "instrumentation.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "eff60cd61106f95ed9d607cc3998550f44a83b9c",
      "name": "ltl_monitor.h"
    }
  ]
}