# isabelle_session_info

session_name: HOL-SPARK
output_heap: 6449a8b4058ce20c38edf28114b3919201ac3bb2
sources:
0a91a2f15a1987b35baeb7554b59abed96b30a47
1021744b04050f34a34150055e6f58c3368ff02b
197f2c6f40bed80a498671debefccbe53cfdfd65
2d2f8ee4115c18d1e939782b42878ba632c49dfa
8635f4e0172f5cb0224029f56357f7e226606241
b90f0f26a2276c8a851d354c76363a6bec4e816a
c56d3c3037a8633f22c4d4e2eb3acd5ad68ad893
e91cabf3fc84c7150a9ab2aeae404a0f796263a2

input_heaps:
d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0
e6067cb86581d04d2141f63fe8f84315b3b63295
d57bac779b5b488848d380f44507ec94d26f5b25


