# isabelle_session_info

session_name: Eisbach
sources: 00b1dea750d496e691b835c70d7521243ae70939
input_heaps:
31bf4bac648c51f49408130bf9489829be3fa993
35508bc2877195b4acaa6a24645b77282ba20bd1
2b4921d8ce7d7dfcb7ad9950cef7fedb0df631b5


