)]}'
{
  "id": "898e3f65b7897a5019ffd7047da63c9dd2790955",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "6fc1e663e2a0eba1f7ea9d205b1b7d9e469526a7",
      "name": ".gitignore"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "92b9228b9a52edd6235f4343eee4d8e95636e12f",
      "name": "CMakeLists.txt"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "5f0c989dfe527581639e2209c2ba7d946beda8ff",
      "name": "README.md"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "07ea8a85176f314142c17702fa197a82cfa06b4a",
      "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": "bf8319da65e793c21275a507eb86a8cb71c70e7f",
      "name": "compile"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "30f79b3bfe42c335be3667e15f402843e7168efd",
      "name": "compile_bench"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "6f5c50203c6a37e44fd66feea7d23fba33575255",
      "name": "docparse"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "c305b2de416e010ab595a4d6cb43f48cf319fe2c",
      "name": "elab"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "6d858d239e053ef8100250a12ebe87c0ef81d5fb",
      "name": "elab_bench"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "60313cdc6d280bef7e52f63cbfdadd60849db4a6",
      "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": "b90afbfcb31a202a130e03e546923497cec0a729",
      "name": "lake"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "a9d3e556b7a9741247a947daf1a6191736925351",
      "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": "4b3b06b59fd3eaecb2ad6ccf6c86002536636172",
      "name": "lean"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "b8562c11aaec303f5cc14a5f752a80f26ac7a473",
      "name": "lint.py"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "2aa25ec671dbb3a902ff8d7e1d08cd9df9d161e3",
      "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": "e4d534d0e81d6c8c5242c6452d710e1ae63e5cac",
      "name": "pkg"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "341754e9bd6546760bdbf32a46fb8b63cb45c061",
      "name": "playground"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "fae258cf0247b5d0c5585c89f5a5f65e95928d25",
      "name": "repeatedly.py"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "0d6932bd9bda03d55fdc2782de1a9b9fa604be6c",
      "name": "server"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "c178667333538f42a188ec9a3921ba70abf8725c",
      "name": "server_interactive"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "823036cad2851c33c794ef4233a2ab17fe023054",
      "name": "simplc"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "997b6162ce256b5fae1a33301c06c24ca5435bac",
      "name": "simpperf"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "7030ad11ad42159f419c91fbd545f887ee1b9346",
      "name": "trace_timings.py"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e83bf5f92da1b7d5d216f6e0c5d346223bb12da5",
      "name": "util.sh"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "b6c12814e35a7898fa4bcce994594b5e3b24c427",
      "name": "with_env.sh.in"
    }
  ]
}