)]}'
{
  "commit": "afa56d79a154caee042c16b20087d1011dbfaabc",
  "tree": "226b3df96b685f71fc538a188edfa4f1f64f070e",
  "parents": [
    "449bc31832604562dc46c203e110077eff8598a9"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Tue Jun 24 07:03:09 2025 +0200"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Tue Jun 24 07:03:09 2025 +0200"
  },
  "message": "feat: revise grind annotations for bitwise operations\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "7a06aa99a869bb5360549e89dfb26b1810f921d6",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Bool.lean",
      "new_id": "af696ed4c11e45e620011d88b37582bfbdfb12f8",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Bool.lean"
    },
    {
      "type": "modify",
      "old_id": "57a160db0d5af02de88ce1004eb8179434a58969",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Int/Bitwise/Lemmas.lean",
      "new_id": "6e0b81ee557cc4e7815e6217ec6ec1871b13802c",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Int/Bitwise/Lemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "3815e297b859b7383e7ce2069935a814d5f8e06b",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Nat/Bitwise/Basic.lean",
      "new_id": "9cce6bf9361f888fe8bc53236fad9b14a4d05ce9",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Nat/Bitwise/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "30329eebe98aaea53b5582ef0c17d1bd96c248bf",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Nat/Bitwise/Lemmas.lean",
      "new_id": "db32ab4981f57a2ba16254b3870c4b3c375e16e6",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Nat/Bitwise/Lemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "6b4568a1d259de83de1b1abdac27aeb8ea9f4e62",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Nat/Lemmas.lean",
      "new_id": "0ec01cc65176475f8286bf21e0ae7473441db7eb",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Nat/Lemmas.lean"
    }
  ]
}