)]}'
{
  "id": "2063110e7185f9fa3b980d8f3a20efdb24f56dcc",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "4a4cf30bd47defde4ef5739005c39b4f61ccd8e4",
      "name": "Makefile.inc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "3e8b14deee0e1c3fc127b8030d9ff16215408ecc",
      "name": "aiger.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "46890b0712359ba9880baaa9e86fcb15283fedfe",
      "name": "xaiger.cc"
    }
  ]
}