)]}'
{
  "id": "f4a1891e7b0aad9a5ad44f453a404033ff94bffe",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "8110c8d24c593d158a62b0a9a43e5db8a9a5a044",
      "name": "MiriInterface.hpp"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "cb5f49c179b05dd5c6e7411060f73dd59b9ccc06",
      "name": "ResultHandling.hpp"
    }
  ]
}