)]}'
{
  "id": "c8108297ec74de7217ebbc05996ebb9cee7fb8f5",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "eb9e636809a0d312119ea4b8be5c735c165d1828",
      "name": "automata.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "17fa4f6e5ea63fad29fd4349c54720944a179e38",
      "name": "da_monitor.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "d4e7a02ede1a3306556bcbfe47871b8189eb299f",
      "name": "instrumentation.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "67031a774e3d3c1e07653f5ddffca433f0ec4493",
      "name": "ltl_monitor.h"
    }
  ]
}