# isabelle_session_info

session_name: HOL-SPARK
sources: d0f7664dc3940bde204441acc47f04b48349b6f6
output_heap: 03b12e656424be1f7ca21b695350b3577701eec4
input_heaps:
ec38c69ced9abbac5955142ebffe44a25bf3d7c7
ec19d5c86bbd8efa8e997b4a18973411183d4768
c8715f1a10bc026f8652fa3fd5924a8c6c56b8b3


