# isabelle_session_info

session_name: ZF-UNITY
sources: 5976a0df623d8ce17c289ada35c069180e87bdae
input_heaps:
cc046ae580776820f4a04105f911f868e699728a
025c354fe76f2d6561fb1cd8e610f934fa5c1d09
7ace535a0fbc3acbfd92de327664e5c2921c77ed


