# isabelle_session_info

session_name: HOL-SPARK
sources: 0ff3455521ede345bab7a0c969f5a3cb381e62a7
output_heap: 02326f2e69dcf4ee9683b6201564190227fb2311
input_heaps:
c2093642ce0e52d658430117f07a6a10f135143e
958f81e74e154e8719a792f45217a865d1da1a47
76b69a8f87783601b0e91631cf91cfd86581081e


