)]}'
{
  "id": "8bd0b79e096fd6cbecb1e5d6e6e34a71a847aad7",
  "entries": [
    {
      "mode": 16384,
      "type": "tree",
      "id": "844ce0b7eb3dc3a1a5a7ef643239e5ec4f32e5ea",
      "name": "bigint"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "2f1bf826c23cb4d82e1cc8b6fec2dfabd17680e8",
      "name": "ezsat"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "af4bef768fe4d52bd1a92e2f89b3d56e1e814f77",
      "name": "minisat"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "41fd30993eb7fbfb2ec56ea1ddd39149ed4b2de6",
      "name": "sha1"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "fce758ea16677b029ddefb0b5f49c3964bd9b6e0",
      "name": "subcircuit"
    }
  ]
}