# isabelle_session_info

session_name: Eisbach
sources: 36a3d8edbb5f742b6d1b92d471a63e201accbb1c
input_heaps:
ec4f72521e1e679fd5cff6fa91e397c5873c6432
dc95e50d9809fb8249d7a6a630b1f18cc52d769d
cb20b135e437ed48a73cccb0b78ef8159ba08d50


