# isabelle_session_info

session_name: HOL-SPARK
sources: 7058a5cf3d71e153b3c197c94e40ed6110a0d370
output_heap: 72368d2f203ee82732497d9efa5b11af8333f0d2
input_heaps:
edac997306bdbbc7a1ea2002f2641008ce6aae62
b77918cb16b79b554f672156cebeb1531c9272e3
9f865b82c21fbd0b127e74232e8771757e257e37


