# isabelle_session_info

session_name: Eisbach
sources: 6508e70012ba51b0e6b7ee9be87019be8489d84a
input_heaps:
1f11aeb0b5cb58822b61789e97e7af2cf416f0f7
064d95192f7eed013868891c67a843698304438a
8c2d8870b5e6aa3c5af936f40eb0ef3604aaa00b


