040000 tree dc67ee710b803b6bd404c08ab238ec972bc4a1e9	core
040000 tree 1919deb75816c25649f3c18c24dfd16198328575	mirror
040000 tree bd8ea8adbe58b67687d5c1df22c369c8cd1c3e7d	model
040000 tree 2ad474864182cc9980e00d9d6b796f63c6fd8963	operations
040000 tree 3ca50ebd0da030f9bc4e78db713a0c0238459cf3	provisional
040000 tree 105d0097b3a73171a0608048ea3dca3fe5226c7c	search
040000 tree 1465bfe865e70c0285f7967c8f524932d55aacd4	security
040000 tree 5beb2d97fad8b65baae8680836c71c4bee70d9df	verifier