# isabelle_session_info

session_name: ZF-UNITY
sources: 1ecf4d3252f1c74b68c64727f685c92546174acf
input_heaps:
5a4801f0c143f74de5fafb369b13a773b3d622f5
f6ebc462e831388740e8b604e628880f69c56c0e
ba1375a9c74db404a9d3177a37a09e285d38208d


