# isabelle_session_info

session_name: HOL-SPARK-Examples
sources: 7db1ef16885fe26baa0245c414c76c2e3fba5269
output_heap: eb03ce27e1c45cf906cc1368fc22a1da6c4c0e82
input_heaps:
273a065aaa7221aeab8448251fac00a4433003aa
e99e0684410df36373f4f2b5c5ea423968ee9625
c03b1a0d334c9fd9fabd82cef3f83f6d308d7309
d50142ab7369c8132c1a0e7a0afa3c01224e5662


