)]}'
{
  "id": "525653d23ba64681556b6604391679fa4486caf1",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "36ffd5fe7c72d3e9b1d39c0b5e3855cee1ba1683",
      "name": "Attach.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "37d253b8feea8346d68b99e4b2e507feb50662a4",
      "name": "Basic.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e98b054cb296f838dbecd2dbdd4a3a3d26648f35",
      "name": "BasicAux.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c69dc8cee9ab9851726f6fcef179cc2ebd52e929",
      "name": "BinSearch.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "52ab9fb1ff45dde20b964cf7a8bda535aba5278e",
      "name": "Bootstrap.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "7ff5af639445ee5c8d97c7d27c8cab8982826217",
      "name": "Count.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "d55799b08848295fb66652a22d0f4259285810a2",
      "name": "DecidableEq.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "5d49f88027d9625252b1fc186ae001187d5c0c96",
      "name": "FinRange.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "4838ad6408a4c51746f247c4d4833f34fb31462c",
      "name": "Find.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f5139dc5b4d91242b9a65f95289dd5e6989c712f",
      "name": "GetLit.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "fa4c1b7a2be403c9d607317460d16de79c9bd433",
      "name": "InsertionSort.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "8fbf2478add895ac4754384e97dd48d1856dd8b4",
      "name": "Lemmas.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a700084e4b3df55d8e1a8265ebc6e1f89d6aa309",
      "name": "Lex.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "66bbf23055b5a3af26f01a5c0bee4663911736a2",
      "name": "Lex"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "3217801d66ca2d8a956f41fa57b4de39d7318b99",
      "name": "MapIdx.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "284b03e58cf80b848c505e06c52db0122a02cdb0",
      "name": "Mem.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "02456a25da290ee9dda16d79e6a53a9a96b9fd3f",
      "name": "Monadic.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a7b7d58c7ddb1f21a1405fb6e08e73318e08557b",
      "name": "Perm.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "82cd9f4b7167c0233f7f64499ec284cfb9ed2b96",
      "name": "QSort.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c88eb8e16446819513c87dff3edfebe1829936d3",
      "name": "Set.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "3b614f9b3b6a9dfdacf999ce7288eb88b6b36bd7",
      "name": "Subarray.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "3b066a24b9282ba8969da5027c08ee91c297de92",
      "name": "Subarray"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "d654dd40cec28d5797047b4f9b16697f5c0c510c",
      "name": "TakeDrop.lean"
    }
  ]
}