)]}'
{
  "id": "d080d9a25500562354cbb5fb152f4fb930e72570",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "e568d47ca252af23f453a9363e66ad6f73da4a5a",
      "name": "caching.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "3c2613035665291f1e43a868d002f48ed22eaaa8",
      "name": "canonicalization.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "9753f7539c27a08bd443817f9086bd047be957d9",
      "name": "coinduction.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "fd12b19575748ffdd02d125ba3b0466d05e2865b",
      "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"
    }
  ]
}