# isabelle_session_info

session_name: HOL-SPARK
sources: 99ebc1ac4b5d4b569400ab6022a81c09822c5a75
output_heap: 8624ddc6e24841f490fa42cb976d2b87a62b7dda
input_heaps:
f24b23d736d58b1fe016b056b4dfd4a4dd6aaa09
ccc1058afc7081b1aba3b6c9fc5c481fbc1fb4bf
d07f3d5d92bb97fbda1e2fdf7a79aee41fe1c30a


