)]}'
{
  "id": "d74adcd50e3a753c684a02426c9c3c31f4c670e5",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "3a04edc013681c15255cfc61abcc1c08012be973",
      "name": "MiriInterface.hpp"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "189f32e6f513dac3af3f30bdcd5c12abeb17f11d",
      "name": "ResultHandling.hpp"
    }
  ]
}