# isabelle_session_info

session_name: HOL-SPARK
sources: e04ac1c382785d916a13886bde11b1249eb60d53
output_heap: d50142ab7369c8132c1a0e7a0afa3c01224e5662
input_heaps:
273a065aaa7221aeab8448251fac00a4433003aa
e99e0684410df36373f4f2b5c5ea423968ee9625
c03b1a0d334c9fd9fabd82cef3f83f6d308d7309


