# isabelle_session_info

session_name: ZF-UNITY
sources: b15acfe59180e24fb40350caf7508a62dfba6c24
input_heaps:
a46db31bb55395b3dbdfc848f24a96e1b1255d76
69a6bc65e930c2bb67b66e13eba54a746f08ff63
469566ef8e256809adb67677d1f07946c1da8daa


