# isabelle_session_info

session_name: Eisbach
sources: 1490d77b093ccd8df080757fc0d376f1786cbcaa
input_heaps:
3ae2375acf5ad0714f3a37416d1e1b869b0d64f3
83c11cd2d2233ea3dc1e858589b3d86c6d162e2f
9712bdccfab419209ab671e4aecd2763102a79c9


