)]}'
{
  "id": "0972630342737aeea92a247861d3d1df82a2da71",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "457416842b97ec1005792230c876a70856825e33",
      "name": "Attr.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e60f50aba7e05f9958b3ed0ba2404763816b6c7f",
      "name": "Basic.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "4ff7107243f2912d33ac1eb1b9541b3662f9c5f3",
      "name": "Command.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "78a57687bcdae5f3395dda8d26916f1817fe0572",
      "name": "Do.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "70fecd0ee62af6fa36bbaf545b2a8a03b1b90451",
      "name": "Extension.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a00944f6f648ee0c236f5593b24bc3a96a1a6ea4",
      "name": "Extra.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "3f05122c4647bcce54771dd04ea17faa9d656bc3",
      "name": "Level.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "ff3c58482e7c878f92f8f30c2c3e448906bcb923",
      "name": "Module.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "ad0571e6d988bb3d442680c108054cfbbaca268a",
      "name": "StrInterpolation.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "025a067c3aef4d16252430d0ee5916d8116a7be6",
      "name": "Syntax.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "d0140c99b8f27f3a69681f434cf8e864cb5e9230",
      "name": "Tactic.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "47d0853c0ead6a2d570af8ebb28827195c3907b2",
      "name": "Term.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "be0aff2186d888e9d12109d5c8bad62401e5cc3a",
      "name": "Types.lean"
    }
  ]
}