# isabelle_session_info

session_name: HOL-SPARK
sources: 008de81ccdee63c7661536db1c5bc136ced8533f
output_heap: ed2b518cba04ceb347c079e9fc79e6d165ae257b
input_heaps:
071f7fa30665cd1599ab0688c2ebc3134f4d53a1
9735cdf9ab52c04e2b30aff2857f0646f946ff29
0a297335496f0fa216684ce6994d5678f153f47f


