# isabelle_session_info

session_name: Eisbach
sources: d5c18f9fbdaeb9f4b71db79f01270945c98d2d02
input_heaps:
98dd477b080148668828b0f67c6e8a1d9708b3f3
2dc2b5acf411764d9a49dd03e6f20aef615ae67d
b7041ed37202c981623bdea3b3030063b0e4fc48


