# isabelle_session_info

session_name: ZF-UNITY
sources: 94df35bad58cfc7233ceecd709a945b6d263ef27
input_heaps:
0ca5864f4aca6546754eb1e7da0e2085c3f4c937
bdaf4d347666bbc249be4f2478c058aacf7b3498
4e4225c6784918182eae321e2a0f9ecb63ddba36


