)]}'
{
  "commit": "c6554bc242950fba7648811f4bab39c6a94804ce",
  "tree": "9935e5b917bfcfb16211e580d9b7276894b85ba7",
  "parents": [
    "c1846e0b9735aed557db245e40a6456176b10719"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Wed Jan 24 12:47:00 2024 +0100"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Wed Jan 24 12:47:00 2024 +0100"
  },
  "message": "chore: update stage0\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "959588acc621579184d3b902a4bbe958e7820354",
      "old_mode": 33188,
      "old_path": "stage0/src/CMakeLists.txt",
      "new_id": "08bbe95f940eac0514d296b0018ccc53c78d0c80",
      "new_mode": 33188,
      "new_path": "stage0/src/CMakeLists.txt"
    },
    {
      "type": "modify",
      "old_id": "4c8d8f2d60f7db150feb06d47878bd7104e3a2db",
      "old_mode": 33188,
      "old_path": "stage0/src/kernel/type_checker.cpp",
      "new_id": "1de1dc73dd9088d7a790e499079913340fc407d9",
      "new_mode": 33188,
      "new_path": "stage0/src/kernel/type_checker.cpp"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "6cc5179a077ee92da0dad4c9fbc9f74f55bdf80b",
      "new_mode": 33188,
      "new_path": "stage0/src/std4.commit"
    },
    {
      "type": "modify",
      "old_id": "85d0b9d27df47dd0d5f7ee6dbe85d2fb88239de9",
      "old_mode": 33188,
      "old_path": "stage0/src/stdlib.make.in",
      "new_id": "445fe0b2eaf291745f290d32d600272e37beceb7",
      "new_mode": 33188,
      "new_path": "stage0/src/stdlib.make.in"
    },
    {
      "type": "modify",
      "old_id": "14e5caa40462000efdc8feea0dc96339cd5df81a",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Init/Data/Array/Basic.c",
      "new_id": "25a9c09b06b8293190edb76c7095af074f5b95b9",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Init/Data/Array/Basic.c"
    },
    {
      "type": "modify",
      "old_id": "9d1f6c8386fa94c66c7a231893b7d84aed8197d3",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Init/Data/Nat/Gcd.c",
      "new_id": "0f7222f9554192593f722b552124d90691b6b8d0",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Init/Data/Nat/Gcd.c"
    },
    {
      "type": "modify",
      "old_id": "5e53dc45998756f7524a6c05b23ed39d9b5e7d36",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Init/Data/OfScientific.c",
      "new_id": "6521f9e8797551e55299085c3143c170da9a9457",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Init/Data/OfScientific.c"
    },
    {
      "type": "modify",
      "old_id": "de9ca5e2a2f9e2b6d1249853ad03d15d6ed003fa",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Init/Data/UInt/Basic.c",
      "new_id": "90a7536cdc4e75ed0e2f545d8f26dd900e9072c7",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Init/Data/UInt/Basic.c"
    },
    {
      "type": "modify",
      "old_id": "939e2ddcdf059f82be4b5b644476081e588ff85c",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Init/Meta.c",
      "new_id": "7b67f0da015aaf29a4f2ba55411ce65efcacf41b",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Init/Meta.c"
    },
    {
      "type": "modify",
      "old_id": "2b0dd26abdeb13d56463ee90534d452b01094788",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Init/NotationExtra.c",
      "new_id": "8a7da21614a83c3d5bdde5de756e7c225850d808",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Init/NotationExtra.c"
    },
    {
      "type": "modify",
      "old_id": "f1549cb1ec9b831adf68167d3a6e2f1d69da45f7",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Init/Simproc.c",
      "new_id": "a31676add0aaee3d444d16c6bc5451e5482ffbbc",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Init/Simproc.c"
    },
    {
      "type": "modify",
      "old_id": "00f46d6d0007c99be1bf31fb6058bcf2eb76dfef",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Init/System/FilePath.c",
      "new_id": "64e76ad7d5f240e67d6e0a1653fb966c23775787",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Init/System/FilePath.c"
    },
    {
      "type": "modify",
      "old_id": "938ac775d9014c12a7742a7c1eeb1f1857661873",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Class.c",
      "new_id": "2d76c2326863f5a713a2870648f0a7428d5b2e56",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Class.c"
    },
    {
      "type": "modify",
      "old_id": "8cc9494fded2f04c7e2b50e5ac6598c60852d75b",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Compiler/IR/Basic.c",
      "new_id": "122b0f414a868cc43c8b97d3fd17596f2d79f7db",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Compiler/IR/Basic.c"
    },
    {
      "type": "modify",
      "old_id": "34a9562811b38342e433586bdd8549ffc2f126e6",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Compiler/LCNF/FVarUtil.c",
      "new_id": "01b010f6b9422c62608978d70362aa418ab1de61",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Compiler/LCNF/FVarUtil.c"
    },
    {
      "type": "modify",
      "old_id": "d161ccaf4475fdf488669cdaa606adcbf04c739c",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Command.c",
      "new_id": "08bbca5d51c8cdae800eae521b1a925b89e2d87d",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Command.c"
    },
    {
      "type": "modify",
      "old_id": "7714167406f2203edaba7e2fa47db1bb75f48c3b",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Declaration.c",
      "new_id": "09e33d4d3caf9cbfb0719e1fb28d00fa6206c508",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Declaration.c"
    },
    {
      "type": "modify",
      "old_id": "3e15a7714c9ca6542d3af3cadedc7d475e629477",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Deriving/BEq.c",
      "new_id": "cfe6fc065b0a602869941fbaf21f3ccb29934d07",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Deriving/BEq.c"
    },
    {
      "type": "modify",
      "old_id": "006e3f9fae8acac3545c1f04050a900b6589bcf3",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Deriving/DecEq.c",
      "new_id": "f6dd857b1c51a8285287859cdfe26efe66fd2f9a",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Deriving/DecEq.c"
    },
    {
      "type": "modify",
      "old_id": "ed2851caf5cc40c138f37d069fb5f607dfed361e",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Do.c",
      "new_id": "3c646330204c54511f0e9a73e393d72c41b8f36f",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Do.c"
    },
    {
      "type": "modify",
      "old_id": "6b0d4e1f7317af563ebe9422176513e5ee32c528",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Extra.c",
      "new_id": "0178ec68cd062ef2f4da3e6a1471ba7b9a0d2ba4",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Extra.c"
    },
    {
      "type": "modify",
      "old_id": "0049bc704f8b8ec446efefc9b2fa2e445f2f155c",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Inductive.c",
      "new_id": "fff91ab4dadeb96a1896275cdbe4d88c2f580bec",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Inductive.c"
    },
    {
      "type": "modify",
      "old_id": "26c3a8fc7336aa5a86c46836ba6f3ca6af88e329",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/InfoTree/Main.c",
      "new_id": "36babfa38c980f32cd63558d5faeb95e01937397",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/InfoTree/Main.c"
    },
    {
      "type": "modify",
      "old_id": "9a284596725ff9afa6d219f5b255f0a6cf8ce0d9",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/InfoTree/Types.c",
      "new_id": "d53c533ecc62ed55fe299a5e56c62a258906c217",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/InfoTree/Types.c"
    },
    {
      "type": "modify",
      "old_id": "8798302f7979e9f364123ff9c67027c01430ad64",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/LetRec.c",
      "new_id": "abf675a61c775a7afcf7d47805a497f81c603941",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/LetRec.c"
    },
    {
      "type": "modify",
      "old_id": "34b44af37f9181335b0f76e1079b18adfe4d0add",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/MutualDef.c",
      "new_id": "f162d65338b2a9342bf3198236df5b1c6914a54e",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/MutualDef.c"
    },
    {
      "type": "modify",
      "old_id": "34a99706c305e7ef3fb69f69cc320e60c54f2735",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/Basic.c",
      "new_id": "f6be5019707a592fc9f3428cf4b9c96147a1281a",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/Basic.c"
    },
    {
      "type": "modify",
      "old_id": "77b16f4dfde20136a0f26d7fa4db83c4e805e680",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/Main.c",
      "new_id": "2a806565a3ec54a79b9fe04f5f159358aeeba610",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/Main.c"
    },
    {
      "type": "modify",
      "old_id": "19595dcd518f7a30310758b76e5c8197cd73f324",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/Structural/Eqns.c",
      "new_id": "c5faf98ee4e99bed902677de1ec37a1bedd5b596",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/Structural/Eqns.c"
    },
    {
      "type": "modify",
      "old_id": "a5511f29b97d8d92ebb9ab4afb4604835a9bac92",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/Eqns.c",
      "new_id": "797e1d8d1b655fe8ef9a1e48749c33acea7a9569",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/Eqns.c"
    },
    {
      "type": "modify",
      "old_id": "d96dd9da48b2a422c7d2bf1d694d2264d4e1e9d7",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/Fix.c",
      "new_id": "1829dc4c20dcb4734586b655f26f52b77be39754",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/Fix.c"
    },
    {
      "type": "modify",
      "old_id": "d7eb567ecdf27f05cf1e98f1b23586edc0dc2c42",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/GuessLex.c",
      "new_id": "0757dfce58fb3f44944ddfef10fc436e84ca9fe8",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/GuessLex.c"
    },
    {
      "type": "modify",
      "old_id": "2be93aecdea8b916720e5fcca27dabb148907133",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/TerminationHint.c",
      "new_id": "1c29e58e179ad7836da3686ba1faa881d586dea9",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/TerminationHint.c"
    },
    {
      "type": "modify",
      "old_id": "1c81d2172681fd26d1e9134e3c591b5813229f30",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Quotation.c",
      "new_id": "adf47405a5254a0fcc9c5bd8a3b49d028b09132f",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Quotation.c"
    },
    {
      "type": "modify",
      "old_id": "b20cbb664fd919a4e520aaf1bef408d37ea20b94",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Structure.c",
      "new_id": "a2cd8d82f3f842f249dc6c92a472624d8f08e587",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Structure.c"
    },
    {
      "type": "modify",
      "old_id": "058bb79ce0d3c6c4bcd67985d2001671aae17e54",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/SyntheticMVars.c",
      "new_id": "464f4f81fc3aba6f036d9107b1b9c3177ab97e2d",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/SyntheticMVars.c"
    },
    {
      "type": "modify",
      "old_id": "1ea83376bb0fa0266848c2033b453a03a04088de",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Tactic/BuiltinTactic.c",
      "new_id": "25512bd810113c0d91966a7db3eb1dd980dd0872",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Tactic/BuiltinTactic.c"
    },
    {
      "type": "modify",
      "old_id": "24e50c1ff9acf9e0741a62577b4d052edb1cda7c",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Tactic/Config.c",
      "new_id": "f1fd4acb798f4b83dca10db8a412c4dff1f84a69",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Tactic/Config.c"
    },
    {
      "type": "modify",
      "old_id": "825114d8d48ed8d133c3d4f68c3b641a3bf4e30c",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Tactic/Conv/Pattern.c",
      "new_id": "b11793151cc2511367b70e8940c0690d89b18ae3",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Tactic/Conv/Pattern.c"
    },
    {
      "type": "modify",
      "old_id": "12318d637a53026a4302c6a5dd59efb260e1efa2",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Tactic/Induction.c",
      "new_id": "b6e5fa587ba0b2cfab3e83158081698a35edef79",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Tactic/Induction.c"
    },
    {
      "type": "modify",
      "old_id": "2466d33c09b12f28c6f27d81685debbe787c6033",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Tactic/Rewrite.c",
      "new_id": "504659b709bde2e3b2d56f1711d1839cedee8490",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Tactic/Rewrite.c"
    },
    {
      "type": "modify",
      "old_id": "01534bf489916e570aebb4fcbc3d789d72aefcaf",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Tactic/Simp.c",
      "new_id": "b9046bcb319316926caef1cf4d60aa1d5965c95f",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Tactic/Simp.c"
    },
    {
      "type": "modify",
      "old_id": "1011146ea305010422ecf8701d5cb923ca8e06ee",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Term.c",
      "new_id": "db8c93fd6807fe08389ddb44bbcc1e0db5e2d463",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Term.c"
    },
    {
      "type": "modify",
      "old_id": "e8680647efdc68474cccff729a86760161760f2d",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Expr.c",
      "new_id": "922492784298c64c3be980c110369a3dbafc521c",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Expr.c"
    },
    {
      "type": "modify",
      "old_id": "ca049e2684e440d4ba3b31a7e70391144e09de46",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Linter/UnusedVariables.c",
      "new_id": "f16b9a6159de13f550858e963601357d2e2e68a2",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Linter/UnusedVariables.c"
    },
    {
      "type": "modify",
      "old_id": "20bb8ebda9d64c3281e4119fddaba5e47e814192",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Closure.c",
      "new_id": "34553af3377d24421da53fe459639459c80e4489",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Closure.c"
    },
    {
      "type": "modify",
      "old_id": "70a0c697e919b1f9b99728f2bea22dd270814dab",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/ExprLens.c",
      "new_id": "bd86d50dfd3c7e0293c2176687e0419674d25ec2",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/ExprLens.c"
    },
    {
      "type": "modify",
      "old_id": "b6750df0f16c04cb21b343ab2d9aabfd2a66785d",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/AC/Main.c",
      "new_id": "46266ebd16beb5ad5c28a810c210d859dfae8111",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/AC/Main.c"
    },
    {
      "type": "modify",
      "old_id": "cf4bf3f8941a66987d840a1ac7e62d021aeef417",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Acyclic.c",
      "new_id": "f05b9b51b0cd3dff1767357a43330fa6d23aa7e2",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Acyclic.c"
    },
    {
      "type": "modify",
      "old_id": "cd42ca618699644af548e052760640a5fcba8e16",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Rewrite.c",
      "new_id": "3d1b8c91f9ce886e02c3d7e84d398c39c50c1573",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Rewrite.c"
    },
    {
      "type": "modify",
      "old_id": "28ff51123274ac7ddae014528aecebdfee2cf1d2",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Core.c",
      "new_id": "a743a6aa173e4fd716a4295713c527002d9486b1",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Core.c"
    },
    {
      "type": "modify",
      "old_id": "c3b56b0541a6d22c953c9682c07ec01111cf0a5d",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Fin.c",
      "new_id": "5a405066901d650c2c9414c571c2087f32558b83",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Fin.c"
    },
    {
      "type": "modify",
      "old_id": "c4100163bb92ccaa364a83235192dae78782304c",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Int.c",
      "new_id": "5932f765fcfc6a3f823cafc27bf54c1609d8221a",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Int.c"
    },
    {
      "type": "modify",
      "old_id": "8a92ca645c21b83db72de7fc13443ad6943a6aff",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Nat.c",
      "new_id": "6885e46582a2987bd7302fba3e6b29e703f7d0a3",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Nat.c"
    },
    {
      "type": "modify",
      "old_id": "11b915a5c01679a845690dea1eb3ae54498d57f9",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/UInt.c",
      "new_id": "ace1ecf8621c4e73cc2377404993356c873503d4",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/UInt.c"
    },
    {
      "type": "modify",
      "old_id": "d82a0c6515bd7500ff3a8f6d5285c8424ee23193",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Main.c",
      "new_id": "15bbd206f09135e6e8aeb925467461db73fa8484",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Main.c"
    },
    {
      "type": "modify",
      "old_id": "aff093c1f869b8ea9b57508282629bea1d7aad86",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Rewrite.c",
      "new_id": "76056fc749d8d54831b2fde2790d95502336603c",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Rewrite.c"
    },
    {
      "type": "modify",
      "old_id": "5342a4f5040fd944d41d9b7937b86c61a0db212d",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/SimpAll.c",
      "new_id": "3eef3aa387e0fad12edd9c03bdb90789b365434f",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/SimpAll.c"
    },
    {
      "type": "modify",
      "old_id": "51747ee4720376df680e464af54431b75c9a6519",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/SimpTheorems.c",
      "new_id": "b1a17f67f7d23466796fd2ce6a93638949836f67",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/SimpTheorems.c"
    },
    {
      "type": "modify",
      "old_id": "7f0c3f195a37626c6103914095deb691a53f8b5b",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Simproc.c",
      "new_id": "e3e8a1c1296dfdf7c2d1e9779536a6420400a2a9",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Simproc.c"
    },
    {
      "type": "modify",
      "old_id": "edca2ac4d7d2de6adc2f5e03d65f29c81fd074c1",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Types.c",
      "new_id": "3e9e7e97179354163661ae23d8c0e2487abd7e2d",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Types.c"
    },
    {
      "type": "modify",
      "old_id": "8364a83e8ee99c07a663d5032b9a0a433d6d6918",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Split.c",
      "new_id": "8201b55403db2e8059528b3b6f7b465d6787a1f2",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Split.c"
    },
    {
      "type": "modify",
      "old_id": "b3a9f1a9915f72a947de0019179a7b1dc149b29d",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/SplitIf.c",
      "new_id": "7acafa02634bd91f14311354ae0c735091e8bb31",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/SplitIf.c"
    },
    {
      "type": "modify",
      "old_id": "8742fc9a2aaa70ad56e09a19cf537aaa01dbf10a",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Unfold.c",
      "new_id": "39dedc32e3fe2521b24ac3d4673124e7b06d49cb",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Unfold.c"
    },
    {
      "type": "modify",
      "old_id": "096cd39b924e51e1687a8759b9d2a55625e3d55a",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Transform.c",
      "new_id": "91699077a0a94ac328dd8bdfc96bd81c7ac508b9",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Transform.c"
    },
    {
      "type": "modify",
      "old_id": "97311186b0a58d676391a6370b3f670cb41e5760",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/WHNF.c",
      "new_id": "2f21f6a0766c03246e837d7fe114ffd327aba62b",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/WHNF.c"
    },
    {
      "type": "modify",
      "old_id": "13385c0fa61328c7e480c89e249bbadb5e030128",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/MetavarContext.c",
      "new_id": "3234cdc265cfc0262f9f30f986337ae69c19372c",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/MetavarContext.c"
    },
    {
      "type": "modify",
      "old_id": "fb986c203c6d2444828e8368c4a9978b96bccf69",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Server/Completion.c",
      "new_id": "5036dee4708cc0100d213820fba1b45f292e265f",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Server/Completion.c"
    },
    {
      "type": "modify",
      "old_id": "ba75b28877775648205cc63bc0e9befb10813f71",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Server/FileWorker.c",
      "new_id": "45b54972a8487880e3b224e05d54806ea4a3567f",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Server/FileWorker.c"
    },
    {
      "type": "modify",
      "old_id": "0d259dec6c5d9b4840c3e3fbf63e3c024a02056f",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Server/FileWorker/RequestHandling.c",
      "new_id": "c0eca941a85c4bd3c2cd5f2156523f5d5cb3a508",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Server/FileWorker/RequestHandling.c"
    },
    {
      "type": "modify",
      "old_id": "c0d72cf9e19f25d85f1288bc1b29ef94076557c3",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Server/InfoUtils.c",
      "new_id": "cd39aeb21233b9cdc0f327ec3fb3a39d753d4b4b",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Server/InfoUtils.c"
    },
    {
      "type": "modify",
      "old_id": "23d4050bbfbe94dd6e1b34b55aa793b3590d96a9",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Server/References.c",
      "new_id": "fa00a7ecb6cda4b7907e154b1b23f44ec229194f",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Server/References.c"
    },
    {
      "type": "modify",
      "old_id": "c7a3b892263d20dbb633ff216f187d3b41454d5d",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Server/Watchdog.c",
      "new_id": "c26ec6350c3c0c6c9aa70c13298b1be7e4cd659b",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Server/Watchdog.c"
    },
    {
      "type": "modify",
      "old_id": "b9eb634051c91ffef022ae40cec4e9c1ddfaa200",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Util/Path.c",
      "new_id": "b536bafbef86e0a0cd4b738c5d767217f9cb54f5",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Util/Path.c"
    },
    {
      "type": "modify",
      "old_id": "702bab6d70c1d090caef5d20b8d5384725f5c3d6",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Widget/InteractiveCode.c",
      "new_id": "1cc5bb4384f2b820729321ce7f1ec6f5c3d5e29c",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Widget/InteractiveCode.c"
    },
    {
      "type": "modify",
      "old_id": "3330dd27e5757e1a04d47d304542d49f2986b4e9",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Widget/InteractiveDiagnostic.c",
      "new_id": "ada2ed10f7baf829de7229f9d185621485e01211",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Widget/InteractiveDiagnostic.c"
    },
    {
      "type": "modify",
      "old_id": "4343037fbcaa3f644bedb7c2c9d3883ce58c1230",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Widget/InteractiveGoal.c",
      "new_id": "378862a36e5a52751b307230afa5aa055bc8cc7d",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Widget/InteractiveGoal.c"
    }
  ]
}