)]}'
{
  "id": "8105d9f4bf705030d1222b3eca9a3925d8eb2ea6",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "9f3308d6ded4226415b37ce147612bad756875a2",
      "name": "MiriInterface.hpp"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "ecfcc5383e19f62eeee2074bfd24cb1c15534eea",
      "name": "ResultHandling.hpp"
    }
  ]
}