# isabelle_session_info

session_name: HLDE
sources: aa3912d9d204ac9ca77dc0fc8d80f317b2f1e41d
input_heaps:
adf620958a483c5d99eb8b585d74e10e62aa36e9
592c3e8fc1a619dd78c917b8e580c01545553e05
f19624defdce5895eb7e7e51037e7fad62671945


