# isabelle_session_info

session_name: HOL-SPARK
sources: 531e05687fee73636896c1d03933cc3b4ab550f4
output_heap: 6799761cdbaadcc1d6f69beef53e3cf7d6e832d0
input_heaps:
79e36a03a6cccf01470337ebf2c8411e21d944b2
b93bed27caa97c9f4b1f44bbf588fb4ffdfc6b77
297bfaabf512217c5fb0a807736c5755e916336d


