)]}'
{
  "id": "d4161db2c075c21ed13a03f904f79b9ec7c05510",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "7a442718feaf045659e7b498ded6cf39a1e3f61f",
      "name": "Basic.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "28638ab329d368986afb911562fc0599090b8964",
      "name": "Extra.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "5160feaea3b652645ce874b4a0ce00b870520038",
      "name": "Lemmas.lean"
    }
  ]
}