# isabelle_session_info

session_name: ZF-UNITY
sources: ec233e33f8921dda5371b09847d283573e1c4f0a
input_heaps:
78a79cd9fdc2a13431ba56bd0a48c2d53a6a6920
478f2ec7d359cb940a5af33ed8bf535cd831ea80
bcb8da3e112196c77edc180a2ce459be4e52bf76


