)]}'
{
  "id": "f5bb7786b686295a54f9432cbd930e519152ab15",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "7dcb366bc64a1c3e401f667369e9fcddb9c34d0d",
      "name": "CMakeLists.txt"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0ac5affba4cfad395f9f01f4bef78d98d1af4d94",
      "name": "Init.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "7dc2f369e606758d2ca23a1cfcc8aa1ffca60b27",
      "name": "Init"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c5190f3479a4c735aefd68811bca417abbaaff53",
      "name": "Lean.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "05d4e6d1ce3361f28114f247a8829eff2866dda9",
      "name": "Lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "111eef50ac43e28c6613ee4699a46ddd99f7eafd",
      "name": "Leanc.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "3e926c0a9ce86db4d728c3163c49466fcb47b885",
      "name": "Std.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "70241c435ec27b63083d1c41cbeb2ef72818dbc7",
      "name": "Std"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "e2949176b592d76c121216e4108aea423c771efa",
      "name": "bin"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "81d6d684ced1c737773dd51797e6a90bf27476b8",
      "name": "cadical.mk"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "42266099917ee51a29e75ce8d6d7550730e9e22d",
      "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": "6306ce815d0426221b2d9ede05b6a849b0712f82",
      "name": "include"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "5b0499c59889479741fbb0232ff5cf535682a227",
      "name": "initialize"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "89222a70be3aa11a1673cbf999f9c433f82a0aeb",
      "name": "kernel"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "35d708cc00bfb62dd7f0a87f73ae311d28a93b86",
      "name": "lake"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "eda69ea848362d2b55e0fcf115405a721913e403",
      "name": "lakefile.toml.in"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0694e2bc29a915356008a01eefd74ca8d056e665",
      "name": "lean-toolchain"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "4c979f1331d8b103947bc216dc51fcbd46fd82fa",
      "name": "lean.mk.in"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "7da9145a0d736997dbc3ac8c8dee1edcb78edc5e",
      "name": "library"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "d1de904776a1aa17a25d41c6c12f25f79098f6a6",
      "name": "runtime"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "16232287f90b7192210b5fd519e40a61e97475f3",
      "name": "shell"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "1185d35780b1cb35b50417c981c74f300ef189bc",
      "name": "stdlib.make.in"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "79a0e58eddae8d9204ad48029c570bc7c84302ad",
      "name": "stdlib_flags.h"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "8e98c0820aae34974d4e9c48e671c453ffe9d808",
      "name": "util"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "33500fe512ebf9d26c3c179b3f7ad47b17058241",
      "name": "version.h.in"
    }
  ]
}