# isabelle_session_info

session_name: Eisbach
sources: e9ddaa7c8dddab91a29881d15cf683be111c871e
input_heaps:
d50d23da2fba2fa66eac370561c930ef78815f64
42ad9fe34f8eb64ea2663c9e76a55f6c21a58507
32ae07a5f274b39fd3747fd06d89eb5638350eeb


