# isabelle_session_info

session_name: Eisbach
sources: 1490d77b093ccd8df080757fc0d376f1786cbcaa
input_heaps:
ec38c69ced9abbac5955142ebffe44a25bf3d7c7
ec19d5c86bbd8efa8e997b4a18973411183d4768
965469f13a9368139bdd53dc9195af7503777b1c


