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