)]}'
{
  "commit": "4336047981806a82352d53fde7fe1a8624ef3920",
  "tree": "195f3e221a8797bb911e25749bafe3c11ada7770",
  "parents": [
    "05630fc149dc3ac2163d94041a5f7a4aa156600e"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Mon Jul 07 21:50:07 2025 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Mon Jul 07 21:50:07 2025 -0700"
  },
  "message": "chore: profile `grind` satellite solvers\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "5ef26737ea79a7de8d8e74d095992c42f4d22c96",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Arith/CommRing/EqCnstr.lean",
      "new_id": "0fd1e185a3f9f5045ba5d77a33e2bd9ff97ea426",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Arith/CommRing/EqCnstr.lean"
    },
    {
      "type": "modify",
      "old_id": "3c58f0b2371951fba8bf2ffff32fbf31da4c3ab6",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Arith/Cutsat/Search.lean",
      "new_id": "79eb02be55e9fc46ea9af8e6a49169d06958a13c",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Arith/Cutsat/Search.lean"
    },
    {
      "type": "modify",
      "old_id": "68b06218045c2318a72b925fa32ddc86eb05dc77",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Arith/Linear/Search.lean",
      "new_id": "f0f0373528e93190338704da7baec19960f411b7",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Arith/Linear/Search.lean"
    },
    {
      "type": "modify",
      "old_id": "33ffe5ab4b33046e4837ff85fc4dbe390ae53348",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/EMatch.lean",
      "new_id": "fd9d7aace4c40167393bb678b60487a5df80c032",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/EMatch.lean"
    }
  ]
}