# isabelle_session_info

session_name: Eisbach
sources: 36a3d8edbb5f742b6d1b92d471a63e201accbb1c
input_heaps:
7a91b7d56a3ebf5fb97cdd7322b4b23e24fb0c8d
c778faa6bf8be5df05c2dfef635e886ae01138d5
52e29b1d84e6f84a88f8b476c7917a3ba0fe502c


