)]}'
{
  "id": "e4e3f042ab618296ee378521a30d5a3e5e0a242c",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "e8c14a35005d8725e1de90c50291223a0bef6053",
      "name": "corollary2.2.1.ggb"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "624540502c129e82736302e10e6f4914a803c10f",
      "name": "corollary2.2.1.svg"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "738991c8140891010b451aa73cc6af5d5c25a089",
      "name": "corollary2.2.2.ggb"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b32cabd781147838b4341c336711cef3f22eca9d",
      "name": "corollary2.2.2.svg"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0fdb721907839580ccfac73adc5933adcc8c339b",
      "name": "corollary2.2.ggb"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "7ff09cf350af6f7f207f13c78a5bb717aac3cfde",
      "name": "corollary2.3.1.ggb"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "1a458eddd8eb50b34558de2face07aa49e0149bf",
      "name": "corollary2.3.1.svg"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a0d61824d5dcecf02ea37fb2ea4cf57ba0413ce1",
      "name": "corollary2.3.2.ggb"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "ed5e61bd6d20a2f2a1aff1ae76ff3f7c34776d2a",
      "name": "corollary2.3.2.svg"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "997ccfab59274b1133df32d7e9254a9d2d1ac698",
      "name": "corollary2.3.3.ggb"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "cfef0b068d1f54a382df93b315fd7165381624a2",
      "name": "corollary2.3.3.svg"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "2efb90c9bab81998df0de92a8f38fc2c5754aa25",
      "name": "index.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "1e80fe0b2e692a3ddf6da73f32447273ddbb6003",
      "name": "lemma1.ggb"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "8aa566ba84ec66f95a2116389a364ec62fd2be88",
      "name": "lemma1.svg"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "6684365835b2832f49f5a498cedd2cb23a4e0f73",
      "name": "lemma3.1.ggb"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "2d4d2801eb1b6608d567490540e488c7e9bdbb8b",
      "name": "lemma3.1.svg"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "182f0ec013595f5d8b35b7ff58b89f08bff98491",
      "name": "lemma3.2.ggb"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a38bee0736f48413650cf7a624b7413d87c0e315",
      "name": "lemma3.2.svg"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "30c53ab32bd58a0a9bc9034a0d36c801bc555b00",
      "name": "lemma3.ggb"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a2f710fd2b1574bea776c533eda16889c35fa97d",
      "name": "lemma4.ggb"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "1930a8a328c140108e75222d71ba06c303fdcce7",
      "name": "lemma4.svg"
    }
  ]
}