)]}'
{
  "id": "0cd9755bfabb0021e7d80d26c7b1e3a639c6ac68",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "bf4521d7564e3f8b1828c6c5be36818a73a6695f",
      "name": "Basic.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "4068a929ad899944595edef093a99f9ab8b369a7",
      "name": "eqns"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "1e2109e14e1649fa0a1f0770a86be3bdbbd0c848",
      "name": "new-frontend"
    }
  ]
}