# isabelle_session_info

session_name: ZF-UNITY
sources: f99c2f09fea2346da56d547bd2e5e398ac6052b2
input_heaps:
53f1d67548a50d94a90baccfd7c8ce511a3e1b4a
8f56ad99153258798fcfaf97ecebd6c79dec4af6
59a76b2764c0c664010fd0b1cd3b969df7b18202


