# isabelle_session_info

session_name: Eisbach
sources: 36a3d8edbb5f742b6d1b92d471a63e201accbb1c
input_heaps:
634a34b0a78430c8365c904b4a02a2bae50a7baa
da3f4711496f4ebba63bd289462f3fdd0cd836c3
80399a16e8a9a7d32c2d94abed18461abeff4b3e


