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