# isabelle_session_info

session_name: HOL-SPARK
sources: a615b96653837881aa58d01cb26e1337adb32157
output_heap: b8a1e26c1e067f42d8070b742e94a0123869d732
input_heaps:
634a34b0a78430c8365c904b4a02a2bae50a7baa
da3f4711496f4ebba63bd289462f3fdd0cd836c3
b12f886aaf16e26e7bf651031cd165045de48f17


