)]}'
{
  "id": "a3c2bf6ef954e2525ec17985c893cc50a49bc08f",
  "entries": [
    {
      "mode": 16384,
      "type": "tree",
      "id": "094e23543ab17d183be2a6ebf0c98b85e93088e1",
      "name": "aiger"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "909fb962c39abf0dc7097cd8ca83f582f303d4c4",
      "name": "blif"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "aa90df8897b86bd6eb306207fa87a2d2c0029bf6",
      "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": "01d295666932788bf074ff6d4bacd055b104b982",
      "name": "protobuf"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "dd20624b8b16d0472cfc93e849a5de01c4715fc0",
      "name": "simplec"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "ba7f968df97c2c87fca491441a3de6b6112927a0",
      "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": "ae4e7bf2301fb4fce01175609656e9d0fc610ccd",
      "name": "verilog"
    }
  ]
}