)]}'
{
  "id": "b1d038b7d53fb67728e0ae56ea9a546e124f9c00",
  "entries": [
    {
      "mode": 16384,
      "type": "tree",
      "id": "5b479b742e0fabac6860c7f12f06f56044dcc840",
      "name": "build"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "bb639efeda54d4e375c61896ca13434f6ed45615",
      "name": "doc"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "f2110cbee592cd4f087e2e787c202291c8834b56",
      "name": "example"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "e2eac142f111facb7161d1c6d4d469c88e1687ab",
      "name": "extra"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "9c0a8475d6c291a7fb653fc0b1b1035ad7f31f71",
      "name": "index.html"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "d0ae9a8a14b969c431d33c0c50a8b9419ebcc868",
      "name": "nondet_random.html"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "2b8c894c22907c6e78460d764b9ff96f195935a6",
      "name": "performance"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "aea420b19201d8a8986025cb3fe52fb9454ff761",
      "name": "random-concepts.html"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "605bfa69d4210dce65930fb7a6e3df8fc787397c",
      "name": "random-distributions.html"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "1872c4097fe8725653299c8073dc875b9d177b2e",
      "name": "random-generators.html"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "5b319904bf6cbd4b2312d259dc9ae850aa63af2c",
      "name": "random-misc.html"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "6cbef8dea0c96dc756a36f38155a52e5dc0c6232",
      "name": "random-performance.html"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a5d931feed5eaea4570a244239bbab682a857f9e",
      "name": "random-variate.html"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "d604c1f41754143f254ba94426ec38ab8ca144bc",
      "name": "src"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "6cbc56387be9a490e46d915b5ad871d06baa5264",
      "name": "test"
    }
  ]
}