)]}'
{
  "id": "c6261fae69ec9c8babf402dc087f2b152281ec65",
  "entries": [
    {
      "mode": 16384,
      "type": "tree",
      "id": "1f895f295870c1d773f21759bd62cc5eef7e6c50",
      "name": "aiger"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "b59b01770261a3002c0942dacdca37097094009d",
      "name": "blif"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "6b99c322ca8630ca4e1dc3bc5bad77cfaa24210b",
      "name": "btor"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "fd2cd29a5e458970a48e0d421a165adba5598bef",
      "name": "edif"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "b1dd345ef59c20d12ad4baec088ca399a0e6322f",
      "name": "firrtl"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "c4270ab92b2756cf3279b3b157f3446865ae6b41",
      "name": "ilang"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "5a418e34de18f6ca039b75ab1bdec2ae3f47bd1a",
      "name": "intersynth"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "f069bfacdc85985e22fed120f65405e06170abdb",
      "name": "json"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "f57f4a3199dcbdc9e08c8e6e3ed60169041ae602",
      "name": "protobuf"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "ba88fb43ee114e66357e881e05f313ccf7e102b3",
      "name": "simplec"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "5892f780d7ae201d8132a5402792445c2f9e4623",
      "name": "smt2"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "c508806ded831d80374636da803e70dcfb785486",
      "name": "smv"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "a66417cacca3d3463365c04e9aa8b11adad3eabc",
      "name": "spice"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "46a9c42805bff14fe225a36d406b16391e533093",
      "name": "table"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "2f320918bff2ad3a84237e8aa1850af6fd861d2c",
      "name": "verilog"
    }
  ]
}