# isabelle_session_info

session_name: ZF-UNITY
sources: 94df35bad58cfc7233ceecd709a945b6d263ef27
input_heaps:
c10b09dfa56051c7fd8c1bbb4005750ae3c154ec
321d287b0fc7aed97a92d407e0d4dfe8e1d8cf4e
3b4eb616adc3200b2e7a47f8b1c80b8ff0d359f1


