)]}'
{
  "id": "e0a2fd637df6ca5ef11fdb71fcbd9c3baf945a10",
  "entries": [
    {
      "mode": 16384,
      "type": "tree",
      "id": "a275afcd5c9509aa226efabf3abe0db1cd5fbf89",
      "name": "aig"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "32952ed9d0ab64df7185cb3be551e5c02c288ac5",
      "name": "base"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "ac007c0b945e687287e1cae7d3db85da67a6f9e2",
      "name": "bdd"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "c1e1eda112657f66284673ade33b0dc088cc4e22",
      "name": "bool"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "eebb8aba0f655b42f95724559214237d3af5e027",
      "name": "demo.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "df934f7d43238cd1768a7594d93d9ef4520233a3",
      "name": "generic.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "92fd554b54e9100608b50fa4b3d8c4aedd3608b9",
      "name": "generic.h"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "8bc56bba69a49793739db94de0ba1caa289081e8",
      "name": "map"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "76ecd0ff9ac45e9a0f20b25c626f52cedc06c01e",
      "name": "misc"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "e02aaca08880e04a450e5e6b803d927ab6ad81ae",
      "name": "opt"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "80f9301ac980edb6daa692ca4d4a98cfe5959739",
      "name": "phys"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "eeb97e489aa3a611e67f6439f38db16a651e2013",
      "name": "proof"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "fe8208a95722031eb20bc7d5ebaad948d3915aae",
      "name": "sat"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "4f831b5d89a72fa39c15ff1c35df5603ba2ce3a5",
      "name": "starter.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "8b79915189a0aeb316e98ee4d77b4e47e0dab5fd",
      "name": "template.c"
    }
  ]
}