)]}'
{
  "id": "aaaba1adbf3f84557cf08cebb94dd7832fede90a",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "4113c3b3fb632f5d2725cc453c0fe1ae0bfa9562",
      "name": "AssumeClassSpecificationVisitorFactory.java"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b4073846f3902c9e604a2bb8842d164bc4686899",
      "name": "BasicBranchUnit.java"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e806d2e70d2ffe06ca93d02261f9fffdeed58f31",
      "name": "BasicInvocationUnit.java"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "8af63b5116ae5171e45d74a1c6f3e835f0b55b62",
      "name": "BranchUnit.java"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a32fe3b6d0ed981399d4a29e5b0098e4799464cb",
      "name": "ClassConstantValueFactory.java"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "363115612bb300259d8a7b68a23afeb477b43573",
      "name": "ConstantValueFactory.java"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c17789b290bcecc291047c8ccf5d5eef3ee3ef19",
      "name": "InvocationUnit.java"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c61f0d109113c1897594c5f09546955c101ad146",
      "name": "Processor.java"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f607a18f1f610a7a782b8f1f442d7a87cef8c468",
      "name": "SimplifiedInvocationUnit.java"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "18a66c7f248eb06f4e8ae3c682e9c05b615ef27a",
      "name": "Stack.java"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "7fddec9621bdd5817c1fdc25760e9e9db68a17ad",
      "name": "TracedStack.java"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b5e754f53628bd4a5c62444578550e724853b933",
      "name": "TracedVariables.java"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "1a1ea9189e772ea2b0fbcf2a7be74f083c9499d8",
      "name": "Variables.java"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "bfba94e79d34ea02acd9c7792e7a36ebf13a955c",
      "name": "value"
    }
  ]
}