)]}'
{
  "id": "d0205380531c7dbaed4243c91418cae4992963ad",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "26c6b1282c926fa367e680f8deeeb698872f6087",
      "name": "Basic.thy"
    }
  ]
}