# isabelle_session_info

session_name: ZF-UNITY
sources: c4f2f58e1cd38e22f04ca297a9ccbe355ea4e3b2
input_heaps:
d9905930882dc1ca91d8a276cbb235c5128aeb8f
12ecd58d138a87f3f3f8e1cb9ef22f32fdcc841d
bc2f4b67019cb2dc60573d008dbc2ae827620852


