# isabelle_session_info

session_name: DFS_Framework
sources: 88aed86ea0ce07c0c019fa68a43cfdcfdb0a0d74
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
79764dc49c42e04d2f2d7022e68e8df538e9cc73
29e4fb628695efd17b4ca5f10d6020a0878acf05
c82c7a092ea2aa0123279103665f5a061315dcaa
60b150918b828a9f77df5cc2324395dd9acc1f9e
bdeab161b51d81d69e56dacb39ab58937dcd7cb6
7fc249cc88d254180fef4ca6ff4576dca8fc7c03


