# isabelle_session_info

session_name: Eisbach
sources: 1490d77b093ccd8df080757fc0d376f1786cbcaa
input_heaps:
7cc5d7b67eefb3145a6bd031e9e428122873dd58
2b38b21bb020af401d93ba78cae4d9eb8cec724a
5053ae3b9db3f12fe8ad2cc50231e680a3d8c689


