)]}'
{
  "id": "4ba1107cebcea4807e975c693f88aaaa8ef95ab7",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "fd0dd3005c7f02df0056d50a0bdfabd99d443e20",
      "name": "Basic.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "55c682366083676df7f7de8e645312391c2432fa",
      "name": "Diff.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "280ea1e53b046ec448ff5135ce040c0b6089c131",
      "name": "InteractiveCode.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "fb00c239ec8b7b9f0752bcefd19312b2487d89ea",
      "name": "InteractiveDiagnostic.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "82025d2bc08c1b12732fb47ea6254f1b0b1bd337",
      "name": "InteractiveGoal.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "62708e82cc44ca2ecbececc4eac4962abd89cbcf",
      "name": "TaggedText.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f4e3354a71394eff6648a0325359a510703ab6cd",
      "name": "UserWidget.lean"
    }
  ]
}