# isabelle_session_info

session_name: Eisbach
sources: 7aa4ad5f3c47fab0bf9d653fa200e371acf8fecd
input_heaps:
79e36a03a6cccf01470337ebf2c8411e21d944b2
b93bed27caa97c9f4b1f44bbf588fb4ffdfc6b77
b384ec37bfeb9a8b4065582320d0cb36bb44ea2c


