# isabelle_session_info

session_name: ZF-UNITY
sources: 999a782e55151a6a1970c13c5fbf0567bef9803f
input_heaps:
347fbf4ef7d480ef0daf549b90b022c9b0165564
eecefc3079d72518e28fecc0e41ac279a3e8facf
8269ab3a05f87fc8e84cfa9026971ca698db2900


