)]}'
{
  "id": "8384595ed91ae07658010cee5def899fc3a40e14",
  "entries": [
    {
      "mode": 16384,
      "type": "tree",
      "id": "844ce0b7eb3dc3a1a5a7ef643239e5ec4f32e5ea",
      "name": "bigint"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "2f1bf826c23cb4d82e1cc8b6fec2dfabd17680e8",
      "name": "ezsat"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "eaaa8090fe61e6e65b4df712b7226a9295c773e9",
      "name": "json11"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "af4bef768fe4d52bd1a92e2f89b3d56e1e814f77",
      "name": "minisat"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "41fd30993eb7fbfb2ec56ea1ddd39149ed4b2de6",
      "name": "sha1"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "d22c6a06b83081269961692033f40eaf9d6825af",
      "name": "subcircuit"
    }
  ]
}
