# isabelle_session_info

session_name: Eisbach
sources: a387e735a8b80b3ea343e7ab4c871733a68a4215
input_heaps:
047361513188e7c72a6ffd9fc0d5d82009c64e0e
ae9cc23b6b2154e2dab4de08bcc111f7bdffb167
f8e775c0dcd61353d97a502ee9494d29a96d0ca9


