)]}'
{
  "id": "05a61d5fbdc23be875a7e5f61df83b667d30608c",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "72b90c59beed207b307f1ff99c7e0153eb42a942",
      "name": "caching.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "3c2613035665291f1e43a868d002f48ed22eaaa8",
      "name": "canonicalization.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c682e002db757792ae6b8781b02742b3a31fe8f6",
      "name": "coinduction.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c16a3aeb2b3754c054878feba21ffa0ea728c9cd",
      "name": "invariants.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "99dc20c46b5d426d5758d474035d3cb6c27f9f63",
      "name": "normalization.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "672aab7708018dd66c13f6bebeaf556cfee67d81",
      "name": "opaque-types.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a6f4339d6e489db6830a35b51585377869de2d6b",
      "name": "proof-trees.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c5bb8a01b12b588a648125953141038751313940",
      "name": "significant-changes.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f7d82d117a05ebdedbde456d850ee6ed51d28669",
      "name": "the-solver.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "345ee0b094e8faeead63bdadae91b820836fd989",
      "name": "trait-solving.md"
    }
  ]
}