# isabelle_session_info

session_name: HOL-SPARK-Examples
sources: dcc551e3ea884c3a9007bac1afd1a5aca54f1f64
output_heap: e2df57f426186dd819050a263bb19656e4ba623a
input_heaps:
a1279a445ea1e6e3fc0a54c8f5e1f23aa19c5540
913957767197f7ae8858d375e22f8b0e424144a3
2fa922e6ab1536cbc5fd40a94ba750e210c04e1f
6dc9f0aad6e10d365b58d7a2610d9a500566e362


