)]}'
{
  "commit": "ecc8372cd308980a79939f93b5b14cdeb30e7dab",
  "tree": "8d3c20691ba209afd1771aced5cca24636aad30e",
  "parents": [
    "1cce4c7e1ab736b4e82129630a637b3a9eee7eb3"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leonardo@microsoft.com",
    "time": "Mon Jul 19 18:34:50 2021 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leonardo@microsoft.com",
    "time": "Mon Jul 19 18:34:50 2021 -0700"
  },
  "message": "chore: update stage0\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "bda8e9ae8458b35c59800420930f566f84712ada",
      "old_mode": 33188,
      "old_path": "stage0/src/Init/Data/Format/Syntax.lean",
      "new_id": "818c912c5f551f35ff1deb4a4974f93c3e5f50a2",
      "new_mode": 33188,
      "new_path": "stage0/src/Init/Data/Format/Syntax.lean"
    },
    {
      "type": "modify",
      "old_id": "204a4371a7132809e420ad9d975e45357aff6b88",
      "old_mode": 33188,
      "old_path": "stage0/src/Init/Data/String/Basic.lean",
      "new_id": "81ac8a245e6a3762166f0215e5741cf98414cb86",
      "new_mode": 33188,
      "new_path": "stage0/src/Init/Data/String/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "c8b1c66ba923897404217878b008bcc915cb2685",
      "old_mode": 33188,
      "old_path": "stage0/src/Init/Meta.lean",
      "new_id": "67c8d78966d0ae912c6bb49da88d893942fbd8e9",
      "new_mode": 33188,
      "new_path": "stage0/src/Init/Meta.lean"
    },
    {
      "type": "modify",
      "old_id": "9c1a8d5e582b59b121b1ca4e2a29a156674c1dee",
      "old_mode": 33188,
      "old_path": "stage0/src/Init/NotationExtra.lean",
      "new_id": "16e0ee09ff92a14841b97065f8dcd2704197e72e",
      "new_mode": 33188,
      "new_path": "stage0/src/Init/NotationExtra.lean"
    },
    {
      "type": "modify",
      "old_id": "add4a7083c28e8d87907a1cbfa58a3838afdede4",
      "old_mode": 33188,
      "old_path": "stage0/src/Init/Prelude.lean",
      "new_id": "fd3bcb19d99f30c0fbdb28c6ea09fb97b4498c18",
      "new_mode": 33188,
      "new_path": "stage0/src/Init/Prelude.lean"
    },
    {
      "type": "modify",
      "old_id": "61f35a40feb2a3fd26291f12096d0722e31f66ef",
      "old_mode": 33188,
      "old_path": "stage0/src/Lean/Data.lean",
      "new_id": "de84c8f7331178a9aa07d9a41b1005b40f273811",
      "new_mode": 33188,
      "new_path": "stage0/src/Lean/Data.lean"
    },
    {
      "type": "modify",
      "old_id": "c3d8b434fc95ff8799ee02fe7133d8722d983a6d",
      "old_mode": 33188,
      "old_path": "stage0/src/Lean/Data/Json/Parser.lean",
      "new_id": "1255653ae61bd7200690e96afa97d1c223f29369",
      "new_mode": 33188,
      "new_path": "stage0/src/Lean/Data/Json/Parser.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "b7ab019d02c3558d8b06bfddccc5b510618b4fe6",
      "new_mode": 33188,
      "new_path": "stage0/src/Lean/Data/Parsec.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "8c6ad55a2fc687ca9dda37b5913c2b2dc68ae99a",
      "new_mode": 33188,
      "new_path": "stage0/src/Lean/Data/Xml.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "3f9d4fb507bf1377d7f306e2e944edfd25455f87",
      "new_mode": 33188,
      "new_path": "stage0/src/Lean/Data/Xml/Basic.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "25138df817b4b9bbdcf6ff77ff11d975d2a47f6d",
      "new_mode": 33188,
      "new_path": "stage0/src/Lean/Data/Xml/Parser.lean"
    },
    {
      "type": "modify",
      "old_id": "4c7342378ad5f2d5cb19587ad77a6d4717f43602",
      "old_mode": 33188,
      "old_path": "stage0/src/Lean/Elab/App.lean",
      "new_id": "00f5231d5b4949d94aa811e40bb1e94d8d434280",
      "new_mode": 33188,
      "new_path": "stage0/src/Lean/Elab/App.lean"
    },
    {
      "type": "modify",
      "old_id": "5c2e0738f6fdf001163ac42762b50dd5fdbe346c",
      "old_mode": 33188,
      "old_path": "stage0/src/Lean/Elab/Binders.lean",
      "new_id": "e7fe909904874f115c234991666b3d2552422d8e",
      "new_mode": 33188,
      "new_path": "stage0/src/Lean/Elab/Binders.lean"
    },
    {
      "type": "modify",
      "old_id": "a986383e3bb795bc959e862a04a441f016a62981",
      "old_mode": 33188,
      "old_path": "stage0/src/Lean/Elab/Deriving/FromToJson.lean",
      "new_id": "7c4149c207e63a3248c378f60c84dfa8156cd4ea",
      "new_mode": 33188,
      "new_path": "stage0/src/Lean/Elab/Deriving/FromToJson.lean"
    },
    {
      "type": "modify",
      "old_id": "8fb99f4956233162c01e3d39247b88ffd841ca45",
      "old_mode": 33188,
      "old_path": "stage0/src/Lean/Elab/Do.lean",
      "new_id": "4f8e6ae08234af107780017938a78c06176df85c",
      "new_mode": 33188,
      "new_path": "stage0/src/Lean/Elab/Do.lean"
    },
    {
      "type": "modify",
      "old_id": "8bd57827ba0be236f6a13a7e473b3a617b91a665",
      "old_mode": 33188,
      "old_path": "stage0/src/Lean/Elab/InfoTree.lean",
      "new_id": "1403ec1a9e015d03d12b4b0c9b88e380711425c5",
      "new_mode": 33188,
      "new_path": "stage0/src/Lean/Elab/InfoTree.lean"
    },
    {
      "type": "modify",
      "old_id": "df2ac951d9a6bebf4a1845f7d065808e76ad3117",
      "old_mode": 33188,
      "old_path": "stage0/src/Lean/Elab/LetRec.lean",
      "new_id": "c4f79476de35a8bc477f9687410288471ec78dbc",
      "new_mode": 33188,
      "new_path": "stage0/src/Lean/Elab/LetRec.lean"
    },
    {
      "type": "modify",
      "old_id": "d108cbb928224f5f045d374e5657b86b2ae87766",
      "old_mode": 33188,
      "old_path": "stage0/src/Lean/Elab/Mixfix.lean",
      "new_id": "8c26c72f7f531a1ad17086ae1d10cd4a237ef704",
      "new_mode": 33188,
      "new_path": "stage0/src/Lean/Elab/Mixfix.lean"
    },
    {
      "type": "modify",
      "old_id": "0b48144ca334fd711f45153523c8b87363a65630",
      "old_mode": 33188,
      "old_path": "stage0/src/Lean/Elab/Term.lean",
      "new_id": "39b3e0bf3d0902c11285d77666bbd182b6712e10",
      "new_mode": 33188,
      "new_path": "stage0/src/Lean/Elab/Term.lean"
    },
    {
      "type": "modify",
      "old_id": "8284902f6ef173d523e233824f0164784b237104",
      "old_mode": 33188,
      "old_path": "stage0/src/Lean/Parser/Command.lean",
      "new_id": "fcdd1d24bf759d67a28b309d39692060974257a1",
      "new_mode": 33188,
      "new_path": "stage0/src/Lean/Parser/Command.lean"
    },
    {
      "type": "modify",
      "old_id": "8fd0120373a4eb049f358f9152801041d07b1719",
      "old_mode": 33188,
      "old_path": "stage0/src/Lean/Parser/Syntax.lean",
      "new_id": "6a5061b94e748d885e9a0fdcb8c2b589a2982af0",
      "new_mode": 33188,
      "new_path": "stage0/src/Lean/Parser/Syntax.lean"
    },
    {
      "type": "modify",
      "old_id": "b7de8dd704c0282b37e3f4d3f6746f132c39af6e",
      "old_mode": 33188,
      "old_path": "stage0/src/Lean/PrettyPrinter/Parenthesizer.lean",
      "new_id": "6d6e76cf78a744a124e20185b488b5c2a3cea041",
      "new_mode": 33188,
      "new_path": "stage0/src/Lean/PrettyPrinter/Parenthesizer.lean"
    },
    {
      "type": "modify",
      "old_id": "91955c01a5c652f67d2678a9f7be26f096a7e829",
      "old_mode": 33188,
      "old_path": "stage0/src/Lean/Server/FileWorker/RequestHandling.lean",
      "new_id": "1135cceca4283c0d4336084b63804b0c714456d2",
      "new_mode": 33188,
      "new_path": "stage0/src/Lean/Server/FileWorker/RequestHandling.lean"
    },
    {
      "type": "modify",
      "old_id": "e98e1088bc99524515060eb1b09ff329e0d01766",
      "old_mode": 33188,
      "old_path": "stage0/src/Lean/Syntax.lean",
      "new_id": "d57f633c22286bda3d353c01f424569fd28e685f",
      "new_mode": 33188,
      "new_path": "stage0/src/Lean/Syntax.lean"
    },
    {
      "type": "delete",
      "old_id": "05e2539082aa00a0dcc1b58fd27823d6aa3071ce",
      "old_mode": 33188,
      "old_path": "stage0/src/include/lean/compiler_hints.h",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "modify",
      "old_id": "4dba84f89b4fe4e49075b1754ca3985f315e464c",
      "old_mode": 33188,
      "old_path": "stage0/src/include/lean/lean.h",
      "new_id": "fdeea02cce4ece7393e0bc078833bf43fbbc02e4",
      "new_mode": 33188,
      "new_path": "stage0/src/include/lean/lean.h"
    },
    {
      "type": "modify",
      "old_id": "60b5ac3ee5097bb00ef04c23a793bed4b6114424",
      "old_mode": 33188,
      "old_path": "stage0/src/runtime/alloc.cpp",
      "new_id": "5aa606d8fb1ed746f7fb0e0724916eb37b28f6b7",
      "new_mode": 33188,
      "new_path": "stage0/src/runtime/alloc.cpp"
    },
    {
      "type": "modify",
      "old_id": "25c90c976e5a916528319c9392f35e9f5f74eae6",
      "old_mode": 33188,
      "old_path": "stage0/src/runtime/object.cpp",
      "new_id": "b09e84e6a7f40c145db1c78d9bf42dafdbfd977d",
      "new_mode": 33188,
      "new_path": "stage0/src/runtime/object.cpp"
    },
    {
      "type": "modify",
      "old_id": "4dc8ccbccdf8e15bc8e2851a16b0b8b58ae7a3f6",
      "old_mode": 33188,
      "old_path": "stage0/src/util/object_ref.h",
      "new_id": "4a1d8cad622633f3f333b4328645606a226ffcd7",
      "new_mode": 33188,
      "new_path": "stage0/src/util/object_ref.h"
    },
    {
      "type": "modify",
      "old_id": "a449f7f449d8f3c948a66c06deac1a98e594b29e",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/CMakeLists.txt",
      "new_id": "4dfd3dad5e49227e41ea0a50524ef8b893ff3c9e",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/CMakeLists.txt"
    },
    {
      "type": "modify",
      "old_id": "83504343601a773bdde939ee5536944b7848e9dd",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Init/Data/Format/Syntax.c",
      "new_id": "f8f32c8257497ce2b8dddbf193cebdb9b29aa091",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Init/Data/Format/Syntax.c"
    },
    {
      "type": "modify",
      "old_id": "2cdf9b1b1f50eb23b894af23dc1022930d20635c",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Init/Data/String/Basic.c",
      "new_id": "b693a617068bc0a5edec015bbe061837d0631ec5",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Init/Data/String/Basic.c"
    },
    {
      "type": "modify",
      "old_id": "91dc93a04c10750f3dc62ae27a96629e3fa8a4f9",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Init/Data/ToString/Basic.c",
      "new_id": "1279162b65f53247c03fc84c86c4f43a29b4bf0f",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Init/Data/ToString/Basic.c"
    },
    {
      "type": "modify",
      "old_id": "814ec84a2206df3d3a00eff87699604d08bdc27b",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Init/Meta.c",
      "new_id": "e2e5372c78c2ad6e7c6708bcfdf523ba64a90879",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Init/Meta.c"
    },
    {
      "type": "modify",
      "old_id": "ebeb46bf8b13f20c8fa2026f4ba639b8c2559940",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Init/NotationExtra.c",
      "new_id": "379510e5741b2b84267c6dea7b13a034048cd084",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Init/NotationExtra.c"
    },
    {
      "type": "modify",
      "old_id": "975f910847f106edcdccd49f8e44eb003ac2aa8e",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Init/Prelude.c",
      "new_id": "61c19d1f1c97a13bfd5267b4aa70551aebba7ddd",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Init/Prelude.c"
    },
    {
      "type": "modify",
      "old_id": "4e224c23a710b66fbeca5002abfbc28c7935de84",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Compiler/ExportAttr.c",
      "new_id": "82725cc41db5fcdeada1c5a5a0f4e20c069656ce",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Compiler/ExportAttr.c"
    },
    {
      "type": "modify",
      "old_id": "add862a64518e7610db79bc1b6b0f638f07bf80c",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Data.c",
      "new_id": "136f5f6f8cc887b9796a83063b56ac9bb8f05013",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Data.c"
    },
    {
      "type": "modify",
      "old_id": "20446273fb0ec2b36788bac322a51f6ca76cdf7a",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Data/Json/Basic.c",
      "new_id": "ed2f22ca1199bc3001f12717de5752766f8424b7",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Data/Json/Basic.c"
    },
    {
      "type": "modify",
      "old_id": "52c187f66d60415a665a4165ab8219eee059c986",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Data/Json/Parser.c",
      "new_id": "87ff6d41976c66aa7c76b7ced51ad6087815c539",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Data/Json/Parser.c"
    },
    {
      "type": "modify",
      "old_id": "3474a92ce1e05354f929c4431b9f33a0f4ada0ec",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Data/Lsp/Capabilities.c",
      "new_id": "75da99f534fce74af307c87dfaea16e368ca20f3",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Data/Lsp/Capabilities.c"
    },
    {
      "type": "modify",
      "old_id": "59b3bef91f839aa656b601da26d2fb89f0e13cf2",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Data/Lsp/TextSync.c",
      "new_id": "c432793c32770bf2442c423dad5256b7306da810",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Data/Lsp/TextSync.c"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "d8b43a0e49c809dd8e5c9b4c35a3e229e272fadf",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Data/Parsec.c"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "09226b006ca57b4b6de75ee34aea3c1946a8eb58",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Data/Xml.c"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "31f822da17f3215cd69770f7cd61ab23cd39e244",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Data/Xml/Basic.c"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "d6590c282000f93ec7ceabab4090ebd1febcd400",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Data/Xml/Parser.c"
    },
    {
      "type": "modify",
      "old_id": "9bd9ae550b43812c6d3dc8218d392221efcfcb3e",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/App.c",
      "new_id": "7dfa5dfe32b775f936298e3055f516171940a13b",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/App.c"
    },
    {
      "type": "modify",
      "old_id": "9fbba505568e464799f2c18e179e69e50d4edf77",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/AutoBound.c",
      "new_id": "e2479f5b7efc757876dbe4e9acd9aa091119dd43",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/AutoBound.c"
    },
    {
      "type": "modify",
      "old_id": "7d08a2af9279f5c23197769a29a9ba809e937fd1",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Binders.c",
      "new_id": "81cd319e204f4460081ba32520f65d4221c461db",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Binders.c"
    },
    {
      "type": "modify",
      "old_id": "fccbf35bdd758f48626a3d2bd564843f8a160415",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/BuiltinTerm.c",
      "new_id": "eeb87149635a035c6f5cc68236b87890fcd41d98",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/BuiltinTerm.c"
    },
    {
      "type": "modify",
      "old_id": "8c346e644e867e8ac7d7b2f2a80dfd1dcfa7f51a",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Declaration.c",
      "new_id": "3339dec68e29048ffd103d59b92f4e57765f0af0",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Declaration.c"
    },
    {
      "type": "modify",
      "old_id": "3f3a64df000934b6227ef990f1307c60c8f83ca3",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Deriving/Basic.c",
      "new_id": "17faf6a9c3d5c8e12effe9db7d23d2c85d5299bb",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Deriving/Basic.c"
    },
    {
      "type": "modify",
      "old_id": "d5dd329d02d1e1fbe15021c1c3e27767ff04196c",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Deriving/FromToJson.c",
      "new_id": "17d77d3d21501cbe975761bbcc74e51c5267dc85",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Deriving/FromToJson.c"
    },
    {
      "type": "modify",
      "old_id": "d2ada93e90fbb9e43d3dfa5d4f270050af09e09f",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Do.c",
      "new_id": "1e61db5fcd9813ed4e530109cf727ff03735be7d",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Do.c"
    },
    {
      "type": "modify",
      "old_id": "1e665edf5f6f9458c99801c4e11e8747e0ffac6f",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/InfoTree.c",
      "new_id": "2cffbb1cde43d7e2b1dc2616607064e0c2eb7ef4",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/InfoTree.c"
    },
    {
      "type": "modify",
      "old_id": "bab6784d7b54e6472c698dc13ee66d401ac8bf2e",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/LetRec.c",
      "new_id": "acfb45d87db9356c0656d9e308f136f26a922704",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/LetRec.c"
    },
    {
      "type": "modify",
      "old_id": "3f35c36e6dc0691ad7237bc25d458c1dfe5b995e",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Mixfix.c",
      "new_id": "f73934c0c25b5ce5a39cee5fa6f44c5995ecb2b1",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Mixfix.c"
    },
    {
      "type": "modify",
      "old_id": "8aef4b6ae9bf9a4c48e0b27bbf5f3daff9ea1754",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/PatternVar.c",
      "new_id": "e2ec58f7b4c31f8a4711742d06ba1eb9ef83acbf",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/PatternVar.c"
    },
    {
      "type": "modify",
      "old_id": "f24491b74c06a2ab066e4ff7a8b12bd0084d823a",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Print.c",
      "new_id": "5554a2c071a7b13116030be5e66b248c80737096",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Print.c"
    },
    {
      "type": "modify",
      "old_id": "ef571dad2a529b91aa6be0933ac4ca9f93c96a58",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Quotation.c",
      "new_id": "6a7c7a7a18113b8c51a0e586ce16088205ac7d11",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Quotation.c"
    },
    {
      "type": "modify",
      "old_id": "9830ef57c9deb011d80d5aabda5a9eb0b406ddd0",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Syntax.c",
      "new_id": "c8ab1258ca30c6573783dbc2597c8a44f20d425f",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Syntax.c"
    },
    {
      "type": "modify",
      "old_id": "c321d7e6a36d01b51668777fd421dba54b3c41c7",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Tactic/Induction.c",
      "new_id": "2faa30470a79ed0beb6f8af24fd256178b18fb46",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Tactic/Induction.c"
    },
    {
      "type": "modify",
      "old_id": "23e981e0db43cc58527f08429d922705c4bca45a",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Tactic/Simp.c",
      "new_id": "73b7f7b9a86e3741736dd2ef8b1cd2aa8ca83a0b",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Tactic/Simp.c"
    },
    {
      "type": "modify",
      "old_id": "d0b7b72ad1df3db22aac3da7230893cfcc98a3d7",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Term.c",
      "new_id": "c0e2b839715fa77cf90c23d58be0e81155a89956",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Term.c"
    },
    {
      "type": "modify",
      "old_id": "7d7008e01eab7babb6103cc879d31a13f5108885",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Closure.c",
      "new_id": "62b523277bbe4a69ed9f085cdac9f313a438ac0a",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Closure.c"
    },
    {
      "type": "modify",
      "old_id": "7d5f8e3d2a538e3e6325ad1e81cf9c1ef206e1a8",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Parser/Syntax.c",
      "new_id": "070f31494b96e1a3c52258d8bafd23a3f6e54a86",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Parser/Syntax.c"
    },
    {
      "type": "modify",
      "old_id": "b4240025cb7b8b11c7e5a0f89fda09ea9ac5613f",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/PrettyPrinter/Parenthesizer.c",
      "new_id": "885847164499f4ac112d3d874db4eb7f75d26ffe",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/PrettyPrinter/Parenthesizer.c"
    },
    {
      "type": "modify",
      "old_id": "ad4931127ead1db68d2e7e0c0a0e4f8ba77f0149",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Server/FileWorker/RequestHandling.c",
      "new_id": "6737bf93a03fe4068c0c538fd18b8d68178fc588",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Server/FileWorker/RequestHandling.c"
    },
    {
      "type": "modify",
      "old_id": "7823bd2ecbc02fc0caa6a24950753a7afd7cccfe",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Syntax.c",
      "new_id": "cdc1e9621ede9066f8c694b46fce06e32b27bb16",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Syntax.c"
    }
  ]
}