)]}'
{
  "id": "b706f84f4fa16baf2c12a6b6887aadcb22777452",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "4d1a2772fda154fec1d3def1af54039b4eb2f29a",
      "name": "Classical.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "1b83ca4198cfc7d9a74e55b007e0116e7c23daa4",
      "name": "Coe.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "ab783f3634048f32e5a478ad08696d57980df309",
      "name": "Control.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "a9ffc3866a2f8fc45f72fe46cb9aa60f9840160c",
      "name": "Control"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "149c4e7c7ae322dd49eb03d5436e23f7d1836ff0",
      "name": "Conv.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "27887602fcaa9f58607de12cea9e8e587f075a91",
      "name": "Core.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b2e07c03c8122ab11b92dcbe9641758d5005971e",
      "name": "Data.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "77d07bc25042681302e37110e21eae5c51422277",
      "name": "Data"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a784b7dc2cd7f4c993d0ffc4d1e720d5a8dfb9d9",
      "name": "Dynamic.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e8a2904e63bb280d8ee484f9117a7f6575fbce87",
      "name": "Hints.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "3c2854684bce3716e067cb64ef5d500a3e09f66c",
      "name": "Meta.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "fa83914edb05cd490a6e01ed619551a52c8aaeff",
      "name": "Notation.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "1b7a8296e840cf1075795853d35b40ed5cc6b446",
      "name": "NotationExtra.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c3bb42d9bb9d2844e62e3ed3dd7080fff0bb8a14",
      "name": "Prelude.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "7754d07f87cabfb8c6fe38e5f779caffe0ecdb0d",
      "name": "ShareCommon.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "5edc3c7abc1ed37065ff4cb72feb2d6d5eb0cac3",
      "name": "SimpLemmas.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "9c59cf6c17b538c34fd978cd492d1604fc6da986",
      "name": "SizeOf.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "3c57afabef74b0e1e3eebbd0b61f42e8085f51c0",
      "name": "SizeOfLemmas.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "8c0766bc230792c22b8894f04d775735893ad769",
      "name": "System.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "0b6fbfbfe67266873a3249f4d9781311108055b7",
      "name": "System"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "845a82477345f378306d8473effd073d3aef7202",
      "name": "Tactics.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "55a4f64e2b5a918ad370dbf8fe2cc1f084d23118",
      "name": "Util.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f005f78f961e632cbbcc52cf1484b8c871aa69d1",
      "name": "WF.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "8bb641818f7da1674948bad1c0aa6afdd3a39051",
      "name": "WFTactics.lean"
    }
  ]
}