)]}'
{
  "id": "c445609ae5dff2a9b71995c3b761d483de1a9e97",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "78d2490bdf60d34345ceadcafb1cf9d7cabf460f",
      "name": "Basic.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "692507ee53b741484b177b547ada23e4233f56f4",
      "name": "BasicAux.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c64b1c87738ef98625fd080518fd736ffd9e13b8",
      "name": "Instances.lean"
    }
  ]
}