)]}'
{
  "id": "d2451a5638ea77dc74f2459247eda84df2aad4ef",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "7c89c630c396f244ba1e0941b900db8d06fb68bf",
      "name": "MiriInterface.hpp"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "6df3a3af84fb4d3522331e1480bf2f79cf78cd20",
      "name": "ResultHandling.hpp"
    }
  ]
}