# isabelle_session_info

session_name: HOL-SPARK
sources: d46b3907d6a1302034bc41213ae007f3b5f9d825
output_heap: 9113e5500b599aaae0f5a6236649e21d40ff7609
input_heaps:
b6a06941c7f4d32a9ff0b780ae34fa263f209f1f
17c087a835d148ead0faf3b05e4801803be6efde
85ffde623c06597c5362b32a7ed4c71bbe467ef2


