# isabelle_session_info

session_name: HOL-SPARK
sources: 008de81ccdee63c7661536db1c5bc136ced8533f
output_heap: dc76b3e8383c8d181b909ac37f9b0287803ee8b4
input_heaps:
c3eed4da8d2aaf2ad54b900993bdd6f7717404e6
f5ae9f289847647563f612b35004c35ff6735c80
77b694772a59dd234014e2a6ff6cc5b926cec102


