)]}'
{
  "id": "d54d6fad8c69ccbe75485090d57bcd221654cbdc",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "a5e4a1e6205164f413fdd7bf254092e52ff12880",
      "name": "macros.tex"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c272a8103f1dc453c3567f978e416f5791479429",
      "name": "proof.sty"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b103d95683914bdc59de4bc6d5369143d882fd72",
      "name": "static-semantics.tex"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "1b58a47a47b8bcfd55ec0cb22548f4fe7faada84",
      "name": "strong-dart.pdf"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "216b476238945a8af00dcfffd647077cdd5bb1e4",
      "name": "strong-dart.tex"
    }
  ]
}