# isabelle_session_info

session_name: HOL-SPARK-Examples
sources: 9a1b7f4ca03f72c401ecabb01368b87ebc2beb24
output_heap: 75afaddb45fe26c21586f23789bbdf566dc868c4
input_heaps:
f4e66065a04f1e2d2dfdb251791c7f25eacff512
b7343e71809abe96ec8715dc85d1d5193e283b23
6f8d47ec8354a795f122c07a0f30025d62d31c59


