# isabelle_session_info

session_name: HOL-SPARK
sources: 832f9bfe835492a755f7cbe0f013bc719727e0f6
output_heap: 3b9d6e22a93ed6b67eec6490ee8abe3734f4cc1d
input_heaps:
82ea62db878002abe1f561b243b2cfa9fc698016
3eb7c68d6e834ba5513637798ddd089d7ebc1253
a43d9c25faeb4d4677ee9a38471cf9afbfaea41f


