)]}'
{
  "id": "b4cc96c74138e1e5283580777ef4aad86bbf36d6",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "ec8cdae83c014f460a83ce907f1f74867728929d",
      "name": "CMakeLists.txt"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "349536f6ec2219b059f6ee46cc6ce9f5e545e95a",
      "name": "Init.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "2e118cef09e331e50c8349ef1c089dc6e9068fff",
      "name": "Init"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "5b804039acf03a5adfdc3e9a3ebfdf59fb1e187e",
      "name": "Lean.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "2f0cee2e739cd7ee1f5656291ee91accd35c03a6",
      "name": "Lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "aa69c77767cfab76fdb95a7cafb170d36b9950c2",
      "name": "LeanChecker.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a21cc37c1a84d89026aba45daf61a7bc05be5f00",
      "name": "LeanExport.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "9a3ad229d0c902bca60a819fd8f4e31e96e761a3",
      "name": "LeanExport"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "dc9839259ab92e03459757278ee24e785505d58d",
      "name": "LeanIR.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "da517a3bf8a1dd6b0c1770deae367be40725b6bf",
      "name": "Leanc.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "85f5d08b96e6ad8d50ea045a726b1fdc5d906f7c",
      "name": "Std.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "2d62e0adcf67ca9e46c8bd95dc051583ee571cfd",
      "name": "Std"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "d6a108554fd66962d24522e581d5487663e198df",
      "name": "bin"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "58a1004e18b0b097f316992211041bbe47756d00",
      "name": "cadical.mk"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "97f55dbb1be19bdfd5d18fe1fd81856990901a3c",
      "name": "cmake"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "cac4835e0f80b3faddbcdcdb2d4d621405a2eb59",
      "name": "config.h.in"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "7cc0444b6a3a0f7370be69771e4937bc3562b9dd",
      "name": "githash.h.in"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "8309196bee79b3819c3ab46cc90be79ad3082300",
      "name": "include"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "6e3c2bd3670ad46d5b1d5a2a1349ec829e04db8d",
      "name": "initialize"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "0f94940e8115d5690d32ade850aa2a676edeb1d3",
      "name": "kernel"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "6e2ca385db90e39f6fd6a2181a13460fee2d1830",
      "name": "lake"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "9cd09efc51e8a26589868f80f7f9558fa73b04fb",
      "name": "lakefile.toml.in"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "9b74c709f12740b821d1bc9816c935a2e4af2ebe",
      "name": "lean-toolchain"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f520b05348f8de85fe169224d2237c0f358c4de5",
      "name": "lean.mk.in"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "ddbfc60a5f22ebb02a8054e7b38dd5530364bb10",
      "name": "library"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e69de29bb2d1d6434b8b29ae775ad8c2e48c5391",
      "name": "out"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "0039ea3da02f8deef05b0325a32440d46cbf9534",
      "name": "runtime"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "78992f2219667617b0d1b95d85ef71ccc1fc67d2",
      "name": "shell"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "055547f4be5e806e2a331066eee0d1c74644f9f3",
      "name": "stdlib.make.in"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "3baec9ac0fdd7e712e519058688bded2cada4bf1",
      "name": "stdlib_flags.h"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "b8ab4e4dd5e4f622447b8a20b1a34ca3560ea00e",
      "name": "util"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "33500fe512ebf9d26c3c179b3f7ad47b17058241",
      "name": "version.h.in"
    }
  ]
}