# isabelle_session_info

session_name: HOL-SPARK
sources: d7435a6f5439d5245dd71e06b51ab7885ae3e125
output_heap: f1cd94bf83c8f6071bcbcb08d9eeeb0753bd26cd
input_heaps:
408130f68e215ede7936ca4ab0eafec3d85e645c
f28cf806c632fbc2897c47bd2481cf58fa5266f7
97ef00c1525c41f452365369259be0e00d75c4e7


