)]}'
{
  "id": "8cde2ea409483d7079d8038c1c05d48f511d1c6d",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "e568d47ca252af23f453a9363e66ad6f73da4a5a",
      "name": "caching.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "8960529473530478e21a0f8c01df4f32f957ba8d",
      "name": "candidate-preference.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "3c2613035665291f1e43a868d002f48ed22eaaa8",
      "name": "canonicalization.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "9753f7539c27a08bd443817f9086bd047be957d9",
      "name": "coinduction.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "8ec15f339e51b6da5925c9c8b3f099484717f255",
      "name": "invariants.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "8880962d621f0d032073f70d8638797ff7c6527f",
      "name": "opaque-types.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a6f4339d6e489db6830a35b51585377869de2d6b",
      "name": "proof-trees.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "eac8f0318fb1946389cf55f0d6a7125b39db9697",
      "name": "significant-changes.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "006fb649d22047d73a760374e93fe9681a0bde09",
      "name": "the-solver.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c1eb1a94b96346335388767993252a6a97f6d9d9",
      "name": "trait-solving.md"
    }
  ]
}