)]}'
{
  "id": "9548fc08353f30b808a59bf6bb874ace148c7d69",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "560dcdc546cfa7cb81f99e8a8f602dda72343148",
      "name": "Counter.py"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "78eb7a766ff33438be77f6d12448961826c90e8d",
      "name": "__init__.py"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "75959f50f85f01896476f000e46ecc4d2b41c185",
      "name": "dictutils.py"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "3122c0ecd92f94c6ece026faac6c806be399c77f",
      "name": "exception.py"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "67122439fdcb230cd24c314d7104d3756d61fc11",
      "name": "frozendict.py"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "7a2777401688f16840fe7723367ca16029028a85",
      "name": "hash.py"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "bc0c13ce4fdddf204238314fbba3b269d6740923",
      "name": "isabelle_symbols.py"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "20c1299b7ef8e950d2328ac7c625f38c4c91b47f",
      "name": "isinstancefallback.py"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e3696c585f0c70326b14836b636f3e60f6a1e768",
      "name": "log.py"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "86558b760c5f3b4245ff97792c9bb28fd857388a",
      "name": "memoization.py"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "398b793915feb76f7c0b96077f9e115a421398ce",
      "name": "seven.py"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "098c4ea4cd80fba13397343fc900c4e9abe4441e",
      "name": "strhash.py"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b12b196f6089b8d681fabd27e6022367f3a8e025",
      "name": "terminal.py"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "b4bedaa3ce805f6d42623c978b05d678b8592687",
      "name": "tests"
    }
  ]
}