# isabelle_session_info

session_name: HOL-SPARK
sources: 7058a5cf3d71e153b3c197c94e40ed6110a0d370
output_heap: dbd937e4339acb203ba6df2d121fed814550ccb0
input_heaps:
80336e722f2282f0e73859bdb2bc1deeb5e20e13
e71e14a4803a9741ead2aefcee7360a997c650e5
b36f5fb8de207c4b85b753e933d781087baa9d94


