# isabelle_session_info

session_name: Eisbach
sources: b0cbaacaa4933f86446139019c52a407e3a272c0
input_heaps:
fbf1d73320eec6c763263c6f73f4f8ea76918e5d
12ca8fad7c37c4403710460d4209f1fd250d649c
c88c3d9f84cd5697dfcd817c8a8f0b1c1a58602e


