)]}'
{
  "id": "6d4539ddc353f467fefa09889d2336cab5710c34",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "cb1801a16ea14c6e39901accbc1e594fc8627532",
      "name": "CMakeLists.txt"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b4112020caccf9fd398093a0e6f45ee5c02dad13",
      "name": "Init.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "7b0eced332abc7b0e0d4bd9f52c4c5a4d43e7e2e",
      "name": "Init"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "83d95a42b814782eac232a5d2f3a30dbe5f3d617",
      "name": "Lean.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "c75066842b366aedd4e7985a9477f58ac722468e",
      "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": "1b6d93754aa65b2da2983924ceaeddf75f2a804a",
      "name": "Std"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "776de8c0d66ce0cbc024261b0d89230ce31f9f37",
      "name": "bin"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "de6d888c5a82f788a1b31a4492da1be1a28e89be",
      "name": "cadical.mk"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "c5bea5f3095470b152211dab5ac328ed81ed0d79",
      "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": "7fd28124783c3aed25c18a1660c3977581e88b28",
      "name": "include"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "5b0499c59889479741fbb0232ff5cf535682a227",
      "name": "initialize"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "0754fc8984547c6dd3462a2b00f5367998d5b02c",
      "name": "kernel"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "fe63a8a4ec79e36a36104a33846fb9b13a4877a1",
      "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": "db47f75b14b600665c204001fe45ef3fd9233b19",
      "name": "library"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "49af3e12ddf966cfd4e675055dd9f6d0259a0cdc",
      "name": "runtime"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "f25f2d37ede1186d6f73d685331f03c2de4bb0c6",
      "name": "shell"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "92bb8544303ff79a7110fa450e43a1d08c77730f",
      "name": "stdlib.make.in"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0699845ba4526869f7628e722b70abd4d379b3e6",
      "name": "stdlib_flags.h"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "6ebb729b343752dc45f08b29248d10b627badcf8",
      "name": "util"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e44d0579907c44c22ca541c136e9319d78c3aef3",
      "name": "version.h.in"
    }
  ]
}