)]}'
{
  "id": "0ec17c7107b19439a6c480bcc2678bab624ab7f5",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "f6efc004fa7e30f456077059204d81ae7a56501a",
      "name": "Basic.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "1db49889469407b265c39eb72b49b17f781f2270",
      "name": "Lean.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "413ac1ccc2ee410ff7688b721258b52a74dd8124",
      "name": "Lean"
    }
  ]
}