)]}'
{
  "commit": "f33a9f91ab202231f172d086352642cc18c574ce",
  "tree": "a6a761263293e99ebcde5804f2ea2471c0165cfc",
  "parents": [
    "def564183c148b91b025c3c403bed0a57fb43aeb"
  ],
  "author": {
    "name": "Scott Morrison",
    "email": "scott.morrison@gmail.com",
    "time": "Tue Mar 05 15:45:30 2024 +1100"
  },
  "committer": {
    "name": "Scott Morrison",
    "email": "scott.morrison@gmail.com",
    "time": "Tue Mar 05 15:45:30 2024 +1100"
  },
  "message": "chore: cleanup a bitblast proof\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "334a137e60b005c201ae391f3b5fab1a7fe7cff1",
      "old_mode": 33188,
      "old_path": "src/Init/Data/BitVec/Bitblast.lean",
      "new_id": "f07ae2ba9dc75be75c8dc6e8649be7fa55427467",
      "new_mode": 33188,
      "new_path": "src/Init/Data/BitVec/Bitblast.lean"
    },
    {
      "type": "modify",
      "old_id": "d7f7232100b6faa91ffabcd7b9a00d74a3b35eb5",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Nat/Bitwise/Lemmas.lean",
      "new_id": "3df9c5ef05b093668fc8d9186bf7cd285728278a",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Nat/Bitwise/Lemmas.lean"
    }
  ]
}