)]}'
{
  "id": "0117903405c427d822b01650e8cfb77214e0687e",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "219163553904d4483c3898fb3b19a68f066ef1ce",
      "name": "CMakeLists.txt"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "1315044ce3417aee13f1ea170e1ebd6578296dba",
      "name": "Init.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "099e45c12b7db2b4821f6dce25a3428292362da0",
      "name": "Init"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c708d08fb7558a376ced68508a50ff88ee0e45f4",
      "name": "Lean.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "cc7896bf5769b114fa11487762ada76674dfadb0",
      "name": "Lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "da517a3bf8a1dd6b0c1770deae367be40725b6bf",
      "name": "Leanc.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "8906c7b58013cb1c61a6cf11597df297a8209c1c",
      "name": "Std.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "0a2bd74e101bf9f8a8ab9fa12f1fc45caaffe8d9",
      "name": "Std"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "e2949176b592d76c121216e4108aea423c771efa",
      "name": "bin"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "81d6d684ced1c737773dd51797e6a90bf27476b8",
      "name": "cadical.mk"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "728149f77660ae3de3a6c9fee51883f0c9eed5d4",
      "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": "23b38385175cf5978c7517f9cde53454740bda0e",
      "name": "include"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "85b3d516d75c9474e5e08326a2bc895ed7ebda59",
      "name": "initialize"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "418296588a0f95514bb1e39e10786b4b6b987e06",
      "name": "kernel"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "af8a23bdbb9d736d37c809e44a7e3661bff7856b",
      "name": "lake"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "51f1c94605d6a3da7be2e3efa3c747149f99782e",
      "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": "939c7ae5dbacc53a21ecd3e40555ad05f0bf93cf",
      "name": "library"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e69de29bb2d1d6434b8b29ae775ad8c2e48c5391",
      "name": "out"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "61802f195724f06344596a74eb2c92a838aad8d4",
      "name": "runtime"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "6db3bc1e3b3fa028c143a95280304118e42a25ef",
      "name": "shell"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "6e4d97af09b30cb3718c59be22e690e81aa6c4d1",
      "name": "stdlib.make.in"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "79a0e58eddae8d9204ad48029c570bc7c84302ad",
      "name": "stdlib_flags.h"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "2161c65d4e538d7d6bb072622f8aabb19a5a0582",
      "name": "util"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "33500fe512ebf9d26c3c179b3f7ad47b17058241",
      "name": "version.h.in"
    }
  ]
}