# isabelle_session_info

session_name: HOL-SPARK
sources: 1191b3e6db0d4378e8a90f576a339012920607b7
output_heap: 5f4edcf8e77a6659dfd2bc24034021eae1a7a55d
input_heaps:
1f11aeb0b5cb58822b61789e97e7af2cf416f0f7
064d95192f7eed013868891c67a843698304438a
ae423d94d5ef8267aa727af30c4429c63a664cac


