# isabelle_session_info

session_name: ZF-UNITY
sources: 6d30ac30437e948429d38353dc74c80fe78e1428
input_heaps:
bfda3f4d86d49fd6800d54a9113d467455da22b8
302ef1d3fab0b9aafe23590f1f2b2b9176029ebb
5018bf182186034743bbe2931b4a70cef469b5d1


