# isabelle_session_info

session_name: Eisbach
sources: b0cbaacaa4933f86446139019c52a407e3a272c0
input_heaps:
80336e722f2282f0e73859bdb2bc1deeb5e20e13
e71e14a4803a9741ead2aefcee7360a997c650e5
17d785b8beda9a64c4e2593eb4d606bcd49714b1


