# isabelle_session_info

session_name: HOL-SPARK
sources: 11a0171f7c085174bc6b5a579da1628818ae7a4a
output_heap: c8769c10c97926f06e9b0b66cb3ff27c03257b36
input_heaps:
87932c6edaedf27de51c877ca7033311a89eb072
7f58193f3d2717fe18681e21843b42a4a2b573aa
fc7dad8896b9c97493a4a5dec6280b997a82e925


