)]}'
{
  "id": "f4a5ba7f74074816003ab70447036f89811ba577",
  "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": "5368cf5fd623e74a5739d2e0b3fc2c27c4bad597",
      "name": "ltl_monitor.h"
    }
  ]
}