)]}'
{
  "id": "ac1dc519ad0220e588aa56cce0a005db5abe9aa4",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "af7ab14dcfe8aab9d29a175ab19fb6f45f1e28fe",
      "name": "Makefile.inc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "53359bd7bd76e48cf1e963623a8be5cf64fb099a",
      "name": "btor.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e0f1a05140045f61916d879156788b67d3760538",
      "name": "test_cells.sh"
    }
  ]
}