)]}'
{
  "id": "d551b4ee6411daf467cc6b9af1013fb8f9349542",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "9c1c1494027f61385305f19149911c34ce58e236",
      "name": "AttrConf.thy"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b82b1c98cea9e849a0c6b6e9b798e4cf6cb3d17f",
      "name": "FDP_ACC.thy"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "09a057a8576bd337fcf7916ad98eeab5dfde6ac0",
      "name": "FDP_ACF.thy"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "889835c9d4cff8b7660c2ac630d63d09cb46a67e",
      "name": "FDP_IFC.thy"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "6b744e50db3a60d5d1654b1ea9586dd2c9435ffb",
      "name": "FDP_IFF.thy"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "26fbf56760d80b1b1c1370e894357ede009bffa4",
      "name": "FIA_USB.thy"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "bc29bef694d2ca7001b62aa0d17ecb760143b350",
      "name": "FMT_MSA.thy"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "133a1889e2ee8652633ee8cdcb81e85dd4afd848",
      "name": "InfoType.thy"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0b697ac18983a28ac0ee6c5aa7da3c04fc80f41b",
      "name": "ModelConf.thy"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "24b7300c58d7048c9e5995dd30b0d84e77293d9f",
      "name": "README.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "6aac3332b657c8e3e74f823957564c878249f35b",
      "name": "ROOT"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "13970bb78383ac93f7e99aa60931308f645d5575",
      "name": "ResrcAttr.thy"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "5bff4cbeefa0881fe58037747d734210943e1ffb",
      "name": "ResrcType.thy"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "9b63d0ed7c5b74c2faf95075a53be85efb61b941",
      "name": "SysId.thy"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b1bcd6bdc43f1fe135656532efa2baf0c2a54a8d",
      "name": "TeaclaveAccessControl.thy"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "48f3db18359497233d3525741e28f960ba39f3ed",
      "name": "TeaclaveRequirements.thy"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "5b66c5dc6b062d92af06b43b2124898fb92a6ec2",
      "name": "TrustLevel.thy"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0683f42e97d6ae0b18fd0de8e3ee9cb4fc376bb8",
      "name": "UsrAttr.thy"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "b31ebf0e833da0e031451b4a5e0561946fd6a9eb",
      "name": "interpretation"
    }
  ]
}