)]}'
{
  "commit": "4e1d56d1cc3214c396bf2b731c4f1c38bbd5ccbf",
  "tree": "71e0395733d4e17efab2037e684fafb322883af6",
  "parents": [
    "201f35c118c205007d47c66d3a03e6a7624b3f06"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sat Apr 05 20:22:38 2025 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sat Apr 05 21:18:53 2025 -0700"
  },
  "message": "fix: `denoteAsIntExpr` missing `shareCommon`\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "f122f772740923af07a54c56ef514a92d6bbdb70",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Arith/Cutsat/DvdCnstr.lean",
      "new_id": "34235fca5c112b39b877f96c7e534476cc319be4",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Arith/Cutsat/DvdCnstr.lean"
    },
    {
      "type": "modify",
      "old_id": "a131b8326ed926911f47f6fa44586fc0290617f8",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Arith/Cutsat/EqCnstr.lean",
      "new_id": "5d54ee52634f56adb06e70dcec2aa82678c0dd07",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Arith/Cutsat/EqCnstr.lean"
    },
    {
      "type": "modify",
      "old_id": "d14efe9a455a317ff85ccccfb41cfac250637f85",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Arith/Cutsat/LeCnstr.lean",
      "new_id": "01fd1a9c62ed5fa34680239d2c9c48176ac76c61",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Arith/Cutsat/LeCnstr.lean"
    },
    {
      "type": "modify",
      "old_id": "dc74e158abaa28bb24c3726dc15e470f3f5ade0d",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Arith/Cutsat/Nat.lean",
      "new_id": "1fc9c7457880cbb327cbdc9fdeb56c8345e65348",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Arith/Cutsat/Nat.lean"
    }
  ]
}