# isabelle_session_info

session_name: HOL-SPARK
sources: d7435a6f5439d5245dd71e06b51ab7885ae3e125
output_heap: 9ba2154ab78538acd433201e492b4ca01b4ec651
input_heaps:
2c47922654272eb4a217010ace00ef249f60f79a
f96e8514bd254f1fcb3e1d6b3a68cb0a3f4d2fba
1b36c6ac560f93c8a6a7dfee226aad8b258eb44c


