)]}'
{
  "id": "ae92b23ed2123192879e3335dfd9c886d2b86c7a",
  "entries": [
    {
      "mode": 16384,
      "type": "tree",
      "id": "580b630899731e775dd7ac6af2511d16e16b0c12",
      "name": "sel4bench"
    }
  ]
}