)]}'
{
  "commit": "0fab9e884d1a2277d66e0a4cc00a1790d20ffae9",
  "tree": "3e862f2e3f92b77acc2df9174f5ff6c75bf2e8da",
  "parents": [
    "186063c14a0764a9fba60440e8d28b68bf85f1b8"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sat Oct 25 18:52:34 2025 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sat Oct 25 18:52:34 2025 -0700"
  },
  "message": "feat: simproc for `zpow`\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "3547bf11f91d4867902511b565b6b650f74a58a8",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Arith/Simproc.lean",
      "new_id": "01ccb24212a9532e71cf1b4605d39f671ba64db4",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Arith/Simproc.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "3fb404135cf5fe85177a48aa8a62f3038786fda0",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_10489.lean"
    }
  ]
}