)]}'
{
  "id": "aa6ef546f1072c975e5db6e9b868bd1cb45696f5",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "4a4cf30bd47defde4ef5739005c39b4f61ccd8e4",
      "name": "Makefile.inc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "7c851bb91afe4faad50e20e01ec5b213ba321b80",
      "name": "aiger.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "77d0e94c20366de6b6684421dd2911f5d6b8217b",
      "name": "xaiger.cc"
    }
  ]
}