)]}'
{
  "id": "fd02440a65a4b0a53d85f124ed2026d4907d2ab3",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "f28d56d9cf24d544b11ebb621f18c07a5cbdb224",
      "name": "Basic.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "bcb125052c4e6eb248002fa64765d18fc3c550e0",
      "name": "Extra.lean"
    }
  ]
}