# isabelle_session_info

session_name: Eisbach
sources: 7aa4ad5f3c47fab0bf9d653fa200e371acf8fecd
input_heaps:
ccfe400cf73fd62fd12acb34409977712e22d6e5
10dc6874cfc163bd3ebe399c64a6eed2318ef64b
54ee5922f146388f11cf17c9f05e411d908f7abb


