# isabelle_session_info

session_name: Eisbach
sources: a387e735a8b80b3ea343e7ab4c871733a68a4215
input_heaps:
daf53072a7b7da07dacaeec0891eaa6642c159c2
e32a9e161b57c989291c7f5fad06918aacff06a5
ddac64f0920a2910aa66e0774aa7b88d0cbdb787


