)]}'
{
  "commit": "c055fb5b4c0ccff2a8e9ad7d3c0c3624f0aeb298",
  "tree": "1c420e41ab6e2577ffe40a060e02289132d42969",
  "parents": [
    "132ebd90ba9a1d2e93f5145bfa8aa93dee79dd64"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leonardo@microsoft.com",
    "time": "Mon Jul 04 19:26:03 2022 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leonardo@microsoft.com",
    "time": "Mon Jul 04 19:26:03 2022 -0700"
  },
  "message": "chore: update stage0\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "7f07b62197e2e4786b59646ecc8b02b7b9465f7c",
      "old_mode": 33188,
      "old_path": "stage0/src/Lean/Elab/MutualDef.lean",
      "new_id": "43b76cd8518a9a034a480015931f7f97de79c274",
      "new_mode": 33188,
      "new_path": "stage0/src/Lean/Elab/MutualDef.lean"
    },
    {
      "type": "modify",
      "old_id": "b9727b9d05a6ec6bcb82bf1a94176fff9a08a200",
      "old_mode": 33188,
      "old_path": "stage0/src/Lean/Elab/StructInst.lean",
      "new_id": "fe1d97fde739a52aed7b4735b76f0cb3cbeaa41e",
      "new_mode": 33188,
      "new_path": "stage0/src/Lean/Elab/StructInst.lean"
    },
    {
      "type": "modify",
      "old_id": "69421bf8a33a65d5ed440ab005ca1914b8c64373",
      "old_mode": 33188,
      "old_path": "stage0/src/Lean/Meta/AbstractMVars.lean",
      "new_id": "999fd4336d0f109625b8b01cb03d91198bda452e",
      "new_mode": 33188,
      "new_path": "stage0/src/Lean/Meta/AbstractMVars.lean"
    },
    {
      "type": "modify",
      "old_id": "2bc154b2311b18181142026576376703f2745bf2",
      "old_mode": 33188,
      "old_path": "stage0/src/Lean/Meta/Basic.lean",
      "new_id": "9e5d3527d76496ece34a4750ace389ee2db8dbc1",
      "new_mode": 33188,
      "new_path": "stage0/src/Lean/Meta/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "2aa77e8c3bebb8fc69d2ab6205b407b38bef2af8",
      "old_mode": 33188,
      "old_path": "stage0/src/Lean/Meta/Match/Basic.lean",
      "new_id": "55daac0740ec3477198bff644d03f057a9f98d14",
      "new_mode": 33188,
      "new_path": "stage0/src/Lean/Meta/Match/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "c53996e8d8fa8b28703eb2ec595958824174fff4",
      "old_mode": 33188,
      "old_path": "stage0/src/Lean/Meta/Match/Match.lean",
      "new_id": "a6c4c1f2d3737290ed0c86e607f431350d21248b",
      "new_mode": 33188,
      "new_path": "stage0/src/Lean/Meta/Match/Match.lean"
    },
    {
      "type": "modify",
      "old_id": "379cbc16043f7958c621bcd3e956fc8299aa1359",
      "old_mode": 33188,
      "old_path": "stage0/src/Lean/Meta/SynthInstance.lean",
      "new_id": "21f37647a4b48b55a04c0c67f799a1f329b1ccfe",
      "new_mode": 33188,
      "new_path": "stage0/src/Lean/Meta/SynthInstance.lean"
    },
    {
      "type": "modify",
      "old_id": "e1ece88bfda9b88d5bd64e36acb979d9960ec7e5",
      "old_mode": 33188,
      "old_path": "stage0/src/Lean/Meta/Tactic/ElimInfo.lean",
      "new_id": "b43af992345bd3443329fb610e27df41cc451187",
      "new_mode": 33188,
      "new_path": "stage0/src/Lean/Meta/Tactic/ElimInfo.lean"
    },
    {
      "type": "modify",
      "old_id": "76ff9cca9054d199258de4fee3c1b7a1bdcc5b35",
      "old_mode": 33188,
      "old_path": "stage0/src/Lean/MetavarContext.lean",
      "new_id": "64334a5b6a9b8a198a4f39af8484a0fc827d390e",
      "new_mode": 33188,
      "new_path": "stage0/src/Lean/MetavarContext.lean"
    },
    {
      "type": "modify",
      "old_id": "e48c0a6e60e46320d164c1c9595896051fd5e14a",
      "old_mode": 33188,
      "old_path": "stage0/src/Lean/Util/OccursCheck.lean",
      "new_id": "49169aa70f2c1a6cf1227dac4d0ac6038d03d59f",
      "new_mode": 33188,
      "new_path": "stage0/src/Lean/Util/OccursCheck.lean"
    },
    {
      "type": "modify",
      "old_id": "52418470a77b5ad2af489521af30fe23670627c1",
      "old_mode": 33188,
      "old_path": "stage0/src/library/compiler/ll_infer_type.cpp",
      "new_id": "9167aeb8613bc5ec8c9d105482d3189d12c52759",
      "new_mode": 33188,
      "new_path": "stage0/src/library/compiler/ll_infer_type.cpp"
    },
    {
      "type": "modify",
      "old_id": "e274392c48e70dd935a58f8d481c5a3395b7dab0",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/App.c",
      "new_id": "90553b257da3b2f22803a1d2087c60d05c4cf9bf",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/App.c"
    },
    {
      "type": "modify",
      "old_id": "c74ec225ec841e210aa6718b25d5ff8e5f82f10b",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Binders.c",
      "new_id": "9247a7262cabc54f3f5a0c8aa83a9eadd295d6c3",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Binders.c"
    },
    {
      "type": "modify",
      "old_id": "50484b35e8e85e39ef5f2db8f4386ca2175b83f8",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/BuiltinCommand.c",
      "new_id": "491bf19ad8191e8db100b6671a29339a2b912337",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/BuiltinCommand.c"
    },
    {
      "type": "modify",
      "old_id": "0318e47bea3fc626172158c749031260fc3f5bee",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/BuiltinNotation.c",
      "new_id": "ee2b29b6d445658f1e7a7b14f61d74358fd01ced",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/BuiltinNotation.c"
    },
    {
      "type": "modify",
      "old_id": "e9355b72528e837adaf9bebc2caccb4bfff5207c",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/BuiltinTerm.c",
      "new_id": "428b0412d7203dab0dad1c6dcec11b08c85720de",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/BuiltinTerm.c"
    },
    {
      "type": "modify",
      "old_id": "68aceeacc827300f42718bed7de3fcc778d2a266",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Declaration.c",
      "new_id": "8e36f81a09fdef6036585724357df11026d68801",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Declaration.c"
    },
    {
      "type": "modify",
      "old_id": "e2ec54b1e52d8dee0fb3aacc59cbbfa0901b953b",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/DefView.c",
      "new_id": "99ca3f31714e5f3daa5505069f479f4e540ed301",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/DefView.c"
    },
    {
      "type": "modify",
      "old_id": "682baf554fb7c39997e170d6c6763c6d6b7a07fe",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Eval.c",
      "new_id": "885bcb38fedb6431430dde4c6af920e407008792",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Eval.c"
    },
    {
      "type": "modify",
      "old_id": "00b8d72541932b65f237e2a9f0f6e66b41f6cfa1",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Extra.c",
      "new_id": "faa734622eb42fa33c3152bff87cf1ddafe3b7bf",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Extra.c"
    },
    {
      "type": "modify",
      "old_id": "39500b5f165826191661c9506da66ac0be37b6c5",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Inductive.c",
      "new_id": "c3f77530bddfc7f13671ee205cc9e46b38b4a13b",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Inductive.c"
    },
    {
      "type": "modify",
      "old_id": "d656f1a90d4a6ad86a8c679872dcb6cef7156e28",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Match.c",
      "new_id": "83345ec5adb128da0b0b58f3a57f7a119c628aaf",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Match.c"
    },
    {
      "type": "modify",
      "old_id": "e7d6335ebd0bd5d5574d0947707888cf17bdcf8c",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/MutualDef.c",
      "new_id": "0b9cd8703009dda23dd19eb495b114284ced3c91",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/MutualDef.c"
    },
    {
      "type": "modify",
      "old_id": "a8b5885db81dd5c127c9b410353a2f7f3a0f83e5",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/Basic.c",
      "new_id": "b5cdee6ee960c9cc48a044b79974d5e4afb9ef79",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/Basic.c"
    },
    {
      "type": "modify",
      "old_id": "f90808da73978f3155f7c542baeab7f586190fb6",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/Eqns.c",
      "new_id": "128afaf02ae65342cad5ea35e9d19a353459aa42",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/Eqns.c"
    },
    {
      "type": "modify",
      "old_id": "5b41bb97226b1fed6215d53cb8365d6ad529f31d",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/Main.c",
      "new_id": "c47fb31644a5fbf616856faa78c030ef9f4bcb3b",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/Main.c"
    },
    {
      "type": "modify",
      "old_id": "8f0be13cdc3413a2f1af18b8062e88fb3dbe0bd4",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/Structural/Eqns.c",
      "new_id": "5783c10460829cdf34ab1dfc72871bd4d7411451",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/Structural/Eqns.c"
    },
    {
      "type": "modify",
      "old_id": "1f6dcaf3c6ae4c5e83d3e5f4adfa88ddcb35a9db",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/Structural/FindRecArg.c",
      "new_id": "d35f4d4db2816681ee430d47d755df43089554a6",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/Structural/FindRecArg.c"
    },
    {
      "type": "modify",
      "old_id": "55cea69578c95edb8f7c78046a230c55806fd577",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/Eqns.c",
      "new_id": "f979dd6936d4f2c4e0c2c2bfdee708b797beaad3",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/Eqns.c"
    },
    {
      "type": "modify",
      "old_id": "69966fe34b3c611f70a096b4992c2fbf7e650ff6",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/Fix.c",
      "new_id": "0ce79ef6b438c6f206d5d63582db19214abdd208",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/Fix.c"
    },
    {
      "type": "modify",
      "old_id": "2d730a57d3b7001b15742e232c0e321246be846e",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/PackDomain.c",
      "new_id": "d84cfd5a14a893b8f0e362bfc3adbd188ffeac43",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/PackDomain.c"
    },
    {
      "type": "modify",
      "old_id": "6915f02058e06e8d7b5d3189e247a4421303a848",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/PackMutual.c",
      "new_id": "0da1d816b93a7c672d997d6966d3b7c7d86cc490",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/PackMutual.c"
    },
    {
      "type": "modify",
      "old_id": "ff549693a75b541135a481518ea54fe3e834b17c",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/Rel.c",
      "new_id": "12e94239b9092ee5b88c73b9c7fcbd3683f30e52",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/Rel.c"
    },
    {
      "type": "modify",
      "old_id": "2a8f7a5f95745bae05f9fce7952dded635ca113c",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/StructInst.c",
      "new_id": "79f01717af3b90f6021c7a303f4339c35afc6210",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/StructInst.c"
    },
    {
      "type": "modify",
      "old_id": "34f1c3e79475cfc918d4a7cd90197afd92c50cc8",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Structure.c",
      "new_id": "14a85ffe999d7cc505aed8aeb2dd51baba070996",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Structure.c"
    },
    {
      "type": "modify",
      "old_id": "07cbfe248936a6d2c3f2a06fa50e22e3a9362637",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/SyntheticMVars.c",
      "new_id": "d364f03aa80704a7fd01c9796d46bb25f2a4154b",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/SyntheticMVars.c"
    },
    {
      "type": "modify",
      "old_id": "a4edc30e9f296c10c5bd55c6bf66af740f04001d",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Tactic/Basic.c",
      "new_id": "cb33a15b88ef97e8cf00260adcf597df2953c7f4",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Tactic/Basic.c"
    },
    {
      "type": "modify",
      "old_id": "58b8a128816166c9fbf61b3c314f715dd36fd822",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Tactic/BuiltinTactic.c",
      "new_id": "8275fe662c9890e3b263df932377419724e16f40",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Tactic/BuiltinTactic.c"
    },
    {
      "type": "modify",
      "old_id": "786428d5cf1048539e4d86148c842e976c3be35a",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Tactic/Conv/Basic.c",
      "new_id": "26cefef5502683d6e13e21c17cf693c5a3b08c71",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Tactic/Conv/Basic.c"
    },
    {
      "type": "modify",
      "old_id": "19e038b22f9b93240584f19eb81d40262ece840c",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Tactic/Conv/Congr.c",
      "new_id": "fdeeb35fd5e7058a5e36678b86398704170ca731",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Tactic/Conv/Congr.c"
    },
    {
      "type": "modify",
      "old_id": "75668b7dfa6315b9194c3472e9560fd398958e13",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Tactic/ElabTerm.c",
      "new_id": "5ecf447ab06b125f071bea9765dd29c3e795d20c",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Tactic/ElabTerm.c"
    },
    {
      "type": "modify",
      "old_id": "e4c231f78da82a58ba62ca5fbc57b659b71eb6b8",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Tactic/Induction.c",
      "new_id": "9705cc555449d107be62c76a1a67b57d7b4db875",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Tactic/Induction.c"
    },
    {
      "type": "modify",
      "old_id": "97000a441752698b305be6e1acd05a05a9de84f3",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Tactic/Meta.c",
      "new_id": "68840178a3230e52fd5df09101273227779b8ca4",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Tactic/Meta.c"
    },
    {
      "type": "modify",
      "old_id": "8bc3d5c44a907121add489ac524fd975bb75df6f",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Tactic/Rewrite.c",
      "new_id": "af2e97f00e192cff69c1deb798f9c8fe5aaaf91d",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Tactic/Rewrite.c"
    },
    {
      "type": "modify",
      "old_id": "813156f02edcaa73c45833ff5c2e8e6dd1e37cce",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Tactic/Simp.c",
      "new_id": "b89a34b0d5305b41c99b2872d9969b001d9cc633",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Tactic/Simp.c"
    },
    {
      "type": "modify",
      "old_id": "21f2cf6880c9f70bbd42a807f23227fc01928497",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Term.c",
      "new_id": "f6467c668c411da58038e989f89926e8edb27442",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Term.c"
    },
    {
      "type": "modify",
      "old_id": "19781eb95dfdafe62f0c9fdf72263f93603add86",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Linter/Basic.c",
      "new_id": "92a190e5ca049cb30e448e67c174c04d98189b82",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Linter/Basic.c"
    },
    {
      "type": "modify",
      "old_id": "8c9c480c6714b6c26cb2a21d807575895356e563",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/AbstractMVars.c",
      "new_id": "c28533baeee1948dc7961ac0186221fe1d56224e",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/AbstractMVars.c"
    },
    {
      "type": "modify",
      "old_id": "ad0fb6143dc4b08ba59458641aab951d459396e2",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/AppBuilder.c",
      "new_id": "57704dbbe1106bf01508c9be3ed41c2ad69fb12a",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/AppBuilder.c"
    },
    {
      "type": "modify",
      "old_id": "f931cbf73dde2f29689af85b02bff7978eb9a382",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Basic.c",
      "new_id": "bff1840ed1f99da3262132757ff860801a972e34",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Basic.c"
    },
    {
      "type": "modify",
      "old_id": "4fb6d8748aa811548b03ab44b4900b574da1d776",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Check.c",
      "new_id": "fda1ff30e8a4eb8b33e455c14c73caae19c992fa",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Check.c"
    },
    {
      "type": "modify",
      "old_id": "b9197ae4f9df3f8e6e05e2d0a756a7297c83b4c0",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Closure.c",
      "new_id": "15894e8c71bf11509f0be5ad6c2fee103871ed7a",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Closure.c"
    },
    {
      "type": "modify",
      "old_id": "68765d8886b93c5f425517ba6e07292612e76627",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/CollectFVars.c",
      "new_id": "47b502db1b4137edadd55e9b38ff8e23c0861dd2",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/CollectFVars.c"
    },
    {
      "type": "modify",
      "old_id": "2f3021cedf138d3ae6c6d8b0c3352fa3bad4a70a",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/CollectMVars.c",
      "new_id": "6299199ebfafe8d6dbc172ba6f7f9bac8b934f83",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/CollectMVars.c"
    },
    {
      "type": "modify",
      "old_id": "54586ffd31626b08cea57412cba466e59a5d00c6",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/CongrTheorems.c",
      "new_id": "45a876e362485674c295a16427862f8a925e4572",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/CongrTheorems.c"
    },
    {
      "type": "modify",
      "old_id": "b6b0c28225e8d450994a44b59147d2b1122391de",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/DecLevel.c",
      "new_id": "da083ffe2d68f503f51d40f88ba4d4eea8fdfbb3",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/DecLevel.c"
    },
    {
      "type": "modify",
      "old_id": "e3c0e4123a55190eb24b9659792b8780437af673",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Eqns.c",
      "new_id": "78582070593970a58133db4551f1d53eff58d989",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Eqns.c"
    },
    {
      "type": "modify",
      "old_id": "5c9d41f019aad80fa8d542bb1158de7abfbd15ac",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/ExprDefEq.c",
      "new_id": "c64412b2d02eb1408d41da1a8de3f3c0ff8aee8a",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/ExprDefEq.c"
    },
    {
      "type": "modify",
      "old_id": "802d651ba110828c718c6fe9af72906f30988e7d",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/ForEachExpr.c",
      "new_id": "27225032886d1f993718fd003f7043f3170ff86a",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/ForEachExpr.c"
    },
    {
      "type": "modify",
      "old_id": "5e8afde5df43b103bd73efe588bd7562ae54355c",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/GeneralizeTelescope.c",
      "new_id": "d884acfa95c98c3b50bd3f34574e144ac6680945",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/GeneralizeTelescope.c"
    },
    {
      "type": "modify",
      "old_id": "feca9a9ef3194b67d7bf2163d9efb67534e362d3",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/GeneralizeVars.c",
      "new_id": "c067eaab40fc53fa5a4ede9c7d5400e309460b4f",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/GeneralizeVars.c"
    },
    {
      "type": "modify",
      "old_id": "646fb2cb5ec65ba1e1520730f455341b323a975a",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/IndPredBelow.c",
      "new_id": "068bc3073e2459e59f8ce71d67928ae16bc26b14",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/IndPredBelow.c"
    },
    {
      "type": "modify",
      "old_id": "72e34c91008031e7b58d99684d7dd7ab447007fb",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/InferType.c",
      "new_id": "1fc504f896e900b38c79147252b1de369283d274",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/InferType.c"
    },
    {
      "type": "modify",
      "old_id": "94217d740c5084c560ea2e9493711b1d09df1379",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Injective.c",
      "new_id": "0ca489e571fec7ec35e66f89350fa2986dc1fda3",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Injective.c"
    },
    {
      "type": "modify",
      "old_id": "c2bb26dce0df286c58c3a0d75b71a80c9dcfef81",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/KAbstract.c",
      "new_id": "a07e0d02ce086f0d850f68af2b9eec749871bde2",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/KAbstract.c"
    },
    {
      "type": "modify",
      "old_id": "ff18cca2a8d16ec8b5cdea6b245a63255f345cec",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/LevelDefEq.c",
      "new_id": "034f71d1acb228440753c507f47ca901128d09cb",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/LevelDefEq.c"
    },
    {
      "type": "modify",
      "old_id": "182ee3eba17711385a8b924c41b7a22facf93670",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Match/Basic.c",
      "new_id": "bed8c0f7feec9774cf2cec9c91288a933c345bfc",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Match/Basic.c"
    },
    {
      "type": "modify",
      "old_id": "013238999bc65efec0501db878a6a76ebfe220ce",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Match/CaseArraySizes.c",
      "new_id": "6395cdcb0d3c4aa5a0beb7652c5cd72e11774d26",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Match/CaseArraySizes.c"
    },
    {
      "type": "modify",
      "old_id": "211b6edee0e0f0ec63f0fa2959dee820c2e79eec",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Match/CaseValues.c",
      "new_id": "ce89f5d2e02f426fe40020cb9950374b334112e8",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Match/CaseValues.c"
    },
    {
      "type": "modify",
      "old_id": "37579218596f7ff6b8fefbf1ae4e6e8f14d2dc5c",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Match/Match.c",
      "new_id": "63f2c9e061eb5a8432894e0dee54abff9232c347",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Match/Match.c"
    },
    {
      "type": "modify",
      "old_id": "61d8e2c572822ade953d2671195092ce3e917a69",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Match/MatchEqs.c",
      "new_id": "57b0e79d5817fcebf37b03bc7046ad2af430ffeb",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Match/MatchEqs.c"
    },
    {
      "type": "modify",
      "old_id": "6f442feab5fa6d82238e7795430cd771e6608003",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Offset.c",
      "new_id": "6b92c1497ff5b74db6e2d4aebad97997f738ce09",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Offset.c"
    },
    {
      "type": "modify",
      "old_id": "28db893a3efa0fd817047799da8322d470fd5f5a",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/PPGoal.c",
      "new_id": "84c43f9ba39554b64b483ae5683fcafbaf6285ee",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/PPGoal.c"
    },
    {
      "type": "modify",
      "old_id": "8c1ec513c4bff4ed3657808a8260df53ad224587",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/SynthInstance.c",
      "new_id": "33f50e32c6acfdb67890d806cddda0b10fb49ad0",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/SynthInstance.c"
    },
    {
      "type": "modify",
      "old_id": "76eb590dd3aa523c3a9942564f34f01e9622cc76",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Acyclic.c",
      "new_id": "badc41a5387e56a19f802a7c89462f7976dc9d65",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Acyclic.c"
    },
    {
      "type": "modify",
      "old_id": "35034e242c03ece85cd786e0a9e10ab63c8fb391",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Apply.c",
      "new_id": "e8afb5a01c05d8bbeebafead46e05ae06f65805f",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Apply.c"
    },
    {
      "type": "modify",
      "old_id": "fcf2093865d7004f68d1ddfa8733a944bdd4c1ac",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Assert.c",
      "new_id": "0dd4ece86f07dac537537597000f47ec19b1e16e",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Assert.c"
    },
    {
      "type": "modify",
      "old_id": "af4ae15dc2b94b4cc0696cdd6a58ae3901f75eaf",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Assumption.c",
      "new_id": "ed7a571e2dd98ba26e523cb8bb5530c96fdb15d0",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Assumption.c"
    },
    {
      "type": "modify",
      "old_id": "0bd5e5c68501f855ffad5c1c509336ec75c429fe",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Cases.c",
      "new_id": "110854bb7db827f4ef468a4b39a290f8a6f0873c",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Cases.c"
    },
    {
      "type": "modify",
      "old_id": "8a7a1257109346efc1b34eeb4db760cc22817f7c",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Cleanup.c",
      "new_id": "c0e62bf3c3ff64c37998ff727a15fd0dad83712d",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Cleanup.c"
    },
    {
      "type": "modify",
      "old_id": "9d6636e6c5e34994511ca779eba17bb7ef7a7fdb",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Clear.c",
      "new_id": "297ced2d633f08dee2ae58392ee0ed80cab7ce24",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Clear.c"
    },
    {
      "type": "modify",
      "old_id": "985af55e1d666f4d96878bc929dfc78f0506b402",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Constructor.c",
      "new_id": "2eddf686364919b7e973103c2d0799215c907970",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Constructor.c"
    },
    {
      "type": "modify",
      "old_id": "36abfdcfe89a2ff68028f263462dea09abb85a0f",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Contradiction.c",
      "new_id": "71cb6ce6f0490b0462a35da359be22e9bf5ace61",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Contradiction.c"
    },
    {
      "type": "modify",
      "old_id": "2b19785e3f95407106ad0c2c62a557dc5788ed54",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Delta.c",
      "new_id": "7695e0b9a6d836b1f4ba3b97975a8ce720e01b8f",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Delta.c"
    },
    {
      "type": "modify",
      "old_id": "7907b9a6acbdf1ab5f29aa1ef1938198e031d0b1",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/ElimInfo.c",
      "new_id": "c9579fad1ae1d61357a592e29346ee72a430e081",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/ElimInfo.c"
    },
    {
      "type": "modify",
      "old_id": "442cc60adee0cb0408dfb35c0db91af14f66f01c",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Generalize.c",
      "new_id": "0832a4d4bae6ec1bdc9f411f52ed7cd9a0d3d236",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Generalize.c"
    },
    {
      "type": "modify",
      "old_id": "7e694c544625631de568d8dc52b9810efb8e764b",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Induction.c",
      "new_id": "3f0b3bdbd6a9185442239b3c193ec4cc77cf9caa",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Induction.c"
    },
    {
      "type": "modify",
      "old_id": "bc930c90db62456c53f38051908a274b25abb5ab",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Injection.c",
      "new_id": "947d3d1042d8c1b4284967a929619938a6f07287",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Injection.c"
    },
    {
      "type": "modify",
      "old_id": "b78a2063cbb3dbb811c35e667bc1f92668bc4770",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Intro.c",
      "new_id": "2c6c5c1422feb00f7e6499fb906c60e09485e7c0",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Intro.c"
    },
    {
      "type": "modify",
      "old_id": "ba9ba5980cf822e9545d276bb0a6bf37e18f7e3b",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/LinearArith/Nat/Basic.c",
      "new_id": "5251e5f5d120ec340c36e1c93e25f321a7830e2a",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/LinearArith/Nat/Basic.c"
    },
    {
      "type": "modify",
      "old_id": "9cfd33b71fc178afd8cb9560ca90d67b97d69a15",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Refl.c",
      "new_id": "cb20c9e43d38a4df892292a9471263ff7ba59faf",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Refl.c"
    },
    {
      "type": "modify",
      "old_id": "5d2c266967626ddfc17f1939082fbad84c78fcfc",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Rename.c",
      "new_id": "282162c2f7155fe14ccf87464205bfbf8ae8ee40",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Rename.c"
    },
    {
      "type": "modify",
      "old_id": "e3cecfc6c3073f7ded5f67a63a1e1378869babf0",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Replace.c",
      "new_id": "6cedc532ad5ee5854f9d043250583ee54a797ac6",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Replace.c"
    },
    {
      "type": "modify",
      "old_id": "73fac7435be253e004d7d71afb2a85beb1b50a6e",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Revert.c",
      "new_id": "bc4a3a7903344be77e99251798971775c2539015",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Revert.c"
    },
    {
      "type": "modify",
      "old_id": "2dc2854889ac5b535f5259f9e43dd6429db9a99b",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Rewrite.c",
      "new_id": "1fb7f8f9c24db9defd4f218bb62ebe522f4226f0",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Rewrite.c"
    },
    {
      "type": "modify",
      "old_id": "4d210d25efcf5b7f46963d9199f5a44d2fc70131",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Main.c",
      "new_id": "c9daedaf3ad13fdf09ccc4df9f6b3048a46c3fb9",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Main.c"
    },
    {
      "type": "modify",
      "old_id": "f0d2a33d5f18e57b89061b1ba433d91fae061d0a",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Rewrite.c",
      "new_id": "ee7eecaf5c8d964cf0e31e3b3519a4934767484b",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Rewrite.c"
    },
    {
      "type": "modify",
      "old_id": "095a4cb5ddb4a37ad361f61d4be1feb7dff0d85c",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/SimpAll.c",
      "new_id": "6588e372726d0603dbfeb94579c5024d150e6383",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/SimpAll.c"
    },
    {
      "type": "modify",
      "old_id": "d5565468fd15628ca5875cf1a6431ca06dd61244",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/SimpCongrTheorems.c",
      "new_id": "3bc71495137080d2e20541281457a2d2715df31d",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/SimpCongrTheorems.c"
    },
    {
      "type": "modify",
      "old_id": "49fec585b3295c0dcf1714e43edb0fb623fc03f4",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/SimpTheorems.c",
      "new_id": "3a7c318a5196ddf34b8f053aefc5df4b44c02bdf",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/SimpTheorems.c"
    },
    {
      "type": "modify",
      "old_id": "eaf163b489b9c01ac11d47bf31b001b9517becdc",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Split.c",
      "new_id": "93cd1009205702c7758267c504e06813e66cc85e",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Split.c"
    },
    {
      "type": "modify",
      "old_id": "b89c6ec2b060180e937e4cbf76f9b29dcfe699a9",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/SplitIf.c",
      "new_id": "29c822aa186598b48d1bcb6e158b726527b27108",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/SplitIf.c"
    },
    {
      "type": "modify",
      "old_id": "e8161ac3d1a33f93c8de794892ad39e58e6c57b5",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Subst.c",
      "new_id": "7a9e6c72fb2f7821243f444f942d339dd1d51eda",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Subst.c"
    },
    {
      "type": "modify",
      "old_id": "6e032c6e9821b6ed93b9ce9abce9d607ab357801",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Unfold.c",
      "new_id": "b65491f42bbc95f50f2d7adfb480347a8b7d405b",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Unfold.c"
    },
    {
      "type": "modify",
      "old_id": "6805a03ec236105ac9fc5a4823c90699f4e61286",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/UnifyEq.c",
      "new_id": "f01e2628944ac1bac0c2aa200156c59373b75f60",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/UnifyEq.c"
    },
    {
      "type": "modify",
      "old_id": "0e684e6ddb00f88a122d75e60aface5730fcaca7",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Util.c",
      "new_id": "a48e3730e7593b966f6d41db89e76fb1fdbef336",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Util.c"
    },
    {
      "type": "modify",
      "old_id": "035b8f6ff6a8c6d515d7865b9c277f291d3b51d1",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/WHNF.c",
      "new_id": "14df938b5018bfe7aa5cf02ab1cf1f82aa40ff84",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/WHNF.c"
    },
    {
      "type": "modify",
      "old_id": "eb62f340f2c3ad0ed93031d301e12140cfec6448",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/MetavarContext.c",
      "new_id": "abe6c9757309408fc7ada7feb277391a3bd1b684",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/MetavarContext.c"
    },
    {
      "type": "modify",
      "old_id": "048f5efae7a4eee3a1d92911c02de9a80dbc972a",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/PrettyPrinter.c",
      "new_id": "84aa8013405f2bb648432b1c6cb78af3225640e6",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/PrettyPrinter.c"
    },
    {
      "type": "modify",
      "old_id": "8b218c22449819fd526fa970b32fa1e00efe0373",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/PrettyPrinter/Delaborator/Basic.c",
      "new_id": "9f2f4e686f588ec1bac11ecdf72efc60bc1ae20b",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/PrettyPrinter/Delaborator/Basic.c"
    },
    {
      "type": "modify",
      "old_id": "000f450ef2dcb45456a3a67502c4ecb1bb74a222",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/PrettyPrinter/Delaborator/TopDownAnalyze.c",
      "new_id": "a19c2c724e44a1b45cb043fd3a4f2c8ef89b4b57",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/PrettyPrinter/Delaborator/TopDownAnalyze.c"
    },
    {
      "type": "modify",
      "old_id": "e1478bbc854257816e433201307932342ab7e073",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Server/Completion.c",
      "new_id": "55e91a2002b9feb2f486ed743448409263517a0a",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Server/Completion.c"
    },
    {
      "type": "modify",
      "old_id": "d8167c7490c21079db971fc8aa29fd2e1c946b3a",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Server/FileWorker/RequestHandling.c",
      "new_id": "de06ace373e252e61b2929b55f834640a6bba23c",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Server/FileWorker/RequestHandling.c"
    },
    {
      "type": "modify",
      "old_id": "926e03fdf187a19690a0f3e27ac63fe471de4aa4",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Server/InfoUtils.c",
      "new_id": "7ef8ae9107afe4d488bc37d244e5688a8471a396",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Server/InfoUtils.c"
    },
    {
      "type": "modify",
      "old_id": "e57278cfcfe8aa92b262418a3ff9addd7be586b2",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Server/Rpc/Deriving.c",
      "new_id": "e9ac77a150ab009cf2b1de97013c16b98ac1db12",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Server/Rpc/Deriving.c"
    },
    {
      "type": "modify",
      "old_id": "7915318114e68beea34a97770518300e09e92077",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Server/Rpc/RequestHandling.c",
      "new_id": "8db81cc61b8217555fd08e98c645e7ec20b97e3c",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Server/Rpc/RequestHandling.c"
    },
    {
      "type": "modify",
      "old_id": "4f8c88361ca33cd8306ad43a7bbb22714e15ebd7",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Util/OccursCheck.c",
      "new_id": "8d6713fc80e1da39b24211d19af1ced5ef46fb5c",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Util/OccursCheck.c"
    },
    {
      "type": "modify",
      "old_id": "6deb227b86c97e829f3a1e0766788540eed54445",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Widget/InteractiveGoal.c",
      "new_id": "979dac63bdcd669615e73eff0ac27e62c39841c0",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Widget/InteractiveGoal.c"
    }
  ]
}