)]}'
{
  "id": "5832925aed0262a63b16ce54fec2ff240db6f6fd",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "e74ec86be4898dad81bf9ed561d3ae51e06e9531",
      "name": "CMakeLists.txt"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "d994d04b179ed0ed4bdaef30a4861c38f8d40baf",
      "name": "Init.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "f8f0ce282f2a862766e247e8a7f99315895ede8f",
      "name": "Init"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "50aef24aff5873fa0e14a41ba576702a74db89c5",
      "name": "Lean.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "2f6c422eaa8cf38d5970bc891528b8cc2f289fa6",
      "name": "Lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "111eef50ac43e28c6613ee4699a46ddd99f7eafd",
      "name": "Leanc.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "70238c17729fcddf579403aae95176dbd578a920",
      "name": "Std.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "03f7eabf1f7a53482488e1448b8c47f272e89334",
      "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": "a152a43662e11aea65bdd8fb9273db4a70f4790f",
      "name": "include"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "5b0499c59889479741fbb0232ff5cf535682a227",
      "name": "initialize"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "75bcb7550e72a0ce2a80e6ac3b12081f826968ba",
      "name": "kernel"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "c19a51328e8e6a22f60128ba5abef7a0663c198a",
      "name": "lake"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "640b5ccbeed81a18beaa2b117ffe14b54366ce04",
      "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": "f716e76114791faced15763ba3f33948d105a2f3",
      "name": "library"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "38fdc50e07c7e56164004c14c5ad8d64bc146812",
      "name": "runtime"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "16232287f90b7192210b5fd519e40a61e97475f3",
      "name": "shell"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c015fdf97b4471207be74bd1e1a06115b01cef38",
      "name": "stdlib.make.in"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "79a0e58eddae8d9204ad48029c570bc7c84302ad",
      "name": "stdlib_flags.h"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "62f88d0eb4094bdc6c5d56c078e81b06d85aec68",
      "name": "util"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "33500fe512ebf9d26c3c179b3f7ad47b17058241",
      "name": "version.h.in"
    }
  ]
}