# isabelle_session_info

session_name: Eisbach
sources: 4c46d627ea9c10813e232eae3b33f092d5fe9418
input_heaps:
41dfddd2151ebee28efc9e26dbae12c72d1935da
81c9499a7df86d3b7533ed9c6efc8881fcc10f44
a7e0928f25bbac1c423943e22d5c3f8f639711fd


