)]}'
{
  "id": "a1b8304258c54f46166959b68aadc80bd218ec21",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "4929c0cfa150ffc0934e963e2ba8bbc56fcfd0b9",
      "name": "MiriInterface.hpp"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "cb5f49c179b05dd5c6e7411060f73dd59b9ccc06",
      "name": "ResultHandling.hpp"
    }
  ]
}