# isabelle_session_info

session_name: HOL-SPARK
output_heap: f4d9a391c38788a4eb484663925cd706c41dafe8
sources:
0a91a2f15a1987b35baeb7554b59abed96b30a47
1021744b04050f34a34150055e6f58c3368ff02b
115048f548f3fbc6a701d8d24a82ac92afb3d833
197f2c6f40bed80a498671debefccbe53cfdfd65
2d2f8ee4115c18d1e939782b42878ba632c49dfa
b90f0f26a2276c8a851d354c76363a6bec4e816a
bacfff997c70f99c466cd602f9e3c0049e93cc3f
e91cabf3fc84c7150a9ab2aeae404a0f796263a2

input_heaps:
b9e4cad54624ad835a14cb92fdf2da43457b5cfe
0c8d5da11ffcf561ab033c36ec59459b7d4f6e36
585902e1a26b241165b2ca46748d2112f9f7f771


