# isabelle_session_info

session_name: ZF-UNITY
sources: 94df35bad58cfc7233ceecd709a945b6d263ef27
input_heaps:
878f3db57e9f610cd04a9f038453dd299557ef5f
b8ba5ca847eb2a0a80795afda44b7ede727a091f
c2173a8f67b2c94ce6945fe13b798666cfbe478b


