# isabelle_session_info

session_name: ZF-UNITY
sources: 7b58de8ebc594ef425388592b978881170f2f0e8
input_heaps:
2de776be54086cd6f5d576144c34608108120821
179e7ab1e5f557e1ad70444272e2009ed10a8a91
7368ad7590e9f336f7536d8f7b582c3a1c0480a7


