# isabelle_session_info

session_name: HOL-SPARK
sources: da1544322a0af4f2ba5bcbdc28d6142b28427e21
output_heap: cd291e2b44ae4e9c320ba08647b36677ba23ffa3
input_heaps:
0a2434114e0f5ff2a700b4a6f5d894a41f7c1240
5fc4e321a4aa446d87b59c72e26ba2102a31a053
696b201ea36f7cd30c033e3348537ccf3830561f


