# isabelle_session_info

session_name: ZF-UNITY
sources: 6b4d65d0bfb04daa5b09d3e067b76cb6b47b2356
input_heaps:
e47e82ff6a77ecdbb1e7af128c99e9f405606a5a
0ff25330462f20428a3559ae433efb593a6a1e13
41837d520db8110ac51c366e9cd40a9421bf31d0


