# isabelle_session_info

session_name: HOL-SPARK
sources: d0f7664dc3940bde204441acc47f04b48349b6f6
output_heap: aacd65be3141ca08ae7eb0a53aa6f6d01b7efa07
input_heaps:
fa72548ea64381a3258466aa0d212c84096a68ec
8d1621b83c6b83f04a9457e06e858acde63b0083
3552853fac90352d19841786db2c534cede80386


