# isabelle_session_info

session_name: Eisbach
sources: 36fd1b967ed4243375e7b460a61ba44dc65a1c07
input_heaps:
f82ad8bc3fa909b6cd7ee1a705f5df00eb58e71b
35eaa225201857107e827622fdda13b757fd8deb
6e8e18c98fa9d5e1e1d575078d4b27afb70d79f6


