)]}'
{
  "id": "715eb2f2eaf92c96ffda0d248d856d13b831ec0f",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "99ab03cf11ec15ca559574e7fb9131dc28141aa9",
      "name": "Basic.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "4c3a04571a071fe89f5acbac4795f205215ab9ef",
      "name": "Bitwise.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "3500dc24cdb89ef4354b26af1ac1eb6f62419fbf",
      "name": "Lemmas.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "3e6bb6e18f0a4497e88bdb8618e01833b5372922",
      "name": "Log2.lean"
    }
  ]
}