# isabelle_session_info

session_name: HOL-SPARK
sources: 00e15aa5998749fac54fe240513532019d138d6d
output_heap: e02d98ca75cc33ef14adb390529dd67d9f422096
input_heaps:
a9ba4fcb27c61f2722def1490d5cc6ffd820a523
3e35f1f1494655d736fa0027db3480f1ebe85070
d0aa179b6037a9b2b50fbfbecb20c038562b9e95


