# isabelle_session_info

session_name: ZF-UNITY
sources: 15044ae37a7a13fec8b05a9785f2fee441db7535
input_heaps:
71694b1f2d25d2d9aeaca0f1ab390c835916ace2
f87512cc9fc34677eb2a99f2846d33889942606f
63e270ec4673a9d58aa0edf980f97230f34a28d3


