# isabelle_session_info

session_name: HOL-SPARK-Examples
sources: 9ec1386116b3c44ff5e5345f0f7276bc9b0c1b8a
output_heap: f69955e1df0b8620705f5674a9cf122d240dbfad
input_heaps:
d6ac031d3e88d65563eac5f02a097b7a1de9a7e3
ffd3c2f455ccf76046f1a522696b8fe123ec936e
d7180377e455aa9e2cb76b2fce2c01b5fa2d94df
c79deaf37419b5df4a5c3781cc548c55f71f505f


