)]}'
{
  "id": "ff6f4affe23fbd6a5db8d32c00b47b0029cd1935",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "d9e9218aaa218ab8fa88c9d47c462deb8d826544",
      "name": "Basic.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "030f10b142b376a540e6fec2c09f9304698712e5",
      "name": "EState.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "3e1efa5ed77b88af14a0f6c03d5befe5b0a456e2",
      "name": "Except.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0d07328a357b769b7eda99d8c50bbc3a646b339d",
      "name": "ExceptCps.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "ab1b4a1a15a7a9eb1d2d226933466bb9dccd0a78",
      "name": "Id.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "53641d722927a221efd1a541d9cf5d9f4cbbe2fa",
      "name": "Lawful.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "a97bd1b46b9aabc30f53411ab4a1f17c7445ddc0",
      "name": "Lawful"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "ebdcb40e97a3154c596a3210c20a7acaa070df8a",
      "name": "Option.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b0e24e9aa4a16a5c5ad36165823f3b2e78b36e9d",
      "name": "Reader.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "ade42f7c0ef2b786790a19df73234166acbeb51c",
      "name": "State.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "3ecfdbf85dcf9df9aa7ea79a2df197b689d3ee0d",
      "name": "StateCps.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "7bbdd8c341cdf77043fb5d7649ab7e7f01b94f0a",
      "name": "StateRef.lean"
    }
  ]
}