# isabelle_session_info

session_name: HOL-SPARK
sources: bd1ee5299be24b9020358e9a62826c702823400b
output_heap: 880fad43203daed1f62161c33dd71baba1f59df1
input_heaps:
31bf4bac648c51f49408130bf9489829be3fa993
35508bc2877195b4acaa6a24645b77282ba20bd1
2a7865ddb1e4195aad393be2fe158b16dab73b19


