# isabelle_session_info

session_name: Eisbach
sources: b0cbaacaa4933f86446139019c52a407e3a272c0
input_heaps:
04546e13b3ec7f70b074138ed2f4d8667390e734
094d1060cfdb72ebd3fd1291784fda6152066b69
dad5933616d86bfe34f0c6e06327c7a49751dfe5


