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