)]}'
{
  "id": "4271367536c935dbf80babb492dc38df67069049",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "fcb49e149d6a6a4fd768e3e86e248d52b28bb344",
      "name": "svcomp.log"
    }
  ]
}