# isabelle_session_info

session_name: Eisbach
sources: 41f58ae75b84d9cc04be690678a0ccc79ea072e6
input_heaps:
b1e9d096eff3e2d2097c331d061d199548b5d3ea
d6c569c3cb498e2d723179c18cc1cd66ffdd721e
54834c812c7e38ff8b8aeb61ce67c4f3c0e38db4


