# isabelle_session_info

session_name: ZF-UNITY
sources: 2a2f37c1e86f5e81fa8a6c3347de95f261961247
input_heaps:
d45c74c3c975463d5aed11161e8ffd9a51437a45
db4015e46ded3d077a35e00d0e4970efb85e4238
5fdd837ad56b372906cf3796b8adf8d599d770bd


