)]}'
{
  "id": "7804595b384caf6e1caf726d932d7ba59388ca9a",
  "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": "6170cde5431202da5b200906bf5b822bfc748430",
      "name": "bench"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "a4fc8b2f146a8505413d274bace637cde6a5cac6",
      "name": "bench_build.sh"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "1905f9b3c9c5f26966223e0e81b176d9a839d737",
      "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": "e42dc5f4ab054dc28bde329430912093e24359d3",
      "name": "compile"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "30f79b3bfe42c335be3667e15f402843e7168efd",
      "name": "compile_bench"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "070a3348cfc054756bd00973596d7f4f5adc90b4",
      "name": "docparse"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "2ddb8f5db633f9d1b4a0398179feecf258bebcdb",
      "name": "elab"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "88c1dba121c4d4063f66755b551150dbd0100f5d",
      "name": "elab_bench"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "7096eb18bf67a1c307da7955025b1fb1f6e36a12",
      "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": "a230130f63c3188626d0fcfc3e139c6f5b1cb414",
      "name": "lake"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "c805a957a997ae3b04c581ab19dd658b08d2dd26",
      "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": "8957cb8be4e7432c632b87f539b4945aeb992bfd",
      "name": "lean"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "b8562c11aaec303f5cc14a5f752a80f26ac7a473",
      "name": "lint.py"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "9933f78cca78245177e19ed76eb48fcb23dd3c7b",
      "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": "59ae0f21049556106efd98c348133b7f267f4941",
      "name": "misc_dir"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "bdaf024d15ba6a825e7ee08de71e711064fe153c",
      "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": "3d6038de0af2cf8a85961bdb7df301871441e0d0",
      "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": "e83bf5f92da1b7d5d216f6e0c5d346223bb12da5",
      "name": "util.sh"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "b6c12814e35a7898fa4bcce994594b5e3b24c427",
      "name": "with_env.sh.in"
    }
  ]
}