)]}'
{
  "id": "988e06e0196a6dbedaa65a3d7cc21f4436c7e7c5",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "9ff9ff36eab24eb1cc3d0a8f8fefcd1e4dab2da6",
      "name": "Classical.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "20ea449df0a13cd9366921405c1d81958fa14f26",
      "name": "Coe.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "ab783f3634048f32e5a478ad08696d57980df309",
      "name": "Control.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "d1247053a083d7dfabe59025ac01a7fb342bdce2",
      "name": "Control"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "5fcae7e6010e5409e5d46aa4e8de008d09f96ed1",
      "name": "Core.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "082afdbc402819a5c5432a693b4562f61f1bb77d",
      "name": "Data.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "3d55d7ebe6e59d973ce1459bb0b439fccd898ea5",
      "name": "Data"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "6d219c7cb70aba1b46838b4766309fc950affb0d",
      "name": "Fix.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e8a2904e63bb280d8ee484f9117a7f6575fbce87",
      "name": "Hints.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "938de8a907e4de8a02333b433a185cb22bca236c",
      "name": "Meta.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f25af2fb6f99ac1518db3e81a8bd8b6681d2a856",
      "name": "Notation.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "9063234d89e7791d00f832bb535bcc5e90abba47",
      "name": "NotationExtra.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "2d32b29d513c2a289b00b07804fec5ceeb5b005d",
      "name": "Prelude.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "53ca57959fb774856e6d1ea44811aa61c2e3aaae",
      "name": "SimpLemmas.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "000fa5538c568eed7a8bc29fed7051abaab7e9c6",
      "name": "SizeOf.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0585f2c7ffb051bf7c2e26d9333de3c7cc3c6ae0",
      "name": "System.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "b376a1b1fc8dd4928eb957432dfd91bd78be9ed2",
      "name": "System"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "fecba7a1298131f9b52d0d905c32d2b69b5889c3",
      "name": "Util.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "cad2c26329ad7a0d3de60f301ddd00d2ac9fd07f",
      "name": "WF.lean"
    }
  ]
}