)]}'
{
  "id": "c02e1bc51b829b026e5506359fc5facff1af480a",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "d32527b99317ca14963ad72882d10f7a259ebbbd",
      "name": "CMakeLists.txt"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "228c9a410799933bf9aa381a020df5e192ac2d18",
      "name": "Init.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "beb647e1bc6004203382c7c63b599276f91711a5",
      "name": "Init"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f5e62c749ae633b4ce381a57f959aa7c328aab7a",
      "name": "Lean.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "dbfc2f51e904be766e8ace4b4b60174b3ccb3d78",
      "name": "Lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f665d6f124ef1fbb79ed990c577e0774b08f652d",
      "name": "LeanChecker.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "90f2530d6c6abfae10801e8e9f06b4662dc5e162",
      "name": "LeanChecker"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "da517a3bf8a1dd6b0c1770deae367be40725b6bf",
      "name": "Leanc.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "8906c7b58013cb1c61a6cf11597df297a8209c1c",
      "name": "Std.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "1499cc3510ee22f2d9e4edbe38151aaaeeb09be4",
      "name": "Std"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "e2949176b592d76c121216e4108aea423c771efa",
      "name": "bin"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "81d6d684ced1c737773dd51797e6a90bf27476b8",
      "name": "cadical.mk"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "cf58f2a66a4e0173f7c0b1037e0d9e07e9f376e5",
      "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": "a018fff29a678c08cb5182f85be219199f356e3d",
      "name": "include"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "85b3d516d75c9474e5e08326a2bc895ed7ebda59",
      "name": "initialize"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "eca7eab7ab09cb3f3264f12d9b5f534068473d9d",
      "name": "kernel"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "3cd92b41ce668e0c403239bcf79be62411ad70f4",
      "name": "lake"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "434ad824b8a31d7bd912a22b7da39cdb519f9c85",
      "name": "lakefile.toml.in"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0694e2bc29a915356008a01eefd74ca8d056e665",
      "name": "lean-toolchain"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "131a73a48abdbc424bff762bc97e467464d2a499",
      "name": "lean.mk.in"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "fae9fc76ed0657294e7524b392a49849607e7bce",
      "name": "library"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e69de29bb2d1d6434b8b29ae775ad8c2e48c5391",
      "name": "out"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "3a1db8d8acbf6a958f4569e3f766f4ab7e19e7d7",
      "name": "runtime"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "78992f2219667617b0d1b95d85ef71ccc1fc67d2",
      "name": "shell"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b3365e69307bbeb2bac75741e502c4b5cbd19056",
      "name": "stdlib.make.in"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "79a0e58eddae8d9204ad48029c570bc7c84302ad",
      "name": "stdlib_flags.h"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "09ccf2f151f00db8c84736ce37965c3e04836cc1",
      "name": "util"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "33500fe512ebf9d26c3c179b3f7ad47b17058241",
      "name": "version.h.in"
    }
  ]
}