)]}'
{
  "id": "0e3361fb6bc2ad1c3c6e93a13daff9b0e737c293",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "b6b7b06509a5ed5a167d0cb69536a40e136de1a8",
      "name": "MiriInterface.hpp"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "cb5f49c179b05dd5c6e7411060f73dd59b9ccc06",
      "name": "ResultHandling.hpp"
    }
  ]
}