)]}'
{
  "commit": "308942cd8977056055816a419d7470b021fe9e2b",
  "tree": "a8324789fe52cefe8ac54ca878ca2c51addae6b2",
  "parents": [
    "61104050d36523f8245168d53fe37deaa137ca65"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Wed Dec 27 10:01:44 2023 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Wed Dec 27 10:01:44 2023 -0800"
  },
  "message": "chore: fix regression due to changes in previous commits\n\nThe example was looping with the new `simp` reduction strategy. Here\nis the looping trace.\n```\nList.reverseAux (List.reverseAux as []) bs\n\u003d\u003d\u003e rewrite using reverseAux_reverseAux\nList.reverseAux [] (List.reverseAux (List.reverseAux as []) bs)\n\u003d\u003d\u003e unfold reverseAux\nList.reverseAux (List.reverseAux as []) bs\n\u003d\u003d\u003e rewrite using reverseAux_reverseAux\nList.reverseAux [] (List.reverseAux (List.reverseAux as []) bs)\n\u003d\u003d\u003e ...\n```\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "1734d201721619c9979d0bb65588275f19e4ba04",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/Basic.lean",
      "new_id": "62c693e89d31075f8756d08bd7bc829ebcddeae2",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/Basic.lean"
    }
  ]
}