)]}'
{
  "id": "042c3663ac1da3ffa8306cec28aa607fabd208c5",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "122f1718d2bfa015d28f6a82a8ac2f18c50f5265",
      "name": "ACLt.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a362566d56c25eff8ef9cd5f1a7c643becdae843",
      "name": "AbstractMVars.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b76e65db624728710009bb18e5be9bc71523ccd3",
      "name": "AbstractNestedProofs.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "8309452256ea924367f47907342d7509f9aaa7b8",
      "name": "AppBuilder.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c7737f4937199e40186093d2b7b44acf04dbc503",
      "name": "Basic.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "7646455f9e2d326e7e3c81eabeef907b0d321c2a",
      "name": "CasesOn.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "925a3de957769eec127546fd177c9fbffa714b9e",
      "name": "Check.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "7ac2972f4a1b77793c349b9e3914da0d2af3b51f",
      "name": "Closure.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b06fed21854edb4e09d13ea7e94a4a21e7a66146",
      "name": "Coe.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f787070eea90ea92dc81deedc11a608b5b461005",
      "name": "CollectFVars.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "adc6c5c7c5282434e33a4bf136fe00cd84f1cb0e",
      "name": "CollectMVars.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "1e63a91af16c4a6285a7124bc37183d632b215ea",
      "name": "CongrTheorems.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a3dc55cc46bf46529ba6bc936597eb2d6de350cc",
      "name": "Constructions.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "3cc5fe3c9135474d76c8136c05e2ff36f9b72810",
      "name": "DecLevel.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "33cc4aefe92c9cb949b7595768599dea8f55fd32",
      "name": "DiscrTree.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e44e4a311060a852e82aad78dd4f30cefc5bdb8a",
      "name": "DiscrTreeTypes.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "3f07258d9ded666419d83e12910291c6d7b44cb5",
      "name": "Eqns.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "5145a67df9b52b90f98bb24a8d7a7cbe0ddc23b1",
      "name": "Eval.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "daf7bce260d89bbce6fb5061201209e252db9609",
      "name": "ExprDefEq.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a794eaafde03fb51fbf405bf05e1f08377c9ccc2",
      "name": "ExprLens.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "12aa04783380a656aad91e3b768d936e1059e34c",
      "name": "ExprTraverse.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b0c729ce811fca8e53b4ff08e28cbc4dc9eb3fdf",
      "name": "ForEachExpr.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "9194fa7bd53f96b0672ea20cba3a653228af9ebf",
      "name": "FunInfo.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "d6a77e87edd42ed2fcedc8da5736cb4fd4b8facd",
      "name": "GeneralizeTelescope.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "127903bd0f98862dc464c825326a97896f68ffa4",
      "name": "GeneralizeVars.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e16e5161f025e5e8745073e6e6db60a38edc7e79",
      "name": "GetConst.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "db9b7e5c3e16e667c750fbc7c89348fa348ffbc1",
      "name": "GlobalInstances.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "3145f29d311c8189c77ad1e47bcae566fb86d2c0",
      "name": "IndPredBelow.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "25ba641af1e14c69f12bcf82b854d9cd112cecfa",
      "name": "Inductive.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "6249806b12448b0ae2cddb0d82adc4bbc69dec2e",
      "name": "InferType.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "da56406f05a1b83f3eed3393d52b032fb510b63d",
      "name": "Injective.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "d447a1483369fb233b0b2abec0430d341b40a4f1",
      "name": "Instances.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "aed457f85348529f424c4cee45d87065f6e5117d",
      "name": "KAbstract.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "d57b33df7ddd38d0b14f974dd131b8521672c3f0",
      "name": "KExprMap.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "d8bdfef12349c0f1385de7164ac9238a6a36b559",
      "name": "LevelDefEq.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "676da5b6b7e8a39923fe17bf498a73b4662f4fe8",
      "name": "Match.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "88f72e9aadbf218bff81d2fc388914b23faee828",
      "name": "Match"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "06d1a924c49ef21ff12914988a640124a651ec45",
      "name": "MatchUtil.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "21ade50c12ecdfdbccab0cdb9a131c2763a3c475",
      "name": "Offset.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "d19e4673b0febd204e62cc6172cd3d233485f0ec",
      "name": "PPGoal.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "824d069673a0176d11ac564cf1daa70e5a512721",
      "name": "RecursorInfo.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "27765dc65588d48625d4e2de897feeca99aa49ef",
      "name": "Reduce.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e6db75a10b4e7598590559ffce7f27f21646fa8e",
      "name": "ReduceEval.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b313fc13f14911696c8ace9859fa20dc9cc5fa4e",
      "name": "SizeOf.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f7f46a462228c785fa99f75fcf80cf2b287043fa",
      "name": "Structure.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "ea502244b864a7b6df5fcbe4f03307a358e88711",
      "name": "SynthInstance.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c5e7469c83c1da102826ee523e418237256fd83a",
      "name": "Tactic.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "07e00f53452137297321801b377f345b7fe74c8c",
      "name": "Tactic"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "bcba08287a7f9feb9af5d6c9e87b7f2150272065",
      "name": "Transform.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "9c947ebb6968a7c761ea487c4d051f9bf166d4a2",
      "name": "TransparencyMode.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "19e7247f02288a1a411cd3d4e79732b562ce4182",
      "name": "UnificationHint.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "7e821da44e0eb996198ff34b0c37946cfe11b3d2",
      "name": "WHNF.lean"
    }
  ]
}