# isabelle_session_info

session_name: Eisbach
sources: c4c2e37bbbebca847ce6eebbd1f3dae643a5f9cd
input_heaps:
ccf9b9418e9c76b5688e2dd3ccca778f920a9297
2b81ca4de31fb7c354e77106786e7248d054178d
29e96002fca1323a924ffe0311f98d42c216403d


