# isabelle_session_info

session_name: HOL-SPARK
sources: d0f7664dc3940bde204441acc47f04b48349b6f6
output_heap: bc5a9ef0932d61f14c0ec0c3e81ece28d1235316
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
e9a726f68e510e4c40abbc4df758ad3bf1ccb60c
29c6d901336197dc5799ad57bb427d55a43c8297


