# isabelle_session_info

session_name: Eisbach
sources: e9ddaa7c8dddab91a29881d15cf683be111c871e
input_heaps:
9b4902f8e8c2cff8739e12b432b794bca1b63c5f
bd7d4d62ea14622c8855a61e25906a49ea079dab
fddfc16638f467f9e554cc890a56f3d2372a3b40


