)]}'
{
  "id": "8c449817545d2939bf461b3a8a500eff3d668ba1",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "6ccb39580d49c3b59023d9465ad9c830373c6beb",
      "name": "CMakeLists.txt"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e211b79480f3a987deaf1fb51971a7d6223269d3",
      "name": "Init.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "876d4f1a4a7c475c333bb8fd5cfbedf9da55557f",
      "name": "Init"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "5da1bb9c2435ee00b7a2e122af91b7d9b2afaae4",
      "name": "Lean.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "20af08dbbf2ad8c4efcc7b1007dd7a4f3ce00a9d",
      "name": "Lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "111eef50ac43e28c6613ee4699a46ddd99f7eafd",
      "name": "Leanc.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "aeee8c6e31f5d89953ece6cf4db3233bd8c53d20",
      "name": "Std.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "398ea06e84f979a7492a1ddd78475404984dbff7",
      "name": "Std"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "776de8c0d66ce0cbc024261b0d89230ce31f9f37",
      "name": "bin"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "de6d888c5a82f788a1b31a4492da1be1a28e89be",
      "name": "cadical.mk"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "6c0e1a768e75efe3b1ac3d5fef2f3e85a3142377",
      "name": "cmake"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "193bb56aa7ab4984c5fbfd84fa75fab37081989a",
      "name": "config.h.in"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "7cc0444b6a3a0f7370be69771e4937bc3562b9dd",
      "name": "githash.h.in"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "aba3202f3991c53c642c1ebc35bfe89c46775128",
      "name": "include"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "5b0499c59889479741fbb0232ff5cf535682a227",
      "name": "initialize"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "972f033ea2c375d4e53a3fafe36470e33a5843ac",
      "name": "kernel"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "5d7b15e3a54fc9dee0f53642d847de4e358a30c8",
      "name": "lake"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "716317bfce1f2b8660841d08017681dbf451ee02",
      "name": "lakefile.toml.in"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0694e2bc29a915356008a01eefd74ca8d056e665",
      "name": "lean-toolchain"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "1a37a59cf9e65784347500438db2ca2c00c9b478",
      "name": "lean.mk.in"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "f59b553d5bc7ac79117d09669e788e34da85b555",
      "name": "library"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "a4d21bdc64d3aa3ce076b14025b8313bf9c3f9bb",
      "name": "runtime"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "f25f2d37ede1186d6f73d685331f03c2de4bb0c6",
      "name": "shell"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "69b326d2e6bbba65285eceaab755d81ea0c4ade4",
      "name": "stdlib.make.in"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0699845ba4526869f7628e722b70abd4d379b3e6",
      "name": "stdlib_flags.h"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "da3603d29fe126da19090a22bdd705ae6c670d12",
      "name": "util"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "027948c08eabb614e7509654b0f135667b0e6d8e",
      "name": "version.h.in"
    }
  ]
}