# isabelle_session_info

session_name: Eisbach
sources: 0a83f1513d574745393a65c64a0d6c4e9d312ef6
input_heaps:
ab8738f36a5910b081a8af85f9c6bcc719678f27
6b267e02f6fcbfad775a6749db140d0c2835f978
dfe66a8d57baee675ba83bec51ffb637812e2c7a


