# isabelle_session_info

session_name: HOL-SPARK
sources: b1c903fd79c18f7d8df05191dced5041ab363ff0
output_heap: 474f1d7c68ef0a1123f83e3a1dd72cfd9d8345c4
input_heaps:
6f2ea6ab0b5842682397ebbb65f675c6588578c2
e101bd57939f33c881a2cb79f6e6b917cc005de1
23bb91acacc9d33b9105d76cf48c33eb2457fefa


