# isabelle_session_info

session_name: HOL-SPARK
sources: 5d314c2f85fde2b4f86f3d1f5f7f35530577ed4f
output_heap: 734a8d89936a912ab4490a72e775a92c4b98bfbc
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
5aed350afdc15f56ad5b986907a91213f8d8b65d
3ce9ac9a9423afbb53288038c66a1b8cda2bf3ef


