# isabelle_session_info

session_name: ZF-UNITY
sources: 6e304913d2cc175018b299e6d01c29d5fd0e2741
input_heaps:
96ecf35e9f5cbdf8f83e1ff7c688f194e3fa515a
8c3f9ae633ee1fc99a0ebc7cc4287fa5d52d5f2c
26f6c0d517385150365c2b8046797e567a0f9872


