)]}'
{
  "commit": "aa4dfbb3485541bc7f2462bb91c9f432694a9a89",
  "tree": "645c0d73d89fcb92098c88992d055d7af7c5cd70",
  "parents": [
    "4236d8a85b17fe1928613a1c300f89ace40a81f5"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sun Aug 11 17:05:11 2024 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sun Aug 11 17:05:11 2024 -0700"
  },
  "message": "fix: panic at `reducePow`\n\ncloses #4947\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "f71e70228345e462b38fb6eda4e8650b1954367d",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Nat.lean",
      "new_id": "fe9bd495aadc6587c89fe58d1439f67f1447a040",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Nat.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "9ac85f4205a726d0fa00de1f9392d23852355dec",
      "new_mode": 33188,
      "new_path": "tests/lean/run/4947.lean"
    }
  ]
}