)]}'
{
  "id": "6b42786e29202cb98e155fcf159df259cb9ecee1",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "13fdf32dc9184d063963929d027b8a591c241d14",
      "name": "Attribute.lean"
    }
  ]
}