)]}'
{
  "id": "01d6324fc3969bfc70fd77ea2798c434d9db9bf4",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "dbf661c4be1ba2a06f79229e04aca6f2cdea2656",
      "name": "Basic.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "2bcce0a8e8a8d10e9ae9bb2bad91cedc09645ac2",
      "name": "Bitwise.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "3429c4e0896b918df6ae97b093bbd8d2c9fdcdd4",
      "name": "Bitwise"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "6a4b0010bd41584a13fe17f44cc14a74a40a3e32",
      "name": "DivMod.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "6750a468a55326286b04137ae9ab8b3da6e41cdb",
      "name": "DivModLemmas.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "3e8748123f6a7479047e23c81b264988c5cfd923",
      "name": "Gcd.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "4b0e560fb00d2fd300d59b4d7e4e3a3b016e52ba",
      "name": "Lemmas.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "3d5855e43e795fbdfaa44f6f0536e9700ecd8aa0",
      "name": "LemmasAux.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "808ddaed8ea5e75f18c41402d572ed7e2d5c65f0",
      "name": "Order.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "233849788b86987e4622e94c62b1866778d313ee",
      "name": "Pow.lean"
    }
  ]
}