# isabelle_session_info

session_name: DFS_Framework
sources: cd769bc2c43183f030b32c984fc79f5b853f3468
input_heaps:
bc695fdee8824a798a8d382701fae26c53fc4747
5f7f982d9d8d0282fbc15cbadf4b07b06a8c8d77
fd62d9bb3f527dc3a07d8609d279104995640fbb
4e4bffce2ef2b227e152cb77277a353dc5a00ac7
3c65f45a8a92ed794c23516630b789c782b4cad5
c157a9972f82ebc40a96aa5caf9b4c827bcf866d
f847cd6c7ec653250d566a226243307510cb91e3


