)]}'
{
  "commit": "1f88e253d28bf99e9e2239120f286400f5f30ddc",
  "tree": "0958518e58cf079e98a0e9121556323076a0497f",
  "parents": [
    "86cbb386d68161bcb33d8c2302fcf09ee49e18bb"
  ],
  "author": {
    "name": "Scott Morrison",
    "email": "scott.morrison@gmail.com",
    "time": "Fri Feb 23 11:32:15 2024 +1100"
  },
  "committer": {
    "name": "Scott Morrison",
    "email": "scott.morrison@gmail.com",
    "time": "Fri Feb 23 11:32:15 2024 +1100"
  },
  "message": "chore: cleanup in BitVec/Bitblast\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "1a7e582dcf2cc4ac8f3a6adc2d43edfe3999fe20",
      "old_mode": 33188,
      "old_path": "src/Init/Data/BitVec/Bitblast.lean",
      "new_id": "44f8941ffa269b738715effb96ee3da20522729f",
      "new_mode": 33188,
      "new_path": "src/Init/Data/BitVec/Bitblast.lean"
    },
    {
      "type": "modify",
      "old_id": "0e4234e96f333e1662ac4f496902207c14a869c6",
      "old_mode": 33188,
      "old_path": "src/Init/Data/BitVec/Lemmas.lean",
      "new_id": "0e83097878c6f39bd124769b62d887f9470deb31",
      "new_mode": 33188,
      "new_path": "src/Init/Data/BitVec/Lemmas.lean"
    }
  ]
}