# isabelle_session_info

session_name: HOL-SPARK
output_heap: cc3f5401a1ce0bd219baf14beca52dcd4257fa85
sources:
0a91a2f15a1987b35baeb7554b59abed96b30a47
1021744b04050f34a34150055e6f58c3368ff02b
115048f548f3fbc6a701d8d24a82ac92afb3d833
2d2f8ee4115c18d1e939782b42878ba632c49dfa
b90f0f26a2276c8a851d354c76363a6bec4e816a
bacfff997c70f99c466cd602f9e3c0049e93cc3f
e903758b245c2fa1ece3f5f3e47b6b201aa812e5

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
28b0b14cea5cfab8a9e104dea18417239d359f24
bded2976de2cf267c891e8c27b9bd77c6482ece4


