# isabelle_session_info

session_name: HOL-SPARK
output_heap: fae5ec30134c7d258064cad0d6c5163ce1c17c9b
sources:
0a91a2f15a1987b35baeb7554b59abed96b30a47
1021744b04050f34a34150055e6f58c3368ff02b
197f2c6f40bed80a498671debefccbe53cfdfd65
2300a000abb480c14067f17d4038d6ecf47f2745
2d2f8ee4115c18d1e939782b42878ba632c49dfa
8635f4e0172f5cb0224029f56357f7e226606241
b90f0f26a2276c8a851d354c76363a6bec4e816a
e91cabf3fc84c7150a9ab2aeae404a0f796263a2

input_heaps:
b9c0e8f4a3ec48522e3484ee292a510c958aa05f
7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d
82cd4d68c338fd10fac41d74fb7c4213ac250009


