# isabelle_session_info

session_name: ZF-UNITY
sources: bd57f6b205751ac286474693e380c1ae808e501a
input_heaps:
b3e898cb94fff8ea5f7388662fbada074058e744
9586d63d9f9e368a5709a341789d2b563e9e2e49
e1ff124dfba54a51dd608fe64a0a944b13fb6983


