# isabelle_session_info

session_name: HOL-SPARK
sources: befa0c7faa31d14aa69c612eadce5fbfacd75e06
output_heap: 78405833514b77ce47ae5d6c5eeddbefaf2c8852
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
59a3a880bb4874f61b767c399786d7d8a5dca439
031c9ca9e9c552c0be10b4fae4a475595340c4d7


