)]}'
{
  "id": "0ac89fd0606c8820670d550d5c9d366897f7b285",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "69785a09dc71401a5e905c5b437f5dbf8c48064b",
      "name": "Attr.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "73cde06e621527e0a1d1ac138a4c702055529ffb",
      "name": "Basic.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "15f7169cabb5287de97845d367ca95df79b957a0",
      "name": "Command.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "d665ab1716788f1eba238abc657527a2d7cd5e0d",
      "name": "Do.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "8269b987938dbabcc6956031ffbf9e266b0c9549",
      "name": "Extension.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "d5aeee209899322b8f54cfc480ca33cb1b557d13",
      "name": "Extra.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c49cb80a69b06f86865b1329cb27b5715b1a9d6d",
      "name": "Level.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "8963f42f639af698d9a5228d6f14f69e7a24c704",
      "name": "Module.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "cddf78ce0e601f1e452e9f1b8448aecb77c7f3e4",
      "name": "StrInterpolation.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "5833ba29d4557b5ba732869b3e452102d0eed428",
      "name": "Syntax.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "531dfb6b225e1b0b906e50b65c20b8579b0482ac",
      "name": "Tactic.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "9cc5e166e0f0d84974838da3dc96780d20cd882a",
      "name": "Term.lean"
    }
  ]
}