)]}'
{
  "id": "63737fa8403d016b3b762dc24de91d2f5eac3c83",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "01e165dd8e500e218b6ad7cbbda14ad7c3240b80",
      "name": "svcomp.log"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "228b4bca446f4c96ad3e98eeaba186d00a33a647",
      "name": "top.sv"
    }
  ]
}