# isabelle_session_info

session_name: HOL-SPARK
sources: 7058a5cf3d71e153b3c197c94e40ed6110a0d370
output_heap: af19b811249426ec6f78a38406671d7f22ed12c3
input_heaps:
fbf1d73320eec6c763263c6f73f4f8ea76918e5d
12ca8fad7c37c4403710460d4209f1fd250d649c
dadfcf3bcf4d7792cc9d4638032db803fa833aec


