# isabelle_session_info

session_name: ZF-UNITY
sources: 3ea7f8f87be0c1b01ed10fca9ee73d1db6559d8b
input_heaps:
ee6ad39af305f89937086a6f882fd17679ba7ecb
96111c10e7bff60c0b50fc9b2c0def17d28f59dc
7dc308995a0f0877f7fb3682099a6a76a58a4690


