)]}'
{
  "id": "8935c12b269ec4dd1cfaf6d9cbd54f899b95d584",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "bf4521d7564e3f8b1828c6c5be36818a73a6695f",
      "name": "Basic.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "dff4ff49758eef2a18f596963545457d7017a507",
      "name": "PreludeNew.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "d5db4de804b5d2711ed61bf6de2258e64f714673",
      "name": "eqns"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "1e2109e14e1649fa0a1f0770a86be3bdbbd0c848",
      "name": "new-frontend"
    }
  ]
}