)]}'
{
  "id": "414a6c8b394b01e6e4a44bd72aadec2f14121b2a",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "806889cf82b7a9ece67cbd79bf322385210bd222",
      "name": "CMakeLists.txt"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "83f23e37a5a9f541cd9691d8f3c190a96cb978c5",
      "name": "Init.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "06b6a632affac63e33a2c027681be6c5a5bae8de",
      "name": "Init"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b5b02ac4038c2a246aecad62dcf5342cdec11dac",
      "name": "Lean.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "df2bd461f7af47df4ae95885183f2d0c13eebec9",
      "name": "Lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "48cb20f85c581365e425e803b2cb9352d07eb29b",
      "name": "LeanChecker.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a95112b90e8b54756112e01a10e865971d6ac986",
      "name": "LeanIR.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "da517a3bf8a1dd6b0c1770deae367be40725b6bf",
      "name": "Leanc.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "8906c7b58013cb1c61a6cf11597df297a8209c1c",
      "name": "Std.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "5ed3c6b8c7da0cdc3bf7dfe1aed2f902b6b3b902",
      "name": "Std"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "d6a108554fd66962d24522e581d5487663e198df",
      "name": "bin"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "81d6d684ced1c737773dd51797e6a90bf27476b8",
      "name": "cadical.mk"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "3691e5efaf05cf9736be3b7fec52e6f79ab62422",
      "name": "cmake"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "32619b322dfeccdf9e5c1789e75e9c36c8fe1a7f",
      "name": "config.h.in"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "7cc0444b6a3a0f7370be69771e4937bc3562b9dd",
      "name": "githash.h.in"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "844ef33d28543d3719aa9be2958091e3aa34e50a",
      "name": "include"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "85b3d516d75c9474e5e08326a2bc895ed7ebda59",
      "name": "initialize"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "911a5d30f57f16f147193721b8775fdf40cbb04e",
      "name": "kernel"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "4bee7602c778222df3520df9b56e5c667c9c5b59",
      "name": "lake"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "21e59a9e4a14803cd5a59bedbb286fdceaf08b47",
      "name": "lakefile.toml.in"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "9b74c709f12740b821d1bc9816c935a2e4af2ebe",
      "name": "lean-toolchain"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "131a73a48abdbc424bff762bc97e467464d2a499",
      "name": "lean.mk.in"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "b2e1abe48abd9e3f2f4163020e1c0f9e91a0dec5",
      "name": "library"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e69de29bb2d1d6434b8b29ae775ad8c2e48c5391",
      "name": "out"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "d9bc877d136abffc73e597abe9a5677fec4c7611",
      "name": "runtime"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "78992f2219667617b0d1b95d85ef71ccc1fc67d2",
      "name": "shell"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "45feac31831338be84dd5d63e016cce1d78168d8",
      "name": "stdlib.make.in"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "88d63338824865b81fb56894fe1cd23b07d5383b",
      "name": "stdlib_flags.h"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "856667e8a9dae1ec73404167407fb787a2c84831",
      "name": "util"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "33500fe512ebf9d26c3c179b3f7ad47b17058241",
      "name": "version.h.in"
    }
  ]
}