)]}'
{
  "id": "d051abe112feeb99964457b9e7404d927be92e90",
  "entries": [
    {
      "mode": 16384,
      "type": "tree",
      "id": "1f895f295870c1d773f21759bd62cc5eef7e6c50",
      "name": "aiger"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "b59b01770261a3002c0942dacdca37097094009d",
      "name": "blif"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "ac1dc519ad0220e588aa56cce0a005db5abe9aa4",
      "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": "2a6aaa9114cdc7642fce8262d4a94f22bb49d9a9",
      "name": "simplec"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "f2844964fb18ecbc11cf72c07418266e19ce1903",
      "name": "smt2"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "c508806ded831d80374636da803e70dcfb785486",
      "name": "smv"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "a66417cacca3d3463365c04e9aa8b11adad3eabc",
      "name": "spice"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "32f2a7bb7128d529404c78c0402ebfce3c63b5e3",
      "name": "table"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "d413f4ea26cb92ea50814923075632b7f07d2ea8",
      "name": "verilog"
    }
  ]
}