)]}'
{
  "id": "3b2cefab789c61ff2f84e65b51832ca2cbdd028b",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "21359e6dfaaf16d9f6c1ec81bcb6c1fecb79598d",
      "name": "Basic.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "46298ca67e4ac1a40a001857d3a6e3c1e3041224",
      "name": "BasicAux.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "031bcadc707002e4d92bcc7e065ef74aa148a63f",
      "name": "Instances.lean"
    }
  ]
}