)]}'
{
  "id": "0aac6831ff1518990d81a9ac1d399c2400fe735c",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "b0bd397ab34b1f7c4f5675a84cb64a6d427c39a7",
      "name": "MiriInterface.hpp"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "189f32e6f513dac3af3f30bdcd5c12abeb17f11d",
      "name": "ResultHandling.hpp"
    }
  ]
}