)]}'
{
  "id": "65c329f983c1568d45436c1b1ad823e2c707c6c9",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "0c47834383c19dbfdc17ad963777ac4fa4293b19",
      "name": "Basic.lean"
    }
  ]
}