)]}'
{
  "id": "5cec6149a551ec4d13d83eaea9552f0e5ecdbda9",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "384ff698864cd3b30552f936d9be7950fc3ce7b5",
      "name": "AbstractMVars.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "ed4a917119f995f52acfbf92fbf03524e716735b",
      "name": "AbstractNestedProofs.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "16d1a02a8676157631d3522a7a0b56761f0a4b8e",
      "name": "AppBuilder.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0d853f6271f5bde5339c9f44a73962ae8eeafb89",
      "name": "Basic.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "2a303760c78ff61338dc3c346695e9210986066c",
      "name": "Check.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "cbc8622f8fa600ef0364001f4c04e4abad3849e9",
      "name": "Closure.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "82131807a6e8cb6ca1b1a60b728c24aef332b347",
      "name": "Coe.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "7ebaab9772b4193befb9f86e1fca59073077ac6a",
      "name": "CollectFVars.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "3bc337321719319cf0c9cf2c4092c45b10b0906f",
      "name": "CollectMVars.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "5919548d53c1fdb4c2f6bc24f33029ed78cc2de8",
      "name": "DiscrTree.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "bacbeb219d87a5574b249419465b87225e33a2a8",
      "name": "DiscrTreeTypes.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f961def709848ef7c0342a870bf1fb56fe648c8f",
      "name": "ExprDefEq.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "08f41d776ee2e4e9dc23e1654c484597ef3e634f",
      "name": "ForEachExpr.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c7d17a569ad3b2a96f8738bc24e9581f98dbf3d4",
      "name": "FunInfo.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "719c01560b8d1c190b2cd40fd85006082c1eb3e3",
      "name": "GeneralizeTelescope.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b5ca3481ff5da8c0b7558e50adbadf8ac4dec73c",
      "name": "GeneralizeVars.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "809828330f480ae224cd7404cd68d2c22ae35229",
      "name": "GetConst.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b06c5a790e31453cfe0839f68fa6fb31be502eea",
      "name": "IndPredBelow.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "2959699c995d7b6e5dd0feb68d0f320b292f8eb7",
      "name": "Inductive.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "6f8235b51f16973f1b926d96387623f36b3cd761",
      "name": "InferType.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "065460fa710d3dd5d8eff11c31c49d6c43a08924",
      "name": "Instances.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c6a563462860452fb4d1e8dd0b0709874836fc36",
      "name": "KAbstract.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "66b738bdd9c423edfaa5b6baf6c0645aabe55b8f",
      "name": "LevelDefEq.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "d6d356dc47d957795e5535d62ffe99432e7a6c55",
      "name": "Match.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "d3e8b475b5b9c5bec325bb833e76d50ee9ecb1ef",
      "name": "Match"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "1f1ff7dea396a348bf5fdb42add387c4be43c16c",
      "name": "MatchUtil.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e6ca7863a3902b94231773152c019ebca558bbb9",
      "name": "Offset.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "4b22f4c6a2c6de92e6c32531098500b2a1ef5c96",
      "name": "PPGoal.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "917ae1074bab8a45392c9049e063ec5059a9e97d",
      "name": "RecursorInfo.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "fbb390dfdf61fcd0f2ea1283f4267aea3cc1fa99",
      "name": "Reduce.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "6c867be77601a31735fe94587829808984c1d209",
      "name": "ReduceEval.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "1780df462426b96bb2c125f5ca4a72f9b005ed46",
      "name": "SizeOf.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "df39bf5ede64a4329477ff6be00eff3c8e635f50",
      "name": "SortLocalDecls.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c41280f84e37505bde0b4264900f6d8dbb76c0b4",
      "name": "SynthInstance.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f8dc0255a5734220fd04c701acef345ff4bc6793",
      "name": "Tactic.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "fc4c370bfc30f44bc2a7462dba176cff07f82e2e",
      "name": "Tactic"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "240404de191706fb1666a7deb58cc4d57ff696ab",
      "name": "Transform.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "4d07fc9ddb1d585c5db7ff1614f85d84359d56e9",
      "name": "TransparencyMode.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "5c17aa6722996e1ab8723f180c2c9bdd3d0160d4",
      "name": "UnificationHint.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "478be6121b56dddfb0a69a7ea0c95a38956e52e2",
      "name": "WHNF.lean"
    }
  ]
}