)]}'
{
  "commit": "e00b332d02ecaecde5d667933bd8bd5bcc13887c",
  "tree": "06c0743b04398e8c41916f26e6642b6b2026fbc2",
  "parents": [
    "45302491f7d6309c34ab6753944732d54b3e6264"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Mon Feb 24 11:40:51 2025 +1100"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Mon Feb 24 11:40:51 2025 +1100"
  },
  "message": "complete fmod/tmod/emod comparisons\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "a3681e066a29c1b7f44c27978e24812be33b0d65",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Int/DivMod/Basic.lean",
      "new_id": "d86850c12589257617752ea2c4a3c8ba27487c33",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Int/DivMod/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "9aea5d16e057bf00e0085178d4565220a950b6b0",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Int/DivMod/Lemmas.lean",
      "new_id": "4e5876534110400e81ab9b1a2f84adb8b12a65df",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Int/DivMod/Lemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "053afdd2996cd60159e555747eefd6736c657b3b",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Int/Order.lean",
      "new_id": "c1de7a542b523d72223746c696b2a33e87a07ce2",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Int/Order.lean"
    },
    {
      "type": "modify",
      "old_id": "d401b4d74f9ae6d6c99d987bd4193842f9fc59f4",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Nat/Div/Lemmas.lean",
      "new_id": "785904f8aee16f36c65d959406cdf34f3ea88a85",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Nat/Div/Lemmas.lean"
    }
  ]
}