# isabelle_session_info

session_name: Eisbach
sources: a737fd28ee3e08a446ae5282c182be8deb170c20
input_heaps:
f24b23d736d58b1fe016b056b4dfd4a4dd6aaa09
ccc1058afc7081b1aba3b6c9fc5c481fbc1fb4bf
7c4cb30644c6d245b65d4fe50ee0fe31e054c524


