)]}'
{
  "id": "0bac9c3f97dc80ca6af9f2490411418803820828",
  "entries": [
    {
      "mode": 16384,
      "type": "tree",
      "id": "844ce0b7eb3dc3a1a5a7ef643239e5ec4f32e5ea",
      "name": "bigint"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "e0e62a648fcbcc8fd12bab4733543343f317fb65",
      "name": "ezsat"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "af4bef768fe4d52bd1a92e2f89b3d56e1e814f77",
      "name": "minisat"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "41fd30993eb7fbfb2ec56ea1ddd39149ed4b2de6",
      "name": "sha1"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "5108572e765fec527c3e4624d086d61522e5f785",
      "name": "subcircuit"
    }
  ]
}