)]}'
{
  "id": "ba7f968df97c2c87fca491441a3de6b6112927a0",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "313ea0a1aac127fc5e31588aa79f6df818afaf32",
      "name": ".gitignore"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "92941d4cf7796db3b22fbfd39da71ffd49e9424e",
      "name": "Makefile.inc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b195266eb7e1344e837a33c1726b068f1a40254c",
      "name": "example.v"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "6fccb344f38c49400a2b281e5350966a784abdd7",
      "name": "example.ys"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "081dcda999afe06411a48c90166b9a1ce1fa60b1",
      "name": "smt2.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "445a42e0dfcd407c330e152a589712a3ae8032f0",
      "name": "smtbmc.py"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "bac68ac7094648d2aa7d76fcb52b9e2d558f426c",
      "name": "smtio.py"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "34adb7af3c19cf3f059413628eb49bd13618d011",
      "name": "test_cells.sh"
    }
  ]
}