# isabelle_session_info

session_name: HOL-SPARK
sources: befa0c7faa31d14aa69c612eadce5fbfacd75e06
output_heap: 7963ba6a349089eb26d915acd5c73962c6190d53
input_heaps:
e73c8f63bd95850d065fbfafb34179614f242f89
69a950643537831e45281aa33a261ce80ba0e395
ed42feaee37b71f5700c2880ba863e0a9773ee06


