# isabelle_session_info

session_name: ZF-UNITY
sources: ff5b10c25086902b6098c03f45fda234a32761f7
input_heaps:
a69e01c96a12bd53668892d3b016657d478dd6de
83af82ed8864ecc723c60d2e3ee4e4375c9aaa4a
075ae4d468c4fefd87c098960846e9ed0dd60370


