)]}'
{
  "id": "e0d1ca12e66a89e58b9865fe002cf2d04b1d47ba",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "ca9037298cf9b3af9aa2b89b188a229cbc749ff1",
      "name": "CMakeLists.txt"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "83f23e37a5a9f541cd9691d8f3c190a96cb978c5",
      "name": "Init.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "5ec5362f522733d520b806fe5ef9b288b4366475",
      "name": "Init"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f5e62c749ae633b4ce381a57f959aa7c328aab7a",
      "name": "Lean.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "9c4898c20fb6cacc902dca1875b9047d06b101a5",
      "name": "Lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "48cb20f85c581365e425e803b2cb9352d07eb29b",
      "name": "LeanChecker.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f76f323f37bd439ee7a7c469e488ffe70d918c53",
      "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": "93f1b9c85d03436036974c1036b31d0c2f8d2253",
      "name": "Std"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "3a3cb24d38a1ddd2ac05467446e6fdaf00ffe898",
      "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": "a5bf1529cccf8987c6c056076a04f9acbd1b1dc2",
      "name": "include"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "85b3d516d75c9474e5e08326a2bc895ed7ebda59",
      "name": "initialize"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "ccbba7c606c9302c2ff91686daab32eab42b96f7",
      "name": "kernel"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "4769db58e3d1b874cd28717c7f6b22c45c15df01",
      "name": "lake"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "7b71ae641efc1f8cc503d2acbdb2eafe49ac0bf0",
      "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": "cea50d0f4166f5c84b76aef6c90bce20442fce0d",
      "name": "library"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e69de29bb2d1d6434b8b29ae775ad8c2e48c5391",
      "name": "out"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "f416a2a35232652ff9efd34cd3f3f541f9a4a10a",
      "name": "runtime"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "78992f2219667617b0d1b95d85ef71ccc1fc67d2",
      "name": "shell"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b399c745cf6c71c44caab174b11c607133e8e6e2",
      "name": "stdlib.make.in"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e444447049085fa1b408172d47420fa36815d8d4",
      "name": "stdlib_flags.h"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "ea5a6c23a29dcf182aa22908c9e2d35000122d5b",
      "name": "util"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "33500fe512ebf9d26c3c179b3f7ad47b17058241",
      "name": "version.h.in"
    }
  ]
}