)]}'
{
  "id": "0ae8fce6837b5cb9a8aee05fb3979679fe95f1d3",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "4765ff4106f2048e2743dbbf5498c51d775f38da",
      "name": "mathlib.h"
    }
  ]
}