)]}'
{
  "id": "6926c1a7f997b5eb344d3e089c0856e5ed9c65c9",
  "entries": [
    {
      "mode": 16384,
      "type": "tree",
      "id": "bbdf8694c34ecc48cbd1139ffa626a39fe36d037",
      "name": "aiger"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "909fb962c39abf0dc7097cd8ca83f582f303d4c4",
      "name": "blif"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "1a119a6c6d321b810678eb4f43628ceb15af3072",
      "name": "btor"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "f6c03e2dcfbf200dc592c7bba440f4cbbdbf4a0f",
      "name": "edif"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "7eedb284ff5f908a968642ef544d3f7f075f3c5d",
      "name": "firrtl"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "c6c7223e04c4273460763504793862371f21680d",
      "name": "ilang"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "3ae8ccf710ec07203cffdf121c88faa52e95a23e",
      "name": "intersynth"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "e12aff23517708ec01fbc6793e7c37ba8f7b59c3",
      "name": "json"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "e195346b2557fad8c88f26c35966f732f554bae0",
      "name": "protobuf"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "dd20624b8b16d0472cfc93e849a5de01c4715fc0",
      "name": "simplec"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "0ec36b8d050d810aa5a6a81fa8b0ad38837d2358",
      "name": "smt2"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "43659928109485b7683906d44500383e35c2c616",
      "name": "smv"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "7d5b580098b227181b7c5e0e592bf540ab0dc1c6",
      "name": "spice"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "61cdf53ec60cf43b964a20f2b9696021dfd89802",
      "name": "table"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "512882eadbd739e430af1de12d98c36897f305fc",
      "name": "verilog"
    }
  ]
}