)]}'
{
  "id": "a9497353427a8db16bca7ee06d688b914d8dba26",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "bdfeb8b51879e7dba9a549006df9f86cd0528c0f",
      "name": "_index.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "624540502c129e82736302e10e6f4914a803c10f",
      "name": "corollary2.2.1.svg"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b32cabd781147838b4341c336711cef3f22eca9d",
      "name": "corollary2.2.2.svg"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "1a458eddd8eb50b34558de2face07aa49e0149bf",
      "name": "corollary2.3.1.svg"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "ed5e61bd6d20a2f2a1aff1ae76ff3f7c34776d2a",
      "name": "corollary2.3.2.svg"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "cfef0b068d1f54a382df93b315fd7165381624a2",
      "name": "corollary2.3.3.svg"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "8aa566ba84ec66f95a2116389a364ec62fd2be88",
      "name": "lemma1.svg"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "2d4d2801eb1b6608d567490540e488c7e9bdbb8b",
      "name": "lemma3.1.svg"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a38bee0736f48413650cf7a624b7413d87c0e315",
      "name": "lemma3.2.svg"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "1930a8a328c140108e75222d71ba06c303fdcce7",
      "name": "lemma4.svg"
    }
  ]
}