# isabelle_session_info

session_name: HOL-SPARK
sources: ab99d116d90361cd8a01ff793f1515114671cb85
output_heap: 0fa4d65297fd1cd673339f2a797799a4700a70d8
input_heaps:
0a2434114e0f5ff2a700b4a6f5d894a41f7c1240
80050be4066a2dc41dde228522a53110fc50a122
d6eb13e4ff6aaa8ef44fb02e2f473957fa623823


