# isabelle_session_info

session_name: HOL-SPARK
sources: bbd2eb316c1474b152f78da17c4bf2e969598c45
output_heap: 969b8a8b483e6a75513acf63520bd54b7ad58c1b
input_heaps:
1e8a5e75562653ea4f095e5003b29df3c0c7dcba
bd3bdab246ba0ab9f1962b0a2944f493b5762d24
989917dcaf5856eed30f91b7dee041e70ce42cf9


