)]}'
{
  "id": "e7e01b66949fd0c35c6a5ffd9782c023b2e751a8",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "22ad79dbb8d065d3ef9d35cb494082db9e3be61c",
      "name": "BinderPredicates.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "4f391e383f69a596577c0adb5928aeb538321a6f",
      "name": "ByCases.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "16db2812f39c3bbac6b18ca7968a79318becb37d",
      "name": "Classical.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "4e6adaed0faaff13f368402612818d536b508c49",
      "name": "Coe.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "ab783f3634048f32e5a478ad08696d57980df309",
      "name": "Control.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "f4db031bd759b4008aa3768169c75cd0a95b0966",
      "name": "Control"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "3ca904f59b0649419124c094c44f4e7f136fd462",
      "name": "Conv.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c6322ac0f62e5e2ede833d22df52320b858f6fff",
      "name": "Core.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "d0d53d65cd21d776c0d0a7b400516bf6ca7d6a58",
      "name": "Data.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "975350a3a002d111d58faed5b1ba2a143061f9b3",
      "name": "Data"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a784b7dc2cd7f4c993d0ffc4d1e720d5a8dfb9d9",
      "name": "Dynamic.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "ad860a15e7e4a9657dd8377e3c6dd510f32c9872",
      "name": "Ext.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "fc4b0604025417780442af21768410cb9dd41591",
      "name": "GetElem.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "12db182084cff0ae5597b446089224c74c03bc45",
      "name": "Grind.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "92e948e0168a0f28046cf236dc8d7a6fb5b24f9b",
      "name": "Grind"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "03877c2eb97ac5cae43486f0e3f04a641ac98ae5",
      "name": "Guard.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e8a2904e63bb280d8ee484f9117a7f6575fbce87",
      "name": "Hints.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "11ae3290c76d9d1244ab2dc569b5d4c594208218",
      "name": "MacroTrace.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "64923174490b1fd89ca0f41423573ec7c240378b",
      "name": "Meta.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "06e8f37f7443f5b40d8fcb431f9383bd3c6e5126",
      "name": "MetaTypes.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b1fa482a50ac8b3dc36e140322c21eb60a9ac005",
      "name": "Notation.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b96ec37d9dca83296da04665f58a9292c8a29688",
      "name": "NotationExtra.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "4d501a70c74f5a5fb7909df69d0f8d1a9544cb42",
      "name": "Omega.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "8e8304a8e586a58da31aa90de41271f14d0f6375",
      "name": "Omega"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "784a7f5e8509e12732b38fba701fa2a46179dfe6",
      "name": "Prelude.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "40378f43f8cbcf89e17a3285aec96b916027a90c",
      "name": "PropLemmas.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b4210a08615ebca7e564d171579a8934221bd9ba",
      "name": "RCases.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "26822e791d1f336db8a2be58369c580f530f98e9",
      "name": "ShareCommon.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "37dc57f73e7d85dbe11ab31f3a48334dc0042ea1",
      "name": "SimpLemmas.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a679681364494cfb4be850918bc856b07fbbd59d",
      "name": "Simproc.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "9c59cf6c17b538c34fd978cd492d1604fc6da986",
      "name": "SizeOf.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "dd75ee0b6797f68afe102a4baad6d454e7675a47",
      "name": "SizeOfLemmas.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "8c0766bc230792c22b8894f04d775735893ad769",
      "name": "System.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "4a56715fc5136e8de14f38a56a075ab1d5d9eb0f",
      "name": "System"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "fe5e05253bf429a65d0b1957bc59536320fadbb2",
      "name": "Tactics.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "221bf99f3d159b3fc25f44019052dc940aa5b460",
      "name": "TacticsExtra.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "974eed11f2d037f2cc965cd78d5f709424cd2949",
      "name": "Util.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "1eb65caa9fd509c4cda3c92e7c7f3339d0101141",
      "name": "WF.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c4772c730e7772e8ba0a90842431eb3c2f672a98",
      "name": "WFTactics.lean"
    }
  ]
}