)]}'
{
  "id": "e1d6a9697b05d500dba9b92c5805c89ec00dbd82",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "6fc1e663e2a0eba1f7ea9d205b1b7d9e469526a7",
      "name": ".gitignore"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "39c987c5fb2af687e036de7f904b6060d665fabb",
      "name": "CMakeLists.txt"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c1e540cf1faa6cfc5f75596c890201a026d16afb",
      "name": "README.md"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "25f37905b0a8c9e88a429c675ac2dec0fda8156e",
      "name": "bench"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "9cb73eb98ab415d234a798d305f113d4d35ae9c8",
      "name": "bench_build.sh"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "e2c94ac95041163bc17c6a64606bb05540ca1171",
      "name": "bench_other.sh"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "3e31f1c8e4792559e7d72e52484582df4cd07cc9",
      "name": "build_lean_header_snapshots.sh"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "bf5e3b6dcefbbfad215a60c52951cc4afc9709b2",
      "name": "combine.py"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "c4b068b22d26885433eac7ec93e875fe6ac125c3",
      "name": "compile"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "766cedf4ec7aa327e0976f1eda6ca33c9dc22b6a",
      "name": "compile_bench"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "6f5c50203c6a37e44fd66feea7d23fba33575255",
      "name": "docparse"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "5c2014437690aa10c28528a5e679bfabd80d8547",
      "name": "elab"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "9a53d8d55d0b78c9b03796b3771a1c8634e9f536",
      "name": "elab_bench"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "9ecf8817fb657ac5c3a9de0f646244c08b27326f",
      "name": "elab_fail"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "eda1cd8d98ecb72c46a3990c33b24dd1e90d66da",
      "name": "elabissues"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "73b1fdb852c42babe4dc5fcee862b38a0355f98f",
      "name": "evict.py"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "38c8e986036e47be6ded3635ff4e4c8a35031a63",
      "name": "fix_expected.py"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a40aa3189a1b92132ddcce4edb662b9480a332ce",
      "name": "flake.lock"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b4f3a2ca3f0cf8e2225f0959ef8323ef698cd2fc",
      "name": "flake.nix"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "cdd5fcc179b17d43fc98bf5b2d939590631d7094",
      "name": "ir"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "db87cd134d7c5b01e58942ac2b44bf49433d1b7e",
      "name": "lake"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "0ac558ee0f8ce7363a50500a20d849ea3dd7e252",
      "name": "lake_bench"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "7b462676214d626373813489a71de69d7fd96144",
      "name": "lakefile.toml"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "247b11861889dd4d04c54985a032fafcc1f627c7",
      "name": "lean-toolchain"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "b803991086e14a456b601d12a525543ac997f080",
      "name": "lean"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "b8562c11aaec303f5cc14a5f752a80f26ac7a473",
      "name": "lint.py"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "311497b17030dc3dd2310c70f76cd1f7ecfd4719",
      "name": "measure.py"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "dc8b6e63edd8ec3e47f0b620ec9b9d06722e0a75",
      "name": "misc"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "b8e6d1e9e7f2d00d2e7bc7f08d10ba49caffe20f",
      "name": "misc_bench"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "ec91934b235df6fc0e82be942ce58044d355208c",
      "name": "misc_dir"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "3e232653b1979a3f83112b022183135300ce7c7b",
      "name": "pkg"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "341754e9bd6546760bdbf32a46fb8b63cb45c061",
      "name": "playground"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "0d6932bd9bda03d55fdc2782de1a9b9fa604be6c",
      "name": "server"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "754eda3f2d9089eee7d7b8a690e899f02fcd7e8b",
      "name": "server_interactive"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "997b6162ce256b5fae1a33301c06c24ca5435bac",
      "name": "simpperf"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "7030ad11ad42159f419c91fbd545f887ee1b9346",
      "name": "trace_timings.py"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "548c9c2a1a30cf4dd3f0d87748f90b7572757c30",
      "name": "util.sh"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "b6c12814e35a7898fa4bcce994594b5e3b24c427",
      "name": "with_env.sh.in"
    }
  ]
}