)]}' { "id": "c3721857a886e73464abeaf91718041f9efde92f", "entries": [ { "mode": 33188, "type": "blob", "id": "3ef1019b5ce1b9ed6361657c3017ec6b1563a981", "name": "config" }, { "mode": 33188, "type": "blob", "id": "e91d4be29d66b3bde980900d9ef60fe9f4f3c036", "name": "header.tex" } ] }