)]}'
{
  "id": "c6c384a4e4e4cad7a47d1e713f749149da9d007f",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "607207968c2e0f21836bb31fd34bd023af9d7c46",
      "name": "CMakeLists.txt"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "5368c25f6536671355e63e713e204f6a64d9371a",
      "name": "ExpressionAnalyzer.cpp"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a3bff2d826d5f0dda5fa7f28398cab73e68e2c1a",
      "name": "ExpressionManipulator.cpp"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "77f5906f0f1384f9b27311e815d6af2327aaf260",
      "name": "LocalGraph.cpp"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "7066d2633a07b92e5709f37c857a8ee1ce19e4b2",
      "name": "abstract.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "ec33c4b11d03a18285fe972a2645c12c31dc26d8",
      "name": "bits.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e3ad370db7885da350dfac1c13c9d9475f6f16cd",
      "name": "block-utils.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "84be9f8976a5e53e54df4f8890722ceddc63c9bc",
      "name": "branch-utils.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "9a97574f42ba77654cfc7d58d0160d2822ceb409",
      "name": "cost.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "1fef3a870f005b796c31df0816136331c84f288a",
      "name": "count.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b6eafae27b366b8e27553dffb78fa0bb84d6a7ea",
      "name": "effects.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "d1a957bbd3886d06e4616b9bae957fc2b016d818",
      "name": "equivalent_sets.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "44dc7a675506947142b71f114e104ebceba910d7",
      "name": "find_all.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "bcf0dae72e0e72f7b2ebb49d1e00183efa0f0da8",
      "name": "global-utils.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "dc4012455d0148be5d696a9bcbccace13fb8d271",
      "name": "hashed.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f3f01c266f906ff9d5b591ba3a54545d1ed684ed",
      "name": "import-utils.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "6cf149894d8bdfa86a6f229d3e976e80b1375807",
      "name": "iteration.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f4fb77697d2355a012c917c37fc3c8cf27f91c60",
      "name": "label-utils.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "1668977397e631d82e05875d0d23018b0c200b1c",
      "name": "literal-utils.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "8df4bcde8783bf246e794e438da79a065d3e84a6",
      "name": "load-utils.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "84be2a4c269bcad70d21b88cd0261ef60000a357",
      "name": "local-graph.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c910d9f9bac172d469b317c50b4b7e21cd262e1c",
      "name": "localize.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "57188ad6841cd6711eb81cd652c13423033c4af2",
      "name": "manipulation.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "920583f7d927622df981d7464d67d219ca9c7c6c",
      "name": "memory-utils.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "83625809fb85d43c654d4dbee8f44172c9140eb9",
      "name": "module-utils.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a589571bf5691b555d79b8556ef555c8940c9459",
      "name": "names.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "7cbbe73f0c1b2db5ae594853736a0456b04e8ecc",
      "name": "properties.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a3a87f8efbb70443e98a7dc69641bf6577bbcd8a",
      "name": "trapping.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "ba06bccf9fdce9d1d1aab9144ae128c7cb833262",
      "name": "type-updating.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "fa08122b5a9e28ee6945dc55f25e7bce88b6e3d0",
      "name": "utils.h"
    }
  ]
}