# isabelle_session_info

session_name: Eisbach
sources: a9b9b45da3906ebee058bfa60871251af04161c0
input_heaps:
6f2ea6ab0b5842682397ebbb65f675c6588578c2
e101bd57939f33c881a2cb79f6e6b917cc005de1
dda34f4ceaf23be965c8081cc717a098d2f40b75


