# isabelle_session_info

session_name: ZF-UNITY
sources: 1ecf4d3252f1c74b68c64727f685c92546174acf
input_heaps:
33566f3cddb263229cca6b46057522afa84933ef
18c7c4d6adc0d8cde3955f955412c21f0e9db1c2
7b9fe68727e9a51ecb3d2a797d3218f7d7e861b2


