# isabelle_session_info

session_name: HOL-SPARK
sources: 008de81ccdee63c7661536db1c5bc136ced8533f
output_heap: cf2803d421a1727fb1ca36c454a200ef57056dd8
input_heaps:
1770e7d42e284900cf7be1fa0dd3341bffb6e5a0
3748dad1f2adf6ae24eb2a2d4ccd1ef4791b4c46
0b553e642ac8fd98fc0ac50f4d49a5c65df936a1


