# isabelle_session_info

session_name: ZF-UNITY
sources: c4db93000617199c4410f9b528a6063c20d9f79e
input_heaps:
b1229b1545e0527f3af637d3b7e4d9e29c3516a6
770ce5717ab87b52972c738a8033e7e02e45bb6a
457099b6925db088584cb9d51bf8d6b8b0eed5c5


