# isabelle_session_info

session_name: HOL-SPARK
sources: ab99d116d90361cd8a01ff793f1515114671cb85
output_heap: d138de3797cc9aea7184125ca660927a96e5c361
input_heaps:
9f7624067c9c5a93ecbf4163df24f4baa96ccfb8
980718f4f514a820453424182546260094c53e14
1f987d3462968c9153d897fd0d45a009d1a6c161


