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