)]}'
{
  "id": "855db783d45529ee46da4de0d470cc6cfe428005",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "432db5296a1f072737ab42a3a65412682ba8cf4c",
      "name": "Basic.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "5f72eca39cf2b5d3c14c458a46da50fe75620874",
      "name": "Bitblast.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "3dced2c60af49e7596f9583076dbb0df42dda5e5",
      "name": "Folds.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "59e7e4749e03d409040653631234296b429a8626",
      "name": "Lemmas.lean"
    }
  ]
}