# isabelle_session_info

session_name: ZF-UNITY
sources: c6ba52c06996e22909943c51f044db127ff7e8f2
input_heaps:
8efa791dabbe9fabbba3e8078d5274688c6622fd
ac9d352435c45cb3006e31c8ac66c0f0e27747c2
de46e1cd082193fb16a22c25ed995c7030dd586f


