# isabelle_session_info

session_name: Eisbach
sources: f3683cc0dd7ffa44145511d7bf39610b5e7ad0ee
input_heaps:
a9ba4fcb27c61f2722def1490d5cc6ffd820a523
3e35f1f1494655d736fa0027db3480f1ebe85070
e2000c26de1e7b36c744a3eee67d14b09aafae50


