)]}'
{
  "commit": "4492c1fdeb8013b45e93256d64c64069b9bbfcc1",
  "tree": "0a0be1754f54f6967dde6c420461921a1ae92a4e",
  "parents": [
    "a5348f4bdc95c5a327817b5c62ee9f99ec8a0bfa"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Wed Mar 19 12:04:30 2025 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Wed Mar 19 12:04:30 2025 -0700"
  },
  "message": "feat: improve cutsat counterexamples\n\nThis PR improves the counterexamples produced by the cutsat\nprocedure.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "47335c5408af18ffaad7bae89c0216f9896d3c4e",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Arith/Cutsat/Model.lean",
      "new_id": "bbbc87f0d1865e6e03949d61058530e442ca1dbd",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Arith/Cutsat/Model.lean"
    },
    {
      "type": "modify",
      "old_id": "c80e2feb371419846685cad81a51ef9a13141c47",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Arith/Cutsat/Search.lean",
      "new_id": "28de53482fb860973fed8c13e61617750f4430b3",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Arith/Cutsat/Search.lean"
    },
    {
      "type": "modify",
      "old_id": "d6e8dd6e97e63e2be5fd706547e5c08a0574c6ac",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/PP.lean",
      "new_id": "752b94ac9a508cfa2dda32954e4a8817fd3ffe8e",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/PP.lean"
    },
    {
      "type": "modify",
      "old_id": "f2a30d4e6e5b93ae5d65525e313615d0ada45a02",
      "old_mode": 33188,
      "old_path": "tests/lean/run/grind_cutsat_div_mod.lean",
      "new_id": "393773e84196c8ae14f86eb82d442748d84123c2",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_cutsat_div_mod.lean"
    },
    {
      "type": "modify",
      "old_id": "34c39990aad4f1bac13cd3da799af351cef0d7bd",
      "old_mode": 33188,
      "old_path": "tests/lean/run/grind_cutsat_nat_eq.lean",
      "new_id": "578eca12de5a88c2ed6263bc34a8c6bdd4566f97",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_cutsat_nat_eq.lean"
    }
  ]
}