)]}'
{
  "id": "79c362bd371424eb191f551dfe2421f1b21ef507",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "7c89fab45e46ae215f56b3a10cad90488ce7cb4d",
      "name": "Array.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "91953d5b052bbb7a9a7d2ccc1cde2db008ebaa46",
      "name": "AssocList.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "3b9e1dddb7e6439351b31b735a0b47979cbe2519",
      "name": "Format.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "1ee2cd7ea9bfc978b78fd36e8a230291dcc8a800",
      "name": "FuzzyMatching.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "d3aaedd122fe70945e2242ccb7860d550c48cfb8",
      "name": "HashMap.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "44895f5576ab00da2792a2e44f6122c7847b8592",
      "name": "HashSet.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "68e5015078a29435eae444d17cf2bbfa0e7cf243",
      "name": "Json.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "a72e586eeb2e2f786483f2eb9efb59c9572805d6",
      "name": "Json"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "24165deb5fb7317d12621e1929fdd9cf42abf4d6",
      "name": "JsonRpc.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "60db90bbb724061c935eac638afdaf15ec8e9182",
      "name": "KVMap.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "aceb1d574fef7ac3166dac296d3a19d59eea69f6",
      "name": "LBool.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "17bf5cd7a9f84d6dc33051c471545c944305ff5a",
      "name": "LOption.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "441d4e82fc03c636e8aa51495a76ba9ded249b85",
      "name": "Lsp.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "f94fe3edffc2040aa3482c3bf7c5f33730a5bc30",
      "name": "Lsp"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "8e7bed47e4bf2e0abe304b44a0bd9bccec1323f0",
      "name": "Name.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "6593e748bc2297737a69ff833ba6aef214f689fe",
      "name": "NameMap.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "9098b191f3a8a43d24500f805815d81044c57a85",
      "name": "NameTrie.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "ea197aafdffd60df9ee8582c6deac8111d602242",
      "name": "OpenDecl.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e8d7dd2278dc7ce29ba4f49f241a53ffc39ac9df",
      "name": "Options.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "579a61ecfd6ebe9d363f3b37c98905afa7aa543f",
      "name": "PersistentArray.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "6d3dc49ad47b4251ebd202fec681d650139c3c46",
      "name": "PersistentHashMap.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "ec57ff612b655956b5eec43d88b9c29764ac81d2",
      "name": "PersistentHashSet.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "7495b03f5d864384da1ca71fb60581a93cb2d095",
      "name": "Position.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "33396e47bfd0f11928c1c3eb68e809b0d2bfec8a",
      "name": "PrefixTree.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "38200e5f19d9c9f0895948b9d2b0587d8246ecb3",
      "name": "RBMap.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f749d80f8ff484aee59be6e5b48f184f7bd19884",
      "name": "RBTree.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "127d9eb707d7f707fd34139ea0e63ca750862f1b",
      "name": "Rat.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "54a101731db88de5c668246626d6107236fea9da",
      "name": "SMap.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "dafbfe9b39c1d8e3aa94b1422ba9e30d2e1cbbed",
      "name": "SSet.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f44d583830cec4f237b70c5c3a9a759c92ffa9b0",
      "name": "Trie.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "ee63449402d446536218e9f607277e6ce87bc8ec",
      "name": "Xml.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "04f2eea96f777151b7f57001d435ab547efc24d7",
      "name": "Xml"
    }
  ]
}